Mirrors
/
freebsd-ports
mirror of https://git.freebsd.org/ports.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

math/btor2tools: update g20190418 → g20320816 

Reported by:	portscout
2024Q1
Yuri Victorovich 2023-11-05 09:49:54 -08:00
parent 73ab6e5f8b
commit 60d424bebf
2 changed files with 11 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
math/btor2tools/Makefile
View File

@ -1,5 +1,5 @@
PORTNAME= btor2tools
DISTVERSION= g20190418
DISTVERSION= g20320816
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
@ -9,31 +9,23 @@ WWW= https://github.com/Boolector/btor2tools
LICENSE= MIT
LICENSE_FILE= ${WRKSRC}/LICENSE.txt
USES= cpe
USES= cmake cpe
USE_LDCONFIG= yes
CPE_VENDOR= ${PORTNAME}_project
USE_GITHUB= yes
GH_ACCOUNT= Boolector
GH_TAGNAME= 1df768d
USE_LDCONFIG= yes
GH_TAGNAME= 037f1fa
MAKEFILE= makefile
PLIST_FILES= bin/btorsim \
bin/btorsplit \
bin/catbtor \
include/btor2parser/btor2parser.h \
include/btor2parser.h \
lib/libbtor2parser.so
do-configure:
@cd ${WRKSRC} && CFLAGS="" CC=${CC} ./configure.sh -shared -fPIC
do-install:
${MKDIR} ${STAGEDIR}${PREFIX}/include/btor2parser
${INSTALL_DATA} ${WRKSRC}/src/btor2parser/btor2parser.h ${STAGEDIR}${PREFIX}/include/btor2parser
${INSTALL_LIB} ${WRKSRC}/build/libbtor2parser.so ${STAGEDIR}${PREFIX}/lib
.for exe in btorsim catbtor
${INSTALL_PROGRAM} ${WRKSRC}/bin/${exe} ${STAGEDIR}${PREFIX}/bin
.endfor
do-test:
@cd ${WRKSRC} && LD_PRELOAD=${WRKSRC}/build/libbtor2parser.so test/runtests.sh

6
math/btor2tools/distinfo
View File

@ -1,3 +1,3 @@
TIMESTAMP = 1560490143
SHA256 (Boolector-btor2tools-g20190418-1df768d_GH0.tar.gz) = e3565704b644153c892ac05746dcd9b937d1337b9ba31bdf57c027c989b48d0c
SIZE (Boolector-btor2tools-g20190418-1df768d_GH0.tar.gz) = 70083
TIMESTAMP = 1699204638
SHA256 (Boolector-btor2tools-g20320816-037f1fa_GH0.tar.gz) = 304080e3b4dc11ea3da747907e231bdbe7bc7583cd38faeae6eb591cfb2adf45
SIZE (Boolector-btor2tools-g20320816-037f1fa_GH0.tar.gz) = 87314