diff options
author | Alex Szczuczko | 2016-03-02 19:30:26 +0000 |
---|---|---|
committer | Alex Szczuczko | 2016-03-02 19:30:26 +0000 |
commit | e7f138bf480ef2c12543113054dfde8ef3177bdb (patch) | |
tree | 307e0d5e70f593fb1cbe583e7161971d4638d0ad | |
parent | 64436ed5bde604188cf43b8ba657f4238f48ea81 (diff) | |
download | aur-e7f138bf480ef2c12543113054dfde8ef3177bdb.tar.gz |
Remove static libs
-rw-r--r-- | .SRCINFO | 6 | ||||
-rw-r--r-- | PKGBUILD | 5 |
2 files changed, 7 insertions, 4 deletions
@@ -1,8 +1,10 @@ +# Generated by mksrcinfo v8 +# Wed Mar 2 19:29:03 UTC 2016 pkgbase = nusmv pkgdesc = A new symbolic model checker pkgver = 2.6.0 - pkgrel = 1 - url = http://nusmv.irst.itc.it/NuSMV/ + pkgrel = 2 + url = http://nusmv.fbk.eu/index.html arch = i686 arch = x86_64 license = LGPL2.1 @@ -4,10 +4,10 @@ pkgname=nusmv _pkgname=NuSMV pkgver=2.6.0 -pkgrel=1 +pkgrel=2 pkgdesc="A new symbolic model checker" arch=('i686' 'x86_64') -url="http://nusmv.irst.itc.it/$_pkgname/" +url="http://nusmv.fbk.eu/index.html" license=('LGPL2.1') depends=('libxml2') makedepends=('cmake' 'python2' 'ghostscript' 'texlive-latexextra') @@ -28,6 +28,7 @@ package() { cd "$srcdir/$_pkgname-$pkgver/$_pkgname/build" make DESTDIR="$pkgdir/" install + find "$pkgdir" -type f -name "*.a" -print0 | xargs -0 rm # Lowercase symlink ln -s "/usr/bin/NuSMV" "$pkgdir/usr/bin/$pkgname" |