From 26980e0c5d2114b38cc3794d5aa2748278485ed2 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sun, 4 Nov 2007 17:26:29 +0000
Subject: [PATCH] CicExportation branched. Change "if false" with "if true" to
 activate automatic exportation of OCaml files during compilation.

---
 matita/matitacLib.ml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/matita/matitacLib.ml b/matita/matitacLib.ml
index c2cdd7ef5..1da706749 100644
--- a/matita/matitacLib.ml
+++ b/matita/matitacLib.ml
@@ -304,6 +304,13 @@ let main ~mode =
   MatitaInit.initialize_all ();
   (* must be called after init since args are set by cmdline parsing *)
   let fname = fname () in
+  if false then
+   let basename = Filename.chop_extension fname in
+   let f = open_out (basename ^ ".ml") in
+    LibrarySync.set_object_declaration_hook
+     (fun _ obj ->
+       output_string f (CicExportation.ppobj basename obj);
+       flush f);
   let system_mode =  Helm_registry.get_bool "matita.system" in
   let bench_mode =  Helm_registry.get_bool "matita.bench" in
   if bench_mode then
-- 
2.39.2