svn commit: r491316 - head/devel/ikos

[Yuri Victorovich]

Author: yuri
Date: Sat Jan 26 22:15:05 2019
New Revision: 491316
URL: https://svnweb.freebsd.org/changeset/ports/491316

Log:
  devel/ikos: Switch to a fixed LLVM version 70 from LLVM_DEFAULT
  
  ikos seems to only support a narrow set of versions.
  
  Also add USE_LDCONFIG.
  
  PR:		235213
  Reported by:	jbeich

Modified:
  head/devel/ikos/Makefile

Modified: head/devel/ikos/Makefile
==============================================================================
--- head/devel/ikos/Makefile	Sat Jan 26 22:14:07 2019	(r491315)
+++ head/devel/ikos/Makefile	Sat Jan 26 22:15:05 2019	(r491316)
@@ -4,6 +4,7 @@ PORTNAME=	ikos
 DISTVERSIONPREFIX=	v
 DISTVERSION=	2.1-69
 DISTVERSIONSUFFIX=	-gbd6abc0
+PORTREVISION=	1
 CATEGORIES=	devel
 
 MAINTAINER=	yuri at FreeBSD.org
@@ -12,7 +13,7 @@ COMMENT=	Static analyzer for C/C++ based on theory of 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/LICENSE.pdf
 
-BUILD_DEPENDS=	llvm${LLVM_DEFAULT}>0:devel/llvm${LLVM_DEFAULT}
+BUILD_DEPENDS=	llvm${LLVM_VERSION}>0:devel/llvm${LLVM_VERSION}
 LIB_DEPENDS=	libapron.so:math/apron \
 		libboost_system.so:devel/boost-libs \
 		libmpfr.so:math/mpfr \
@@ -23,19 +24,22 @@ USES=		cmake ncurses python sqlite
 USE_PYTHON=	py3kplist
 USE_GITHUB=	yes
 GH_ACCOUNT=	NASA-SW-VnV
+USE_LDCONFIG=	yes
 
+LLVM_VERSION=	70 # ${LLVM_DEFAULT} isn't desirable here since ikos doesn't support llvm < 70, but LLVM_DEFAULT implies that many llvm versions are supported
+
 CXXFLAGS+=	-DNDEBUG # https://github.com/NASA-SW-VnV/ikos/issues/36, it also breaks with assert without NDEBUG
 
 CMAKE_ON=	BUILD_SHARED_LIBS
-CMAKE_ARGS=	-DLLVM_CONFIG_EXECUTABLE:PATH=${LOCALBASE}/bin/llvm-config${LLVM_DEFAULT} \
+CMAKE_ARGS=	-DLLVM_CONFIG_EXECUTABLE:PATH=${LOCALBASE}/bin/llvm-config${LLVM_VERSION} \
 		-DPYTHON_EXECUTABLE:STRING=${PYTHON_CMD}
 
 post-configure: # workaround for the problem that --color-diagnostics gets into the linker command lines
 	@${REINPLACE_CMD} 's|-Wl,--color-diagnostics| |' ${BUILD_WRKSRC}/build.ninja
 
 # use clang corresponding to the used llvm version
-CPP=		clang-cpp${LLVM_DEFAULT}
-CC=		clang${LLVM_DEFAULT}
-CXX=		clang++${LLVM_DEFAULT}
+CPP=		clang-cpp${LLVM_VERSION}
+CC=		clang${LLVM_VERSION}
+CXX=		clang++${LLVM_VERSION}
 
 .include <bsd.port.mk>