diff options
| author | Mark Linimon <linimon@FreeBSD.org> | 2018-03-09 22:46:22 +0000 |
|---|---|---|
| committer | Mark Linimon <linimon@FreeBSD.org> | 2018-03-09 22:46:22 +0000 |
| commit | 5f1ce9ee4fe5dc20687f1ded5fde2a43123e0bc2 (patch) | |
| tree | 790cb502a5aff33661c526dfe45106331638c2c0 /science/bddsolve | |
| parent | d9592b194ded59eca630eaf0909709871e968c97 (diff) | |
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 e7b9f1bd2281..32511b0ff6f5 100644 --- a/science/bddsolve/Makefile +++ b/science/bddsolve/Makefile @@ -11,7 +11,8 @@ DISTNAME= ${PORTNAME}-source-${PORTVERSION} MAINTAINER= ed@FreeBSD.org COMMENT= BDD-based satisfiability and reachability solver -BROKEN_powerpc64= Does not build +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 @@ -20,7 +21,6 @@ USES= zip NO_WRKSUBDIR= yes CFLAGS+= -I${LOCALBASE}/include -I${WRKSRC}/include LDFLAGS+= -L${LOCALBASE}/lib -lbdd -lboost_program_options -BROKEN_powerpc= Does not compile due to running out of virtual memory OPTIONS_DEFINE= EXAMPLES |