[152941] trunk/dports/math/minisat/Portfile
khindenburg at macports.org
khindenburg at macports.org
Tue Sep 20 19:02:53 PDT 2016
Revision: 152941
https://trac.macports.org/changeset/152941
Author: khindenburg at macports.org
Date: 2016-09-20 19:02:53 -0700 (Tue, 20 Sep 2016)
Log Message:
-----------
minisat: add patch to fix building #52284
Modified Paths:
--------------
trunk/dports/math/minisat/Portfile
Modified: trunk/dports/math/minisat/Portfile
===================================================================
--- trunk/dports/math/minisat/Portfile 2016-09-21 01:39:03 UTC (rev 152940)
+++ trunk/dports/math/minisat/Portfile 2016-09-21 02:02:53 UTC (rev 152941)
@@ -4,6 +4,7 @@
name minisat
version 2.2.0
+revision 1
categories math science
platforms darwin
maintainers mww openmaintainer
@@ -15,8 +16,12 @@
started on SAT.
master_sites http://minisat.se/downloads/
-patchfiles patch-mtl-template.mk.diff patch-utils-System.cc.diff patch-simp-Makefile.diff
+patchfiles patch-friend-declaration.diff \
+ patch-mtl-template.mk.diff \
+ patch-simp-Makefile.diff \
+ patch-utils-System.cc.diff
+
checksums rmd160 169ec9116befa9067db9076d26309f7e9ab408dd \
sha256 92957d851cdc3baddfe07b5fc80ed5a0237c489d0c52ae72f62844b3b46d7808
@@ -45,5 +50,5 @@
}
livecheck.type regex
-livecheck.url http://minisat.se/downloads/
+livecheck.url http://minisat.se/MiniSat.html
livecheck.regex minisat-(\[0-9\.\]+).tar.gz
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20160920/94757d91/attachment.html>
More information about the macports-changes
mailing list