X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2FmatitaInit.ml;h=6ef5a3bc4a0874e722ec638abe6e37dcbac96bc2;hb=9ff984b29ac963eef2f79521ce9dd7cbb9ae2c59;hp=cf821c1673b20fe5b7ab073af17df7d05c3a3778;hpb=a285678ea5f9c46ddadd322d297bb0eda6c17fb6;p=helm.git

diff --git a/matita/matitaInit.ml b/matita/matitaInit.ml
index cf821c167..6ef5a3bc4 100644
--- a/matita/matitaInit.ml
+++ b/matita/matitaInit.ml
@@ -239,6 +239,8 @@ let parse_cmdline init_status =
     let reduce_verbosity () =
       Helm_registry.set_int "matita.verbosity"
         (Helm_registry.get_int "matita.verbosity" - 1) in
+    let print_version () =
+            Printf.printf "%s\n" BuildTimeConf.version;exit 0 in
     let increase_verbosity () =
       Helm_registry.set_int "matita.verbosity"
         (Helm_registry.get_int "matita.verbosity" + 1) in
@@ -272,6 +274,7 @@ let parse_cmdline init_status =
             ("Act on the system library instead of the user one"
              ^ "\n    WARNING: not for the casual user");
         "-v", Arg.Unit increase_verbosity, "Increase verbosity";
+        "--version", Arg.Unit print_version, "Prints version";
       ] in
       let debug_arg_spec =
         if BuildTimeConf.debug then
@@ -331,6 +334,8 @@ let initialize_all () =
 let parse_cmdline_and_configuration_file () =
   status := List.fold_left (fun s f -> f s) !status conf_components
 
-;;
+let initialize_environment () =
+  status := initialize_environment !status
 
-Inversion_principle.init ()
+let _ =
+  Inversion_principle.init ()