Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
tree: fc7c55b10b
Fetching contributors…

Cannot retrieve contributors at this time

34 lines (28 sloc) 0.811 kB
open Types
open Files
let _ =
let apis = [
Smapiv2.api;
Xenops.api;
Memory.api;
] in
(* Prepend the debug_info argument *)
let apis = List.map Types.prepend_dbg apis in
Html.write apis;
List.iter
(fun api ->
with_output_file (Printf.sprintf "python/%s.py" api.Interfaces.name)
(fun oc ->
let idents, api = resolve_refs_in_api api in
output_string oc (Python.of_interfaces idents api |> Python.string_of_ts)
)
) apis;
List.iter
(fun api ->
with_output_file (Printf.sprintf "ocaml/lib/%s.ml" api.Interfaces.name)
(fun oc ->
let idents, api = resolve_refs_in_api api in
Ocaml.write_examples (Printf.sprintf "ocaml/examples/%s" api.Interfaces.name) idents api;
output_string oc (Ocaml.of_interfaces idents api |> Ocaml.string_of_ts)
)
) apis
Jump to Line
Something went wrong with that request. Please try again.