[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