diff options
author | Baptiste Lartigau | 2018-05-04 14:34:59 +0200 |
---|---|---|
committer | Baptiste Lartigau | 2018-05-04 14:39:42 +0200 |
commit | 0aa3a29ee56cc138ad4262b236bd1fe8bef1bf8d (patch) | |
tree | ead890863b63dc20e8b4f380f7a0199a67fc2169 /jpf | |
download | aur-0aa3a29ee56cc138ad4262b236bd1fe8bef1bf8d.tar.gz |
Initial commit
This package aims to provide a way to install jpf
from the binary snapshots hosted on the project's website.
Due to a few deprecations in recent versions of Java 8,
building the sources have become impossible on some Linux setups,
and this package has been created to get around this issue.
Diffstat (limited to 'jpf')
-rw-r--r-- | jpf | 13 |
1 files changed, 13 insertions, 0 deletions
@@ -0,0 +1,13 @@ +#!/bin/bash +# +# unix shell script to run jpf +# + +JPF_HOME=/usr/share/java/jpf + +if test -z "$JVM_FLAGS"; then + JVM_FLAGS="-Xmx1024m -ea" +fi + +java $JVM_FLAGS -jar "$JPF_HOME/RunJPF.jar" "$@" + |