48 lines
1.4 KiB
Makefile
48 lines
1.4 KiB
Makefile
PORTNAME= ikos
|
|
DISTVERSIONPREFIX= v
|
|
DISTVERSION= 3.1
|
|
PORTREVISION= 1
|
|
CATEGORIES= devel
|
|
|
|
MAINTAINER= yuri@FreeBSD.org
|
|
COMMENT= Static analyzer for C/C++ based on theory of abstract interpretation
|
|
WWW= https://github.com/NASA-SW-VnV/ikos
|
|
|
|
LICENSE= MIT
|
|
LICENSE_FILE= ${WRKSRC}/LICENSE.pdf
|
|
|
|
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 \
|
|
libgmp.so:math/gmp \
|
|
libppl.so:devel/ppl \
|
|
libtbb.so:devel/onetbb
|
|
RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}sqlite3>0:databases/py-sqlite3@${PY_FLAVOR} \
|
|
llvm${LLVM_VERSION}>0:devel/llvm${LLVM_VERSION}
|
|
|
|
USES= cmake ncurses python:3.6+ sqlite
|
|
USE_GITHUB= yes
|
|
GH_ACCOUNT= NASA-SW-VnV
|
|
USE_LDCONFIG= yes
|
|
|
|
LLVM_VERSION= 14 # only llvm-14 is currently 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_VERSION} \
|
|
-DPYTHON_EXECUTABLE:STRING=${PYTHON_CMD}
|
|
|
|
PLIST_SUB= PORTVERSION=${PORTVERSION}
|
|
|
|
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_VERSION}
|
|
CC= clang${LLVM_VERSION}
|
|
CXX= clang++${LLVM_VERSION}
|
|
|
|
.include <bsd.port.mk>
|