patched

diff --git a/helm/mathql_test/Makefile b/helm/mathql_test/Makefile
index 086fadc283298011da95a103cd149f69de80abdd..45aa2a4982ff9cf5e517176a74bb1f5f0f1653d6 100644 (file)
--- 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 0b809b0282b25a2609da1c2ab234c48b5dfadd8e..cc40f33691c029fff2f2c77725c566238b6d6984 100644 (file)
--- 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 7dd43888c0eb4165501fee6d532e81c55272097a..1b4b387c0195b88723640e103ea9e050982b17a4 100644 (file)
--- 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 261feac7be1a5b027f58d4fb26dc8ebca5e13339..5599883250fbcdb0dca3eb5569298d94c7976af4 100644 (file)
--- 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 =