summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorKonstantin Nisht2020-10-05 19:18:30 +0300
committerKonstantin Nisht2020-10-05 19:18:30 +0300
commit03b4bdce1ad9b2dbac48f3a9c68d8aec7a571438 (patch)
treeca42b10f4acbd2f474049f3481cd26332f9fded0
downloadaur-03b4bdce1ad9b2dbac48f3a9c68d8aec7a571438.tar.gz
Add Arend v1.4.1
-rw-r--r--.SRCINFO17
-rw-r--r--PKGBUILD35
-rwxr-xr-xarend.sh2
3 files changed, 54 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 00000000000..5e516b4b0df
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,17 @@
+pkgbase = arend
+ pkgdesc = Proof assistant based on Homotopy Type Theory
+ pkgver = 1.4.1
+ pkgrel = 1
+ url = https://arend-lang.github.io/
+ arch = x86_64
+ license = Apache
+ depends = java-environment
+ provides = arend
+ conflicts = arend
+ source = https://github.com/JetBrains/Arend/archive/v1.4.1.tar.gz
+ source = arend.sh
+ sha512sums = 94f0995ae2b7b0b7560d99a75dd23c3fb9825107aea342f3b82248cce9a0957c8531130335977f7571aca5f492783c7ecbc0a7646e1198ddd3a4082f07436a21
+ sha512sums = 4668958c7d98aa241260b8cf87ce0b6710050c2915ad8cbf24d285adbee0c782320c6ac5f5fe90cb7886dc0386f9d13492e571eb3a63998106bc5c982ec8711a
+
+pkgname = arend
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 00000000000..e11e6c0b48a
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,35 @@
+# Maintainer: Konstantin Nisht <zeron DOT n1 AT yandex DOT ru>
+pkgname=arend
+pkgver=1.4.1
+pkgrel=1
+pkgdesc="Proof assistant based on Homotopy Type Theory"
+arch=(x86_64)
+url="https://arend-lang.github.io/"
+license=('Apache')
+groups=()
+depends=('java-environment')
+provides=("${pkgname}")
+conflicts=("${pkgname}")
+replaces=()
+backup=()
+options=()
+install=
+source=("https://github.com/JetBrains/Arend/archive/v${pkgver}.tar.gz"
+ "${pkgname}.sh")
+noextract=()
+sha512sums=(94f0995ae2b7b0b7560d99a75dd23c3fb9825107aea342f3b82248cce9a0957c8531130335977f7571aca5f492783c7ecbc0a7646e1198ddd3a4082f07436a21
+ 4668958c7d98aa241260b8cf87ce0b6710050c2915ad8cbf24d285adbee0c782320c6ac5f5fe90cb7886dc0386f9d13492e571eb3a63998106bc5c982ec8711a)
+
+build() {
+ cd "Arend-${pkgver}"
+ ./gradlew :cli:jarDep
+}
+
+package() {
+ install -d "${pkgdir}/usr/share/${pkgname}/bin"
+ install -d "${pkgdir}/usr/bin/"
+ install -Dm 644 "Arend-${pkgver}/cli/build/libs/cli-${pkgver}-full.jar" "${pkgdir}/usr/share/${pkgname}/bin/Arend.jar"
+ install -Dm 755 arend.sh "${pkgdir}/usr/share/${pkgname}/bin"
+ ln -s "${pkgdir}/usr/share/${pkgname}/bin/${pkgname}.sh" "${pkgdir}/usr/bin/${pkgname}"
+}
+
diff --git a/arend.sh b/arend.sh
new file mode 100755
index 00000000000..06e48ee3bfc
--- /dev/null
+++ b/arend.sh
@@ -0,0 +1,2 @@
+#!/bin/sh
+java -jar /usr/share/arend/bin/Arend.jar "$@"