From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 31 Oct 2000 16:40:47 +0000 (+0000)
Subject: HELM_CONFIGURATION_PREFIX added to OCaml files
X-Git-Tag: nogzip~224
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7dc1b477124b604ecbe7018ac2a45765420488a5;p=helm.git

HELM_CONFIGURATION_PREFIX added to OCaml files
---

diff --git a/helm/interface/.depend b/helm/interface/.depend
index a495dfeab..6402ae55b 100644
--- a/helm/interface/.depend
+++ b/helm/interface/.depend
@@ -82,6 +82,8 @@ deannotate.cmo: cic.cmo
 deannotate.cmx: cic.cmx 
 cicXPath.cmo: cic.cmo 
 cicXPath.cmx: cic.cmx 
+pxpUriResolver.cmo: configuration.cmo 
+pxpUriResolver.cmx: configuration.cmx 
 annotationParser.cmo: annotationParser2.cmo pxpUriResolver.cmo 
 annotationParser.cmx: annotationParser2.cmx pxpUriResolver.cmx 
 annotationParser2.cmo: cic.cmo 
diff --git a/helm/interface/configuration.ml b/helm/interface/configuration.ml
index 6b0facf33..9a36cb37d 100644
--- a/helm/interface/configuration.ml
+++ b/helm/interface/configuration.ml
@@ -10,7 +10,14 @@
 (******************************************************************************)
 
 (* this should be the only hard coded constant *)
-let filename = "/home/cadet/sacerdot/local/etc/helm/configuration.xml";;
+let filename =
+ let prefix =
+  try
+   Sys.getenv "HELM_CONFIGURATION_PREFIX"
+  with
+   Not_found -> ""
+ in
+  prefix ^ "/local/etc/helm/configuration.xml";;
 
 exception Warnings;;
 
diff --git a/helm/interface/pxpUriResolver.ml b/helm/interface/pxpUriResolver.ml
index b5b37f398..6ebbf71bd 100644
--- a/helm/interface/pxpUriResolver.ml
+++ b/helm/interface/pxpUriResolver.ml
@@ -11,11 +11,11 @@
 let resolve =
  function
     "http://localhost:8081/getdtd?url=cic.dtd" ->
-     "/home/pauillac/coq3/sacerdot/HELM/INTERFACE/examples/dtd/cic.dtd"
+     Configuration.dtd_dir ^ "/cic.dtd"
   | "http://localhost:8081/getdtd?url=maththeory.dtd" ->
-     "/home/pauillac/coq3/sacerdot/HELM/INTERFACE/examples/dtd/maththeory.dtd"
+     Configuration.dtd_dir ^ "/maththeory.dtd"
   | "http://localhost:8081/getdtd?url=annotations.dtd" ->
-     "/home/pauillac/coq3/sacerdot/HELM/INTERFACE/examples/dtd/annotations.dtd"
+     Configuration.dtd_dir ^ "/annotations.dtd"
   | s  -> s
 ;;