Bug#532970: jocaml and "use topfind"
Guillaume Yziquel a écrit :
> 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.
Ack. But it wasn't clear…
Next upload of JoCaml will (at least) install the toplevel library
(already fixed in Git).
I'll look at the ocamlfind problem when I find time. I'm leaving this
bug open as a reminder.
Mehdi Dogguy مهدي الدڤي