[115932] trunk/dports/math

[mww at macports.org]

Revision: 115932
          https://trac.macports.org/changeset/115932
Author:   mww at macports.org
Date:     2014-01-14 12:19:26 -0800 (Tue, 14 Jan 2014)
Log Message:
-----------
gringo: new port

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

Added: trunk/dports/math/gringo/Portfile
===================================================================
--- trunk/dports/math/gringo/Portfile	                        (rev 0)
+++ trunk/dports/math/gringo/Portfile	2014-01-14 20:19:26 UTC (rev 115932)
@@ -0,0 +1,44 @@
+# $Id$
+
+PortSystem 1.0
+
+name                gringo
+version             4.2.1
+categories          math devel
+platforms           darwin
+maintainers         mww openmaintainer
+license             GPL-3
+description         gringo computes an equivalent ground program
+long_description \
+    Gringo is a grounder that, given an input program with first-order variables, \
+    computes an equivalent ground (variable-free) program. Its output can be \
+    processed further with answer set solvers like clasp, cmodels, or smodels.
+
+homepage            http://www.cs.uni-potsdam.de/clasp/
+master_sites        sourceforge:potassco
+
+distname            ${name}-${version}-source
+
+checksums           rmd160  7b0b116f7485edd0e199707425c0ffaabd94681d \
+                    sha256  24da7958ca6c4f41a3df43ca786059926057289d5f01bfd22e6d9483977c0581
+
+depends_build       port:scons port:re2c port:bison
+depends_lib         port:boost
+
+worksrcdir          ${name}-${version}-source
+
+use_configure       no
+use_parallel_build  no
+
+build.cmd           scons --build-dir=release gringo clingo
+build.target
+
+destroot {
+    xinstall -d -m 0755 ${destroot}${prefix}/share/doc/${name} \
+        ${destroot}${prefix}/bin
+    xinstall -m 0755 -W ${worksrcpath}/build/release clingo gringo \
+        ${destroot}${prefix}/bin
+    xinstall -m 644 -W ${worksrcpath} CHANGES README COPYING NOTES INSTALL \
+        ${destroot}${prefix}/share/doc/${name}
+}
+


Property changes on: trunk/dports/math/gringo/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/5d99f707/attachment.html>