From 65691806f2e187622f9fcceac0cd66f3f7ed7ba0 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 5 May 2005 15:35:16 +0000
Subject: [PATCH] - added .cvsignore - removed test.ml (which has been promoted
 to extractor.ml)

---
 helm/ocaml/metadata/extractor/.cvsignore     |  6 +++
 helm/ocaml/metadata/table_creator/.cvsignore |  6 +++
 helm/ocaml/metadata/test.ml                  | 45 --------------------
 3 files changed, 12 insertions(+), 45 deletions(-)
 create mode 100644 helm/ocaml/metadata/extractor/.cvsignore
 create mode 100644 helm/ocaml/metadata/table_creator/.cvsignore
 delete mode 100644 helm/ocaml/metadata/test.ml

diff --git a/helm/ocaml/metadata/extractor/.cvsignore b/helm/ocaml/metadata/extractor/.cvsignore
new file mode 100644
index 000000000..8d810200f
--- /dev/null
+++ b/helm/ocaml/metadata/extractor/.cvsignore
@@ -0,0 +1,6 @@
+*.cm[aiox]
+*.cmxa
+extractor
+extractor.opt
+extractor_manager
+extractor_manager.opt
diff --git a/helm/ocaml/metadata/table_creator/.cvsignore b/helm/ocaml/metadata/table_creator/.cvsignore
new file mode 100644
index 000000000..acea566bd
--- /dev/null
+++ b/helm/ocaml/metadata/table_creator/.cvsignore
@@ -0,0 +1,6 @@
+*.cm[aiox]
+*.cmxa
+table_creator
+table_creator.opt
+table_destructor
+table_destructor.opt
diff --git a/helm/ocaml/metadata/test.ml b/helm/ocaml/metadata/test.ml
deleted file mode 100644
index a7040e659..000000000
--- a/helm/ocaml/metadata/test.ml
+++ /dev/null
@@ -1,45 +0,0 @@
-
-
-let _ = Helm_registry.set "getter.mode" "local" in
-
-let _ = Helm_registry.set "getter.servers"
-            "file:///projects/helm/library/coq_contribs" in
-let _ = Helm_registry.set "getter.cache_dir" "." in
-let _ = Helm_registry.set "getter.maps_dir" "." in
-let _ = Helm_registry.set "getter.dtd_dir" "/projects/helm/xml/dtd" in
-
-let _ = Http_getter.init () in
-(* let _ = Http_getter.update () in *)
-
-let dbd =
-  Mysql.quick_connect ~host:"mowgli.cs.unibo.it" ~user:"helm" ~database:"matita"
-    ()
-in
-let owner =
-  try
-    Sys.argv.(2)
-  with Invalid_argument _ -> "matita_test2"
-in
-let _ = MetadataTypes.ownerize_tables owner in
-if Sys.argv.(1) = "clean" then begin
-  prerr_endline "foo";
-  ignore (MetadataDb.clean ~dbd)
-end else
-  let fname = Sys.argv.(1) in
-  let n = ref 0 in
-  let ic = open_in fname in
-  try
-    while true do
-      let line = input_line ic in
-      incr n;
-      Printf.printf "%d\t%s\n" !n line; flush stdout;
-      let uri = UriManager.uri_of_string line in
-      MetadataDb.index_obj ~dbd ~uri
-    done
-  with 
-  | _ -> 
-    prerr_endline 
-      ("total persing time " ^ 
-         (string_of_float !CicEnvironment.total_parsing_time)); 
-    close_in ic
-
-- 
2.39.2