From 788038150dc033d477c105a070e6b9cef524161f Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 11 Feb 2004 12:03:07 +0000
Subject: [PATCH] new logger, getter, and the hell

---
 helm/ocaml/Makefile.common.in | 2 +-
 helm/ocaml/Makefile.in        | 8 +++++---
 2 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in
index cefbf646d..1afee22b8 100644
--- 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 ec30fb868..a2cb5f278 100644
--- 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):
-- 
2.39.2