math/btor2tools: update g20190418 → g20320816

Reported by:	portscout

math/btor2tools/Makefile

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

math/btor2tools/distinfo

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