diff options
author | Brecht Serckx | 2017-11-27 16:38:47 +0100 |
---|---|---|
committer | Brecht Serckx | 2017-11-27 16:38:47 +0100 |
commit | cbdd45db3ca3136b36f1907a3eb5da951bb90947 (patch) | |
tree | ec023d4b30ffff832c6d867c6d35f053a71ccba1 | |
parent | 0346cffc1dc082070ada8bc04a2b5c6c3a256a57 (diff) | |
download | aur-cbdd45db3ca3136b36f1907a3eb5da951bb90947.tar.gz |
added graphviz and gv optdepends
-rw-r--r-- | .SRCINFO | 6 | ||||
-rwxr-xr-x | PKGBUILD | 4 |
2 files changed, 7 insertions, 3 deletions
@@ -1,15 +1,17 @@ # Generated by mksrcinfo v8 -# Wed Nov 22 12:04:58 UTC 2017 +# Mon Nov 27 15:38:31 UTC 2017 pkgbase = prob pkgdesc = ProB Animator and Model Checker pkgver = 1.7.1 - pkgrel = 1 + pkgrel = 2 url = http://eclipseclp.org/ arch = x86_64 license = EPL 1.0 depends = tk85 depends = tcl85 depends = java-runtime + optdepends = graphviz: visualizations + optdepends = gv: PostScript visualizations source_x86_64 = http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.1/ProB.linux64.tar.gz md5sums_x86_64 = eb74b2991967f0a8ed8669c4186ac1fa @@ -8,7 +8,7 @@ _minor_version='1' pkgname='prob' pkgver=${_major_version}.${_minor_version} -pkgrel=1 +pkgrel=2 pkgdesc="ProB Animator and Model Checker" arch=('x86_64') url="http://eclipseclp.org/" @@ -16,6 +16,8 @@ license=('EPL 1.0') depends=('tk85' 'tcl85' 'java-runtime') +optdepends=('graphviz: visualizations' + 'gv: PostScript visualizations') source_x86_64=("http://www3.hhu.de/stups/downloads/prob/tcltk/releases/${_major_version}.${_minor_version}/ProB.linux64.tar.gz") md5sums_x86_64=('eb74b2991967f0a8ed8669c4186ac1fa') |