summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorJeremy Symon2016-01-20 19:56:20 +1300
committerJeremy Symon2016-01-20 19:56:20 +1300
commit590845430b891bfd06bfcf499b1351fb72a27b63 (patch)
tree28a4d58974746a499439e0ac305cb9f15a100f23
parent113cc5084ff534685bdbd1980739bea16fda4ee7 (diff)
downloadaur-590845430b891bfd06bfcf499b1351fb72a27b63.tar.gz
Fixed dependencies
namcap says bash is needed for the shell script AUR user bezirg asked to depend on more general java-environment instead of jdk
-rw-r--r--.SRCINFO10
-rw-r--r--PKGBUILD4
2 files changed, 9 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index e0c38af50e91..3fa90c01efdd 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,16 +1,20 @@
+# Generated by mksrcinfo v8
+# Wed Jan 20 06:54:01 UTC 2016
pkgbase = key-logic
pkgdesc = A dynamic logic proof tool
pkgver = 2.4.1
- pkgrel = 1
+ pkgrel = 2
url = http://www.key-project.org
arch = any
license = GPL2
- depends = jdk
+ depends = bash
+ depends = java-environment
source = http://www.key-project.org/download/releases/2.4.1/KeY-2.4.1.tgz
sha256sums = 865e7186a031b4eb8d1575114dbf1a7da1179e00341568d89324462e84083321
pkgname = key-logic
- depends = jdk
+ depends = bash
+ depends = java-environment
depends = key-logic-ext
optdepends = key-logic-examples: for example proofs
diff --git a/PKGBUILD b/PKGBUILD
index d7f228328425..6ea14a21679a 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,12 +2,12 @@
pkgbase='key-logic'
pkgname=("$pkgbase" "$pkgbase-examples")
pkgver=2.4.1
-pkgrel=1
+pkgrel=2
pkgdesc="A dynamic logic proof tool"
arch=('any')
url="http://www.key-project.org"
license=('GPL2')
-depends=('jdk')
+depends=('bash' 'java-environment')
makedepends=()
checkdepends=()
optdepends=()