From 49e1d8c87e52b9b62bad467246e953d3af81a692 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 28 Apr 2005 13:29:30 +0000 Subject: [PATCH] added hbugs and mathql --- helm/ocaml/Makefile.in | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in index c3f319686..e07de2783 100644 --- a/helm/ocaml/Makefile.in +++ b/helm/ocaml/Makefile.in @@ -17,7 +17,11 @@ MODULES = \ metadata \ tactics \ cic_transformations \ - cic_textual_parser2 + cic_textual_parser2 \ + mathql \ + mathql_interpreter \ + mathql_generator \ + hbugs OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@ OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@ -- 2.39.2