diff options
author | Niceadam | 2023-08-01 22:52:13 +0200 |
---|---|---|
committer | Niceadam | 2023-08-01 22:52:13 +0200 |
commit | 2a1f608b98cc94340e62f7db00f96a55c6c64ca8 (patch) | |
tree | ceba13916a1aa5ea31ee172182830037b05fddb4 /PKGBUILD | |
download | aur-2a1f608b98cc94340e62f7db00f96a55c6c64ca8.tar.gz |
Initial commit
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..0ad3c6018707 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,22 @@ +# Maintainer: Adam Asaad <adam.asaad76@@gmail.com> +pkgname=maelstrom-jepsen +pkgver=0.2.3 +pkgrel=1 +pkgdesc="A workbench for writing toy implementations of distributed systems." +arch=("x86_64") +url="https://github.com/jepsen-io/maelstrom" +license=('EPL') +depends=("jdk-openjdk") +optdepends=("gnuplot: plotting support" + "graphviz: plotting support") +sha1sums=('SKIP') +source=("https://github.com/jepsen-io/maelstrom/releases/download/v$pkgver/maelstrom.tar.bz2") + +package() { + echo "#!/bin/sh" >> maelstrom-script + echo 'exec java -Djava.awt.headless=true -jar "/usr/share/java/maelstrom-jepsen.jar" "$@"' >> maelstrom-script + chmod +x maelstrom-script + + install -Dm755 "./maelstrom-script" "$pkgdir/usr/bin/maelstrom" + install -Dm755 "$srcdir/maelstrom/lib/maelstrom.jar" "$pkgdir/usr/share/java/maelstrom-jepsen.jar" +} |