diff options
| author | Bernhard Froehlich <decke@FreeBSD.org> | 2021-09-21 12:13:25 +0000 |
|---|---|---|
| committer | Bernhard Froehlich <decke@FreeBSD.org> | 2021-09-21 12:57:52 +0000 |
| commit | bd9a7a493052e721ef9c5daea8cfb6179fd9dbd9 (patch) | |
| tree | f3ff1b0d87315ef6537f42efc3777dd904ce29ff /math/boolector | |
| parent | 22fd18d81999099670e5f579a49679a4d11b9a95 (diff) | |
| download | ports-bd9a7a493052e721ef9c5daea8cfb6179fd9dbd9.tar.gz ports-bd9a7a493052e721ef9c5daea8cfb6179fd9dbd9.zip | |
Diffstat (limited to 'math/boolector')
| -rw-r--r-- | math/boolector/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/math/boolector/Makefile b/math/boolector/Makefile index 1e7833a09049..451dddd8ed33 100644 --- a/math/boolector/Makefile +++ b/math/boolector/Makefile @@ -14,7 +14,9 @@ LIB_DEPENDS= libbtor2parser.so:math/btor2tools \ libpicosat.so:math/picosat TEST_DEPENDS= bash:shells/bash -USES= cmake:noninja compiler:c++11-lang python:test # ninja fails to build tests +USES= cmake:noninja compiler:c++11-lang cpe python:test # ninja fails to build tests + +CPE_VENDOR= boolector_project USE_GITHUB= yes GH_ACCOUNT= Boolector |