some makefile work

[helm.git] / helm / ocaml / cic_proof_checking / utilities / Makefile

diff --git a/helm/ocaml/cic_proof_checking/utilities/Makefile b/helm/ocaml/cic_proof_checking/utilities/Makefile
index 2cd98f894b65c3b9952b92c04332d640e0a70fcd..174546634a91bf2181bb0718513332c80c049347 100644 (file)
--- a/helm/ocaml/cic_proof_checking/utilities/Makefile
+++ b/helm/ocaml/cic_proof_checking/utilities/Makefile
@@ -5,11 +5,15 @@ LIBS = helm-cic_proof_checking
 OCAMLC = ocamlfind ocamlc $(LINKOPTS) -package $(LIBS)
 OCAMLOPT = ocamlfind opt $(LINKOPTS) -package $(LIBS)
 all: $(UTILITIES)
+       @echo -n
 opt: $(UTILITIES_OPT)
+       @echo -n
 %: %.ml
-       $(OCAMLC) -o $@ $<
+       @echo "    OCAMLC $<"
+       @$(OCAMLC) -o $@ $<
 %.opt: %.ml
-       $(OCAMLOPT) -o $@ $<
+       @echo "    OCAMLOPT $<"
+       @$(OCAMLOPT) -o $@ $<
 clean:
        rm -f $(UTILITIES) $(UTILITIES_OPT) *.cm[iox] *.o