diff options
| author | Tobias Kortkamp <tobik@FreeBSD.org> | 2019-05-27 10:10:15 +0000 |
|---|---|---|
| committer | Tobias Kortkamp <tobik@FreeBSD.org> | 2019-05-27 10:10:15 +0000 |
| commit | 6be3634f44787485dbfd77e5b5b34040bfc8dfcf (patch) | |
| tree | e0ea8614483d59b7d2b1f3254fb4863815e74a49 /math | |
| parent | df17d353305e741904933c02fb9f798196429880 (diff) | |
| download | ports-6be3634f44787485dbfd77e5b5b34040bfc8dfcf.tar.gz ports-6be3634f44787485dbfd77e5b5b34040bfc8dfcf.zip | |
Notes
Diffstat (limited to 'math')
| -rw-r--r-- | math/cvc4/Makefile | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/math/cvc4/Makefile b/math/cvc4/Makefile index 229c0ffbde89..ff581deff760 100644 --- a/math/cvc4/Makefile +++ b/math/cvc4/Makefile @@ -17,7 +17,8 @@ LIB_DEPENDS= libantlr3c.so:devel/libantlr3c \ BUILD_DEPENDS= bash:shells/bash \ antlr3:devel/antlr3 -USES= autoreconf gmake python:3.5+,build libtool localbase pkgconfig shebangfix +USES= autoreconf compiler:c++17-lang gmake libtool localbase \ + pkgconfig python:3.5+,build shebangfix USE_JAVA= yes JAVA_BUILD= yes @@ -72,10 +73,4 @@ LICENSE= GPLv3 CONFIGURE_ARGS+= --enable-gpl .endif -# use the fixed compiler version from ports to prevent failures on FreeBSD_10 -LLVM_VERSION= 60 -BUILD_DEPENDS+= clang${LLVM_VERSION}:devel/llvm${LLVM_VERSION} -CC= clang${LLVM_VERSION} -CXX= clang++${LLVM_VERSION} - .include <bsd.port.mk> |