Hi, On Tue, Feb 7, 2023 at 10:32 PM Stéphane Glondu <[email protected]> wrote: > > Hi, > > Le 07/02/2023 à 10:43, Bo YU a écrit : ... > > My theory is that the binNMU of ocaml that happened on riscv64 52 days > ago actually changed some ABI deep down in OCaml, in a way that is not > captured by ABIs seen by dh_ocaml (who only sees the OCaml version for > the OCaml itself). > > > Indeed, in 4.13.1-3, the implementation of Location has hash: > > 71ef05860655aabe363196083f27f3ba > > whereas in 4.13.1-3+b1, it has hash: > > d953ceaf4bea20046c579284fe5c8418 > > > Looking further, some configuration options are embedded in config.cmx, > and some of them depend on the building path... this is a bug (#1030785)! > > In the specific case at hand, there was also a change in default link > options ("-ldl" was dropped). > > > I'm afraid this bug is going to be difficult to fix in practice... For > the time being, you can binNMU ppxlib, then all broken packages. It > should fix the errors you see.
Thanks for sharing this valuable info, this option maybe is my better choose to fix the issue. Many thanks. BR, Bo > > > Cheers, > > -- > Stéphane
