X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FbuildTimeConf.ml;h=3774aaf35a9087358926efa5da731ec4c43d4a99;hb=2009d9e5625804a61007c65faf982e376252be79;hp=fab7db0cdb97d4ae6f61fa827f6338962835c6b6;hpb=49ba026556fb44d5f2730d43a3e819d224fdc10c;p=helm.git

diff --git a/matita/matita/buildTimeConf.ml b/matita/matita/buildTimeConf.ml
index fab7db0cd..3774aaf35 100644
--- a/matita/matita/buildTimeConf.ml
+++ b/matita/matita/buildTimeConf.ml
@@ -40,7 +40,10 @@ let script_font = "Monospace";;
 let runtime_base_dir =
   try
     Sys.getenv "MATITA_RT_BASE_DIR"
-  with Not_found -> "/home/claudio/ricerca/matita5/helm/matita/matita";;
+  with Not_found ->
+   match Mysites.Sites.myshare with
+      [rt] -> rt (*It was: "/home/claudio/ricerca/matita5/helm/matita/matita"*)
+    | _ -> assert false
 
 let images_dir = runtime_base_dir ^ "/icons"
 let gtkrc_file = runtime_base_dir ^ "/matita.gtkrc"