From: Claudio Sacerdoti Coen Date: Mon, 4 Feb 2013 17:38:31 +0000 (+0000) Subject: New option -extract_ocaml to extract to ocaml files. X-Git-Tag: make_still_working~1277 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fa284649ccbac07d9f7c5d6bd329c8ad38f2b93e;p=helm.git New option -extract_ocaml to extract to ocaml files. --- diff --git a/matita/matita/matitaInit.ml b/matita/matita/matitaInit.ml index 7658e7ab8..2c2a818a2 100644 --- a/matita/matita/matitaInit.ml +++ b/matita/matita/matitaInit.ml @@ -199,6 +199,9 @@ let parse_cmdline init_status = (Printf.sprintf (" Read configuration from filename" ^^ "\n Default: %s") BuildTimeConf.matita_conf); + "-extract_ocaml", + Arg.Unit (fun () -> Helm_registry.set_bool "extract_ocaml" true), + "Extract ocaml code"; "-force", Arg.Unit (fun () -> Helm_registry.set_bool "matita.force" true), ("Force actions that would not be executed per default");