On Tue, Jul 10 2018, Mark Kettenis <[email protected]> wrote: >> From: Jeremie Courreges-Anglas <[email protected]> >> Date: Tue, 10 Jul 2018 12:23:30 +0200 >> >> On Tue, Jul 10 2018, Mark Kettenis <[email protected]> wrote: >> > Here is a cleaned-up version of a diff that Dale made to support >> > OpenBSD/arm64 in gdb. Single-stepping doesn't work yet, which means >> > that stepping through the code doesn't really work. But setting >> > breakpoints and inspecting state or looking at core files should work. >> > >> > I'm not sure what to do with the lang/ocaml comment in the Makefile. >> >> Please give this diff a try. > > Builds. Dun't know how to tell if it actually works ;).
You could try: ocamlobjinfo /usr/local/lib/ocaml/unix.cmxs If BFD was not detected/used properly, /usr/local/lib/ocaml/objinfo_helper would print something like this: "BFD library unavailable, cannot print info on .cmxs files" -- jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE
