[64534] trunk/dports/devel
mww at macports.org
mww at macports.org
Mon Mar 8 04:18:42 PST 2010
Revision: 64534
http://trac.macports.org/changeset/64534
Author: mww at macports.org
Date: 2010-03-08 04:18:39 -0800 (Mon, 08 Mar 2010)
Log Message:
-----------
new port devel/nusmv -- the NuSMV2 model checker
Added Paths:
-----------
trunk/dports/devel/nusmv/
trunk/dports/devel/nusmv/Portfile
Added: trunk/dports/devel/nusmv/Portfile
===================================================================
--- trunk/dports/devel/nusmv/Portfile (rev 0)
+++ trunk/dports/devel/nusmv/Portfile 2010-03-08 12:18:39 UTC (rev 64534)
@@ -0,0 +1,33 @@
+# -*- coding: utf-8; mode: tcl; tab-width: 4; truncate-lines: t; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:et:sw=4:ts=4:sts=4
+# $Id: Portfile 58200 2009-09-24 01:00:46Z jann at macports.org $
+
+PortSystem 1.0
+
+name nusmv
+version 2.4.3
+categories devel math
+platforms darwin
+maintainers mww openmaintainer
+description The NuSMV model checker
+
+long_description ${description}
+
+homepage http://spinroot.com
+master_sites http://nusmv.fbk.eu/distrib/
+distname NuSMV-${version}
+checksums md5 f9fb88139b388c6ba8d31b0ad1ce5254 \
+ sha1 01e9482d88313a39a26995d5a27335b5059fcf2e \
+ rmd160 a9375b8910940325419949bba6482a4606569ad6
+
+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}"
+}
+
+worksrcdir ${worksrcdir}/nusmv
+
+configure.args --with-expat-libdir=${prefix}/lib --with-expat-incdir=${prefix}/include \
+ --disable-zchaff --disable-minisat
+
+use_parallel_build no
+
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20100308/4d889c60/attachment-0001.html>
More information about the macports-changes
mailing list