X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Frecomm%2Frecomm.ml;h=ce971dd452bb8a4cc304e53a63c39c574575c07f;hb=4d232392091ee233afc26ecf3120dd5f5c6a33c8;hp=a2336ad9c058a0301a2a3e3d7483c828488ce415;hpb=baa54e5db0fb93c4242dd1b67a5018ca63206cf6;p=helm.git diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/recomm.ml b/matita/matita/contribs/lambdadelta/bin/recomm/recomm.ml index a2336ad9c..ce971dd45 100644 --- a/matita/matita/contribs/lambdadelta/bin/recomm/recomm.ml +++ b/matita/matita/contribs/lambdadelta/bin/recomm/recomm.ml @@ -5,11 +5,14 @@ module EO = RecommOutput module P1 = RecommPccFor module P2 = RecommPcsAnd +module P3 = RecommPcsPar module G = RecommGc let write = ref false +let force = ref false + let chdir path = Sys.chdir path @@ -23,7 +26,7 @@ let rec process path name = Printf.eprintf "processing: %S\n" file; let orig = EI.read_srcs file in let lint = EC.recomm_srcs orig in - if !write && lint <> orig then EO.write_srcs file lint + if !force || (!write && lint <> orig) then EO.write_srcs file lint end else begin Printf.eprintf "skipping: %S\n" file end @@ -32,13 +35,15 @@ let msg_C = "