git: 0d219467b46a - main - math/cvc5: update 1.1.1 → 1.1.2

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=0d219467b46a43a70b287202b39690a88bf17fe0

commit 0d219467b46a43a70b287202b39690a88bf17fe0
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-03-04 14:01:59 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-03-04 23:19:08 +0000

    math/cvc5: update 1.1.1 → 1.1.2
    
    Reported by:    portscout
---
 math/cvc5/Makefile  | 8 ++++----
 math/cvc5/distinfo  | 6 +++---
 math/cvc5/pkg-plist | 1 +
 3 files changed, 8 insertions(+), 7 deletions(-)

diff --git a/math/cvc5/Makefile b/math/cvc5/Makefile
index 9ce7cfdf4e2c..6a314f7e0dd8 100644
--- a/math/cvc5/Makefile
+++ b/math/cvc5/Makefile
@@ -1,7 +1,6 @@
 PORTNAME=	cvc5
 DISTVERSIONPREFIX=	cvc5-
-DISTVERSION=	1.1.1
-PORTREVISION=	1
+DISTVERSION=	1.1.2
 CATEGORIES=	math java
 EXTRACT_ONLY=	${DISTNAME}${EXTRACT_SUFX}
 
@@ -18,8 +17,7 @@ BUILD_DEPENDS=	bash:shells/bash \
 		${PYTHON_PKGNAMEPREFIX}toml>0:textproc/py-toml@${PY_FLAVOR} \
 		${PYTHON_PKGNAMEPREFIX}tomli>0:textproc/py-tomli@${PY_FLAVOR} \
 		${PYTHON_PKGNAMEPREFIX}pyparsing>0:devel/py-pyparsing@${PY_FLAVOR}
-LIB_DEPENDS=	libantlr3c.so:devel/libantlr3c \
-		libboost_system.so:devel/boost-libs
+LIB_DEPENDS=	libantlr3c.so:devel/libantlr3c
 
 USES=		cmake:testing ncurses compiler:c++17-lang \
 		localbase:ldflags pkgconfig python:build
@@ -92,4 +90,6 @@ CMAKE_ARGS+=		-DENABLE_GPL:BOOL=ON
 
 PORTSCOUT=	limit:^[1-9]\.[0-9]+\.[0-9]+ # prevent older generation versions like 1.8, 1.7, etc.
 
+# some tests are skipped without any explanation, see https://github.com/cvc5/cvc5/issues/10456
+
 .include <bsd.port.mk>
diff --git a/math/cvc5/distinfo b/math/cvc5/distinfo
index 57704b6fe263..b2f4022cb714 100644
--- a/math/cvc5/distinfo
+++ b/math/cvc5/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1706328638
-SHA256 (cvc5-cvc5-cvc5-1.1.1_GH0.tar.gz) = 4747502675a778d4bf5ae9590adff0c3a8258b1198098cc39ac537b0cc7802cd
-SIZE (cvc5-cvc5-cvc5-1.1.1_GH0.tar.gz) = 8509343
+TIMESTAMP = 1709575825
+SHA256 (cvc5-cvc5-cvc5-1.1.2_GH0.tar.gz) = f2eba3f957f5e064e6a87f0dce88fd647932d02014061c8f6a79bf188203993a
+SIZE (cvc5-cvc5-cvc5-1.1.2_GH0.tar.gz) = 8581968
diff --git a/math/cvc5/pkg-plist b/math/cvc5/pkg-plist
index 1edc774c45d2..fe7a8579fc73 100644
--- a/math/cvc5/pkg-plist
+++ b/math/cvc5/pkg-plist
@@ -1,4 +1,5 @@
 bin/cvc5
+include/cvc5/c/cvc5.h
 include/cvc5/cvc5.h
 include/cvc5/cvc5_export.h
 include/cvc5/cvc5_kind.h