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 $@"; \
true; \
fi
+clean: clean_utilities
+clean_utilities:
+ $(MAKE) -C utilities/ clean
+