helm/xsltd/start-xaland.in

   1 #!/bin/bash
   2
   3 # Copyright (C) 2000, HELM Team.
   4 #
   5 # This file is part of HELM, an Hypertextual, Electronic
   6 # Library of Mathematics, developed at the Computer Science
   7 # Department, University of Bologna, Italy.
   8 #
   9 # HELM is free software; you can redistribute it and/or
  10 # modify it under the terms of the GNU General Public License
  11 # as published by the Free Software Foundation; either version 2
  12 # of the License, or (at your option) any later version.
  13 #
  14 # HELM is distributed in the hope that it will be useful,
  15 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  16 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  17 # GNU General Public License for more details.
  18 #
  19 # You should have received a copy of the GNU General Public License
  20 # along with HELM; if not, write to the Free Software
  21 # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
  22 #
  23 # For details, see the HELM World-Wide-Web page,
  24 # http://cs.unibo.it/helm/.
  25
  26 ##########################################################################
  27 #        BEGIN OF THE PART TO CONFIGURE BEFORE USING THE SCRIPT          #
  28 ##########################################################################
  29
  30 # In the next line you have to set the path to the jdk1.3
  31 export PATH=/opt/java/jdk1.3/bin/:$PATH
  32
  33 # In the next line you have to give the classpath to the 1.1 version of
  34 # xalan.jar
  35 export CLASSPATH1=/projects/helm/shared/libraries/java/xalan_1_1/xalan.jar
  36
  37 # In the next line you have to give the classpath to the 1.1 version of
  38 # xerces.jar
  39 export CLASSPATH2=/projects/helm/shared/libraries/java/xalan_1_1/xerces.jar
  40
  41 ##########################################################################
  42 #                   END OF THE PART TO CONFIGURE                         #
  43 ##########################################################################
  44
  45 export CLASSPATH=$CLASSPATH1:$CLASSPATH2:$CLASSPATH:.
  46 export CLASS_DIR=@HELM_LIB_DIR@
  47 export HELM_STYLE_DIR=@HELM_STYLE_DIR@
  48
  49 cd $CLASS_DIR &&
  50 java -ss1024K -oss8192K \
  51  xaland 12345 12346 \
  52  $HELM_STYLE_DIR/rootcontent.xsl \
  53  $HELM_STYLE_DIR/annotatedpres.xsl \
  54  $HELM_STYLE_DIR/theory_content.xsl \
  55  $HELM_STYLE_DIR/theory_pres.xsl