diff options
-rw-r--r-- | .SRCINFO | 15 | ||||
-rw-r--r-- | PKGBUILD | 23 |
2 files changed, 38 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..09648b68839a --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,15 @@ +pkgbase = eunomia-bin + pkgdesc = FOL proof checker + pkgver = 1.0.2 + pkgrel = 1 + url = https://github.com/Girjoaba/Eunomia + arch = x86_64 + license = MIT + depends = git + depends = java-environment=17 + provides = eunomia + conflicts = eunomia + source_x86_64 = https://github.com/Girjoaba/Eunomia/releases/download/v1.0.2/Eunomia-1.0.2.jar + sha256sums_x86_64 = 1ca98a27b28b9a9dbac0f7520bee4ca4c4eb0802b33018fb2cd67bde7cc91896 + +pkgname = eunomia-bin diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..a81e320d07ea --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,23 @@ +# Maintainer: Boyan <boyan@confest.im> +pkgname=eunomia-bin +pkgver=1.0.2 +pkgrel=1 +pkgdesc="FOL proof checker" +arch=('x86_64') +url="https://github.com/Girjoaba/Eunomia" +license=('MIT') +depends=( + 'git' + 'java-environment=17' +) +provides=('eunomia') +conflicts=('eunomia') + +source_x86_64=("https://github.com/Girjoaba/Eunomia/releases/download/v${pkgver}/Eunomia-${pkgver}.jar") +sha256sums_x86_64=('1ca98a27b28b9a9dbac0f7520bee4ca4c4eb0802b33018fb2cd67bde7cc91896') + +package() { + _output="${srcdir}/Eunomia-${pkgver}.jar" + sed -i '1s/^/#!\/usr\/bin\/java \-jar \n/' "${_output}" + install -Dm755 "${_output}" "${pkgdir}/usr/bin/${pkgname/-bin/}" +} |