--- /dev/null
+(* directories *)
+#directory "../components/cic"
+#directory "../components/cic_notation"
+#directory "../components/cic_omdoc"
+#directory "../components/cic_proof_checking"
+#directory "../components/cic_textual_parser2"
+#directory "../components/cic_transformations"
+#directory "../components/cic_unification"
+#directory "../components/getter"
+#directory "../components/hbugs"
+#directory "../components/mathql"
+#directory "../components/mathql_generator"
+#directory "../components/mathql_interpreter"
+#directory "../components/metadata"
+#directory "../components/paramodulation"
+#directory "../components/registry"
+#directory "../components/tactics"
+#directory "../components/thread"
+#directory "../components/urimanager"
+#directory "../components/xml"
+#directory "../components/xmldiff"
+
+(* custom printers *)
+let fppuri ppf uri =
+ let s = UriManager.string_of_uri uri in
+ Format.pp_print_string ppf s
+;;
+
+#install_printer CicMetaSubst.fppsubst;;
+#install_printer CicMetaSubst.fppterm;;
+#install_printer CicMetaSubst.fppmetasenv;;
+#install_printer fppuri;;
+
+(* utility functions *)
+let go = MatitacLib.interactive_loop;;
+
+(* let's go! *)
+let _ =
+ at_exit (fun () -> MatitacLib.clean_exit None);
+ MatitaInit.initialize_all () ;
+ if Array.length Sys.argv > 1 then
+ MatitacLib.main `TOPLEVEL
+ else
+ MatitacLib.go ()
+;;