diff options
| author | Mark Linimon <linimon@FreeBSD.org> | 2018-11-06 23:52:17 +0000 |
|---|---|---|
| committer | Mark Linimon <linimon@FreeBSD.org> | 2018-11-06 23:52:17 +0000 |
| commit | 00a7f38fa8fa7442fbb3aed69b039dd216640f3c (patch) | |
| tree | 05a9e3d6bf08fee687f979912661a84be94aa1d5 /math/stp | |
| parent | c41a90a41831b3c296ba59bfaba155ea06e13b20 (diff) | |
| download | ports-00a7f38fa8fa7442fbb3aed69b039dd216640f3c.tar.gz ports-00a7f38fa8fa7442fbb3aed69b039dd216640f3c.zip | |
Notes
Diffstat (limited to 'math/stp')
| -rw-r--r-- | math/stp/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/math/stp/Makefile b/math/stp/Makefile index 548929f78045..2baec95114a1 100644 --- a/math/stp/Makefile +++ b/math/stp/Makefile @@ -14,13 +14,12 @@ LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE BROKEN_aarch64= fails to compile: undefined reference to sbrk -BROKEN_powerpc64= fails to compile: main.cpp.o: undefined reference to boost::program_options::error_with_option_name::get_canonical_option_name() LIB_DEPENDS= libboost_program_options.so:devel/boost-libs \ libminisat.so:math/minisat \ libcryptominisat5.so:math/cryptominisat -USES= bison:build cmake:outsource perl5 python +USES= bison:build compiler:c++11-lang cmake:outsource perl5 python USE_GITHUB= yes USE_PERL5= build USE_LDCONFIG= yes |