From 27f7b37455b0c1320f245dfb5ce698b105449ab0 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 27 Nov 2007 09:26:34 +0000 Subject: [PATCH] make target for cleaning rottened files --- helm/software/matita/Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile index a72357809..97a34f70d 100644 --- a/helm/software/matita/Makefile +++ b/helm/software/matita/Makefile @@ -144,6 +144,8 @@ rottener: rottener.ml $(CLIB_DEPS) $(CCMOS) $(MAINCMOS) rottener.opt: rottener.ml $(CLIBX_DEPS) $(CCMXS) $(MAINCMXS) $(H)echo " OCAMLOPT $<" $(H)$(OCAMLOPT) $(CPKGS) -package lablgtk2 -linkpkg -o $@ $(CCMXS) $(MAINCMXS) rottener.ml +clean-rottened: + find . -type f -name "*.rottened.*.ma" -exec rm {} \; matitatop: matitatop.ml $(CLIB_DEPS) $(CCMOS) $(H)echo " OCAMLC $<" -- 2.39.2