37 lines
810 B
Makefile
37 lines
810 B
Makefile
PORTNAME= btor2tools
|
|
DISTVERSION= 1.0.3
|
|
CATEGORIES= math
|
|
|
|
MAINTAINER= yuri@FreeBSD.org
|
|
COMMENT= Generic parser and tool package for the BTOR2 format
|
|
WWW= https://github.com/Boolector/btor2tools
|
|
|
|
LICENSE= MIT
|
|
LICENSE_FILE= ${WRKSRC}/LICENSE.txt
|
|
|
|
USES= cmake cpe
|
|
USE_LDCONFIG= yes
|
|
|
|
CMAKE_ARGS+= -DCMAKE_POLICY_VERSION_MINIMUM:STRING=3.5 # CMake 4 compatibility, see https://github.com/hwmcc/btor2tools/issues/33
|
|
|
|
CPE_VENDOR= ${PORTNAME}_project
|
|
|
|
USE_GITHUB= yes
|
|
GH_ACCOUNT= Boolector
|
|
GH_TAGNAME= 037f1fa
|
|
|
|
MAKEFILE= makefile
|
|
|
|
PLIST_FILES= bin/btorsim \
|
|
bin/btorsplit \
|
|
bin/catbtor \
|
|
include/btor2parser.h \
|
|
lib/libbtor2parser.so
|
|
|
|
do-test:
|
|
@cd ${WRKSRC} && LD_LIBRARY_PATH=${STAGEDIR}${PREFIX}/lib BINDIR=${BUILD_WRKSRC}/bin test/runtests.sh
|
|
|
|
# tests as of 1.0.3: 67 ok 67 total
|
|
|
|
.include <bsd.port.mk>
|