Yes, we need to work on the uninstallation in GODI. Cheers, David
On Thu, 2009-09-03 at 15:25 +0200, Alan Schmitt wrote: > > I installed it once (using godi), but when I tried to migrate to a > newer version of ocaml, compilation fails. (It tells me it's already > installed, but it seems that godi believes it's not.) I have not taken > the time to look under the hood to find out what is wrong. > > > Alan > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs