2004-09-26 15:03:59 +02:00
|
|
|
set -e
|
2005-12-05 15:11:09 +01:00
|
|
|
source $stdenv/setup
|
2004-09-26 15:03:59 +02:00
|
|
|
|
|
|
|
|
$unzip/bin/unzip $src
|
|
|
|
|
mkdir -p $out
|
|
|
|
|
mv $name/* $out
|
2013-08-22 21:40:37 +02:00
|
|
|
|
|
|
|
|
cat > "$out/bin/jing" <<EOF
|
|
|
|
|
#! $SHELL
|
|
|
|
|
export JAVA_HOME="$jre"
|
|
|
|
|
exec "$jre/bin/java" -jar "$out/bin/jing.jar" "\$@"
|
|
|
|
|
EOF
|
|
|
|
|
|
|
|
|
|
chmod a+x "$out/bin/jing"
|
