summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlex Szczuczko2016-03-02 19:30:26 +0000
committerAlex Szczuczko2016-03-02 19:30:26 +0000
commite7f138bf480ef2c12543113054dfde8ef3177bdb (patch)
tree307e0d5e70f593fb1cbe583e7161971d4638d0ad
parent64436ed5bde604188cf43b8ba657f4238f48ea81 (diff)
downloadaur-e7f138bf480ef2c12543113054dfde8ef3177bdb.tar.gz
Remove static libs
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD5
2 files changed, 7 insertions, 4 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 8e1c7d2b738..c2fd0fd7b40 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index 4cfa69d3869..454b14dd961 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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"