Changeset 83709


Ignore:
Timestamp:
Sep 9, 2011, 5:33:37 PM (6 years ago)
Author:
mww@…
Message:

fix linking issue on case-sensitive filesystems

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/dports/devel/nusmv/Portfile

    r83707 r83709  
    4545configure.args      --with-expat-libdir=${prefix}/lib --with-expat-incdir=${prefix}/include \
    4646                    --disable-zchaff --enable-minisat \
    47                     --with-minisat-incdir=${minisatdir}/minisat/simp \
    48                     --with-minisat-libdir=${minisatdir}/minisat/simp
     47                    --with-minisat-incdir=${minisatdir}/minisat \
     48                    --with-minisat-libdir=${minisatdir}/minisat
    4949
    5050build.dir           ${configure.dir}
Note: See TracChangeset for help on using the changeset viewer.