|
5 | 5 | (alias runtest)
|
6 | 6 | (enabled_if (= %{context_name} "main"))
|
7 | 7 | (deps s.ml t.ml)
|
8 |
| - (action (run %{bin:ocamlopt.opt} %{deps} -c -alloc-check -O3))) |
| 8 | + (action (run %{bin:ocamlopt.opt} %{deps} -g -c -alloc-check -O3))) |
9 | 9 |
|
10 | 10 | (rule
|
11 | 11 | (alias runtest)
|
12 | 12 | (enabled_if (= %{context_name} "main"))
|
13 | 13 | (deps t5.ml test_assume.ml)
|
14 |
| - (action (run %{bin:ocamlopt.opt} %{deps} -c -alloc-check -O3))) |
| 14 | + (action (run %{bin:ocamlopt.opt} %{deps} -g -c -alloc-check -O3))) |
15 | 15 |
|
16 | 16 | (rule
|
17 | 17 | (alias runtest)
|
|
21 | 21 | ;; (or %{ocaml-config:flambda} %{ocaml-config:flambda2})
|
22 | 22 | ))
|
23 | 23 | (deps test_flambda.ml)
|
24 |
| - (action (run %{bin:ocamlopt.opt} %{deps} -c -alloc-check -O3))) |
| 24 | + (action (run %{bin:ocamlopt.opt} %{deps} -g -c -alloc-check -O3))) |
25 | 25 |
|
26 | 26 | (rule
|
27 | 27 | (enabled_if (= %{context_name} "main"))
|
|
31 | 31 | (with-outputs-to fail1.output.corrected
|
32 | 32 | (pipe-outputs
|
33 | 33 | (with-accepted-exit-codes 2
|
34 |
| - (run %{bin:ocamlopt.opt} %{ml} -color never -error-style short -c -alloc-check -O3)) |
| 34 | + (run %{bin:ocamlopt.opt} %{ml} -g -color never -error-style short -c -alloc-check -O3)) |
35 | 35 | (run "./filter.sh")
|
36 | 36 | ))))
|
37 | 37 |
|
|
49 | 49 | (with-outputs-to fail2.output.corrected
|
50 | 50 | (pipe-outputs
|
51 | 51 | (with-accepted-exit-codes 2
|
52 |
| - (run %{bin:ocamlopt.opt} %{ml} -color never -error-style short -c -alloc-check -O3)) |
| 52 | + (run %{bin:ocamlopt.opt} %{ml} -g -color never -error-style short -c -alloc-check -O3)) |
53 | 53 | (run "./filter.sh")
|
54 | 54 | ))))
|
55 | 55 |
|
|
67 | 67 | (with-outputs-to fail3.output.corrected
|
68 | 68 | (pipe-outputs
|
69 | 69 | (with-accepted-exit-codes 2
|
70 |
| - (run %{bin:ocamlopt.opt} %{ml} -color never -error-style short -c -alloc-check -O3)) |
| 70 | + (run %{bin:ocamlopt.opt} %{ml} -g -color never -error-style short -c -alloc-check -O3)) |
71 | 71 | (run "./filter.sh")
|
72 | 72 | ))))
|
73 | 73 |
|
|
86 | 86 | (with-outputs-to fail4.output.corrected
|
87 | 87 | (pipe-outputs
|
88 | 88 | (with-accepted-exit-codes 2
|
89 |
| - (run %{bin:ocamlopt.opt} %{ml} -color never -error-style short -c -alloc-check -O3)) |
| 89 | + (run %{bin:ocamlopt.opt} %{ml} -g -color never -error-style short -c -alloc-check -O3)) |
90 | 90 | (run "./filter.sh")
|
91 | 91 | ))))
|
92 | 92 |
|
|
104 | 104 | (with-outputs-to fail5.output.corrected
|
105 | 105 | (pipe-outputs
|
106 | 106 | (with-accepted-exit-codes 2
|
107 |
| - (run %{bin:ocamlopt.opt} %{ml} -color never -error-style short -c -alloc-check -O3)) |
| 107 | + (run %{bin:ocamlopt.opt} %{ml} -g -color never -error-style short -c -alloc-check -O3)) |
108 | 108 | (run "./filter.sh")
|
109 | 109 | ))))
|
110 | 110 |
|
|
123 | 123 | (targets test_attribute_error_duplicate.output.corrected)
|
124 | 124 | (deps test_attribute_error_duplicate.ml)
|
125 | 125 | (action (with-outputs-to test_attribute_error_duplicate.output.corrected
|
126 |
| - (run %{bin:ocamlopt.opt} %{deps} -color never -error-style short -c -alloc-check -O3)))) |
| 126 | + (run %{bin:ocamlopt.opt} %{deps} -g -color never -error-style short -c -alloc-check -O3)))) |
127 | 127 |
|
128 | 128 | (rule
|
129 | 129 | (alias runtest)
|
|
0 commit comments