summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlex Szczuczko2015-06-09 22:00:52 +0100
committerAlex Szczuczko2015-06-09 22:00:52 +0100
commit830b2e710fc603eb45cc785bf2228930e58cda1e (patch)
treee80128b54990f88375dcef8d3f45bfb727dc1eb6
downloadaur-830b2e710fc603eb45cc785bf2228930e58cda1e.tar.gz
Initial import
-rw-r--r--.SRCINFO16
-rw-r--r--.gitignore1
-rw-r--r--PKGBUILD59
3 files changed, 76 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..ba290fe50861
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,16 @@
+pkgbase = nusmv
+ pkgdesc = A new symbolic model checker
+ pkgver = 2.5.4
+ pkgrel = 2
+ url = http://nusmv.irst.itc.it/NuSMV/
+ arch = i686
+ arch = x86_64
+ license = LGPL2.1
+ makedepends = ghostscript
+ depends = expat
+ optdepends = perl: for scripts in /usr/share/nusmv/contrib/
+ source = http://nusmv.fbk.eu/distrib/NuSMV-2.5.4.tar.gz
+ sha256sums = 3c250624cba801b1f62f50733f9507b0f3b3ca557ce1cd65956178eb273f1bdf
+
+pkgname = nusmv
+
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 000000000000..1377554ebea6
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+*.swp
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..8b162f39a906
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,59 @@
+# Maintainer: Alex Szczuczko <alex@szc.ca>
+# Contributor: Marcelo Alaniz <malaniz@code4life.com.ar>
+
+pkgname=nusmv
+_pkgname=NuSMV
+pkgver=2.5.4
+pkgrel=2
+pkgdesc="A new symbolic model checker"
+arch=('i686' 'x86_64')
+url="http://nusmv.irst.itc.it/$_pkgname/"
+license=('LGPL2.1')
+depends=('expat')
+makedepends=('ghostscript')
+optdepends=('perl: for scripts in /usr/share/nusmv/contrib/')
+source=("http://nusmv.fbk.eu/distrib/${_pkgname}-${pkgver}.tar.gz")
+sha256sums=('3c250624cba801b1f62f50733f9507b0f3b3ca557ce1cd65956178eb273f1bdf')
+
+prepare() {
+ cd "$srcdir/$_pkgname-$pkgver"
+
+ # Should be only one cudd-* directory, * being whatever the bundled version of cudd is
+ cd ./cudd-*
+ # Use arch-specific makefile for cudd
+ if [ "$CARCH" == "x86_64" ]
+ then
+ mv Makefile Makefile_32bit
+ ln -s Makefile_64bit Makefile
+ fi
+
+ # Fix missing DESTDIR in doc makefile paths
+ cd "../$pkgname/doc/"
+ find "./" -mindepth 2 -name 'Makefile.in' -not -path "./html/*" | xargs sed -i -e 's/$(datadir)/$(DESTDIR)$(datadir)/'
+}
+
+build() {
+ cd "$srcdir/$_pkgname-$pkgver"
+
+ # Should be only one cudd-* directory, * being whatever the bundled version of cudd is
+ cd "./cudd-"*
+ make
+
+ cd "../$pkgname"
+ ./configure --prefix="/usr"
+ # Work around compilation hang when -O2 is active
+ make CFLAGS="$CFLAGS -O1"
+}
+
+package() {
+ cd "$srcdir/$_pkgname-$pkgver"
+
+ cd "./$pkgname"
+ make DESTDIR="$pkgdir/" install
+
+ # Fix srcdir ref
+ sed -r -e 's,^(cudddir=).*/(cudd-[0-9.]+/?)$,\1/usr/include/\2,' -i "$pkgdir/usr/lib/pkgconfig/nusmv-2.pc"
+
+ # Lowercase symlink
+ ln -s "/usr/bin/NuSMV" "$pkgdir/usr/bin/nusmv"
+}