1: #line 10 "./lpsrc/flx.pak" 2: FLX_LEXS = [ 'src/flx_lex' ] 3: FLX_PARSES = [ 'src/flx_parse' ] 4: 5: FLX_MODULES = [ 6: 'src/inria_table', 7: 'src/inria_cset', 8: 'src/inria_syntax', 9: 'src/inria_lexgen', 10: 'src/flx_mtypes1', 11: 'src/flx_ast', 12: 'src/flx_types', 13: 'src/flx_version', 14: 'src/flx_util', 15: 'src/flx_dlst', 16: 'src/flx_getopt', 17: 'src/flx_mtypes2', 18: 'src/flx_srcref', 19: 'src/flx_typing', 20: 'src/flx_exceptions', 21: 'src/flx_string', 22: 'src/flx_id', 23: 'src/flx_print', 24: 'src/flx_maps', 25: 'src/flx_typing2', 26: 'src/flx_unify', 27: 'src/flx_prop', 28: 'src/flx_charset', 29: 'src/flx_constfld', 30: 'src/flx_cexpr', 31: 'src/flx_csubst', 32: 'src/flx_parse', 33: 'src/flx_keywords', 34: 'src/flx_prelex', 35: 'src/flx_lex1', 36: 'src/flx_tok', 37: 'src/flx_lexstate', 38: 'src/flx_preproc', 39: 'src/flx_lex', 40: 'src/flx_pretok', 41: 'src/flx_parse_ctrl', 42: 'src/flx_dfa', 43: 'src/flx_pat', 44: 'src/flx_macro', 45: 'src/flx_cformat', 46: 'src/flx_ciltoflx', 47: 'src/flx_colns', 48: 'src/flx_desugar', 49: 'src/flx_mbind', 50: 'src/flx_symtab', 51: 'src/flx_name', 52: 'src/flx_beta', 53: 'src/flx_treg', 54: 'src/flx_tpat', 55: 'src/flx_tconstraint', 56: 'src/flx_generic', 57: 'src/flx_overload', 58: 'src/flx_lookup', 59: 'src/flx_child', 60: 'src/flx_bexe', 61: 'src/flx_bbind', 62: 'src/flx_strabs', 63: 'src/flx_typeclass', 64: 'src/flx_axiom', 65: 'src/flx_label', 66: 'src/flx_cflow', 67: 'src/flx_call', 68: 'src/flx_use', 69: 'src/flx_tailit', 70: 'src/flx_reparent', 71: 'src/flx_spexes', 72: 'src/flx_reduce', 73: 'src/flx_foldvars', 74: 'src/flx_inline', 75: 'src/flx_mono', 76: 'src/flx_stack_calls', 77: 'src/flx_mkcls', 78: 'src/flx_global', 79: 'src/flx_inst', 80: 'src/flx_tgen', 81: 'src/flx_display', 82: 'src/flx_ogen', 83: 'src/flx_regen', 84: 'src/flx_unravel', 85: 'src/flx_pgen', 86: 'src/flx_egen', 87: 'src/flx_ctorgen', 88: 'src/flx_elkgen', 89: 'src/flx_why', 90: 'src/flx_gen', 91: 'src/flx_flxopt', 92: 'src/flx_terminate', 93: ] 94: 95: FLX_RAW_INTERFACES = [ 96: 'src/flx_ast', 97: 'src/flx_types', 98: ] 99: 100: FLX_INTERFACES = FLX_MODULES 101: 102: FLX_IMPLEMENTATIONS = FLX_INTERFACES 103: 104: FLX_EXES = [ 105: 'src/flxl', 106: 'src/flxp', 107: 'src/flxm', 108: 'src/flxd', 109: 'src/flxb', 110: 'src/flxg', 111: 'src/stub', 112: ] 113: 114: caml_lexes = FLX_LEXS 115: caml_parses = FLX_PARSES 116: caml_interfaces = FLX_INTERFACES 117: caml_raw_interfaces = FLX_RAW_INTERFACES 118: caml_exes = FLX_EXES 119: caml_implementations = FLX_IMPLEMENTATIONS 120: caml_require_libs = ['nums','unix','misclib','cillib','flxcclib','flxlib'] 121: pkg_requires = ['misc','cil','flxcc_util'] 122: caml_include_paths = ['src', 'src/cil'] 123: caml_provide_lib = 'flxlib' 124: iscr_source = ["lpsrc/flx.pak"] 125: weaver_directory = 'doc/flx/flx_compiler/' 126: