git: 60d424bebf55 - main - math/btor2tools: update g20190418 → g20320816

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=60d424bebf55c602da985f12d880a5bf5a91df2b

commit 60d424bebf55c602da985f12d880a5bf5a91df2b
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-11-05 17:49:54 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-11-05 17:49:54 +0000

    math/btor2tools: update g20190418 → g20320816
    
    Reported by:    portscout
---
 math/btor2tools/Makefile | 24 ++++++++----------------
 math/btor2tools/distinfo |  6 +++---
 2 files changed, 11 insertions(+), 19 deletions(-)

diff --git a/math/btor2tools/Makefile b/math/btor2tools/Makefile
index 5db5912b8f7d..ee2bdf7cf41f 100644
--- a/math/btor2tools/Makefile
+++ b/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
 
diff --git a/math/btor2tools/distinfo b/math/btor2tools/distinfo
index cdfa44d332bb..a4c0b91542ee 100644
--- a/math/btor2tools/distinfo
+++ b/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