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
|
(****************************************************************************)
(* the diy toolsuite *)
(* *)
(* Jade Alglave, University College London, UK. *)
(* Luc Maranget, INRIA Paris-Rocquencourt, France. *)
(* *)
(* Copyright 2010-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. *)
(****************************************************************************)
open Printf
type spec = string * Arg.spec * string
let parse_tag opt set tags msg =
opt,
Arg.String
(fun tag -> match set tag with
| false ->
raise
(Arg.Bad
(sprintf "bad tags for %s, allowed tag are %s"
opt (String.concat "," tags)))
| true -> ()),
sprintf "<%s> %s" (String.concat "|" tags) msg
let parse_tags opt set_one all_tags msg =
opt,
Arg.String
(fun tags ->
let tags = Misc.split_comma tags in
List.iter
(fun tag -> match set_one tag with
| false ->
raise
(Arg.Bad
(sprintf "bad tags for %s, allowed tag are %s"
opt (String.concat "," all_tags)))
| true -> ())
tags),
sprintf "<%s> %s" (String.concat "|" all_tags) msg
let arch_opt arch =
let d = !arch in
parse_tag
"-arch"
(fun tag -> match Archs.parse tag with
| None -> false
| Some a -> arch := a ; true)
Archs.tags (sprintf "specify architecture, default %s" (Archs.pp d))
let parse_cmdline options get_cmd_arg =
Arg.parse options
get_cmd_arg
(sprintf "Usage %s [options] [arg]*\noptions are:" Sys.argv.(0))
|
