diff options
-rwxr-xr-x | bin/dtd2scala | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/bin/dtd2scala b/bin/dtd2scala new file mode 100755 index 0000000000..1c32373be8 --- /dev/null +++ b/bin/dtd2scala @@ -0,0 +1,22 @@ +#!/bin/sh + +SOURCE="$0"; +while [ -h "$SOURCE" ]; do + SCRIPT="`basename $SOURCE`"; + LOOKUP="`ls -ld "$SOURCE"`"; + TARGET="`expr "$LOOKUP" : '.*-> \(.*\)$'`"; + if expr "${TARGET:-.}/" : '/.*/$' > /dev/null; then + SOURCE="${TARGET:-.}"; + else + SOURCE="`dirname "$SOURCE"`/${TARGET:-.}"; + fi; +done; +PREFIX="`dirname "$SOURCE"`/.."; +PREFIX="`cd "$PREFIX"; pwd`"; + +SCALA_CLASSES="$PREFIX/classes"; +LIBDIR="$PREFIX/lib"; + +JAVA_CLASSPATH="$LIBDIR/xercesImpl.jar:$SCALA_CLASSES" + +exec java -classpath $JAVA_CLASSPATH scala.xml.dtd2scala $@ |