diff options
Diffstat (limited to 'math/cvc5')
| -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 |