aboutsummaryrefslogtreecommitdiff
path: root/math/cryptominisat
diff options
context:
space:
mode:
authorMark Linimon <linimon@FreeBSD.org>2018-09-25 07:29:25 +0000
committerMark Linimon <linimon@FreeBSD.org>2018-09-25 07:29:25 +0000
commitb54b77fa86514ba06480f6ea22f36379d22cbde8 (patch)
tree262a5db58bff73f86c94d292d6eafdc8e48838a9 /math/cryptominisat
parent57902f95836c2de93d5bb65cd20d7f6edf1cfdfd (diff)
downloadports-b54b77fa86514ba06480f6ea22f36379d22cbde8.tar.gz
ports-b54b77fa86514ba06480f6ea22f36379d22cbde8.zip
These ports now build on powerpc64.
While here, pet portlint. Approved by: portmgr (tier-2 blanket)
Notes
Notes: svn path=/head/; revision=480642
Diffstat (limited to 'math/cryptominisat')
-rw-r--r--math/cryptominisat/Makefile2
1 files changed, 0 insertions, 2 deletions
diff --git a/math/cryptominisat/Makefile b/math/cryptominisat/Makefile
index cbf02a468fcf..41c34273a576 100644
--- a/math/cryptominisat/Makefile
+++ b/math/cryptominisat/Makefile
@@ -13,8 +13,6 @@ LICENSE_COMB= multi
LICENSE_FILE_LGPL21= ${WRKSRC}/LICENSE.txt
LICENSE_FILE_MIT= ${WRKSRC}/LICENSE.txt
-BROKEN_powerpc64= fails to compile: main.cpp: undefined reference to boost::program_options::abstract_variables_map::operator[]
-
LIB_DEPENDS= libboost_program_options.so:devel/boost-libs
USES= cmake:outsource compiler:c++11-lib