X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fconfiguration.ml;h=9a36cb37dc52e1de0ddcbadbff4a76bae2e884b3;hb=refs%2Ftags%2FV6-2;hp=6b0facf3398d3df21855657a19da923b7d8e7d99;hpb=4e9a9c5ddfe635b338c2abf30f1e918d861e104d;p=helm.git

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;;