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.
Cheers,
--
Mehdi Dogguy مهدي الدڤي
http://www.pps.jussieu.fr/~dogguy
Tel.: (+33).1.44.27.28.38
Reply to: