diff options
| author | Mark Linimon <linimon@FreeBSD.org> | 2018-09-22 05:30:31 +0000 |
|---|---|---|
| committer | Mark Linimon <linimon@FreeBSD.org> | 2018-09-22 05:30:31 +0000 |
| commit | aecf049634efea8555a526b9072fbb9f0a7c2a89 (patch) | |
| tree | ee1202c5a5464562474562e70212261185323b7d /science/bddsolve | |
| parent | bb337a85ebe5bb223ca472e87bfc310e7e7e1070 (diff) | |
| download | ports-aecf049634efea8555a526b9072fbb9f0a7c2a89.tar.gz ports-aecf049634efea8555a526b9072fbb9f0a7c2a89.zip | |
Notes
Diffstat (limited to 'science/bddsolve')
| -rw-r--r-- | science/bddsolve/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/science/bddsolve/Makefile b/science/bddsolve/Makefile index 92f9b99ba8d0..441ca5cf3a77 100644 --- a/science/bddsolve/Makefile +++ b/science/bddsolve/Makefile @@ -12,12 +12,11 @@ MAINTAINER= ed@FreeBSD.org COMMENT= BDD-based satisfiability and reachability solver BROKEN_powerpc= fails to compile due to running out of virtual memory -BROKEN_powerpc64= fails to build: undefined reference to boost::program_options::options_description::options_description LIB_DEPENDS+= libbdd.so:science/buddy \ libboost_program_options.so:devel/boost-libs -USES= zip +USES= compiler:c++11-lang zip NO_WRKSUBDIR= yes CFLAGS+= -I${LOCALBASE}/include -I${WRKSRC}/include LDFLAGS+= -L${LOCALBASE}/lib -lbdd -lboost_program_options |