summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlex Szczuczko2019-05-15 10:01:29 -0600
committerAlex Szczuczko2019-05-15 10:01:29 -0600
commitd8a777839ef7b961248db84aa967239ed469219d (patch)
tree0439a3c07ebdd3e543b3d8600d5f17cf3f1f28d7
parent4144fd7f9de434cc780266d86c5726fc5db29e3d (diff)
downloadaur-d8a777839ef7b961248db84aa967239ed469219d.tar.gz
Add doxygen to makedepends
-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"