]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/xsltd/start-xaland.in
autoconf now used
[helm.git] / helm / xsltd / start-xaland.in
diff --git a/helm/xsltd/start-xaland.in b/helm/xsltd/start-xaland.in
new file mode 100755 (executable)
index 0000000..062e181
--- /dev/null
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+export HELM_STYLES_DIR=/usr/local/share/helm/style
+export PATH=$PATH:/opt/java/jdk1.3/bin/
+export CLASSPATH=.
+export CLASSPATH=$CLASSPATH:/projects/helm/shared/libraries/java/xalan_1_1/xalan.jar
+export CLASSPATH=$CLASSPATH:/projects/helm/shared/libraries/java/xalan_1_1/xerces.jar
+
+java -ss1024K -oss8192K \
+ xaland 12345 12346 \
+ $HELM_STYLES_DIR/rootcontent.xsl \
+ $HELM_STYLES_DIR/annotatedpres.xsl \
+ $HELM_STYLES_DIR/theory_content.xsl \
+ $HELM_STYLES_DIR/theory_pres.xsl