From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 4CE2ABC57 for ; Sat, 5 Sep 2009 10:48:07 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkkCADHCoUrCpx6vi2dsb2JhbACQDYsuAQEBCgsKGrx9hBcF X-IronPort-AV: E=Sophos;i="4.44,336,1249250400"; d="scan'208";a="33765193" Received: from smtpka.univ-orleans.fr (HELO ka.univ-orleans.fr) ([194.167.30.175]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Sep 2009 10:48:07 +0200 Received: from smtps.univ-orleans.fr (localhost [127.0.0.1]) by ka.univ-orleans.fr (Postfix) with ESMTP id D2CB912AD6B; Sat, 5 Sep 2009 10:48:01 +0200 (CEST) Received: from [192.168.11.18] (unknown [212.219.59.79]) by smtps.univ-orleans.fr (Postfix) with ESMTP id 66BCD36E63; Sat, 5 Sep 2009 10:48:01 +0200 (CEST) Subject: Re: [Caml-list] Why don't you use batteries? From: David Rajchenbach-Teller To: Alan Schmitt Cc: Edgar Friendly , caml-list@yquem.inria.fr In-Reply-To: <25ec8ca60909030625l4cc43e0boc7d032dbd19864ca@mail.gmail.com> References: <4A9FBF04.1060608@gmail.com> <25ec8ca60909030625l4cc43e0boc7d032dbd19864ca@mail.gmail.com> Content-Type: text/plain Date: Sat, 05 Sep 2009 09:47:41 +0100 Message-Id: <1252140461.3988.20.camel@Blefuscu> Mime-Version: 1.0 X-Mailer: Evolution 2.26.1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; ens-lyon:01 cheers:01 0200,:01 schmitt:01 ocaml:01 compilation:01 beginner's:01 ocaml:01 bug:01 2009:98 beginners:01 wrote:01 caml-list:01 caml-list:01 bin:01 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