Mehdi Dogguy a écrit :
This another bug. The point of Guillaume is that "#use "topfind"" is not working not that the toplevel library doesn't work. I admit that the two problems are related but somehow completely different.
My point was indeed that the topfind script relies on the toploop.cmi interface. Not finding in jocaml, it looks for it in ocaml.
The toploop.cmi is provided by ocaml-interp, on which ocaml-nox depends, on which findlib depends. I agree that it is pointless to make findlib depend on "jocaml-nox" or "jocaml-interp", but the issue remains that toploop.cmi is provided by ocaml-interp, and that a similar one is missing for jocaml. Hence my insistance on "jocaml-interp"...
The topfind script fails because of binary incompatibility between jocaml and ocaml's toploop.cmi.
My point is that the problem should be fixed in jocaml by providing the toploop.cmi instead of making findlib upstream-related patched to accomodate the situation.
All the best, Guillaume.