[83692] trunk/dports/devel/nusmv/Portfile

mww at macports.org mww at macports.org
Fri Sep 9 07:34:58 PDT 2011


Revision: 83692
          http://trac.macports.org/changeset/83692
Author:   mww at macports.org
Date:     2011-09-09 07:34:58 -0700 (Fri, 09 Sep 2011)
Log Message:
-----------
version 2.5.3

Modified Paths:
--------------
    trunk/dports/devel/nusmv/Portfile

Modified: trunk/dports/devel/nusmv/Portfile
===================================================================
--- trunk/dports/devel/nusmv/Portfile	2011-09-09 14:27:56 UTC (rev 83691)
+++ trunk/dports/devel/nusmv/Portfile	2011-09-09 14:34:58 UTC (rev 83692)
@@ -4,7 +4,7 @@
 PortSystem 1.0
 
 name                nusmv
-version             2.4.3
+version             2.5.3
 categories          devel math
 platforms           darwin
 maintainers         mww openmaintainer
@@ -13,22 +13,34 @@
 long_description    ${description}
 
 homepage            http://nusmv.fbk.eu/
-master_sites        http://nusmv.fbk.eu/distrib/
-distname            NuSMV-${version}
-checksums           md5     f9fb88139b388c6ba8d31b0ad1ce5254 \
-                    sha1    01e9482d88313a39a26995d5a27335b5059fcf2e \
-                    rmd160  a9375b8910940325419949bba6482a4606569ad6
+master_sites        http://nusmv.fbk.eu/distrib/:nusmv \
+                    http://minisat.se/downloads/:minisat
+distfiles           NuSMV-${version}.tar.gz:nusmv minisat2-070721.zip:minisat
+checksums           NuSMV-${version}.tar.gz \
+                    rmd160  a9bb9c0161d38c7a40243cae300b67ad0e0492e4 \
+                    sha256  d5d6b2873dfa6f82ff9bef1a7eefa36dc5070557aa2b0e0d53cc8c54b2fe437d \
+                    minisat2-070721.zip \
+                    rmd160  a04236122afc4fba40b6e54da34b1b0d2ef4eda4 \
+                    sha256  ddc2ed421a538a349ddab58d3958076d73813925ff08361e6292583d3b87248e
 
 depends_lib         port:readline port:expat
 
+set minisatdir      ${workpath}/NuSMV-${version}/MiniSat
+
+extract.only        NuSMV-${version}.tar.gz
+post-extract {
+    system -W ${minisatdir} "unzip ${distpath}/minisat2-070721.zip"
+}
+
+worksrcdir          ${worksrcdir}/nusmv
+
 pre-configure {
     # build included cudd first so that configure can pick it up
-    system "cd ${workpath}/NuSMV-${version}/cudd-2.4.1.0 && make -f Makefile_os_x CPP=${configure.cxx} CC=${configure.cc}"
+    system "cd ${workpath}/NuSMV-${version}/cudd-2.4.1.1 && make -f Makefile_os_x CPP=${configure.cxx} CC=${configure.cc}"
+    system -W ${minisatdir} "./build.sh"
 }
 
-worksrcdir          ${worksrcdir}/nusmv
-
 configure.args      --with-expat-libdir=${prefix}/lib --with-expat-incdir=${prefix}/include \
-                    --disable-zchaff --disable-minisat
+                    --disable-zchaff --enable-minisat
 
 use_parallel_build  no
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20110909/1095a5db/attachment.html>


More information about the macports-changes mailing list