From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 9 Dec 2005 10:52:50 +0000 (+0000)
Subject: ficed include and -I
X-Git-Tag: make_still_working~8033
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7ecd356fa7f7227d10f27ce195ea21b6508ba6ee;p=helm.git

ficed include and -I
---

diff --git a/helm/matita/matitaScript.ml b/helm/matita/matitaScript.ml
index da2c5b2fa..c14bd7710 100644
--- a/helm/matita/matitaScript.ml
+++ b/helm/matita/matitaScript.ml
@@ -83,6 +83,9 @@ let eval_with_engine guistuff status user_goal parsed_text st =
         | None -> []
         | Some devel -> [MatitamakeLib.root_for_development devel ]
   in
+  let include_ =
+    include_ @ (Helm_registry.get_list Helm_registry.string "matita.includes")
+  in
   let parsed_text_length = String.length parsed_text in
   let loc, ex = 
     match st with TA.Executable (loc,ex) -> loc, ex | _ -> assert false in