From 8a96c5b22d51ee2bbecdacbe5e16397914b3a3fb Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 14 Jan 2004 17:57:59 +0000 Subject: [PATCH] - added logger module - vertical ordering --- helm/ocaml/Makefile.in | 24 ++++++++++++++++++++---- 1 file changed, 20 insertions(+), 4 deletions(-) diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in index aa23d24ba..caa5169d6 100644 --- a/helm/ocaml/Makefile.in +++ b/helm/ocaml/Makefile.in @@ -1,8 +1,24 @@ # Warning: the modules must be in compilation order -MODULES = xml urimanager getter pxp cic cic_annotations cic_annotations_cache \ - cic_cache cic_proof_checking cic_textual_parser \ - tex_cic_textual_parser cic_unification mathql mathql_generator \ - mathql_interpreter cic_omdoc tactics cic_transformations +MODULES = \ + xml \ + urimanager \ + getter \ + pxp \ + cic \ + cic_annotations \ + cic_annotations_cache \ + cic_cache \ + cic_proof_checking \ + cic_textual_parser \ + tex_cic_textual_parser \ + cic_unification \ + mathql \ + mathql mathql_generator \ + mathql_interpreter \ + cic_omdoc \ + tactics \ + cic_transformations \ + logger OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@ OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@ -- 2.39.2