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
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
|
let die s =
prerr_endline s;
exit 1
let html_target_rule path =
[
"odoc";
"html-generate";
"--indent";
"--flat";
"--extra-suffix";
"gen";
"-o";
".";
Gen_rules_lib.Dune.arg_dep path;
]
let latex_target_rule path =
[
"odoc";
"latex-generate";
"-o";
".";
"--extra-suffix";
"gen";
Gen_rules_lib.Dune.arg_dep path;
]
let man_target_rule path =
[
"odoc";
"man-generate";
"-o";
".";
"--extra-suffix";
"gen";
Gen_rules_lib.Dune.arg_dep path;
]
(** Returns filenames, not paths. *)
let read_files_from_dir dir =
let arr = Sys.readdir (Fpath.to_string dir) in
Array.sort String.compare arr;
Array.to_list arr
let constraints =
let open Gen_rules_lib in
[
("stop_dead_link_doc.mli", Min "4.04");
("bugs_post_406.mli", Min "4.06");
("ocamlary.mli", Min "4.07");
("recent.mli", Min "4.09");
("labels.mli", Min "4.09");
("recent_impl.ml", Min "4.09");
("bugs_pre_410.ml", Max "4.09");
("module_type_subst.mli", Min "4.13");
]
let test_cases_dir = Fpath.v "cases"
(** Make a test cases or return the empty list if the given file should be
ignored. Might abort the program with an error. *)
let make_test_case case_name =
let input = Fpath.( / ) test_cases_dir case_name in
let mk odoc_prefix cmt_suffix =
let base_out_path = Fpath.v (odoc_prefix ^ case_name) in
let cmt =
match cmt_suffix with
| Some suf -> Some (Fpath.set_ext suf base_out_path)
| None -> None
in
let odoc = Fpath.set_ext ".odoc" base_out_path in
let odocl = Fpath.set_ext ".odocl" base_out_path in
let enabledif =
try Some (List.assoc case_name constraints) with Not_found -> None
in
{ Gen_rules_lib.input; cmt; odoc; odocl; enabledif }
in
match Fpath.get_ext input with
| ".ml" -> [ mk "" (Some ".cmt") ]
| ".mli" -> [ mk "" (Some ".cmti") ]
| ".mld" -> [ mk "page-" None ]
(* Dune creates directories starting with a dot, which result in an empty
extension with Fpath. Also, there's [.ocamlformat]. *)
| "" -> []
| ext ->
die
(Format.asprintf
"Don't know what to do with %a because of unrecognized %s extension."
Fpath.pp input ext)
let read_test_cases () =
read_files_from_dir test_cases_dir |> List.map make_test_case |> List.concat
let () =
let cases = read_test_cases () in
let stanzas =
Gen_rules_lib.gen_rule
[
(html_target_rule, Fpath.v "html", Some "--flat");
(latex_target_rule, Fpath.v "latex", None);
(man_target_rule, Fpath.v "man", None);
]
cases
in
List.iter (Sexplib0.Sexp.pp Format.std_formatter) stanzas
|
