Revision: 83182 http://trac.macports.org/changeset/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: -------------- 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 -
participants (1)
-
jmr@macports.org