2 ||M|| This file is part of HELM, an Hypertextual, Electronic
3 ||A|| Library of Mathematics, developed at the Computer Science
4 ||T|| Department, University of Bologna, Italy.
6 ||T|| HELM is free software; you can redistribute it and/or
7 ||A|| modify it under the terms of the GNU General Public License
8 \ / version 2 or (at your option) any later version.
9 \ / This software is distributed as is, NO WARRANTY.
10 V_______________________________________________________________ *)
24 let out_int i = P.printf "%u\n" i
26 let out_length uris = out_int (US.cardinal uris)
29 let map uri = P.printf "%S\n" (U.string_of_uri uri) in
33 F.check_suffix str ".conf.xml"
36 let str = H.normalize_path str in
38 if H.is_regular str && F.check_suffix str ".ma"
39 then F.dirname str, F.chop_extension (F.basename str)
40 else if H.is_dir str then str, ""
43 let rec aux bdir file = match B.find_roots_in_dir bdir with
45 let buri = L.assoc "baseuri" (B.load_root_file root) in
46 F.concat bdir file, F.concat buri file
48 if bdir = F.current_dir_name || bdir = F.dir_sep then X.unrooted dir roots else
49 aux (F.dirname bdir) (F.concat (F.basename bdir) file)
54 let ich = open_in fname in
55 let lexbuf = Lexing.from_channel ich in
56 M.token lexbuf; close_in ich