diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 25 |
1 files changed, 22 insertions, 3 deletions
@@ -1,10 +1,11 @@ # Maintainer: Alex Szczuczko <alex@szc.ca> # Contributor: Marcelo Alaniz <malaniz@code4life.com.ar> +# Contributor: Peter Wu <peter@lekensteyn.nl> pkgname=nusmv _pkgname=NuSMV pkgver=2.6.0 -pkgrel=2 +pkgrel=3 pkgdesc="A new symbolic model checker" arch=('i686' 'x86_64') url="http://nusmv.fbk.eu/index.html" @@ -12,8 +13,26 @@ license=('LGPL2.1') 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') +source=("http://nusmv.fbk.eu/distrib/${_pkgname}-${pkgver}.tar.gz" + "cmake.patch" + "cudd-waitstatus.patch") +sha256sums=('dba953ed6e69965a68cd4992f9cdac6c449a3d15bf60d200f704d3a02e4bbcbb' + '7bc96f6a87b2c8a8b931d4ce17a5d49a5decf468b612165d4385753906fc1103' + '0abb360d7856809461f75d4e4ba7ba34bc62b40efed256acbca67b0757d66e77') + + +prepare() { + cd "$srcdir/$_pkgname-$pkgver" + + # Have to expose HAVE_UNISTD_H and others to avoid implicit func warnings. + patch -Np1 -i "${srcdir}/cmake.patch" + + # "union wait" (BSD compat?) was removed in cudd 2.5.0 + patch -Np1 -i "${srcdir}/cudd-waitstatus.patch" + + # Fix "error: expected unqualified-id before user-defined string literal" + sed 's/extern "C"void/extern "C" void/' MiniSat/MiniSat_v*.patch -i +} build() { cd "$srcdir/$_pkgname-$pkgver/$_pkgname" |