]> matita.cs.unibo.it Git - helm.git/blob - helm/scripts/template.cshrc
searchEngine ported to Helm_registry.
[helm.git] / helm / scripts / template.cshrc
1
2 set COQV=V7_mowgli
3 set WHERE=phd
4 set FROM=@FROM@
5
6 setenv CVS_RSH=ssh
7
8 echo "Configuring HELM for $WHERE (from $FROM), Coq $COQV"
9
10 setenv HELMROOT /projects/helm
11
12 if ($WHERE == $FROM) then
13         set FONTROOT=$HELMROOT
14 else
15         if ($FROM == phd) then
16                 set FONTROOT=/projects/helm
17         else
18                 set FONTROOT=/home/projects/helm
19         endif
20 endif
21
22 setenv PATH $HELMROOT/http_getter:$PATH
23 setenv PATH $HELMROOT/$COQV/interface:$PATH
24 setenv PATH $HELMROOT/shared/scripts:$PATH
25
26 setenv HELM_CONFIGURATION_DIR $HELMROOT/$COQV/$WHERE/local/etc/helm
27 setenv HELM_STYLE_DIR $HELMROOT/$COQV/style
28 setenv HELM_LIB_DIR $HELMROOT/$COQV/$WHERE/local/lib/helm
29 setenv HELM_ANNOTATIONS_DIR pippo
30 setenv HELM_ANNOTATIONS_URL pippo
31
32 echo HELM_CONFIGURATION_DIR=$HELM_CONFIGURATION_DIR
33 echo HELM_LIB_DIR=$HELM_LIB_DIR
34 echo HELM_STYLE_DIR=$HELM_STYLE_DIR
35
36 setenv MATHENGINECONF $HELMROOT/$COQV/$WHERE/local/etc/helm/helm-math-engine-configuration.xml
37
38 umask 002
39
40 # Stix font
41 xset fp
42 xset fp+ $FONTROOT/fonts/mathematica/Type1/
43 xset fp rehash