From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 27 Apr 2005 13:54:37 +0000 (+0000)
Subject: make also in utilities on whatever target
X-Git-Tag: after_svn_merge~6
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d7bb3f680ae2e8faa2dd486c965c29fafd9612cf;p=helm.git

make also in utilities on whatever target
---

diff --git a/helm/ocaml/cic_proof_checking/Makefile b/helm/ocaml/cic_proof_checking/Makefile
index 4d56f5b25..95657131f 100644
--- a/helm/ocaml/cic_proof_checking/Makefile
+++ b/helm/ocaml/cic_proof_checking/Makefile
@@ -26,6 +26,14 @@ EXTRA_OBJECTS_TO_CLEAN =
 
 include ../Makefile.common
 
+all: all_utilities
+opt: opt_utilities
+
+all_utilities:
+	$(MAKE) -C utilities/ all
+opt_utilities:
+	$(MAKE) -C utilities/ opt
+
 cicReduction.ml: $(REDUCTION_IMPLEMENTATION)
 	if ! [ -f $@ ]; then \
 		echo "Using $< for $@";	\
@@ -34,3 +42,7 @@ cicReduction.ml: $(REDUCTION_IMPLEMENTATION)
 		true;	\
 	fi
 
+clean: clean_utilities
+clean_utilities:
+	$(MAKE) -C utilities/ clean
+