cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

math/boolector: Add CPE information

Browse Source 
Approved by:    portmgr (blanket)
This commit is contained in:
Bernhard Froehlich 2021-09-21 12:13:25 +00:00
parent 22fd18d819
commit bd9a7a4930
No known key found for this signature in database
GPG Key ID: 4DD88C3F9F3B8333
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
math/boolector/Makefile
View File

@ -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