diff options
author | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-12-12 14:15:03 +0000 |
---|---|---|
committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-12-12 14:15:03 +0000 |
commit | 44e9f64a275cdae1f2dd4bd1a517f48f9e075a81 (patch) | |
tree | c4ea42245d0b053c1a31462b408d6990c18047e0 /science/bddsolve | |
parent | 9c8b302188158c6ba8db4af427c7bcb6b2c9452c (diff) | |
download | ports-44e9f64a275cdae1f2dd4bd1a517f48f9e075a81.tar.gz ports-44e9f64a275cdae1f2dd4bd1a517f48f9e075a81.zip |
Notes
Diffstat (limited to 'science/bddsolve')
-rw-r--r-- | science/bddsolve/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/science/bddsolve/Makefile b/science/bddsolve/Makefile index f011c4f65661..0d8724045fcc 100644 --- a/science/bddsolve/Makefile +++ b/science/bddsolve/Makefile @@ -10,8 +10,8 @@ DISTNAME= ${PORTNAME}-source-${PORTVERSION} MAINTAINER= ed@FreeBSD.org COMMENT= BDD-based satisfiability and reachability solver -LIB_DEPENDS+= bdd:${PORTSDIR}/science/buddy \ - boost_program_options:${PORTSDIR}/devel/boost-libs +LIB_DEPENDS+= libbdd.so:${PORTSDIR}/science/buddy \ + libboost_program_options.so:${PORTSDIR}/devel/boost-libs USE_ZIP= yes NO_WRKSUBDIR= yes |