diff options
author | Piotr Kubaj <pkubaj@FreeBSD.org> | 2022-04-27 13:22:47 +0000 |
---|---|---|
committer | Piotr Kubaj <pkubaj@FreeBSD.org> | 2022-04-27 13:22:47 +0000 |
commit | dcf2fd17fe1d8e2a6e5408a2325f5e46a524e76c (patch) | |
tree | 5588732734db7b8babf569528a7100900fae0218 | |
parent | 37ebeda814be4b3259ea8eb2790e45dc19af3091 (diff) | |
download | ports-dcf2fd17fe1d8e2a6e5408a2325f5e46a524e76c.tar.gz ports-dcf2fd17fe1d8e2a6e5408a2325f5e46a524e76c.zip |
science/bddsolve: enable on powerpc
-rw-r--r-- | science/bddsolve/Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/science/bddsolve/Makefile b/science/bddsolve/Makefile index 87acbba3065d..9472902ec2c3 100644 --- a/science/bddsolve/Makefile +++ b/science/bddsolve/Makefile @@ -10,8 +10,6 @@ DISTNAME= ${PORTNAME}-source-${PORTVERSION} MAINTAINER= ed@FreeBSD.org COMMENT= BDD-based satisfiability and reachability solver -BROKEN_powerpc= fails to compile due to running out of virtual memory - LIB_DEPENDS+= libbdd.so:science/buddy \ libboost_program_options.so:devel/boost-libs |