Searched refs:mli (Results 1 – 8 of 8) sorted by relevance
23 GENERATED_FILES += xentoollog.ml xentoollog.ml.tmp xentoollog.mli xentoollog.mli.tmp24 GENERATED_FILES += _xtl_levels.mli.in _xtl_levels.ml.in _xtl_levels.inc META39 xentoollog.mli: xentoollog.mli.in _xtl_levels.mli.in47 < xentoollog.mli.in > xentoollog.mli.tmp48 $(Q)mv xentoollog.mli.tmp xentoollog.mli52 _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
102 mli = open(_mli, 'w') variable103 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()
25 GENERATED_FILES += xenlight.ml xenlight.ml.tmp xenlight.mli xenlight.mli.tmp26 GENERATED_FILES += _libxl_types.ml.in _libxl_types.mli.in42 xenlight.mli: xenlight.mli.in _libxl_types.mli.in50 < xenlight.mli.in > xenlight.mli.tmp51 $(Q)mv xenlight.mli.tmp xenlight.mli53 _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
545 mli = open(_mli, 'w') variable546 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()
24 %.cmi: %.mli45 $(call quiet-command, $(OCAMLDEP) $(ALL_OCAML_OBJ_SOURCES) *.mli $o,MLDEP,)
42 %.mli: %.ml
392 tools/ocaml/libs/xl/_libxl_types.mli.in394 tools/ocaml/libs/xl/xenlight.mli397 tools/ocaml/libs/xentoollog/xentoollog.mli
544 42a0c8d9pigEXFFtdut3R99jbf73NA tools/debugger/pdb/Domain.mli550 42a0c8dav_08OtySI4kYP1lahlVrpQ tools/debugger/pdb/Process.mli553 42c06ff2OXdWXeLK8YWeIIiHk3N6Xw tools/debugger/pdb/Xen_domain.mli556 42a0c8dasiso9c-2sCvHBzP6YVjATA tools/debugger/pdb/evtchn.mli571 42c06ff3j-5U79rRFb4bGqx1Ajhw4Q tools/debugger/pdb/xcs.mli
Completed in 16 milliseconds