From: Claudio Sacerdoti Coen Date: Mon, 7 Oct 2002 16:25:55 +0000 (+0000) Subject: Initial revision X-Git-Tag: BEFORE_METADATA_FOR_SORT_AND_REL~60 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=30ed2d8f648cf069338a9a1fdb07f0a272133042;p=helm.git Initial revision --- diff --git a/helm/scripts/Makefile b/helm/scripts/Makefile new file mode 100644 index 000000000..f0ddad968 --- /dev/null +++ b/helm/scripts/Makefile @@ -0,0 +1,18 @@ + +all: + ./makeit V7 marcello marcello marcello.cshrc + ./makeit V7 marcello marcello marcello.rc + ./makeit V7 marcello phd marcello_phd.cshrc + ./makeit V7 marcello phd marcello_phd.rc + ./makeit V7 phd phd phd.cshrc + ./makeit V7 phd phd phd.rc + ./makeit V7 phd marcello phd_marcello.cshrc + ./makeit V7 phd marcello phd_marcello.rc + chmod a+x marcello*rc phd*rc + +clean: + rm -f marcello*rc phd*rc + +cleanbak: + rm -f *~ + diff --git a/helm/scripts/makeit b/helm/scripts/makeit new file mode 100755 index 000000000..bbd7cfd05 --- /dev/null +++ b/helm/scripts/makeit @@ -0,0 +1,11 @@ +#!/bin/sh + +if test $# != 3; then + echo "Usage: makeit " + echo + echo " is either V6.2 or V7" + echo " is either phd or marcello" + exit 1 +fi + +sed -e "s/@COQV@/$1/" -e "s/@WHERE@/$2/" -e "s/@FROM@/$3/" diff --git a/helm/scripts/start-tomcat b/helm/scripts/start-tomcat new file mode 100755 index 000000000..ac9912ee3 --- /dev/null +++ b/helm/scripts/start-tomcat @@ -0,0 +1,8 @@ +#!/bin/sh +trap stop-tomcat-debug EXIT +start-tomcat-debug >/dev/null +echo TOMCAT is on its way, wait a few seconds before using it. +echo Press enter to kill TOMCAT. +echo +read +echo Shutting down... diff --git a/helm/scripts/start-tomcat-debug b/helm/scripts/start-tomcat-debug new file mode 100755 index 000000000..bae236b46 --- /dev/null +++ b/helm/scripts/start-tomcat-debug @@ -0,0 +1,2 @@ +#!/bin/sh +$HELMROOT/shared/libraries/tomcat/bin/startup.sh diff --git a/helm/scripts/stop-tomcat-debug b/helm/scripts/stop-tomcat-debug new file mode 100755 index 000000000..89f4e5d31 --- /dev/null +++ b/helm/scripts/stop-tomcat-debug @@ -0,0 +1,2 @@ +#! /bin/sh +exec $HELMROOT/shared/libraries/tomcat/bin/shutdown.sh diff --git a/helm/scripts/template.cshrc b/helm/scripts/template.cshrc new file mode 100644 index 000000000..cd11bf582 --- /dev/null +++ b/helm/scripts/template.cshrc @@ -0,0 +1,69 @@ + +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 diff --git a/helm/scripts/template.rc b/helm/scripts/template.rc new file mode 100644 index 000000000..6fb3c0cdc --- /dev/null +++ b/helm/scripts/template.rc @@ -0,0 +1,61 @@ + +COQV=@COQV@ +WHERE=@WHERE@ +FROM=@FROM@ + +export CVS_RSH=ssh + +echo "Configuring HELM for $WHERE (from $FROM), Coq $COQV" + +if test $WHERE = phd; then + export HELMROOT=/projects/helm + export JAVA_HOME=/opt/java/jdk1.3 + export PATH=.:$JAVA_HOME/bin/:$PATH + export LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH +else + export HELMROOT=/home/projects/helm + export JAVA_HOME=/usr/local/jdk1.3 + export PATH=.:$JAVA_HOME/bin:$HELMROOT/local/bin:$PATH + export LD_LIBRARY_PATH=$HELMROOT/local/lib:$LD_LIBRARY_PATH +fi + +if test $WHERE = $FROM; then + FONTROOT=$HELMROOT +else + if test $FROM = phd; then + FONTROOT=/projects/helm + else + FONTROOT=/home/projects/helm + fi +fi + +export PATH=$HELMROOT/http_getter:$PATH +export PATH=$HELMROOT/V7/interface:$PATH +export PATH=$HELMROOT/shared/scripts:$PATH + +export HELM_CONFIGURATION_DIR=$HELMROOT/$COQV/$WHERE/local/etc/helm +export HELM_STYLE_DIR=$HELMROOT/$COQV/style +export HELM_LIB_DIR=$HELMROOT/$COQV/$WHERE/local/lib/helm +export HTTP_GETTER_RDF_DIR=$HELMROOT/shared/V7/rdf_library +export HTTP_GETTER_RDF_DBM=$HELMROOT/shared/V7/rdf_urls_of_uris.db +export HTTP_GETTER_XSLT_DBM=$HELMROOT/shared/V7/xslt_urls_of_uris.db +export 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 + +# export CLASSPATH=. +# export CLASSPATH=$CLASSPATH:$HELMROOT/uwobo/lib/xalan.jar +# export CLASSPATH=$CLASSPATH:$HELMROOT/uwobo/lib/xerces.jar +# export CLASSPATH=$CLASSPATH:$HELMROOT/uwobo/lib/uwobo_client.jar +# export CLASSPATH=$CLASSPATH:$HELMROOT/uwobo/lib/uwobo_server.jar + +export 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