Skip to content

Commit f94a067

Browse files
authored
flambda-backend: Allow make debug with dune-based build (#1480)
* Allow `make debug` with dune-based build * Remove old debug_printers rule, which conflicts * Document how to use the debugger
1 parent 1880d42 commit f94a067

File tree

1 file changed

+0
-12
lines changed

1 file changed

+0
-12
lines changed

tools/dune

Lines changed: 0 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -91,16 +91,4 @@
9191
(libraries ocamlcommon)
9292
(modules debug_printers))
9393

94-
(rule
95-
(target debug_printers)
96-
(deps debug_printers.ml %{cmo:debug_printers})
97-
(action
98-
(with-stdout-to %{target}
99-
(progn
100-
; Resorting to Bash instead of the built-in [echo] action because I
101-
; couldn't find a better way to get an absolute path out of Dune
102-
(bash "echo load_printer \\\"$(realpath %{cmo:debug_printers})\\\"")
103-
(with-stdin-from debug_printers.ml
104-
(run awk "{ print \"install_printer Debug_printers.\" $2 }"))))))
105-
10694
; ocamlcp, ocamloptp and ocamlprof are not currently supported.

0 commit comments

Comments
 (0)