+
+set COQV=@COQV@
+set WHERE=@WHERE@
+set FROM=@FROM@
+
+setenv CVS_RSH=ssh
+
+echo "Configuring HELM for $WHERE (from $FROM), Coq $COQV"
+
+if ($WHERE == phd) then
+ setenv HELMROOT /projects/helm
+ setenv JAVA_HOME /opt/java/jdk1.3
+ setenv PATH .:$JAVA_HOME/bin/:$PATH
+ if ($?LD_LIBRARY_PATH == 1) then
+ setenv LD_LIBRARY_PATH /usr/local/lib:$LD_LIBRARY_PATH
+ else
+ setenv LD_LIBRARY_PATH /usr/local/lib
+ endif
+else
+ setenv HELMROOT /home/projects/helm
+ setenv JAVA_HOME /usr/local/jdk1.3
+ setenv PATH .:$JAVA_HOME/bin:$HELMROOT/local/bin:$PATH
+ if ($?LD_LIBRARY_PATH == 1) then
+ setenv LD_LIBRARY_PATH $HELMROOT/local/lib:$LD_LIBRARY_PATH
+ else
+ setenv LD_LIBRARY_PATH $HELMROOT/local/lib
+ endif
+endif
+
+if ($WHERE == $FROM) then
+ set FONTROOT=$HELMROOT
+else
+ if ($FROM == phd) then
+ set FONTROOT=/projects/helm
+ else
+ set FONTROOT=/home/projects/helm
+ endif
+endif
+
+setenv PATH $HELMROOT/http_getter:$PATH
+setenv PATH $HELMROOT/V7/interface:$PATH
+setenv PATH $HELMROOT/shared/scripts:$PATH
+
+setenv HELM_CONFIGURATION_DIR $HELMROOT/$COQV/$WHERE/local/etc/helm
+setenv HELM_STYLE_DIR $HELMROOT/$COQV/style
+setenv HELM_LIB_DIR $HELMROOT/$COQV/$WHERE/local/lib/helm
+setenv HTTP_GETTER_RDF_DIR $HELMROOT/shared/V7/rdf_library
+setenv HTTP_GETTER_RDF_DBM $HELMROOT/shared/V7/rdf_urls_of_uris.db
+setenv HTTP_GETTER_XSLT_DBM $HELMROOT/shared/V7/xslt_urls_of_uris.db
+setenv HTTP_GETTER_PORT 48081
+
+echo HELM_CONFIGURATION_DIR=$HELM_CONFIGURATION_DIR
+echo HELM_LIB_DIR=$HELM_LIB_DIR
+echo HELM_STYLE_DIR=$HELM_STYLE_DIR
+
+setenv CLASSPATH .
+setenv CLASSPATH $CLASSPATH\:$HELMROOT/uwobo/lib/xalan.jar
+setenv CLASSPATH $CLASSPATH\:$HELMROOT/uwobo/lib/xerces.jar
+setenv CLASSPATH $CLASSPATH\:$HELMROOT/uwobo/lib/uwobo_client.jar
+setenv CLASSPATH $CLASSPATH\:$HELMROOT/uwobo/lib/uwobo_server.jar
+
+setenv MATHENGINECONF $HELMROOT/$COQV/$WHERE/local/etc/helm/helm-math-engine-configuration.xml
+
+umask 002
+
+# Stix font
+xset fp
+xset fp+ $FONTROOT/fonts/mathematica/Type1/
+xset fp rehash