From 31afc64440b7da53bb79e6f1524d47bf0fb56aaf Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 13 Jun 2005 14:56:48 +0000 Subject: [PATCH] - no longer build mathql per default - moved cic_notation after cic_transformation --- helm/ocaml/Makefile.in | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in index b4b99eb24..ac2a057f3 100644 --- a/helm/ocaml/Makefile.in +++ b/helm/ocaml/Makefile.in @@ -16,12 +16,9 @@ MODULES = \ cic_omdoc \ metadata \ tactics \ - cic_notation \ cic_transformations \ + cic_notation \ cic_textual_parser2 \ - mathql \ - mathql_interpreter \ - mathql_generator \ hbugs OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@ -- 2.39.2