make also in utilities on whatever target

diff --git a/helm/ocaml/cic_proof_checking/Makefile b/helm/ocaml/cic_proof_checking/Makefile
index 4d56f5b2599e3e49de3fd926302c2360ae9f0ffc..95657131f9236360f9f1f597a138f12df157ea1d 100644 (file)
--- 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
+