diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2025-06-23 02:46:22 -0700 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2025-06-23 02:47:59 -0700 |
| commit | 649a593137e7931347e17964c9ccb18141d88cb0 (patch) | |
| tree | 8294f25968c2668ebcc95d7f7770c7072d61e27a | |
| parent | databases/diesel: update 2.2.10 → 2.2.11 (diff) | |
math/cvc5: ANTLR and Java are not required since v1.0.6
PR: 287727
Reported by: Daniel Larraz <daniel-larraz@uiowa.edu>
| -rw-r--r-- | math/cvc5/Makefile | 5 |
1 files 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 |