Revision
83182
Author
jmr@macports.org
Date
2011-08-27 05:31:34 -0700 (Sat, 27 Aug 2011)

Log Message

nusmv: add missing deps

Modified Paths

Diff

Modified: trunk/dports/devel/nusmv/Portfile (83181 => 83182)


--- 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
-