diff options
Diffstat (limited to 'science/bddsolve/Makefile')
-rw-r--r-- | science/bddsolve/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/science/bddsolve/Makefile b/science/bddsolve/Makefile index be88cfe6a2cb..75b46d56f45c 100644 --- a/science/bddsolve/Makefile +++ b/science/bddsolve/Makefile @@ -11,6 +11,8 @@ DISTNAME= ${PORTNAME}-source-${PORTVERSION} MAINTAINER= ed@FreeBSD.org COMMENT= BDD-based satisfiability and reachability solver +BROKEN_powerpc64= Does not build + LIB_DEPENDS+= libbdd.so:science/buddy \ libboost_program_options.so:devel/boost-libs |