svn commit: r502779 - head/math/cvc4

[Tobias Kortkamp]

Author: tobik
Date: Mon May 27 10:10:15 2019
New Revision: 502779
URL: https://svnweb.freebsd.org/changeset/ports/502779

Log:
  math/cvc4: Remove llvm60 build dependency
  
  It was added for FreeBSD 10.x/i386 and is no longer needed.
  
  PR:		238162
  Approved by:	greg at unrelenting.technology (maintainer)

Modified:
  head/math/cvc4/Makefile

Modified: head/math/cvc4/Makefile
==============================================================================
--- head/math/cvc4/Makefile	Mon May 27 09:07:23 2019	(r502778)
+++ head/math/cvc4/Makefile	Mon May 27 10:10:15 2019	(r502779)
@@ -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
 
@@ -71,11 +72,5 @@ DEBUG_INSTALL_TARGET_OFF=	install-strip
 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>