1 2 3 4 5 6 7 8 9 10 11
z3_add_component(parser_util SOURCES cost_parser.cpp pattern_validation.cpp scanner.cpp simple_parser.cpp COMPONENT_DEPENDENCIES ast PYG_FILES parser_params.pyg )