initial PKGBUILD v0

8 files changed, 89 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..19d4f97da8ad
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,23 @@
+pkgbase = key-project
+	pkgdesc = A program to use formal verification with Java programs
+	pkgver = 2.10.0
+	pkgrel = 1
+	url = https://www.key-project.org/
+	arch = any
+	license = GPL
+	depends = java-runtime
+	noextract = key-2.10.0-exe.jar
+	source = key-project
+	source = key-project.desktop
+	source = key-project16.png
+	source = key-project32.png
+	source = key-project64.png
+	source = https://www.key-project.org/dist/2.10.0/key-2.10.0-exe.jar
+	sha256sums = 102d85d94612272a66bf4612b06ffa0561b709bbeb3ea55ed9bd28b339211f18
+	sha256sums = e7ec88c40bce27a7c344c90bc39c54a0f2a20e239f277a6e77cdbf6036957d7f
+	sha256sums = f88c92559367ca052427ef090fa934a39753200a029a29b83092309912df36a8
+	sha256sums = ac2686c9d152af629f3beb2bcf219b8017df37adb8534ab054184c14b5e40b62
+	sha256sums = ac2686c9d152af629f3beb2bcf219b8017df37adb8534ab054184c14b5e40b62
+	sha256sums = eda4c9550ca5ca759f52c461a811d87dfb44dec9ec4bf3029eda4dd5cc33f145
+
+pkgname = key-project
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 000000000000..a8b820cca77e
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,5 @@
+pkg/
+src/
+
+key-project-*.pkg.tar.zst
+key-*.jar
\ No newline at end of file
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..716ad73954ef
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,51 @@
+# Maintainer: Mikescher <aur@mikescher.com>
+# Repo:       https://github.com/Mikescher/key-project-aur
+
+pkgname=key-project
+pkgver=2.10.0
+pkgrel=1
+
+pkgdesc="A program to use formal verification with Java programs"
+
+url="https://www.key-project.org/"
+license=('GPL')
+
+arch=('any')
+depends=('java-runtime')
+
+source=(
+  "key-project"
+  "key-project.desktop"
+  "key-project16.png"
+  "key-project32.png"
+  "key-project64.png"
+  "https://www.key-project.org/dist/$pkgver/key-$pkgver-exe.jar"
+)
+
+noextract=("key-$pkgver-exe.jar")
+
+sha256sums=(
+  '102d85d94612272a66bf4612b06ffa0561b709bbeb3ea55ed9bd28b339211f18'
+  'e7ec88c40bce27a7c344c90bc39c54a0f2a20e239f277a6e77cdbf6036957d7f'
+  'f88c92559367ca052427ef090fa934a39753200a029a29b83092309912df36a8'
+  'ac2686c9d152af629f3beb2bcf219b8017df37adb8534ab054184c14b5e40b62'
+  'ac2686c9d152af629f3beb2bcf219b8017df37adb8534ab054184c14b5e40b62'
+  'eda4c9550ca5ca759f52c461a811d87dfb44dec9ec4bf3029eda4dd5cc33f145'
+)
+
+package()
+{
+
+  install -D -m644 "$srcdir/key-project.desktop"         "$pkgdir/usr/share/applications/key-project.desktop"
+
+  install -D -m644 "$srcdir/key-project16.png"           "$pkgdir/usr/share/icons/hicolor/16x16/apps/key-project.png"
+  install -D -m644 "$srcdir/key-project32.png"           "$pkgdir/usr/share/icons/hicolor/32x32/apps/key-project.png"
+  install -D -m644 "$srcdir/key-project64.png"           "$pkgdir/usr/share/icons/hicolor/64x64/apps/key-project.png"
+
+  mkdir -p "$pkgdir/usr/share/java/key-project"
+
+  install -D -m644 "$srcdir/key-$pkgver-exe.jar"          "${pkgdir}/usr/share/java/key-project/key-project.jar"
+  install -D -m755 "$srcdir/key-project"                 "${pkgdir}/usr/bin/key-project"
+
+}
+
diff --git a/key-project b/key-project
new file mode 100755
index 000000000000..c03cbb529470
--- /dev/null
+++ b/key-project
@@ -0,0 +1,2 @@
+#!/bin/sh
+exec /usr/bin/java -jar '/usr/share/java/key-project/key-project.jar' "$@"
\ No newline at end of file
diff --git a/key-project.desktop b/key-project.desktop
new file mode 100644
index 000000000000..84b3fb5e11c2
--- /dev/null
+++ b/key-project.desktop
@@ -0,0 +1,8 @@
+[Desktop Entry]
+Type=Application
+Name=KeY
+Icon=key-project
+Exec=key-project
+Terminal=false
+Categories=Application
+StartupWMClass=java-lang-Thread
diff --git a/key-project16.png b/key-project16.png
new file mode 100644
index 000000000000..d156417ca02c
--- /dev/null
+++ b/key-project16.png
diff --git a/key-project32.png b/key-project32.png
new file mode 100644
index 000000000000..2fdcfc337a86
--- /dev/null
+++ b/key-project32.png
diff --git a/key-project64.png b/key-project64.png
new file mode 100644
index 000000000000..2fdcfc337a86
--- /dev/null
+++ b/key-project64.png