[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