On 1/6/23 04:20, Daniel Dickman wrote:
daniel@: I successfully rebuilt lang/compcert and all its dependencies on i386
with ocaml 4.14.1
You should build all the ports that depend on ocaml NOT all the dependencies of
compcert.
Usually ocaml and ALL ocaml ports need to be updated in lockstep (just like it says on lines 3&4 of lang/ocaml/Makefile).
But maybe I misunderstood what you did.
You didn't ... as I wrote in my original mail to the list:
"I'm not familiar with lang/compcert, but I think there's a reasonable
indication that testing it with ocaml 4.14.1 may be worthwhile."
I did not mean to state that I thought my patch was ready for commit.
Sorry if that wasn't clear enough.
Does the vanilla 3.10 compcert with the vanilla ocaml work? Or has something in
the latest tree broken compcert?
I'm getting the same error running 'make test' with compcert and ocaml
in tree on i386. Did that test pass before?
