diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2018-07-23 18:51:55 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2018-07-23 18:51:55 +0000 |
| commit | d38c0b4267e10a3553a7390de1271eb961f24cf2 (patch) | |
| tree | 954305dfefe6656ce23ef594c2b8e09dbeaebab5 /math/cvc4 | |
| parent | fdabd053631d3c034a3a48a831d0690ea2414ba6 (diff) | |
| download | ports-d38c0b4267e10a3553a7390de1271eb961f24cf2.tar.gz ports-d38c0b4267e10a3553a7390de1271eb961f24cf2.zip | |
math/cvc4: Fix the warning in 'make describe'
Remove USES=compiler as it conflicts with the explicit compiler setting.
PR: 229987
Reported by: Yasuhiro KIMURA <yasu@utahime.org>
Notes
Notes:
svn path=/head/; revision=475198
Diffstat (limited to 'math/cvc4')
| -rw-r--r-- | math/cvc4/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/cvc4/Makefile b/math/cvc4/Makefile index 1ecc3536275c..dd50bf0868b4 100644 --- a/math/cvc4/Makefile +++ b/math/cvc4/Makefile @@ -16,7 +16,7 @@ LIB_DEPENDS= libantlr3c.so:devel/libantlr3c \ BUILD_DEPENDS= bash:shells/bash \ antlr3:devel/antlr3 -USES= autoreconf compiler:c++11-lang gmake python:3.5+,build libtool localbase pkgconfig shebangfix +USES= autoreconf gmake python:3.5+,build libtool localbase pkgconfig shebangfix USE_JAVA= yes JAVA_BUILD= yes |