Back in June JaneStreet announced they will finish the better GDB and DWARF integration. I am following the PRs to the OCaml repository, and found that PR - Make native debugging awesome was removed from the 4.08 milestone.
Are there any updates on this?
3 Likes
Some of the work was merged but there’s still a lot more to go in, so it won’t be in 4.08. There’s been a lot of work on the patches over the last few months and with any luck there will be new PRs with all the remaining stuff some time in the next couple of months.
2 Likes
Just for the tracking purpose - there is debugging-prerequisite label with unmerged PRs.
2 Likes
So I guess the target release for these is 4.10, right?
Were these efforts abandoned again? Seems no movement in the labeled pull requests.
See https://blog.janestreet.com/a-look-at-ocaml-4.08/ for an update on what happened as far as gdb/dwarf support is concerned. The language does not look too encouraging.
1 Like
On the “good news” side, we were finally able to review and merge support for dynlinked code in ocamldebug (in trunk, not 4.08; https://github.com/ocaml/ocaml/pull/8654), which could be a big help for people using ocamldebug with plugins – some Coq hackers do this, for example.
1 Like