diff options
Diffstat (limited to 'dev-java/makeme/files/makeme.sh')
| -rw-r--r-- | dev-java/makeme/files/makeme.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/dev-java/makeme/files/makeme.sh b/dev-java/makeme/files/makeme.sh new file mode 100644 index 000000000000..cf9f73db8733 --- /dev/null +++ b/dev-java/makeme/files/makeme.sh @@ -0,0 +1,15 @@ +#! /bin/sh + +if [ -z "$JAVA_HOME" ] ; then + echo "!!! JAVA_HOME not set" + exit -1 +fi + +newcp="" +for i in antlr makeme ; do + newcp=`cat < /usr/share/$i/eclasspath`:${newcp} +done + +CLASSPATH=${newcp}:${CLASSPATH} + +${JAVA_HOME}/bin/java -cp ${CLASSPATH} gnu.makeme.MakeMe $* |