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

[jmr at macports.org]

Revision: 83182
          http://trac.macports.org/changeset/83182
Author:   jmr at macports.org
Date:     2011-08-27 05:31:34 -0700 (Sat, 27 Aug 2011)
Log Message:
-----------
nusmv: add missing deps

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

Modified: trunk/dports/devel/nusmv/Portfile
===================================================================
--- trunk/dports/devel/nusmv/Portfile	2011-08-27 12:22:28 UTC (rev 83181)
+++ trunk/dports/devel/nusmv/Portfile	2011-08-27 12:31:34 UTC (rev 83182)
@@ -19,6 +19,8 @@
                     sha1    01e9482d88313a39a26995d5a27335b5059fcf2e \
                     rmd160  a9375b8910940325419949bba6482a4606569ad6
 
+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}"
@@ -30,4 +32,3 @@
                   --disable-zchaff --disable-minisat
 
 use_parallel_build no
-
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20110827/4867e290/attachment.html>