git: dcf2fd17fe1d - main - science/bddsolve: enable on powerpc

From: Piotr Kubaj <pkubaj_at_FreeBSD.org>
Date: Wed, 27 Apr 2022 13:40:42 UTC 
The branch main has been updated by pkubaj:

URL: https://cgit.FreeBSD.org/ports/commit/?id=dcf2fd17fe1d8e2a6e5408a2325f5e46a524e76c

commit dcf2fd17fe1d8e2a6e5408a2325f5e46a524e76c
Author:     Piotr Kubaj <pkubaj@FreeBSD.org>
AuthorDate: 2022-04-27 13:22:47 +0000
Commit:     Piotr Kubaj <pkubaj@FreeBSD.org>
CommitDate: 2022-04-27 13:22:47 +0000

    science/bddsolve: enable on powerpc
---
 science/bddsolve/Makefile | 2 --
 1 file changed, 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