1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
(****************************************************************************)
(* the diy toolsuite *)
(* *)
(* Jade Alglave, University College London, UK. *)
(* Luc Maranget, INRIA Paris-Rocquencourt, France. *)
(* *)
(* Copyright 2011-present Institut National de Recherche en Informatique et *)
(* en Automatique and the authors. All rights reserved. *)
(* *)
(* This software is governed by the CeCILL-B license under French law and *)
(* abiding by the rules of distribution of free software. You can use, *)
(* modify and/ or redistribute the software under the terms of the CeCILL-B *)
(* license as circulated by CEA, CNRS and INRIA at the following URL *)
(* "http://www.cecill.info". We also give a copy in LICENSE.txt. *)
(****************************************************************************)
(******************************)
(* Extract names from test(s) *)
(******************************)
open Printf
module type Config = sig
val ok : string -> bool
val rename : string -> string
end
module Make(O:Config) =
struct
let from_file fname =
let name = Names.from_fname fname in
if O.ok name then begin
fname,O.rename name
end else
raise Misc.Exit
end
let with_source = ref true
let names = ref []
and excl = ref []
and rename = ref []
let arg = ref []
let prog =
if Array.length Sys.argv > 0 then Sys.argv.(0)
else "mnames"
let () =
Arg.parse
[
CheckName.parse_names names;
CheckName.parse_excl excl;
CheckName.parse_rename rename;
"-src",Arg.Bool (fun b -> with_source := b),
(sprintf "<bool> include source file names into output, default %b" !with_source)]
(fun s -> arg := s :: !arg)
(sprintf "Usage: %s [test]*" prog)
let tests = !arg
(* Read names *)
module Check =
CheckName.Make
(struct
let verbose = 0
let rename = !rename
let select = []
let names = !names
let excl = !excl
end)
module X = Make(Check)
let do_test name =
try
let fname,name = X.from_file name in
if !with_source then
printf "%s %s\n" fname name
else
printf "%s\n" name
with
| Misc.Exit -> ()
| Misc.Fatal msg|Misc.UserError msg ->
Warn.warn_always "%a %s" Pos.pp_pos0 name msg
| e ->
Printf.eprintf "\nFatal: %a Adios\n" Pos.pp_pos0 name ;
raise e
let () = Misc.iter_argv_or_stdin do_test tests
|
