diff --git a/science/bddsolve/Makefile b/science/bddsolve/Makefile
index 87acbba3065d..9472902ec2c3 100644
--- a/science/bddsolve/Makefile
+++ b/science/bddsolve/Makefile
@@ -1,35 +1,33 @@
 # Created by: Ed Schouten <ed@FreeBSD.org>
 
 PORTNAME=	bddsolve
 PORTVERSION=	1.04
 PORTREVISION=	9
 CATEGORIES=	science
 MASTER_SITES=	http://www.win.tue.nl/~wieger/bddsolve/_downloads/
 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
 
 USES=		compiler:c++11-lang zip
 NO_WRKSUBDIR=	yes
 CFLAGS+=	-I${LOCALBASE}/include -I${WRKSRC}/include
 LDFLAGS+=	-L${LOCALBASE}/lib -lbdd -lboost_program_options
 
 OPTIONS_DEFINE=	EXAMPLES
 
 do-build:
 	${SETENV} ${MAKE_ENV} ${CXX} ${CXXFLAGS} ${LDFLAGS} \
 		-o ${WRKSRC}/bddsolve ${WRKSRC}/src/bddsolve.cpp
 
 do-install:
 	${INSTALL_PROGRAM} ${WRKSRC}/bddsolve ${STAGEDIR}${PREFIX}/bin
 	@${MKDIR} ${STAGEDIR}${EXAMPLESDIR}
 	${INSTALL_DATA} ${WRKSRC}/example/reach.b ${STAGEDIR}${EXAMPLESDIR}
 	${INSTALL_DATA} ${WRKSRC}/example/sat.b ${STAGEDIR}${EXAMPLESDIR}
 
 .include <bsd.port.mk>