From 441eb2fd931ca065f4548661e5b37a3d3c008889 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Wed, 17 Dec 2003 18:36:03 +0000 Subject: [PATCH] patched --- helm/mathql_test/mqgtop.ml | 4 ++-- helm/ocaml/mathql_interpreter/Makefile | 1 + 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/helm/mathql_test/mqgtop.ml b/helm/mathql_test/mqgtop.ml index d13ab2538..b65c80557 100644 --- a/helm/mathql_test/mqgtop.ml +++ b/helm/mathql_test/mqgtop.ml @@ -325,8 +325,8 @@ let rec parse = function let _ = let t = U.start_time () in - Logger.log_callback := - (Logger.log_to_html + CicLogger.log_callback := + (CicLogger.log_to_html ~print_and_flush:(fun s -> print_string s; flush stdout)) ; parse (List.tl (Array.to_list Sys.argv)); prerr_endline ("mqgtop: done in " ^ (U.stop_time t)); diff --git a/helm/ocaml/mathql_interpreter/Makefile b/helm/ocaml/mathql_interpreter/Makefile index 88c66ac8e..261feac7b 100644 --- a/helm/ocaml/mathql_interpreter/Makefile +++ b/helm/ocaml/mathql_interpreter/Makefile @@ -1,3 +1,4 @@ + PACKAGE = mathql_interpreter REQUIRES = helm-urimanager helm-mathql postgres #natile-galax -- 2.39.2