# $Id: Portfile 144479 2016-01-10 00:31:30Z khindenburg@macports.org $ PortSystem 1.0 name clasp version 3.1.4 categories math platforms darwin maintainers mww openmaintainer license GPL-2 description A conflict-driven nogood learning answer set solver long_description \ clasp is an answer set solver for (extended) normal logic programs. \ It combines the high-level modeling capacities of answer set programming \ with state-of-the-art techniques from the area of Boolean constraint solving. \ The primary clasp algorithm relies on conflict-driven nogood learning, \ a technique that proved very successful for satisfiability checking (SAT). homepage http://www.cs.uni-potsdam.de/clasp/ master_sites sourceforge:potassco distname ${name}-${version}-source checksums rmd160 8dab1982d6acae0e225644453f71df858fb26b1c \ sha256 f6a7d8a90c3f216f778410ea7189b74a902750477fcce1a6b8c992fb08c372fe worksrcdir ${name}-${version} configure.cmd ./configure.sh build.dir ${worksrcpath}/build/release/ build.target build.args-append CC=${configure.cc} \ CXX=${configure.cxx} \ CPP=${configure.cpp} destroot.dir ${build.dir} destroot.destdir INSTALL_DIR=${destroot}${prefix}/bin post-destroot { xinstall -d -m 0755 ${destroot}${prefix}/share/doc/${name} xinstall -m 644 -W ${worksrcpath} CHANGES README COPYING \ ${destroot}${prefix}/share/doc/${name} } livecheck.url http://sourceforge.net/projects/potassco/files/clasp/ livecheck.regex potassco/files/clasp/(\[0-9\\.\]+)/