new logger, getter, and the hell

diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in
index cefbf646d19ab6053937eb26d931752086ef51a8..1afee22b80cd044bf0b4ce3b204dab3186a06786 100644 (file)
--- a/helm/ocaml/Makefile.common.in
+++ b/helm/ocaml/Makefile.common.in
@@ -12,7 +12,7 @@ OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
 
 PREPROCOPTIONS = -pp camlp4o
 PREREQ =
-OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
+OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread
 OCAMLDEBUGOPTIONS = -g
 OCAMLFIND = ocamlfind
 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLDEBUGOPTIONS) $(OCAMLOPTIONS) $(PREPROCOPTIONS)

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index ec30fb868343eff2ed0920b63ba7a7a7d6628656..a2cb5f27819fb68020db7ca9ee0afcfd6f047f19 100644 (file)
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -1,7 +1,10 @@
 # Warning: the modules must be in compilation order
 MODULES = \
+       registry \
+       thread \
        xml \
        urimanager \
+       logger \
        getter \
        pxp \
        cic \
@@ -18,7 +21,6 @@ MODULES = \
        cic_omdoc \
        tactics \
        cic_transformations \
-       logger \
        cic_textual_parser2
 
 OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
@@ -33,11 +35,11 @@ metas: $(METAS)
 depend: $(MODULES:%=%.depend)
 install: $(MODULES:%=%.install)
 uninstall: $(MODULES:%=%.uninstall)
-clean: $(MODULES:%=%.clean) clean_metas
+clean: $(MODULES:%=%.clean)
 clean_metas:
        rm -f $(METAS)
 
-dist-clean: clean
+distclean: clean clean_metas
        rm -f Makefile Makefile.common configure config.log config.cache config.status
 
 $(MODULES:%=%.all):