[83639] trunk/dports/math/minisat

mww at macports.org mww at macports.org
Thu Sep 8 04:04:58 PDT 2011


Revision: 83639
          http://trac.macports.org/changeset/83639
Author:   mww at macports.org
Date:     2011-09-08 04:04:55 -0700 (Thu, 08 Sep 2011)
Log Message:
-----------
add universal variant

Modified Paths:
--------------
    trunk/dports/math/minisat/Portfile

Added Paths:
-----------
    trunk/dports/math/minisat/files/configure
    trunk/dports/math/minisat/files/patch-simp-Makefile.diff

Modified: trunk/dports/math/minisat/Portfile
===================================================================
--- trunk/dports/math/minisat/Portfile	2011-09-08 10:43:55 UTC (rev 83638)
+++ trunk/dports/math/minisat/Portfile	2011-09-08 11:04:55 UTC (rev 83639)
@@ -15,23 +15,28 @@
                     started on SAT.
 
 master_sites        http://minisat.se/downloads/
-patchfiles          patch-mtl-template.mk.diff patch-utils-System.cc.diff
+patchfiles          patch-mtl-template.mk.diff patch-utils-System.cc.diff patch-simp-Makefile.diff
 
 checksums           md5     99a2eaabe528cd366100e4bc0327d22e \
                     sha1    dfc25898bf40e00cf04252a42176e0c0600fbc90 \
                     rmd160  169ec9116befa9067db9076d26309f7e9ab408dd
 
-depends_build       port:gmake
 depends_lib         port:zlib
 
+variant universal   {}
+
 worksrcdir          minisat
 
-use_configure       no
-
-build {
-    system -W ${worksrcpath}/simp "MROOT=${worksrcpath} ${prefix}/bin/gmake rs CXX=\"${configure.cxx} ${configure.ldflags} ${configure.cppflags} ${configure.cxxflags}\""
+post-extract {
+    xinstall -m 755 ${filespath}/configure ${worksrcpath}/simp
 }
 
+configure.dir        ${worksrcpath}/simp
+
+build.target         rs
+build.args           MROOT="${worksrcpath}"
+build.dir            ${configure.dir}
+
 destroot {
     xinstall -m 755 -d ${destroot}${prefix}/bin \
         ${destroot}${prefix}/share/doc/${name}

Added: trunk/dports/math/minisat/files/configure
===================================================================
--- trunk/dports/math/minisat/files/configure	                        (rev 0)
+++ trunk/dports/math/minisat/files/configure	2011-09-08 11:04:55 UTC (rev 83639)
@@ -0,0 +1,3 @@
+#!/bin/sh
+echo "CXX=${CXX:-c++} ${CXXFLAGS} ${CPPFLAGS} ${LDFLAGS}" > Makefile.conf
+

Added: trunk/dports/math/minisat/files/patch-simp-Makefile.diff
===================================================================
--- trunk/dports/math/minisat/files/patch-simp-Makefile.diff	                        (rev 0)
+++ trunk/dports/math/minisat/files/patch-simp-Makefile.diff	2011-09-08 11:04:55 UTC (rev 83639)
@@ -0,0 +1,8 @@
+--- simp/Makefile	2010-07-10 18:07:36.000000000 +0200
++++ simp/Makefile	2011-09-08 12:51:53.000000000 +0200
+@@ -1,4 +1,5 @@
+ EXEC      = minisat
+ DEPDIR    = mtl utils core
+ 
++include Makefile.conf
+ include $(MROOT)/mtl/template.mk
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20110908/478647c7/attachment.html>


More information about the macports-changes mailing list