Home
last modified time | relevance | path

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

/xen-4.10.0-shim-comet/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.py102 mli = open(_mli, 'w') variable
103 mli.write(autogen_header("(*", "*)"))
113 mli.write(gen_mli(olevels))
114 mli.write("\n")
124 mli.write("(* END OF AUTO-GENERATED CODE *)\n")
125 mli.close()
/xen-4.10.0-shim-comet/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.py545 mli = open(_mli, 'w') variable
546 mli.write(autogen_header("(*", "*)"))
559 mli.write(gen_ocaml_ml(ty, True))
560 mli.write("\n")
577 mli.write("(* END OF AUTO-GENERATED CODE *)\n")
578 mli.close()
/xen-4.10.0-shim-comet/tools/ocaml/
A DMakefile.rules24 %.cmi: %.mli
45 $(call quiet-command, $(OCAMLDEP) $(ALL_OCAML_OBJ_SOURCES) *.mli $o,MLDEP,)
/xen-4.10.0-shim-comet/tools/ocaml/libs/xb/
A DMakefile42 %.mli: %.ml
/xen-4.10.0-shim-comet/
A D.gitignore392 tools/ocaml/libs/xl/_libxl_types.mli.in
394 tools/ocaml/libs/xl/xenlight.mli
397 tools/ocaml/libs/xentoollog/xentoollog.mli
A D.rootkeys544 42a0c8d9pigEXFFtdut3R99jbf73NA tools/debugger/pdb/Domain.mli
550 42a0c8dav_08OtySI4kYP1lahlVrpQ tools/debugger/pdb/Process.mli
553 42c06ff2OXdWXeLK8YWeIIiHk3N6Xw tools/debugger/pdb/Xen_domain.mli
556 42a0c8dasiso9c-2sCvHBzP6YVjATA tools/debugger/pdb/evtchn.mli
571 42c06ff3j-5U79rRFb4bGqx1Ajhw4Q tools/debugger/pdb/xcs.mli

Completed in 16 milliseconds