blob: 48ac707db54153b08b1f30452d1c903404f101d0 (
plain)
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
|
(** A driver for stub generation. Build OCaml and C code from the
Bindings.Stubs functor. *)
let generate dirname =
let prefix = "vyosconfig" in
let path basename = Filename.concat dirname basename in
let ml_fd = open_out (path "vyosconfig_bindings.ml") in
let c_fd = open_out (path "vyosconfig.c") in
let h_fd = open_out (path "vyosconfig.h") in
let stubs = (module Bindings.Stubs : Cstubs_inverted.BINDINGS) in
begin
(* Generate the ML module that links in the generated C. *)
Cstubs_inverted.write_ml
(Format.formatter_of_out_channel ml_fd) ~prefix stubs;
(* Generate the C source file that exports OCaml functions. *)
Format.fprintf (Format.formatter_of_out_channel c_fd)
"#include \"vyosconfig.h\"@\n%a"
(Cstubs_inverted.write_c ~prefix) stubs;
(* Generate the C header file that exports OCaml functions. *)
Cstubs_inverted.write_c_header
(Format.formatter_of_out_channel h_fd) ~prefix stubs;
end;
close_out h_fd;
close_out c_fd;
close_out ml_fd
let () = generate (Sys.argv.(1))
|
