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
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
|
(*
Description: called from debian/rules, generates debhelper's .install files
Copyright © 2019-2024 Stéphane Glondu <glondu@debian.org>
*)
let stdlib_dir =
match Sys.getenv_opt "OCAML_STDLIB_DIR" with
| Some x ->
let n = String.length x in
if n > 0 && x.[0] = '/' then
String.sub x 1 (n - 1)
else
failwith "OCAML_STDLIB_DIR does not start with /"
| None -> failwith "OCAML_STDLIB_DIR is missing"
let read_lines fn =
let ic = open_in fn in
Fun.protect
~finally:(fun () -> close_in ic)
(fun () ->
let rec loop accu =
match input_line ic with
| exception End_of_file -> List.rev accu
| line -> loop (line :: accu)
in
loop []
)
let chop_prefix ~prefix str =
let p = String.length prefix and n = String.length str in
if n >= p && String.sub str 0 p = prefix then
Some (String.sub str p (n - p))
else
None
let chop_suffix ~suffix str =
let p = String.length suffix and n = String.length str in
if n >= p && String.sub str (n - p) p = suffix then
Some (String.sub str 0 (n - p))
else
None
let get_base str =
let n = String.length str in
let last_slash = String.rindex_from str (n - 1) '/' in
let first_dot = try String.index_from str last_slash '.' with Not_found -> n in
let try_prefix prefix x = Option.value ~default:x (chop_prefix ~prefix x) in
let try_suffix suffix x = Option.value ~default:x (chop_suffix ~suffix x) in
String.sub str (last_slash + 1) (first_dot - last_slash - 1)
|> try_prefix "dll"
|> try_prefix "lib"
|> try_suffix "nat"
|> try_suffix "byt"
|> try_prefix "stdlib__"
module SMap = Map.Make (String)
module SSet = Set.Make (String)
let dev_stdlib = ref []
let run_stdlib = ref []
let dev_compiler_libs = ref []
let ocaml_base = ref [ "debian/ld.conf " ^ stdlib_dir ]
let ocaml =
ref [
"debian/native-archs " ^ stdlib_dir;
]
let ocaml_interp =
ref [
"debian/ocaml.desktop usr/share/applications";
"debian/ocaml.xpm usr/share/pixmaps";
]
let ocaml_man = ref []
let pkgs = [
run_stdlib, "libstdlib-ocaml";
dev_stdlib, "libstdlib-ocaml-dev";
dev_compiler_libs, "libcompiler-libs-ocaml-dev";
ocaml_base, "ocaml-base";
ocaml, "ocaml";
ocaml_interp, "ocaml-interp";
ocaml_man, "ocaml-man";
]
let installed_files = read_lines "debian/installed-files"
let move_all_to pkg pred xs =
let rec loop accu = function
| [] -> accu
| x :: xs ->
if pred x then (
pkg := x :: !pkg;
loop accu xs
) else (
loop (x :: accu) xs
)
in loop [] xs
let static_map = ref SMap.empty
let () =
List.iter (fun (file, pkg) -> static_map := SMap.add file pkg !static_map)
[
"usr/bin/ocamllex", ocaml;
"usr/bin/ocamlopt", ocaml;
"usr/bin/ocamloptp", ocaml;
"usr/bin/ocamlcp", ocaml;
"usr/bin/ocamlc", ocaml;
"usr/bin/ocamldep", ocaml;
"usr/bin/ocamlobjinfo", ocaml;
"usr/bin/ocamlmklib", ocaml;
"usr/bin/ocamlprof", ocaml;
"usr/bin/ocamlmktop", ocaml;
stdlib_dir ^ "/camlheader", ocaml;
stdlib_dir ^ "/camlheaderd", ocaml;
stdlib_dir ^ "/camlheaderi", ocaml;
stdlib_dir ^ "/eventlog_metadata", ocaml;
stdlib_dir ^ "/Makefile.config", ocaml;
stdlib_dir ^ "/extract_crc", ocaml;
stdlib_dir ^ "/camlheader_ur", ocaml;
stdlib_dir ^ "/expunge", ocaml;
stdlib_dir ^ "/VERSION", ocaml_base;
stdlib_dir ^ "/target_camlheaderd", ocaml;
stdlib_dir ^ "/objinfo_helper", ocaml;
stdlib_dir ^ "/target_camlheaderi", ocaml;
stdlib_dir ^ "/runtime-launch-info", ocaml;
stdlib_dir ^ "/sys.ml.in", ocaml;
"usr/bin/ocamlmklib.opt", ocaml;
"usr/bin/ocamllex.byte", ocaml;
"usr/bin/ocamldebug", ocaml;
"usr/bin/ocamlobjinfo.byte", ocaml;
"usr/bin/ocamlprof.byte", ocaml;
"usr/bin/ocamloptp.opt", ocaml;
"usr/bin/ocamlmklib.byte", ocaml;
"usr/bin/ocamlrund", ocaml_base;
"usr/bin/ocamlcp.byte", ocaml;
"usr/bin/ocamldep.opt", ocaml;
"usr/bin/ocamldoc.opt", ocaml;
"usr/bin/ocamlobjinfo.opt", ocaml;
"usr/bin/ocamlyacc", ocaml;
"usr/bin/ocaml-instr-graph", ocaml;
"usr/bin/ocamlcmt", ocaml;
"usr/bin/ocamlmktop.byte", ocaml;
"usr/bin/ocamldoc", ocaml;
"usr/bin/ocaml", ocaml_interp;
"usr/bin/ocamlcp.opt", ocaml;
"usr/bin/ocaml-instr-report", ocaml;
"usr/bin/ocamldep.byte", ocaml;
"usr/bin/ocamloptp.byte", ocaml;
"usr/bin/ocamlprof.opt", ocaml;
"usr/bin/ocamlc.byte", ocaml;
"usr/bin/ocamlruni", ocaml_base;
"usr/bin/ocamllex.opt", ocaml;
"usr/bin/ocamlopt.opt", ocaml;
"usr/bin/ocamlmktop.opt", ocaml;
"usr/bin/ocamlopt.byte", ocaml;
"usr/bin/ocamlrun", ocaml_base;
"usr/bin/ocamlc.opt", ocaml;
"usr/share/man/man1/ocaml.1", ocaml_interp;
"usr/share/man/man1/ocamllex.1", ocaml;
"usr/share/man/man1/ocamlyacc.1", ocaml;
"usr/share/man/man1/ocamlrun.1", ocaml_base;
"usr/share/man/man1/ocamldoc.1", ocaml;
"usr/share/man/man1/ocamlcp.1", ocaml;
"usr/share/man/man1/ocamloptp.1", ocaml;
"usr/share/man/man1/ocamlc.1", ocaml;
"usr/share/man/man1/ocamldep.1", ocaml;
"usr/share/man/man1/ocamlmktop.1", ocaml;
"usr/share/man/man1/ocamlopt.1", ocaml;
"usr/share/man/man1/ocamlprof.1", ocaml;
"usr/share/man/man1/ocamldebug.1", ocaml;
]
let base_set = ref SSet.empty
let () =
List.iter (fun x ->
match chop_prefix ~prefix:(stdlib_dir ^ "/stdlib__") x with
| None -> ()
| Some x ->
let i = String.index x '.' in
base_set := SSet.add (String.sub x 0 i) !base_set
) installed_files
let () =
List.iter (fun x -> base_set := SSet.add x !base_set)
[
"camlinternalOO"; "camlinternalMod"; "camlinternalLazy";
"camlinternalFormatBasics"; "camlinternalFormat";
"camlinternalAtomic";
"topdirs";
"unix"; "unixLabels";
"str"; "camlstr";
"threads"; "vmthreads"; "threadsnat";
"profiling";
"camlrun"; "camlrund"; "camlruni"; "camlrun_pic"; "camlrun_shared";
"asmrun"; "asmrund"; "asmruni"; "asmrunp"; "asmrun_shared"; "asmrun_pic";
"raw_spacetime_lib";
"comprmarsh";
"camlruntime_events";
]
let exts_dev = [ ".ml"; ".mli"; ".cmi"; ".cmt"; ".cmti"; ".cmx"; ".cmxa"; ".a"; ".cmo"; ".o" ]
let exts_run = [ ".cma"; ".cmxs"; ".so" ]
let push xs x = xs := x :: !xs; None
let process_static x =
match SMap.find_opt x !static_map with
| Some pkg -> push pkg x
| None -> Some x
let find_base base =
match SSet.mem base !base_set with
| true -> true
| false -> SSet.mem (String.capitalize_ascii base) !base_set
let process_file x =
let base = get_base x in
match find_base base with
| true ->
if List.exists (fun suffix -> String.ends_with ~suffix x) exts_dev then (
push dev_stdlib x
) else if List.exists (fun suffix -> String.ends_with ~suffix x) exts_run then (
push run_stdlib x
) else Some x
| false ->
if String.ends_with ~suffix:"/META" x then (
push run_stdlib x
) else Some x
let remaining =
installed_files
|> move_all_to ocaml ((=) "usr/share/doc/ocaml/Changes")
|> move_all_to ocaml ((=) "usr/share/doc/ocaml/README.adoc")
|> move_all_to ocaml (String.starts_with ~prefix:(stdlib_dir ^ "/caml/"))
|> move_all_to dev_stdlib (String.starts_with ~prefix:(stdlib_dir ^ "/threads/"))
|> move_all_to dev_stdlib (String.starts_with ~prefix:(stdlib_dir ^ "/std_exit."))
|> move_all_to dev_stdlib (String.starts_with ~prefix:(stdlib_dir ^ "/stdlib."))
|> move_all_to dev_stdlib (String.starts_with ~prefix:(stdlib_dir ^ "/dynlink"))
|> move_all_to dev_compiler_libs (String.starts_with ~prefix:(stdlib_dir ^ "/topdirs."))
|> move_all_to dev_compiler_libs (String.starts_with ~prefix:(stdlib_dir ^ "/compiler-libs/"))
|> move_all_to dev_compiler_libs (String.starts_with ~prefix:(stdlib_dir ^ "/ocamldoc/"))
|> move_all_to dev_compiler_libs (String.starts_with ~prefix:(stdlib_dir ^ "/runtime_events/"))
|> move_all_to ocaml_man (String.ends_with ~suffix:".3o")
|> List.filter_map process_static
|> List.filter_map process_file
let () =
match remaining with
| [] -> ()
| _ ->
print_endline "Not all files are installed; remaining files are:";
List.iter print_endline remaining;
exit 1
let () =
List.iter (fun (pkg, name) ->
let oc = Printf.ksprintf open_out "debian/%s.install" name in
List.iter (Printf.fprintf oc "%s\n") !pkg;
close_out oc
) pkgs
|
