[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