blob: c2416a9b0116f2f46258535abb4e63b73bf3fb57 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
PORTNAME= ikos
DISTVERSIONPREFIX= v
DISTVERSION= 3.2
PORTREVISION= 2
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
BROKEN_armv7= configure fails: error when running a program linked with GMP: Segmentation fault
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= llvm${LLVM_VERSION}>0:devel/llvm${LLVM_VERSION}
USES= cmake ncurses python 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>
|
