]> matita.cs.unibo.it Git - helm.git/blob - helm/scripts/template.rc
Only V7_mowgli left.
[helm.git] / helm / scripts / template.rc
1
2 COQV=@COQV@
3 WHERE=@WHERE@
4 FROM=@FROM@
5
6 export CVS_RSH=ssh
7
8 echo "Configuring HELM for $WHERE (from $FROM), Coq $COQV"
9
10 if test $WHERE = phd; then
11         export HELMROOT=/projects/helm
12         export JAVA_HOME=/opt/java/jdk1.3
13         export PATH=.:$JAVA_HOME/bin/:$PATH
14         export LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH
15 else
16         export HELMROOT=/home/projects/helm
17         export JAVA_HOME=/usr/local/jdk1.3
18         export PATH=.:$JAVA_HOME/bin:$HELMROOT/local/bin:$PATH
19         export LD_LIBRARY_PATH=$HELMROOT/local/lib:$LD_LIBRARY_PATH
20 fi
21
22 if test $WHERE = $FROM; then
23         FONTROOT=$HELMROOT
24 else
25         if test $FROM = phd; then
26                 FONTROOT=/projects/helm
27         else
28                 FONTROOT=/home/projects/helm
29         fi
30 fi
31
32 export PATH=$HELMROOT/http_getter:$PATH
33 export PATH=$HELMROOT/$COQV/interface:$PATH
34 export PATH=$HELMROOT/shared/scripts:$PATH
35
36 export HELM_CONFIGURATION_DIR=$HELMROOT/$COQV/$WHERE/local/etc/helm
37 export HELM_STYLE_DIR=$HELMROOT/$COQV/style
38 export HELM_LIB_DIR=$HELMROOT/$COQV/$WHERE/local/lib/helm
39 export HTTP_GETTER_RDF_DIR=$HELMROOT/shared/$COQV/rdf_library
40 export HTTP_GETTER_RDF_DBM=$HELMROOT/shared/$COQV/rdf_urls_of_uris.db
41 export HTTP_GETTER_XSLT_DBM=$HELMROOT/shared/$COQV/xslt_urls_of_uris.db
42 export HTTP_GETTER_RDF_INDEXNAME=rdf_index.txt
43 export HTTP_GETTER_XSLT_INDEXNAME=xslt_index.txt
44 export HELM_ANNOTATIONS_DIR=pippo
45 export HELM_ANNOTATIONS_URL=pippo
46 export UWOBO_PANEL_CONF=/projects/helm/public_html/uwobo/panel/control.html
47 if test  $COQV = V7_mowgli; then
48         export UWOBO_PORT=58080
49         export UWOBO_LOG_FILE=/projects/helm/log/uwobo
50         export HTTP_GETTER_PORT=58081
51         export URI_SET_QUEUE_PORT=58082
52         export DRAW_GRAPH_PORT=58083
53         export PROOF_CHECKER_PORT=58084
54         export SEARCH_ENGINE_PORT=58085
55         export DRAW_GRAPH_DIR=/projects/helm/daemons/graphs/tools
56         export HELM_UWOBO_URL=http://mowgli.cs.unibo.it:$UWOBO_PORT/
57         export HTTP_GETTER_DTD_BASE_URL=http://mowgli.cs.unibo.it/dtd
58 else
59   echo "Error: Version $COQV not recognized"
60 fi
61 export HELM_GETTER_URL=http://mowgli.cs.unibo.it:$HTTP_GETTER_PORT/
62 export SEARCH_ENGINE_HTML_DIR=/projects/helm/daemons/searchEngine/html
63
64 echo HELM_CONFIGURATION_DIR=$HELM_CONFIGURATION_DIR
65 echo HELM_LIB_DIR=$HELM_LIB_DIR
66 echo HELM_STYLE_DIR=$HELM_STYLE_DIR
67
68 export MATHENGINECONF=$HELMROOT/$COQV/$WHERE/local/etc/helm/helm-math-engine-configuration.xml
69
70 umask 002
71
72 # Stix font
73 xset fp
74 xset fp+ $FONTROOT/fonts/mathematica/Type1/
75 xset fp rehash