diff options
author | Mark Linimon <linimon@FreeBSD.org> | 2017-05-20 16:58:10 +0000 |
---|---|---|
committer | Mark Linimon <linimon@FreeBSD.org> | 2017-05-20 16:58:10 +0000 |
commit | 74fa808d34ee655874151e5c38668b44f18bf58e (patch) | |
tree | 90ebb8bfb4c745a5dab712147ae21ed72a316bdb /math/cryptominisat | |
parent | 7d974a64029f97d59fdfd74c399477c951bb6e15 (diff) | |
download | ports-74fa808d34ee655874151e5c38668b44f18bf58e.tar.gz ports-74fa808d34ee655874151e5c38668b44f18bf58e.zip |
Notes
Diffstat (limited to 'math/cryptominisat')
-rw-r--r-- | math/cryptominisat/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/math/cryptominisat/Makefile b/math/cryptominisat/Makefile index ca16053e8648..64a07bc33386 100644 --- a/math/cryptominisat/Makefile +++ b/math/cryptominisat/Makefile @@ -15,6 +15,8 @@ LICENSE_FILE_LGPL21= ${WRKSRC}/LICENSE-SCALMC BUILD_DEPENDS= xxd:editors/vim-lite # for xxd tool LIB_DEPENDS= libboost_program_options.so:devel/boost-libs +BROKEN_powerpc64= fails to compile: main.cpp: undefined reference to boost::program_options::abstract_variables_map::operator[] + USE_GITHUB= yes GH_ACCOUNT= msoos |