- probe: now includes source character count (was: mac)

[helm.git] / matita / components / binaries / probe / engine.ml

diff --git a/matita/components/binaries/probe/engine.ml b/matita/components/binaries/probe/engine.ml
index c959e648c5e86af39229145ac6c76105bf0d9111..c25201508f8a3660a47251f23fea353f2afc5899 100644 (file)
--- a/matita/components/binaries/probe/engine.ml
+++ b/matita/components/binaries/probe/engine.ml
@@ -18,6 +18,8 @@ module US = U.UriSet
 module B  = Librarian
 module H  = HExtlib
 
+module M = MacLexer
+
 let unsupported protocol =
    failwith (P.sprintf "probe: unsupported protocol: %s" protocol)
 
@@ -55,3 +57,9 @@ let get_uri str =
         aux (F.dirname bdir) (F.concat (F.basename bdir) file)
    in
    aux dir file
+
+let mac fname =
+   let ich = open_in fname in
+   let lexbuf = Lexing.from_channel ich in
+   M.token lexbuf; close_in ich
+