source: trunk/dports/math/clasp/Portfile

Last change on this file was 144479, checked in by khindenburg@…, 19 months ago

clasp: update to 3.1.4; use the right compiler #50099

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 1.6 KB
Line 
1# $Id: Portfile 144479 2016-01-10 00:31:30Z ryandesign@macports.org $
2
3PortSystem 1.0
4
5name                clasp
6version             3.1.4
7categories          math
8platforms           darwin
9maintainers         mww openmaintainer
10license             GPL-2
11description         A conflict-driven nogood learning answer set solver
12long_description \
13    clasp is an answer set solver for (extended) normal logic programs. \
14    It combines the high-level modeling capacities of answer set programming \
15    with state-of-the-art techniques from the area of Boolean constraint solving. \
16    The primary clasp algorithm relies on conflict-driven nogood learning, \
17    a technique that proved very successful for satisfiability checking (SAT).
18
19homepage            http://www.cs.uni-potsdam.de/clasp/
20master_sites        sourceforge:potassco
21
22distname            ${name}-${version}-source
23
24checksums           rmd160  8dab1982d6acae0e225644453f71df858fb26b1c \
25                    sha256  f6a7d8a90c3f216f778410ea7189b74a902750477fcce1a6b8c992fb08c372fe
26
27worksrcdir          ${name}-${version}
28
29configure.cmd       ./configure.sh
30
31build.dir           ${worksrcpath}/build/release/
32build.target
33build.args-append   CC=${configure.cc} \
34                    CXX=${configure.cxx} \
35                    CPP=${configure.cpp}
36
37destroot.dir        ${build.dir}
38destroot.destdir    INSTALL_DIR=${destroot}${prefix}/bin
39
40post-destroot {
41    xinstall -d -m 0755 ${destroot}${prefix}/share/doc/${name}
42    xinstall -m 644 -W ${worksrcpath} CHANGES README COPYING \
43        ${destroot}${prefix}/share/doc/${name}
44}
45
46livecheck.url       http://sourceforge.net/projects/potassco/files/clasp/
47livecheck.regex     potassco/files/clasp/(\[0-9\\.\]+)/
48
Note: See TracBrowser for help on using the repository browser.