From 4de9b882bea51f8b1bde9c18fec1c58bbe7232f5 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 27 Nov 2007 15:13:38 +0000 Subject: [PATCH] change naming scheme for rottened script, so that they do not mess up matitadep/make assumptions --- helm/software/matita/Makefile | 2 +- helm/software/matita/rottener.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile index 97a34f70d..6595af73e 100644 --- a/helm/software/matita/Makefile +++ b/helm/software/matita/Makefile @@ -145,7 +145,7 @@ 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 {} \; + find . -type f -name "*.ma.*.rottened" -exec rm {} \; matitatop: matitatop.ml $(CLIB_DEPS) $(CCMOS) $(H)echo " OCAMLC $<" diff --git a/helm/software/matita/rottener.ml b/helm/software/matita/rottener.ml index 82f4d5947..3674d25eb 100644 --- a/helm/software/matita/rottener.ml +++ b/helm/software/matita/rottener.ml @@ -111,7 +111,7 @@ let rotten_script ~fname statement = let script' = sprintf "%s%s%s%s" matches.(1) statement' matches.(3) trailer in let md5 = Digest.to_hex (Digest.string script') in HExtlib.output_file - ~filename:(sprintf "%s.rottened.%s.ma" (Filename.chop_extension fname) md5) + ~filename:(sprintf "%s.%s.rottened" fname md5) ~text:script' let grep () = -- 2.39.2