From 7f6da5a54d2482895c00c8d58c0b2a1bd9d2d379 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Wed, 18 Feb 2004 13:10:17 +0000 Subject: [PATCH] patched --- helm/mathql_test/Makefile | 2 +- helm/mathql_test/mqgtop.ml | 1 + helm/mathql_test/mqitop.ml | 1 + helm/ocaml/mathql_interpreter/Makefile | 3 +-- 4 files changed, 4 insertions(+), 3 deletions(-) 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 = -- 2.39.2