@@ -3,13 +3,10 @@ src/napkin_ast_conversion.cmi :
3
3
src/napkin_ast_debugger.cmx : src/napkin_driver.cmx src/napkin_doc.cmx \
4
4
src/napkin_ast_debugger.cmi
5
5
src/napkin_ast_debugger.cmi : src/napkin_driver.cmi
6
- src/napkin_binary_driver.cmx : src/napkin_driver.cmx \
7
- src/napkin_binary_driver.cmi
8
- src/napkin_binary_driver.cmi : src/napkin_driver.cmi
9
6
src/napkin_character_codes.cmx :
10
- src/napkin_cli.cmx : src/napkin_reason_binary_driver .cmx \
11
- src/napkin_ml_parser_driver .cmx src/napkin_driver .cmx \
12
- src/napkin_binary_driver .cmx src/napkin_ast_debugger.cmx
7
+ src/napkin_cli.cmx : src/napkin_driver_reason_binary .cmx \
8
+ src/napkin_driver_ml_parser .cmx src/napkin_driver_binary .cmx \
9
+ src/napkin_driver .cmx src/napkin_ast_debugger.cmx
13
10
src/napkin_comment.cmx : src/napkin_comment.cmi
14
11
src/napkin_comment.cmi :
15
12
src/napkin_comments_table.cmx : src/napkin_parsetree_viewer.cmx \
@@ -28,19 +25,27 @@ src/napkin_driver.cmx : src/napkin_printer.cmx src/napkin_parser.cmx \
28
25
src/napkin_io.cmx src/napkin_diagnostics.cmx src/napkin_core.cmx \
29
26
src/napkin_comment.cmx src/napkin_driver.cmi
30
27
src/napkin_driver.cmi : src/napkin_diagnostics.cmi src/napkin_comment.cmi
28
+ src/napkin_driver_binary.cmx : src/napkin_driver.cmx \
29
+ src/napkin_driver_binary.cmi
30
+ src/napkin_driver_binary.cmi : src/napkin_driver.cmi
31
+ src/napkin_driver_ml_parser.cmx : src/napkin_io.cmx src/napkin_driver.cmx \
32
+ src/napkin_comment.cmx src/napkin_ast_conversion.cmx \
33
+ src/napkin_driver_ml_parser.cmi
34
+ src/napkin_driver_ml_parser.cmi : src/napkin_driver.cmi \
35
+ src/napkin_comment.cmi
36
+ src/napkin_driver_reason_binary.cmx : src/napkin_scanner.cmx \
37
+ src/napkin_io.cmx src/napkin_driver.cmx src/napkin_comment.cmx \
38
+ src/napkin_ast_conversion.cmx src/napkin_driver_reason_binary.cmi
39
+ src/napkin_driver_reason_binary.cmi : src/napkin_token.cmx \
40
+ src/napkin_driver.cmi
31
41
src/napkin_grammar.cmx : src/napkin_token.cmx
32
42
src/napkin_io.cmx : src/napkin_io.cmi
33
43
src/napkin_io.cmi :
34
44
src/napkin_js_ffi.cmx :
35
45
src/napkin_minibuffer.cmx : src/napkin_minibuffer.cmi
36
46
src/napkin_minibuffer.cmi :
37
- src/napkin_ml_parser_driver.cmx : src/napkin_io.cmx src/napkin_driver.cmx \
38
- src/napkin_comment.cmx src/napkin_ast_conversion.cmx \
39
- src/napkin_ml_parser_driver.cmi
40
- src/napkin_ml_parser_driver.cmi : src/napkin_driver.cmi \
41
- src/napkin_comment.cmi
42
- src/napkin_multi_printer.cmx : src/napkin_reason_binary_driver.cmx \
43
- src/napkin_printer.cmx src/napkin_ml_parser_driver.cmx src/napkin_io.cmx \
47
+ src/napkin_multi_printer.cmx : src/napkin_printer.cmx src/napkin_io.cmx \
48
+ src/napkin_driver_reason_binary.cmx src/napkin_driver_ml_parser.cmx \
44
49
src/napkin_driver.cmx src/napkin_diagnostics.cmx \
45
50
src/napkin_ast_conversion.cmx src/napkin_multi_printer.cmi
46
51
src/napkin_multi_printer.cmi :
@@ -64,11 +69,6 @@ src/napkin_printer.cmx : src/napkin_token.cmx \
64
69
src/napkin_printer.cmi
65
70
src/napkin_printer.cmi : src/napkin_doc.cmi src/napkin_comments_table.cmx \
66
71
src/napkin_comment.cmi
67
- src/napkin_reason_binary_driver.cmx : src/napkin_scanner.cmx \
68
- src/napkin_io.cmx src/napkin_driver.cmx src/napkin_comment.cmx \
69
- src/napkin_ast_conversion.cmx src/napkin_reason_binary_driver.cmi
70
- src/napkin_reason_binary_driver.cmi : src/napkin_token.cmx \
71
- src/napkin_driver.cmi
72
72
src/napkin_reporting.cmx : src/napkin_token.cmx src/napkin_grammar.cmx
73
73
src/napkin_scanner.cmx : src/napkin_token.cmx src/napkin_diagnostics.cmx \
74
74
src/napkin_comment.cmx src/napkin_character_codes.cmx \
0 commit comments