[83689] trunk/dports/devel/nusmv/Portfile
mww at macports.org
mww at macports.org
Fri Sep 9 03:04:24 PDT 2011
Revision: 83689
http://trac.macports.org/changeset/83689
Author: mww at macports.org
Date: 2011-09-09 03:04:18 -0700 (Fri, 09 Sep 2011)
Log Message:
-----------
whitespace changes only
Modified Paths:
--------------
trunk/dports/devel/nusmv/Portfile
Modified: trunk/dports/devel/nusmv/Portfile
===================================================================
--- trunk/dports/devel/nusmv/Portfile 2011-09-09 07:53:22 UTC (rev 83688)
+++ trunk/dports/devel/nusmv/Portfile 2011-09-09 10:04:18 UTC (rev 83689)
@@ -1,34 +1,34 @@
# -*- 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$
-PortSystem 1.0
+PortSystem 1.0
-name nusmv
-version 2.4.3
-categories devel math
-platforms darwin
-maintainers mww openmaintainer
-description The NuSMV model checker
+name nusmv
+version 2.4.3
+categories devel math
+platforms darwin
+maintainers mww openmaintainer
+description The NuSMV model checker
-long_description ${description}
+long_description ${description}
-homepage http://spinroot.com
-master_sites http://nusmv.fbk.eu/distrib/
-distname NuSMV-${version}
+homepage http://spinroot.com
+master_sites http://nusmv.fbk.eu/distrib/
+distname NuSMV-${version}
checksums md5 f9fb88139b388c6ba8d31b0ad1ce5254 \
sha1 01e9482d88313a39a26995d5a27335b5059fcf2e \
rmd160 a9375b8910940325419949bba6482a4606569ad6
-depends_lib port:readline port:expat
+depends_lib port:readline port:expat
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
+worksrcdir ${worksrcdir}/nusmv
-configure.args --with-expat-libdir=${prefix}/lib --with-expat-incdir=${prefix}/include \
- --disable-zchaff --disable-minisat
+configure.args --with-expat-libdir=${prefix}/lib --with-expat-incdir=${prefix}/include \
+ --disable-zchaff --disable-minisat
-use_parallel_build no
+use_parallel_build no
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20110909/d8e6aa44/attachment.html>
More information about the macports-changes
mailing list