git: 649a593137e7 - main - math/cvc5: ANTLR and Java are not required since v1.0.6

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=649a593137e7931347e17964c9ccb18141d88cb0

commit 649a593137e7931347e17964c9ccb18141d88cb0
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2025-06-23 09:46:22 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2025-06-23 09:47:59 +0000

    math/cvc5: ANTLR and Java are not required since v1.0.6
    
    PR:             287727
    Reported by:    Daniel Larraz <daniel-larraz@uiowa.edu>
---
 math/cvc5/Makefile | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/math/cvc5/Makefile b/math/cvc5/Makefile
index dd800f743ae5..a42303efa420 100644
--- a/math/cvc5/Makefile
+++ b/math/cvc5/Makefile
@@ -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