Changeset 83182

Timestamp:

08/27/11 05:31:34 (4 years ago)

Author:

jmr@…

Message:

nusmv: add missing deps

File:

• trunk/dports/devel/nusmv/Portfile (modified) (2 diffs)

trunk/dports/devel/nusmv/Portfile

@@ -20 +20 @@
                     rmd160  a9375b8910940325419949bba6482a4606569ad6
 
+depends_lib     port:readline port:expat
+
 pre-configure {
     # build included cudd first so that configure can pick it up
@@ -31 +33 @@
 
 use_parallel_build no
-