diff options
Diffstat (limited to 'science/bddsolve/Makefile')
| -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 |