diff options
| author | tralph3 | 2024-03-31 17:01:23 -0300 |
|---|---|---|
| committer | tralph3 | 2024-03-31 17:01:23 -0300 |
| commit | ed3e0968529603e683bfa3bdfd2907621a4c0a9a (patch) | |
| tree | fd524cfda1c805d33f871ff8abbc37fd60b36d3c | |
| download | aur-ed3e0968529603e683bfa3bdfd2907621a4c0a9a.tar.gz | |
Initial push
| -rw-r--r-- | .SRCINFO | 14 | ||||
| -rw-r--r-- | PKGBUILD | 47 | ||||
| -rwxr-xr-x | wollok | 3 |
3 files changed, 64 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..832b6bb724ff --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,14 @@ +pkgbase = wollok-cli + pkgdesc = Wollok Command Line Interface project + pkgver = 3.2.0 + pkgrel = 1 + url = https://github.com/uqbar-project/wollok-cli + arch = any + makedepends = git + depends = jdk-openjdk + source = https://github.com/uqbar-project/wollok-cli/archive/refs/tags/v3.2.0.tar.gz + source = wollok + sha256sums = 4cdc2cdfe8d4c5d5ae2b13acdffe11291348f3c7fee88705420e2a7cbdc005d3 + sha256sums = 3577f7f8d0fdc6d90fb661973392591a40eac1a27de599b3e69a987542e0a11a + +pkgname = wollok-cli diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..6262d39a7e6e --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,47 @@ +# Maintainer: Tomás Ralph <tomasralph2000@gmail.com> + +pkgname=wollok-cli +pkgver=3.2.0 +pkgrel=1 +pkgdesc="Wollok Command Line Interface project " +arch=(any) +url="https://github.com/uqbar-project/wollok-cli" +depends=('jdk-openjdk') +makedepends=(git) +source=( + "https://github.com/uqbar-project/wollok-cli/archive/refs/tags/v${pkgver}.tar.gz" + "wollok" +) +sha256sums=( + '4cdc2cdfe8d4c5d5ae2b13acdffe11291348f3c7fee88705420e2a7cbdc005d3' + '3577f7f8d0fdc6d90fb661973392591a40eac1a27de599b3e69a987542e0a11a' +) + +package() { + local installDir="${pkgdir}/opt/wollok-cli" + install -dm0755 "$installDir" + + install -Dm0755 "${srcdir}/wollok-cli-${pkgver}/wollok" --target-directory "$installDir" + install -Dm0755 "${srcdir}/wollok-cli-${pkgver}/wrepl.sh" --target-directory "$installDir" + install -Dm0755 "${srcdir}/wollok-cli-${pkgver}/wsanity-check.sh" --target-directory "$installDir" + install -Dm0755 "${srcdir}/wollok-cli-${pkgver}/wserver-stop.sh" --target-directory "$installDir" + install -Dm0755 "${srcdir}/wollok-cli-${pkgver}/wserver.sh" --target-directory "$installDir" + install -Dm0755 "${srcdir}/wollok-cli-${pkgver}/winterpreter.sh" --target-directory "$installDir" + install -Dm0755 "${srcdir}/wollok-cli-${pkgver}/wformat.sh" --target-directory "$installDir" + install -Dm0755 "${srcdir}/wollok-cli-${pkgver}/wchecker.sh" --target-directory "$installDir" + install -Dm0755 "${srcdir}/wollok-cli-${pkgver}/wast.sh" --target-directory "$installDir" + install -Dm0755 "${srcdir}/wollok-cli-${pkgver}/runTests.sh" --target-directory "$installDir" + install -Dm0755 "${srcdir}/wollok-cli-${pkgver}/runPrograms.sh" --target-directory "$installDir" + install -Dm0755 "${srcdir}/wollok-cli-${pkgver}/generateCI.sh" --target-directory "$installDir" + install -Dm0755 "${srcdir}/wollok-cli-${pkgver}/build.sh" --target-directory "$installDir" + + chmod 755 "${srcdir}/wollok-cli-${pkgver}/util"/*.sh + mv "${srcdir}/wollok-cli-${pkgver}/util" "$installDir" + + chmod 755 "${srcdir}/wollok-cli-${pkgver}/includes"/*.sh + mv "${srcdir}/wollok-cli-${pkgver}/includes" "$installDir" + + mv "${srcdir}/wollok-cli-${pkgver}/jars" "$installDir" + + install -Dm0755 "${srcdir}/wollok" --target-directory "${pkgdir}/usr/bin" +} diff --git a/wollok b/wollok new file mode 100755 index 000000000000..adbe19e974e2 --- /dev/null +++ b/wollok @@ -0,0 +1,3 @@ +#!/bin/bash + +source /opt/wollok-cli/wollok |