summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO5
-rw-r--r--PKGBUILD4
2 files changed, 5 insertions, 4 deletions
diff --git a/.SRCINFO b/.SRCINFO
index bab5d98f06c..915cf361426 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
# Generated by mksrcinfo v8
-# Wed May 15 13:28:41 UTC 2019
+# Wed May 15 16:01:27 UTC 2019
pkgbase = nusmv
pkgdesc = A new symbolic model checker
pkgver = 2.6.0
- pkgrel = 3
+ pkgrel = 4
url = http://nusmv.fbk.eu/index.html
arch = i686
arch = x86_64
@@ -12,6 +12,7 @@ pkgbase = nusmv
makedepends = python2
makedepends = ghostscript
makedepends = texlive-latexextra
+ makedepends = doxygen
depends = libxml2
optdepends = perl: for scripts in /usr/share/nusmv/contrib/
source = http://nusmv.fbk.eu/distrib/NuSMV-2.6.0.tar.gz
diff --git a/PKGBUILD b/PKGBUILD
index 066120bb14c..ccc90a28b34 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -5,13 +5,13 @@
pkgname=nusmv
_pkgname=NuSMV
pkgver=2.6.0
-pkgrel=3
+pkgrel=4
pkgdesc="A new symbolic model checker"
arch=('i686' 'x86_64')
url="http://nusmv.fbk.eu/index.html"
license=('LGPL2.1')
depends=('libxml2')
-makedepends=('cmake' 'python2' 'ghostscript' 'texlive-latexextra')
+makedepends=('cmake' 'python2' 'ghostscript' 'texlive-latexextra' 'doxygen')
optdepends=('perl: for scripts in /usr/share/nusmv/contrib/')
source=("http://nusmv.fbk.eu/distrib/${_pkgname}-${pkgver}.tar.gz"
"cmake.patch"