[115931] trunk/dports/math

[mww at macports.org]

Revision: 115931
          https://trac.macports.org/changeset/115931
Author:   mww at macports.org
Date:     2014-01-14 11:43:30 -0800 (Tue, 14 Jan 2014)
Log Message:
-----------
clasp: new port

Added Paths:
-----------
    trunk/dports/math/clasp/
    trunk/dports/math/clasp/Portfile

Added: trunk/dports/math/clasp/Portfile
===================================================================
--- trunk/dports/math/clasp/Portfile	                        (rev 0)
+++ trunk/dports/math/clasp/Portfile	2014-01-14 19:43:30 UTC (rev 115931)
@@ -0,0 +1,42 @@
+# $Id$
+
+PortSystem 1.0
+
+name                clasp
+version             2.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  72f6fbe84d0d9f46615ff15e28bca9343f3f83c1 \
+                    sha256  9d4077d64b549903999d8da0689e81855ed4ba488f6c9628c1493788ae73aad5
+
+worksrcdir          ${name}-${version}
+
+configure.cmd       ./configure.sh
+
+build.dir           ${worksrcpath}/build/release/
+build.target
+
+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}
+}
+


Property changes on: trunk/dports/math/clasp/Portfile
___________________________________________________________________
Added: svn:keywords
   + Id
Added: svn:eol-style
   + native
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20140114/dee221d6/attachment.html>