helm/gTopLevel/script.sh

   1 #!/bin/bash
   2
   3 export OCAMLPATH=/projects/helm/galax/sources/natile-galax-0.1-alpha-installed/lib:/home/claudio/miohelm/helm/ocaml:/home/claudio/miohelm/helm:/home/claudio/miohelm/helm/hbugs/meta
   4
   5 export HELM_ANNOTATIONS_DIR=/home/claudio/miohelm/objects
   6 export HELM_ANNOTATIONS_URL=file:///home/claudio/miohelm/objects
   7 #export HELM_GETTER_URL=http://mowgli.cs.unibo.it:58081/
   8 #export HELM_PROCESSOR_URL=http://mowgli.cs.unibo.it:58080/
   9 export HELM_GETTER_URL=http://localhost:58081/
  10 export HELM_PROCESSOR_URL=http://localhost:58080/
  11
  12 export GTOPLEVEL_PROOFFILE=/public/sacerdot/currentproof
  13 export GTOPLEVEL_PROOFFILETYPE=/public/sacerdot/currentprooftype
  14 export GTOPLEVEL_INNERTYPESFILE=/public/sacerdot/innertypes
  15 export GTOPLEVEL_CONSTANTTYPEFILE=/public/sacerdot/constanttype
  16 export POSTGRESQL_CONNECTION_STRING="dbname=mowgli"
  17 #export POSTGRESQL_CONNECTION_STRING="host=mowgli.cs.unibo.it dbname=mowgli user=helm password=awH21Un"
  18
  19 export HELM_TMP_DIR=/tmp