2004-09-26 06:03:59 -07:00
|
|
|
set -e
|
2005-12-05 06:11:09 -08:00
|
|
|
source $stdenv/setup
|
2004-09-26 06:03:59 -07:00
|
|
|
|
|
|
|
|
$unzip/bin/unzip $src
|
|
|
|
|
mkdir -p $out
|
|
|
|
|
mv $name/* $out
|
2013-08-22 12:40:37 -07: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"
|
