Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 27 May 2019 10:10:15 +0000 (UTC)
From:      Tobias Kortkamp <tobik@FreeBSD.org>
To:        ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org
Subject:   svn commit: r502779 - head/math/cvc4
Message-ID:  <201905271010.x4RAAFsU063105@repo.freebsd.org>

next in thread | raw e-mail | index | archive | help
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@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>



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201905271010.x4RAAFsU063105>