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 | |
Mark some ports failing on power64. In cases where the error message
was a stub, provide a real one.
While here, pet portlint.
Reported by: swills
Approved by: portmgr (tier-2 blanket)
Notes
Notes:
svn path=/head/; revision=441320
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 |