diff options
| author | Jeremy Symon | 2015-06-10 21:45:43 +1200 |
|---|---|---|
| committer | Jeremy Symon | 2015-06-10 21:45:43 +1200 |
| commit | c3c8703154ab820259cb839169a58e84b6cb0073 (patch) | |
| tree | 49d9a6626b4f3cf1ebd378e089f3d496e4476958 | |
| download | aur-c3c8703154ab820259cb839169a58e84b6cb0073.tar.gz | |
Initial commit.
| -rw-r--r-- | .SRCINFO | 20 | ||||
| -rw-r--r-- | PKGBUILD | 41 |
2 files changed, 61 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..d2060bba82cc --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,20 @@ +pkgbase = key-logic + pkgdesc = A dynamic logic proof tool + pkgver = 2.4.1 + pkgrel = 1 + url = http://www.key-project.org + arch = any + license = GPL2 + depends = jdk + source = http://www.key-project.org/download/releases/2.4.1/KeY-2.4.1.tgz + sha256sums = 865e7186a031b4eb8d1575114dbf1a7da1179e00341568d89324462e84083321 + +pkgname = key-logic + depends = jdk + depends = key-logic-ext + optdepends = key-logic-examples + +pkgname = key-logic-examples + pkgdesc = Example proofs for KeY + depends = key-logic + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..15ea36c8b6f2 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,41 @@ +# Maintainer: Jeremy Symon <jtsymon@gmail.com> +pkgbase='key-logic' +pkgname=("$pkgbase" "$pkgbase-examples") +pkgver=2.4.1 +pkgrel=1 +pkgdesc="A dynamic logic proof tool" +arch=('any') +url="http://www.key-project.org" +license=('GPL2') +depends=('jdk') +makedepends=() +checkdepends=() +optdepends=() +source=("$url/download/releases/$pkgver/KeY-${pkgver}.tgz") +sha256sums=('865e7186a031b4eb8d1575114dbf1a7da1179e00341568d89324462e84083321') + +prepare() { + jar xf setup.jar de/uka/ilkd/key/util/install/startProver_linux + sed \ + -e '1a KEY_HOME="/usr/lib/'$pkgname'"\nKEY_LIB=/usr/share/java/"'$pkgname'-ext"' \ + -i de/uka/ilkd/key/util/install/startProver_linux + mkdir -p examples + pushd examples + jar xf ../examples.jar + popd +} + +package_key-logic() { + optdepends=("$pkgbase-examples") + depends+=("$pkgbase-ext") + install -Dm755 de/uka/ilkd/key/util/install/startProver_linux \ + $pkgdir/usr/bin/$pkgbase + install -Dm644 key.jar $pkgdir/usr/lib/$pkgbase/system/key.jar +} + +package_key-logic-examples() { + pkgdesc="Example proofs for KeY" + depends=("$pkgbase") + install -d $pkgdir/usr/lib/$pkgbase + cp -rT examples $pkgdir/usr/lib/$pkgbase/examples +} |