math/cvc5: ANTLR and Java are not required since v1.0.6

PR: 287727 Reported by: Daniel Larraz <daniel-larraz@uiowa.edu>
2025-06-23 02:46:22 -07:00
parent 2f1decca0b
commit 649a593137
1 changed files with 2 additions and 3 deletions
@@ -19,10 +19,9 @@ BUILD_DEPENDS=	bash:shells/bash \
 		${PYTHON_PKGNAMEPREFIX}pexpect>0:misc/py-pexpect@${PY_FLAVOR} \
 		${PYTHON_PKGNAMEPREFIX}pybind11>0:devel/py-pybind11@${PY_FLAVOR} \
 		${PYTHON_PKGNAMEPREFIX}pyparsing>0:devel/py-pyparsing@${PY_FLAVOR}
-LIB_DEPENDS=	libantlr3c.so:devel/libantlr3c \
-		libcadical.so:math/cadical
+LIB_DEPENDS=	libcadical.so:math/cadical

-USES=		cmake:testing ncurses compiler:c++17-lang java:build \
+USES=		cmake:testing ncurses compiler:c++17-lang \
 		localbase:ldflags pkgconfig python:build
 USE_LDCONFIG=	yes
 USE_GITHUB=	yes