[97541] trunk/dports/math

[mww at macports.org]

Revision: 97541
          https://trac.macports.org/changeset/97541
Author:   mww at macports.org
Date:     2012-09-08 06:55:01 -0700 (Sat, 08 Sep 2012)
Log Message:
-----------
picosat: new port

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

Added: trunk/dports/math/picosat/Portfile
===================================================================
--- trunk/dports/math/picosat/Portfile	                        (rev 0)
+++ trunk/dports/math/picosat/Portfile	2012-09-08 13:55:01 UTC (rev 97541)
@@ -0,0 +1,40 @@
+# $Id$
+
+PortSystem          1.0
+
+name                picosat
+version             951
+categories          math science
+platforms           darwin
+maintainers         mww openmaintainer
+license             MIT
+description         picosat is a SAT solver
+long_description    ${description}
+homepage            http://fmv.jku.at/picosat/
+master_sites        ${homepage}
+
+checksums           rmd160  2f562778beddd92d1bc35b74e13704eeb62cb51d \
+                    sha256  4e9c10ae6798a50228a9266e16a5f76a9bab57fc93afbf484c02894b11ab3413
+
+installs_libs       yes
+
+configure.pre_args
+# --shared does NOT work on OS X
+configure.args      --static
+
+destroot {
+    xinstall -m 755 -d ${destroot}${prefix}/bin \
+        ${destroot}${prefix}/lib \
+        ${destroot}${prefix}/include \
+        ${destroot}${prefix}/share/doc/${name}
+    xinstall -m 644 ${worksrcpath}/picosat.h ${destroot}${prefix}/include
+    xinstall -m 644 ${worksrcpath}/libpicosat.a ${destroot}${prefix}/lib
+    xinstall -m 755 -W ${worksrcpath} picosat picomcs picomus picogcnf \
+        ${destroot}${prefix}/bin
+    xinstall -m 644 -W ${worksrcpath} LICENSE NEWS README VERSION \
+        ${destroot}${prefix}/share/doc/${name}
+}
+
+livecheck.type       regex
+livecheck.url        ${homepage}
+livecheck.regex      picosat-(\[0-9\.\]+).tar.gz


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