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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
