From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 5 May 2005 15:35:16 +0000 (+0000)
Subject: - added .cvsignore
X-Git-Tag: single_binding~106
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=65691806f2e187622f9fcceac0cd66f3f7ed7ba0;p=helm.git

- added .cvsignore
- removed test.ml (which has been promoted to extractor.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
-