mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-04 01:48:54 +00:00
Code Issues Releases Activity

science/bddsolve: enable on powerpc

Browse Source
This commit is contained in:
Piotr Kubaj 2022-04-27 13:22:47 +00:00
parent 37ebeda814
commit dcf2fd17fe
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
science/bddsolve/Makefile
View File

@ -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