Hi Anil,
On 8/10/23 19:39, Anil Madhavapeddy wrote:
On 8 Aug 2023, at 20:49, Volker Schlecht <[email protected]> wrote:
Cc: Maintainer
On 7/31/23 14:28, Christian Weisgerber wrote:
I managed to run a full bulk build on my T14 G3 with IBT. Kudos
to Lenovo for engineering a laptop that can build for days on end
without melting down.
The following ports fail to build:
devel/ocaml-menhir # OCaml
sysutils/opam # OCaml
x11/lablgtk3 # OCaml
I included an uncommitted USE_NOBTICF fix for sysutils/findlib, but
there seems to remain another problem with some OCaml ports.
With the attached patch, I get a lang/ocaml that builds ocaml-menhir and
lablgtk3 successfully on my IBT enabled amd64 machine.
I’m just catching up; is a recent amd64 snapshot enough to get an
IBT-enabled system?
yes, -current has it enabled now. But in order to catch those problems
you'll need a CPU that supports it, too ... on amd64 that would be Tiger
Lake(?) and later. I think.
I’m testing out OCaml 5.1~rc1, and the testsuite fully passes. Might
be easier to just upgrade to that instead.
afaict, 4.14 should have the changes that I backported in my diff, too.
Having said that, I've been wanting to play with OCaml 5.x for a while
now, so if I can support with that effort, let me know.
It would mean turning i386
and arm32 into bytecode-only architectures, but that’s got to happen at
some stage.
I remember the last time you mentioned that, there were implications for
compcert on i386, so I'm copying daniel@ into the discussion.
cheers,
Volker
