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

[mww at macports.org]

Revision: 83709
          http://trac.macports.org/changeset/83709
Author:   mww at macports.org
Date:     2011-09-09 10:33:37 -0700 (Fri, 09 Sep 2011)
Log Message:
-----------
fix linking issue on case-sensitive filesystems

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

Modified: trunk/dports/devel/nusmv/Portfile
===================================================================
--- trunk/dports/devel/nusmv/Portfile	2011-09-09 17:23:37 UTC (rev 83708)
+++ trunk/dports/devel/nusmv/Portfile	2011-09-09 17:33:37 UTC (rev 83709)
@@ -44,8 +44,8 @@
 configure.dir       ${worksrcpath}/nusmv
 configure.args      --with-expat-libdir=${prefix}/lib --with-expat-incdir=${prefix}/include \
                     --disable-zchaff --enable-minisat \
-                    --with-minisat-incdir=${minisatdir}/minisat/simp \
-                    --with-minisat-libdir=${minisatdir}/minisat/simp
+                    --with-minisat-incdir=${minisatdir}/minisat \
+                    --with-minisat-libdir=${minisatdir}/minisat
 
 build.dir           ${configure.dir}
 destroot.dir        ${configure.dir}
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20110909/67538663/attachment.html>