helm/gTopLevel/script.sh

   1 #!/bin/bash
   2
   3 #export OCAMLPATH=/projects/helm/galax/sources/natile-galax-0.1-alpha-installed/lib:/home/luca/miohelm/helm/ocaml:/home/luca/miohelm/helm:/home/luca/miohelm/helm/hbugs/meta:/home/luca/miohelm/helm/gTopLevel
   4
   5 export OCAMLPATH=/home/asperti/helm/ocaml:/home/asperti/helm/hbugs/meta:/local/helm/galax/sources/natile-galax-0.1-alpha-installed/lib
   6
   7 export HELM_ANNOTATIONS_DIR=/home/luca/miohelm/objects
   8 export HELM_ANNOTATIONS_URL=file:///home/luca/miohelm/objects
   9 export HELM_GETTER_URL=http://localhost:58081/
  10 export HELM_PROCESSOR_URL=http://localhost:8080/helm/servlet/uwobo/
  11 #export HELM_GETTER_URL=http://mowgli.cs.unibo.it:58081/
  12 #export HELM_PROCESSOR_URL=http://mowgli.cs.unibo.it:8081/mowgli/servlet/uwobo/
  13
  14 export HELM_TMP_DIR=/tmp
  15
  16 export GTOPLEVEL_PROOFFILE=/tmp/asperti_currentproof
  17 export GTOPLEVEL_PROOFFILETYPE=/tmp/asperti_currentprooftype
  18 export GTOPLEVEL_INNERTYPESFILE=/tmp/asperti_innertypes
  19 export GTOPLEVEL_CONSTANTTYPEFILE=/tmp/asperti_constanttype
  20 export POSTGRESQL_CONNECTION_STRING="host=mowgli.cs.unibo.it dbname=mowgli user=helm password=awH21Un"
  21 #export POSTGRESQL_CONNECTION_STRING="dbname=helm_mowgli_new_schema user=helm"
  22 #export POSTGRESQL_CONNECTION_STRING="host=mowgli.cs.unibo.it dbname=helm_mowgli_new_schema user=helm"