diff options
| -rw-r--r-- | .SRCINFO | 14 | ||||
| -rw-r--r-- | PKGBUILD | 22 |
2 files changed, 36 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..3f70d20629c4 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,14 @@ +pkgbase = maelstrom-jepsen + pkgdesc = A workbench for writing toy implementations of distributed systems. + pkgver = 0.2.3 + pkgrel = 1 + url = https://github.com/jepsen-io/maelstrom + arch = x86_64 + license = EPL + depends = jdk-openjdk + optdepends = gnuplot: plotting support + optdepends = graphviz: plotting support + source = https://github.com/jepsen-io/maelstrom/releases/download/v0.2.3/maelstrom.tar.bz2 + sha1sums = SKIP + +pkgname = maelstrom-jepsen 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" +} |