]> matita.cs.unibo.it Git - helm.git/blob - helm/xsltd/start-xaland.in
...
[helm.git] / helm / xsltd / start-xaland.in
1 #!/bin/bash
2
3 ##########################################################################
4 #        BEGIN OF THE PART TO CONFIGURE BEFORE USING THE SCRIPT          #
5 ##########################################################################
6
7 # In the next line you have to set the path to the jdk1.3
8 export PATH=/opt/java/jdk1.3/bin/:$PATH
9
10 # In the next line you have to give the classpath to the 1.1 version of
11 # xalan.jar
12 export CLASSPATH1=/projects/helm/shared/libraries/java/xalan_1_1/xalan.jar
13
14 # In the next line you have to give the classpath to the 1.1 version of
15 # xerces.jar
16 export CLASSPATH2=/projects/helm/shared/libraries/java/xalan_1_1/xerces.jar
17
18 ##########################################################################
19 #                   END OF THE PART TO CONFIGURE                         #
20 ##########################################################################
21
22 export CLASSPATH=$CLASSPATH1:$CLASSPATH2:$CLASSPATH:.
23 export CLASS_DIR=@HELM_LIB_DIR@
24 export HELM_STYLES_DIR=@HELM_STYLES_DIR@
25
26 cd $CLASS_DIR &&
27 java -ss1024K -oss8192K \
28  xaland 12345 12346 \
29  $HELM_STYLES_DIR/rootcontent.xsl \
30  $HELM_STYLES_DIR/annotatedpres.xsl \
31  $HELM_STYLES_DIR/theory_content.xsl \
32  $HELM_STYLES_DIR/theory_pres.xsl