From 78a646697c09d8a4ff1f04e0e58c48670400e825 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 11 Feb 2004 12:17:35 +0000 Subject: [PATCH] - script.sh removed from CVS. script.sh.sample added isntead - triciclo.conf.xml.sample added --- helm/gTopLevel/script.sh | 16 ---------------- helm/gTopLevel/script.sh.sample | 4 ++++ helm/gTopLevel/triciclo.conf.xml.sample | 15 +++++++++++++++ 3 files changed, 19 insertions(+), 16 deletions(-) delete mode 100755 helm/gTopLevel/script.sh create mode 100755 helm/gTopLevel/script.sh.sample create mode 100644 helm/gTopLevel/triciclo.conf.xml.sample diff --git a/helm/gTopLevel/script.sh b/helm/gTopLevel/script.sh deleted file mode 100755 index 848103c32..000000000 --- a/helm/gTopLevel/script.sh +++ /dev/null @@ -1,16 +0,0 @@ -export OCAMLPATH="/home/zack/dati/HELM/galax:/home/zack/dati/HELM/cvs/helm/ocaml/METAS:/home/zack/dati/HELM/cvs/helm:/home/zack/helm/hbugs/meta" - -export HELM_ANNOTATIONS_DIR=/home/zack/miohelm/objects -export HELM_ANNOTATIONS_URL=file:///home/zack/miohelm/objects -export HELM_GETTER_URL=http://localhost:58081/ -export HELM_PROCESSOR_URL=http://localhost:58080/ - -export GTOPLEVEL_PROOFFILE=/public/helm_library/currentproof -export GTOPLEVEL_PROOFFILETYPE=/public/helm_library/currentprooftype -export GTOPLEVEL_INNERTYPESFILE=/public/helm_library/innertypes -export GTOPLEVEL_CONSTANTTYPEFILE=/public/helm_library/constanttype -export GTOPLEVEL_ENVIRONMENTFILE=/public/helm_library/environment -export MATHQL_DB_MAP=/home/zack/helm/mathql_db_map.txt - -export HELM_TMP_DIR=/tmp -unset http_proxy diff --git a/helm/gTopLevel/script.sh.sample b/helm/gTopLevel/script.sh.sample new file mode 100755 index 000000000..9ce29ac34 --- /dev/null +++ b/helm/gTopLevel/script.sh.sample @@ -0,0 +1,4 @@ +#!/bin/bash + +#/projects/helm/galax/sources/natile-galax-0.1-alpha-installed/lib: +export OCAMLPATH=/home/sacerdot/miohelm/helm/ocaml/METAS:/home/sacerdot/miohelm/helm/hbugs/meta diff --git a/helm/gTopLevel/triciclo.conf.xml.sample b/helm/gTopLevel/triciclo.conf.xml.sample new file mode 100644 index 000000000..d84206e90 --- /dev/null +++ b/helm/gTopLevel/triciclo.conf.xml.sample @@ -0,0 +1,15 @@ + + + file:///home/sacerdot/miohelm/objects + file:///home/sacerdot/miohelm/objects + remote + + http://mowgli.cs.unibo.it:58081/ + /public/sacerdot/constanttype + /public/sacerdot/environment + /public/sacerdot/innertypes + /public/sacerdot/currentproof + /public/sacerdot/currentprooftype + + http://mowgli.cs.unibo.it:58080/ + -- 2.39.2