From 7dc1b477124b604ecbe7018ac2a45765420488a5 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 31 Oct 2000 16:40:47 +0000 Subject: [PATCH] HELM_CONFIGURATION_PREFIX added to OCaml files --- helm/interface/.depend | 2 ++ helm/interface/configuration.ml | 9 ++++++++- helm/interface/pxpUriResolver.ml | 6 +++--- 3 files changed, 13 insertions(+), 4 deletions(-) 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 ;; -- 2.39.2