HELM_CONFIGURATION_PREFIX added to OCaml files

[helm.git] / helm / interface / configuration.ml

diff --git a/helm/interface/configuration.ml b/helm/interface/configuration.ml
index 6b0facf3398d3df21855657a19da923b7d8e7d99..9a36cb37dc52e1de0ddcbadbff4a76bae2e884b3 100644 (file)
--- 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;;