Home
last modified time | relevance | path

Searched refs:mli (Results 1 – 6 of 6) sorted by relevance

/xen/tools/ocaml/libs/xentoollog/
A DMakefile23 GENERATED_FILES += xentoollog.ml xentoollog.ml.tmp xentoollog.mli xentoollog.mli.tmp
24 GENERATED_FILES += _xtl_levels.mli.in _xtl_levels.ml.in _xtl_levels.inc META
39 xentoollog.mli: xentoollog.mli.in _xtl_levels.mli.in
47 < xentoollog.mli.in > xentoollog.mli.tmp
48 $(Q)mv xentoollog.mli.tmp xentoollog.mli
52 _xtl_levels.ml.in _xtl_levels.mli.in _xtl_levels.inc: genlevels.py $(XEN_ROOT)/tools/libs/toollog/i…
53 $(PYTHON) genlevels.py _xtl_levels.mli.in _xtl_levels.ml.in _xtl_levels.inc
A Dgenlevels.py105 mli = open(_mli, 'w') variable
106 mli.write(autogen_header("(*", "*)"))
116 mli.write(gen_mli(olevels))
117 mli.write("\n")
127 mli.write("(* END OF AUTO-GENERATED CODE *)\n")
128 mli.close()
/xen/tools/ocaml/libs/xl/
A DMakefile25 GENERATED_FILES += xenlight.ml xenlight.ml.tmp xenlight.mli xenlight.mli.tmp
26 GENERATED_FILES += _libxl_types.ml.in _libxl_types.mli.in
42 xenlight.mli: xenlight.mli.in _libxl_types.mli.in
50 < xenlight.mli.in > xenlight.mli.tmp
51 $(Q)mv xenlight.mli.tmp xenlight.mli
53 _libxl_types.ml.in _libxl_types.mli.in _libxl_types.inc: genwrap.py $(XEN_ROOT)/tools/libxl/libxl_t…
57 _libxl_types.mli.in _libxl_types.ml.in _libxl_types.inc
A Dgenwrap.py548 mli = open(_mli, 'w') variable
549 mli.write(autogen_header("(*", "*)"))
562 mli.write(gen_ocaml_ml(ty, True))
563 mli.write("\n")
580 mli.write("(* END OF AUTO-GENERATED CODE *)\n")
581 mli.close()
/xen/tools/ocaml/
A DMakefile.rules24 %.cmi: %.mli
45 $(call quiet-command, $(OCAMLDEP) $(ALL_OCAML_OBJ_SOURCES) *.mli $o,MLDEP,)
/xen/
A D.gitignore390 tools/ocaml/libs/xl/_libxl_types.mli.in
392 tools/ocaml/libs/xl/xenlight.mli
395 tools/ocaml/libs/xentoollog/xentoollog.mli

Completed in 12 milliseconds