From 2937563e3cfbdccec504dc99b26d64e0b5301c7c Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 28 Jun 2005 16:12:15 +0000 Subject: [PATCH] More complete bootstrapper. --- helm/matita/matitatop.bootstrap | 32 +++++++++++++++++++++++++------- 1 file changed, 25 insertions(+), 7 deletions(-) diff --git a/helm/matita/matitatop.bootstrap b/helm/matita/matitatop.bootstrap index 5d6da169e..a9538cf7d 100644 --- a/helm/matita/matitatop.bootstrap +++ b/helm/matita/matitatop.bootstrap @@ -1,16 +1,34 @@ -#directory "../ocaml/cic_unification/" -#directory "../ocaml/cic_proof_checking/" +(* directories *) +#directory "../ocaml/cic" +#directory "../ocaml/cic_notation" +#directory "../ocaml/cic_omdoc" +#directory "../ocaml/cic_proof_checking" +#directory "../ocaml/cic_textual_parser2" +#directory "../ocaml/cic_transformations" +#directory "../ocaml/cic_unification" +#directory "../ocaml/getter" +#directory "../ocaml/hbugs" +#directory "../ocaml/mathql" +#directory "../ocaml/mathql_generator" +#directory "../ocaml/mathql_interpreter" +#directory "../ocaml/metadata" +#directory "../ocaml/paramodulation" +#directory "../ocaml/registry" +#directory "../ocaml/tactics" +#directory "../ocaml/thread" +#directory "../ocaml/urimanager" +#directory "../ocaml/xml" +#directory "../ocaml/xmldiff" +(* custom printers *) #install_printer CicMetaSubst.fppsubst;; -(*#install_printer CicMetaSubst.fppterm;;*) +#install_printer CicMetaSubst.fppterm;; #install_printer CicMetaSubst.fppmetasenv;; -let go = MatitacLib.go;; - +(* main *) let _ = if Array.length Sys.argv > 1 then MatitacLib.main `TOPLEVEL else - go () + MatitacLib.go () ;; - -- 2.39.2