diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 11 |
1 files changed, 9 insertions, 2 deletions
@@ -4,7 +4,7 @@ pkgname='apron' pkgver=0.9.10 -pkgrel=1 +pkgrel=2 pkgdesc='APRON numerical abstract domain library' arch=('i686' 'x86_64') url='http://apron.cri.ensmp.fr/library/' @@ -40,7 +40,14 @@ build() { package() { cd "$srcdir/apron-$pkgver" make APRON_PREFIX="$pkgdir"/usr install - rm "$pkgdir"/usr/bin/*test* # remove test binaries + + # 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 |