From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 18 Feb 2004 13:10:17 +0000 (+0000)
Subject: patched
X-Git-Tag: v0_0_4~151
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7f6da5a54d2482895c00c8d58c0b2a1bd9d2d379;p=helm.git

patched
---

diff --git a/helm/mathql_test/Makefile b/helm/mathql_test/Makefile
index 086fadc28..45aa2a498 100644
--- a/helm/mathql_test/Makefile
+++ b/helm/mathql_test/Makefile
@@ -1,5 +1,5 @@
 BIN_DIR = /usr/local/bin
-REQUIRES = unix helm-cic_textual_parser \
+REQUIRES = unix helm-registry helm-cic_textual_parser \
 	   helm-mathql helm-mathql_interpreter helm-mathql_generator
 PREDICATES =
 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread
diff --git a/helm/mathql_test/mqgtop.ml b/helm/mathql_test/mqgtop.ml
index 0b809b028..cc40f3369 100644
--- a/helm/mathql_test/mqgtop.ml
+++ b/helm/mathql_test/mqgtop.ml
@@ -324,6 +324,7 @@ let rec parse = function
    | _ :: rem -> parse rem
 
 let _ =
+   Helm_registry.load_from "/home/fguidi/miohelm/gTopLevel.conf.xml";
    let t = U.start_time () in
 (*
    CicLogger.log_callback :=
diff --git a/helm/mathql_test/mqitop.ml b/helm/mathql_test/mqitop.ml
index 7dd43888c..1b4b387c0 100644
--- a/helm/mathql_test/mqitop.ml
+++ b/helm/mathql_test/mqitop.ml
@@ -31,6 +31,7 @@ module I = MQueryInterpreter
 module C = MQIConn
 
 let _ =
+   Helm_registry.load_from "/home/fguidi/miohelm/gTopLevel.conf.xml";
    let t = U.start_time () in
    let ich = Lexing.from_channel stdin in
    let flags = if Array.length Sys.argv >= 2 then Sys.argv.(1) else "" in
diff --git a/helm/ocaml/mathql_interpreter/Makefile b/helm/ocaml/mathql_interpreter/Makefile
index 261feac7b..559988325 100644
--- a/helm/ocaml/mathql_interpreter/Makefile
+++ b/helm/ocaml/mathql_interpreter/Makefile
@@ -1,6 +1,5 @@
-
 PACKAGE = mathql_interpreter
-REQUIRES = helm-urimanager helm-mathql postgres
+REQUIRES = helm-urimanager helm-mathql postgres helm-registry
 #natile-galax 
 
 PREDICATES =