From d7bb3f680ae2e8faa2dd486c965c29fafd9612cf Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 27 Apr 2005 13:54:37 +0000
Subject: [PATCH] make also in utilities on whatever target

---
 helm/ocaml/cic_proof_checking/Makefile | 12 ++++++++++++
 1 file changed, 12 insertions(+)

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
+
-- 
2.39.2