diff options
| author | Alex Szczuczko | 2019-05-15 10:01:29 -0600 |
|---|---|---|
| committer | Alex Szczuczko | 2019-05-15 10:01:29 -0600 |
| commit | d8a777839ef7b961248db84aa967239ed469219d (patch) | |
| tree | 0439a3c07ebdd3e543b3d8600d5f17cf3f1f28d7 | |
| parent | 4144fd7f9de434cc780266d86c5726fc5db29e3d (diff) | |
| download | aur-d8a777839ef7b961248db84aa967239ed469219d.tar.gz | |
Add doxygen to makedepends
| -rw-r--r-- | .SRCINFO | 5 | ||||
| -rw-r--r-- | PKGBUILD | 4 |
2 files changed, 5 insertions, 4 deletions
@@ -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 @@ -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" |