diff options
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" +} |