2006-07-04 21:17:34 +02:00
|
|
|
source $stdenv/setup
|
2004-09-26 15:03:59 +02:00
|
|
|
|
2012-01-18 21:16:00 +01:00
|
|
|
mkdir -p $out/bin
|
2004-09-26 15:03:59 +02:00
|
|
|
|
|
|
|
|
cat >> $out/bin/jing <<EOF
|
2006-07-04 21:17:34 +02:00
|
|
|
#! $SHELL
|
2004-09-26 15:03:59 +02:00
|
|
|
|
2005-09-18 01:58:51 +02:00
|
|
|
export JAVA_HOME=$jre
|
2004-09-26 15:03:59 +02:00
|
|
|
export LANG="en_US"
|
|
|
|
|
|
2006-07-04 21:17:34 +02:00
|
|
|
exec $jre/bin/java -jar $jing/bin/jing.jar "\$@"
|
2004-09-26 15:03:59 +02:00
|
|
|
EOF
|
|
|
|
|
|
2006-07-04 21:17:34 +02:00
|
|
|
chmod a+x $out/bin/jing
|
