X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.ml;h=6e9fa5f2395c2b3cec668f3b78bacbc0d7b1ad02;hb=ccd1ec9a248921b2c81817b1a7f6f0a2f27d5c32;hp=a70063f5fe19508501f0609ab22d7da6927e4078;hpb=6a6054b64687b542372fdf25fbc613e9e1deb4c8;p=helm.git

diff --git a/helm/software/matita/matita.ml b/helm/software/matita/matita.ml
index a70063f5f..6e9fa5f23 100644
--- a/helm/software/matita/matita.ml
+++ b/helm/software/matita/matita.ml
@@ -32,7 +32,14 @@ open GrafiteTypes
 
 (** {2 Initialization} *)
 
-let _ = MatitaInit.initialize_all ()
+let _ = 
+  MatitaInit.add_cmdline_spec
+    ["-tptppath",Arg.String 
+      (fun s -> Helm_registry.set_string "matita.tptppath" s),
+      "Where to find the Axioms/ and Problems/ directory"];
+  MatitaInit.initialize_all ()
+;;
+
 (* let _ = Saturation.init () (* ALB to link paramodulation *) *)
 
 (** {2 GUI callbacks} *)