- no longer build mathql per default

[helm.git] / helm / ocaml / Makefile.in

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index b4b99eb24fcb4328c33e6df45d012479ae45b7ea..ac2a057f34e23ed5f9162138035c99c7cc198f92 100644 (file)
--- 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@