blob: ffacb4f73512e28fcbc42e10c2153c4813ad7c55 (
plain)
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
49
50
51
52
53
54
55
56
57
58
59
|
# Contributor: Maxime Arthaud <maxime@arthaud.me>
pkgname=ikos-git
pkgver=3.2.r481.1185cc8
pkgrel=1
pkgdesc='Static analyzer for C and C++ developed by NASA'
arch=('i686' 'x86_64' 'armv7h' 'armv6h' 'aarch64')
url='https://github.com/nasa-sw-vnv/ikos'
license=('custom:NOSA 1.3')
provides=('ikos')
depends=('gmp'
'boost-libs'
'python'
'python-pygments'
'sqlite'
'intel-tbb'
'llvm14'
'llvm14-libs'
'clang14'
'ppl'
'apron')
makedepends=('cmake'
'boost')
source=("$pkgname::git+http://github.com/nasa-sw-vnv/ikos.git")
sha256sums=('SKIP')
pkgver() {
cd "$srcdir/$pkgname"
printf "%s.r%s.%s" \
"$(git describe --tags --abbrev=0 | sed 's/^v//')" \
"$(git rev-list --count HEAD)" \
"$(git rev-parse --short HEAD)"
}
build() {
cd "$srcdir/$pkgname"
[[ -d build ]] && rm -rf build
mkdir build && cd build
cd "$srcdir/$pkgname/build"
cmake \
-DCMAKE_BUILD_TYPE="Release" \
-DCMAKE_INSTALL_PREFIX="/usr" \
-DLLVM_CONFIG_EXECUTABLE="/usr/bin/llvm-config-14" \
-DAPPEND_GIT_VERSION=ON \
..
make
}
check() {
cd "$srcdir/$pkgname/build"
make check
}
package() {
cd "$srcdir/$pkgname/build"
make DESTDIR="$pkgdir" install
install -Dm644 "$srcdir/$pkgname/LICENSE.pdf" "$pkgdir/usr/share/licenses/ikos/LICENSE"
}
|