[83579] trunk/dports/math/minisat/Portfile
mww at macports.org
mww at macports.org
Tue Sep 6 01:00:00 PDT 2011
Revision: 83579
http://trac.macports.org/changeset/83579
Author: mww at macports.org
Date: 2011-09-06 00:59:59 -0700 (Tue, 06 Sep 2011)
Log Message:
-----------
aesthetic changes (whitespace, svnprop, ..)
Modified Paths:
--------------
trunk/dports/math/minisat/Portfile
Property Changed:
----------------
trunk/dports/math/minisat/Portfile
Modified: trunk/dports/math/minisat/Portfile
===================================================================
--- trunk/dports/math/minisat/Portfile 2011-09-06 07:41:11 UTC (rev 83578)
+++ trunk/dports/math/minisat/Portfile 2011-09-06 07:59:59 UTC (rev 83579)
@@ -1,15 +1,15 @@
-# $Id: Portfile 63716 2010-02-13 13:52:50Z raimue at macports.org $
+# $Id$
PortSystem 1.0
-name minisat
-version 2.2.0
-categories math science
+name minisat
+version 2.2.0
+categories math science
platforms darwin
-maintainers mww openmaintainer
+maintainers mww openmaintainer
homepage http://minisat.se/
license MIT
-description Minimalistic SAT solver
+description Minimalistic SAT solver
long_description MiniSat is a minimalistic, open-source SAT solver, \
developed to help researchers and developers alike to get \
started on SAT.
@@ -29,7 +29,7 @@
use_configure no
build {
- system "cd ${worksrcpath}/simp && MROOT=${worksrcpath} ${prefix}/bin/gmake rs CXX=\"${configure.cxx} ${configure.ldflags} ${configure.cppflags} ${configure.cxxflags}\""
+ system -W ${worksrcpath}/simp "MROOT=${worksrcpath} ${prefix}/bin/gmake rs CXX=\"${configure.cxx} ${configure.ldflags} ${configure.cppflags} ${configure.cxxflags}\""
}
destroot {
Property changes on: trunk/dports/math/minisat/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/20110906/dd87c64e/attachment.html>
More information about the macports-changes
mailing list