X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FgTopLevel%2Fscript.sh;fp=helm%2FgTopLevel%2Fscript.sh;h=0000000000000000000000000000000000000000;hp=6be688132ff394b83b8c445bed6e1cac0df52e83;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/gTopLevel/script.sh b/helm/gTopLevel/script.sh
deleted file mode 100755
index 6be688132..000000000
--- a/helm/gTopLevel/script.sh
+++ /dev/null
@@ -1,22 +0,0 @@
-#!/bin/bash
-
-#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
-
-export OCAMLPATH=/home/asperti/helm/ocaml:/home/asperti/helm/hbugs/meta:/local/helm/galax/sources/natile-galax-0.1-alpha-installed/lib
-
-export HELM_ANNOTATIONS_DIR=/home/luca/miohelm/objects
-export HELM_ANNOTATIONS_URL=file:///home/luca/miohelm/objects
-export HELM_GETTER_URL=http://localhost:58081/
-export HELM_PROCESSOR_URL=http://localhost:8080/helm/servlet/uwobo/
-#export HELM_GETTER_URL=http://mowgli.cs.unibo.it:58081/
-#export HELM_PROCESSOR_URL=http://mowgli.cs.unibo.it:8081/mowgli/servlet/uwobo/
-
-export HELM_TMP_DIR=/tmp
-
-export GTOPLEVEL_PROOFFILE=/tmp/asperti_currentproof
-export GTOPLEVEL_PROOFFILETYPE=/tmp/asperti_currentprooftype
-export GTOPLEVEL_INNERTYPESFILE=/tmp/asperti_innertypes
-export GTOPLEVEL_CONSTANTTYPEFILE=/tmp/asperti_constanttype
-export POSTGRESQL_CONNECTION_STRING="host=mowgli.cs.unibo.it dbname=mowgli user=helm password=awH21Un"
-#export POSTGRESQL_CONNECTION_STRING="dbname=helm_mowgli_new_schema user=helm"
-#export POSTGRESQL_CONNECTION_STRING="host=mowgli.cs.unibo.it dbname=helm_mowgli_new_schema user=helm"