blob: fb4094ff0a1a301b00617f1e6d400aca4bae960c (
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
|
# Maintainer: Maxime Arthaud <maxime@arthaud.me>
# Author: Vivien Maisonneuve
# Category: science
pkgname='apron'
pkgver=0.9.10
pkgrel=2
pkgdesc='APRON numerical abstract domain library'
arch=('i686' 'x86_64')
url='http://apron.cri.ensmp.fr/library/'
license=('LGPL2')
provides=('apron')
depends=('gmp>=5' 'mpfr>=3' 'ppl')
makedepends=('sed')
source=("http://apron.cri.ensmp.fr/library/apron-$pkgver.tgz"
'0001-Remove-strdup-implementation.patch'
'0002-Fix-invalid-operands-to-binary-expression.patch')
sha256sums=('b108de2f4a8c4ecac1ff76a6d282946fd3bf1466a126cf5344723955f305ec8e'
'fe8d85b1f2db6dad149209324b32a8e81deab6868147e71bcfe4c8df57303fc9'
'f624c2152ac6c621f92d1cbb58a891701e938d44dc0fde6a1b80b4a7d3c8ba43')
prepare() {
cd "$srcdir/apron-$pkgver"
sed \
-e 's|^APRON_PREFIX *=.*$|APRON_PREFIX=/usr|' \
-e 's|^HAS_OCAML *=.*$|HAS_OCAML=|' \
-e 's|^HAS_OCAMLOPT *=.*$|HAS_OCAMLOPT=|' \
-e 's|^OCAMLFIND *=.*$|OCAMLFIND=|' \
-e 's|^# HAS_PPL *=.*$|HAS_PPL=1|' \
Makefile.config.model > Makefile.config
patch -p0 < ../0001-Remove-strdup-implementation.patch
patch -p0 < ../0002-Fix-invalid-operands-to-binary-expression.patch
}
build() {
cd "$srcdir/apron-$pkgver"
make -j1
}
package() {
cd "$srcdir/apron-$pkgver"
make APRON_PREFIX="$pkgdir"/usr install
# fix include/ permissions
find "$pkgdir"/usr/include -type d -exec chmod 755 '{}' ';'
find "$pkgdir"/usr/include -type f -exec chmod 644 '{}' ';'
# remove test binaries
rm "$pkgdir"/usr/bin/*test*
# remove ocaml stuff
rm "$pkgdir"/usr/lib/*.ml
rm "$pkgdir"/usr/lib/*.mli
rm "$pkgdir"/usr/lib/*.idl
}
|