From 2ce8229b8e02cef4697fcadb663698069727084a Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 29 Apr 2005 12:07:15 +0000 Subject: [PATCH] added parser benchamrk --- helm/ocaml/metadata/test.ml | 20 +++++++++++++++++--- 1 file changed, 17 insertions(+), 3 deletions(-) diff --git a/helm/ocaml/metadata/test.ml b/helm/ocaml/metadata/test.ml index 8e805840a..0264681bc 100644 --- a/helm/ocaml/metadata/test.ml +++ b/helm/ocaml/metadata/test.ml @@ -1,6 +1,16 @@ -let _ = Helm_registry.set "getter.mode" "remote"; -let _ = Helm_registry.set "getter.url" "http://mowgli.cs.unibo.it:58081/" in + +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" () @@ -26,5 +36,9 @@ end else let uri = UriManager.uri_of_string line in MetadataDb.index_obj ~dbd ~uri done - with End_of_file -> close_in ic + with + | _ -> + prerr_endline + ("total persing time " ^ (string_of_float !CicEnvironment.total_time)); + close_in ic -- 2.39.2