NuSMV for Arch Linux

pipefork.diff

--- src/NuSMV-2.6.0/cudd-2.4.1.1/util/pipefork.c	2018-09-29 10:11:13.994025482 +0800
+++ src/NuSMV-2.6.0/cudd-2.4.1.1/util/pipefork.c	2015-10-14 21:29:52.000000000 +0800
@@ -40,7 +40,7 @@
     int topipe[2], frompipe[2];
     char buffer[1024];
 
-#if (defined __hpux) || (defined __osf__) || (defined _IBMR2) || (defined __SVR4) || (defined __CYGWIN32__) || (defined __MINGW32__) || (defined __linux__)
+#if (defined __hpux) || (defined __osf__) || (defined _IBMR2) || (defined __SVR4) || (defined __CYGWIN32__) || (defined __MINGW32__) 
     int status;
 #else
     union wait status;

PKGBUILD

# Maintainer: Alex Szczuczko <[email protected]>
# Contributor: Marcelo Alaniz <[email protected]> Hugh Wang <[email protected]>

pkgname=nusmv
_pkgname=NuSMV
pkgver=2.6.0
pkgrel=2
pkgdesc="A new symbolic model checker"
arch=('i686' 'x86_64')
url="http://nusmv.fbk.eu/index.html"
license=('LGPL')
depends=('libxml2')
makedepends=('cmake' 'python2' 'ghostscript' 'texlive-latexextra')
optdepends=('perl: for scripts in /usr/share/nusmv/contrib/')
source=("http://nusmv.fbk.eu/distrib/${_pkgname}-${pkgver}.tar.gz")
sha256sums=('dba953ed6e69965a68cd4992f9cdac6c449a3d15bf60d200f704d3a02e4bbcbb')

prepare() {
  patch -Rp1 < ../pipefork.diff
}

build() {
    cd "$srcdir/$_pkgname-$pkgver/$_pkgname"

    mkdir -p build
    cd build
    cmake .. -DPYTHON_EXECUTABLE=/bin/python2 -DCMAKE_INSTALL_PREFIX=/usr -Wno-dev -DENABLE_ZCHAFF=ON -DENABLE_MINISAT=OFF
    make
}

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"
}