diff options
Diffstat (limited to 'math/stp/Makefile')
| -rw-r--r-- | math/stp/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/stp/Makefile b/math/stp/Makefile index 4603fa6685b6..f4b0e4515a44 100644 --- a/math/stp/Makefile +++ b/math/stp/Makefile @@ -19,7 +19,7 @@ LIB_DEPENDS= libboost_program_options.so:devel/boost-libs \ libminisat.so:math/minisat \ libcryptominisat5.so:math/cryptominisat -USES= bison:build compiler:c++11-lang cmake:outsource perl5 python +USES= bison:build compiler:c++11-lang cmake perl5 python USE_GITHUB= yes USE_PERL5= build USE_LDCONFIG= yes |