From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p43GauMw015393 for ; Tue, 3 May 2011 18:36:56 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkcFAFEuwE3RVdI2kGdsb2JhbACEUJN2hh8Bhy0IFAEBAQEJCQ0HFAQhiQ6eHIJCikA8giqFFzSIXgEBAwaEe4EBBI8Yikk7gzA X-IronPort-AV: E=Sophos;i="4.64,310,1301868000"; d="scan'208";a="98618170" Received: from mail-pz0-f54.google.com ([209.85.210.54]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 03 May 2011 18:36:50 +0200 Received: by pzk27 with SMTP id 27so173483pzk.27 for ; Tue, 03 May 2011 09:36:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:from:date:message-id:subject:to :content-type; bh=6PgsL1YX944698BPOW383wvFZZiEyPx/V0Kx8A0SowU=; b=nM7rL5m2pgwiGDJrjGgWdyq3pKjj5bvzoNoFpZeed3Sb6sBHfIg8v07H4Fx+c3CNSx Ra3A7na1ct/elZvtO8M16VcCQjcRp2vjbOgGvdKIes1f8u6E+UUz1AXhX9VrpcXosNTD DL+a48xI7FUErANXKGBlSkkzM3SvloZp3ls04= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:from:date:message-id:subject:to:content-type; b=P4Fu5oKHLzPXsAUR/bWJnhDb0PPoXBcXHUKBBg8TTatZVC7Yat2lRzVHoV4QM/PCFg ePADSraQR+dkbEOXrhQCo1Ke+lVGtuUb6lmXGt0Vry+7IXBP9uNhh6ycntzUN1ow9km7 v/tRRdLjNArij/sTdoIDOJnAnoVZCZlmZelnw= Received: by 10.68.36.9 with SMTP id m9mr81475pbj.11.1304440608049; Tue, 03 May 2011 09:36:48 -0700 (PDT) MIME-Version: 1.0 Received: by 10.68.58.133 with HTTP; Tue, 3 May 2011 09:36:28 -0700 (PDT) From: Sebastien Mondet Date: Tue, 3 May 2011 18:36:28 +0200 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=bcaec51f8f9112cbd604a261bf88 Subject: [Caml-list] Warning: Ubuntu 11.04 Vs OCaml 3.12.0 --bcaec51f8f9112cbd604a261bf88 Content-Type: text/plain; charset=UTF-8 Hi Just a warning for those who use Ubuntu and ocaml from sources (or GODI): Ubuntu 11.04 (just released) contains the GNU assembler version 2.21.0.20110327 which affects this bug in the current version of the compiler: http://caml.inria.fr/mantis/view.php?id=5237 (it will be fixed in 3.12.1) Hope I saved some of you from a painful upgrade :) Sebastien --bcaec51f8f9112cbd604a261bf88 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi

Just a warning for those who use Ubunt= u and ocaml from sources (or GODI):

Ubuntu 11.04 (= just released) contains the=C2=A0GNU assembler version 2.21.0.20110327
which affects this bug in the current version of the compiler:
http://caml.inria.fr/mantis/view.php?id=3D5237
(it will be fixed in 3.12.1)

Hope I saved som= e of you from a painful upgrade :)


= Sebastien



--bcaec51f8f9112cbd604a261bf88-- From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p43GleO9015740 for ; Tue, 3 May 2011 18:47:40 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAOMwwE3RVdy2mGdsb2JhbACeZQGHLQgUAQEBAQEICQ0HFCWIchygWYp8giqFGjSIXgEBAwaFfASPGIgmgiM7gzA X-IronPort-AV: E=Sophos;i="4.64,310,1301868000"; d="scan'208";a="94312141" Received: from mail-vx0-f182.google.com ([209.85.220.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 03 May 2011 18:47:34 +0200 Received: by vxc34 with SMTP id 34so421524vxc.27 for ; Tue, 03 May 2011 09:47:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc:content-type; bh=352OAQhUNXSMp+1lyHKMpq3Q+oGn5zsdpAYjjCihrIA=; b=i4TPC+7VMU0zwgmfvFrWznu2Z/412Fay07ovqQJiV/SxLzLNLYjQgYRnq79g51RnIM Hmi4lsdvDAMov81odQErvWTjyxTN+2d49a2hEnzofxJMrb7aZH6cOaPZrzKh3sqYNZl+ aHZQrdstkfAZzsXNdAcesAG16QrdVdbJTAk2U= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; b=og2PJM/0Bs5twIgYD3/psWW3CDUQpNwzLEDkiqmSc4S5lnF7MtK4TLwgBGPY2Jwf+m IDWv1TGUnV3GxPgNBqucoVj1BtMbPvSItaeQA3G4W6jD89mDJLcdP3V7GwaYMoIS5Yz6 ot5YPpbVhVno7lLnf6kCkp6UnqGcD2jNZCt2Y= Received: by 10.52.175.195 with SMTP id cc3mr44827vdc.242.1304441253205; Tue, 03 May 2011 09:47:33 -0700 (PDT) MIME-Version: 1.0 Received: by 10.52.114.5 with HTTP; Tue, 3 May 2011 09:47:13 -0700 (PDT) In-Reply-To: References: From: Gabriel Scherer Date: Tue, 3 May 2011 18:47:13 +0200 Message-ID: To: Sebastien Mondet Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=bcaec51a7ec6871a5f04a261e58b Subject: Re: [Caml-list] Warning: Ubuntu 11.04 Vs OCaml 3.12.0 --bcaec51a7ec6871a5f04a261e58b Content-Type: text/plain; charset=ISO-8859-1 Would it be possible for Ubuntu users to use the Debian packages, which already have the bugfix patch included? On Tue, May 3, 2011 at 6:36 PM, Sebastien Mondet wrote: > > Hi > > Just a warning for those who use Ubuntu and ocaml from sources (or GODI): > > Ubuntu 11.04 (just released) contains the GNU assembler version > 2.21.0.20110327 > which affects this bug in the current version of the compiler: > http://caml.inria.fr/mantis/view.php?id=5237 > (it will be fixed in 3.12.1) > > Hope I saved some of you from a painful upgrade :) > > > Sebastien > > > > --bcaec51a7ec6871a5f04a261e58b Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Would it be possible for Ubuntu users to use the Debian packages, which alr= eady have the bugfix patch included?


= On Tue, May 3, 2011 at 6:36 PM, Sebastien Mondet <sebastien.mondet@gmail.com>= ; wrote:

Hi

Just a= warning for those who use Ubuntu and ocaml from sources (or GODI):

Ubuntu 11.04 (just released) contains the=A0GNU assembler ve= rsion 2.21.0.20110327
which affects this bug in the current version of the compiler:
http://caml.inria.fr/mantis/view.php?id=3D5237
(it will be fixed in 3.12.1)

Hope I saved som= e of you from a painful upgrade :)


Sebastien




--bcaec51a7ec6871a5f04a261e58b-- From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p43HnlI4017118 for ; Tue, 3 May 2011 19:49:47 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgADAOM/wE3U4367kWdsb2JhbACEUaFLFAEBAQEJCwsHFAMiiHIcqlCRGwKBKINXgQEEiVaJXIQMhg4 X-IronPort-AV: E=Sophos;i="4.64,310,1301868000"; d="scan'208";a="98621646" Received: from moutng.kundenserver.de ([212.227.126.187]) by mail2-smtp-roc.national.inria.fr with ESMTP; 03 May 2011 19:49:41 +0200 Received: from office1.lan.sumadev.de (dslb-094-219-219-157.pools.arcor-ip.net [94.219.219.157]) by mrelayeu.kundenserver.de (node=mreu3) with ESMTP (Nemesis) id 0MQCPv-1QMYv0238d-005FpC; Tue, 03 May 2011 19:49:41 +0200 Received: from [192.168.5.106] (dslb-094-219-219-157.pools.arcor-ip.net [94.219.219.157]) by office1.lan.sumadev.de (Postfix) with ESMTPA id 240745F701; Tue, 3 May 2011 19:49:41 +0200 (CEST) From: Gerd Stolpmann To: Gabriel Scherer Cc: Sebastien Mondet , caml-list@inria.fr In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Date: Tue, 03 May 2011 19:49:39 +0200 Message-ID: <1304444979.3782.154.camel@thinkpad> Mime-Version: 1.0 X-Mailer: Evolution 2.28.1 Content-Transfer-Encoding: 7bit X-Provags-ID: V02:K0:c267WTDQRugRxDroDbrrBh/f7rVWqVfxgVXGpxumYdT cnvWWd5f45ATNV1/ocPlhmOL7UP8sckcQCNkLsFRIRWJlvFCyc UGJaXOf1FYSu54oliz7aA7Ue6uv64/oD7U9dAOJSdqbGXaQf8n WawHorK+NAbG/PQsj114O/vtaVoaY76kWTfVo8/T2nTgULVzHX 0kI0IVtx1UGHm+yK5f44A== Subject: Re: [Caml-list] Warning: Ubuntu 11.04 Vs OCaml 3.12.0 Am Dienstag, den 03.05.2011, 18:47 +0200 schrieb Gabriel Scherer: > Would it be possible for Ubuntu users to use the Debian packages, > which already have the bugfix patch included? Tsts. Thanks to Virgile Prevosto the patch is already in GODI, though not yet released. I'll take care of this later today. A source-based distribution can react quite fast on this type of problem. Gerd > > > On Tue, May 3, 2011 at 6:36 PM, Sebastien Mondet > wrote: > > Hi > > > Just a warning for those who use Ubuntu and ocaml from sources > (or GODI): > > > Ubuntu 11.04 (just released) contains the GNU assembler > version 2.21.0.20110327 > which affects this bug in the current version of the compiler: > http://caml.inria.fr/mantis/view.php?id=5237 > (it will be fixed in 3.12.1) > > > Hope I saved some of you from a painful upgrade :) > > > > > Sebastien > > > > > > > -- ------------------------------------------------------------ Gerd Stolpmann, Bad Nauheimer Str.3, 64289 Darmstadt,Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de Phone: +49-6151-153855 Fax: +49-6151-997714 ------------------------------------------------------------ From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p43Lxxaq023233 for ; Tue, 3 May 2011 23:59:59 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq4CAId6wE3U4366kWdsb2JhbACEUaFOFAEBAQEJCwsHFCWIcqwvkRwCgSiDV4EBBIlWiVyKGg X-IronPort-AV: E=Sophos;i="4.64,311,1301868000"; d="scan'208";a="98633116" Received: from moutng.kundenserver.de ([212.227.126.186]) by mail2-smtp-roc.national.inria.fr with ESMTP; 03 May 2011 23:59:53 +0200 Received: from office1.lan.sumadev.de (dslb-094-219-219-157.pools.arcor-ip.net [94.219.219.157]) by mrelayeu.kundenserver.de (node=mrbap3) with ESMTP (Nemesis) id 0MEn74-1QXGc12ACw-00G2ri; Tue, 03 May 2011 23:59:51 +0200 Received: from [192.168.5.106] (dslb-094-219-219-157.pools.arcor-ip.net [94.219.219.157]) by office1.lan.sumadev.de (Postfix) with ESMTPA id 2B4665F701; Tue, 3 May 2011 23:59:51 +0200 (CEST) From: Gerd Stolpmann To: Mehdi Dogguy Cc: caml-list@inria.fr In-Reply-To: <4DC06ADA.9030108@pps.jussieu.fr> References: <1304444979.3782.154.camel@thinkpad> <4DC06ADA.9030108@pps.jussieu.fr> Content-Type: text/plain; charset="UTF-8" Date: Tue, 03 May 2011 23:59:49 +0200 Message-ID: <1304459989.3782.193.camel@thinkpad> Mime-Version: 1.0 X-Mailer: Evolution 2.28.1 X-Provags-ID: V02:K0:oX+NKd7gMOk4wGe3AK6KXyydNb2AagwV/R7kUXtUMJE Zmv2IKR+9vaGMw3/6v6iO2wosvpq4t/isI1zk/4ceZqpLEMk7V JlJ2p98oy4rMxvFvCkeNrNKYVLrR8geEXoNik2EfXEwDCd0VKD 84Hca5IuQPQVWcw/WBIRg5u8dvdV+0AxoqcKt6CYll3HK/imoR z9Sj4cUbcLNUnfemqxBZA== Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p43Lxxaq023233 Subject: Re: [Caml-list] Warning: Ubuntu 11.04 Vs OCaml 3.12.0 Am Dienstag, den 03.05.2011, 22:51 +0200 schrieb Mehdi Dogguy: > On 05/03/2011 07:49 PM, Gerd Stolpmann wrote: > > Am Dienstag, den 03.05.2011, 18:47 +0200 schrieb Gabriel Scherer: > >> Would it be possible for Ubuntu users to use the Debian packages, > >> which already have the bugfix patch included? > > > > Tsts. > > > > Thanks to Virgile Prevosto the patch is already in GODI, though not > > yet released. I'll take care of this later today. > > > > A source-based distribution can react quite fast on this type of > > problem. > > > > That's hilarious (as a statement). This patch has been applied and > released (since last March 9th) in a binary distribution (namely > Debian). So, I quite don't understand your statement. The statement is that a source-based distribution can adapt quickly to a changing environment. What's the problem with this? We are aware of this problem since yesterday, and we do something the day later. I do not make any statement (if you read carefully) whether GODI or Debian is better. Such comparisons are stupid. Well, Ubuntu is another case, as we all know that Ubuntu does not care about the quality of their ocaml packages. > IMO, It depends > on the manpower behind (and maybe dev tools and release process). > But I don't see where you gain to have a source-based distribution > to address this kind of issues (except for the build time… but that's > ridiculous). Debian is in the lucky situation that they provide both the environment for ocaml and ocaml. So yes, they can fix the problems they created in their own environment :-) - Ubuntu is already a different story, they provide binary packages without any QA process. The worst case is when you have a binary distribution of ocaml for an OS you do not control. Sometimes the only possible fix is then to check at runtime (!) whether you are in a problematic environment or not. Ask Windows users how this feels. I hope you get my point. "Binary" does not necessarily mean "as good as Debian". > The real problem of Ubuntu (wrt. OCaml) is that OCaml has no maintainer. > And, we also see that with GODI. manpower is lacking and you weren't able > to release a fix until today, although the patch was there since quite > some time now. (Not blaming anyone here, just stating a fact). Well, nobody told us. I don't see this as a real problem, though, because we get problem reports when the first user runs into the problem, and then we can fix it asap. We fortunately don't have to synchronize with a given release timeline. > But oh well, maybe all this is off-topic. Manpower is certainly an issue (for all ocaml distros). I'm currently working on a plan how to improve this for GODI. Don't know whether it works, though. Regarding Ubuntu, maybe we should ask them to remove their ocaml packages from their distribution as long as they do not do QA. Gerd > Regards, > -- ------------------------------------------------------------ Gerd Stolpmann, Bad Nauheimer Str.3, 64289 Darmstadt,Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de Phone: +49-6151-153855 Fax: +49-6151-997714 ------------------------------------------------------------ From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p43MWKAW024136 for ; Wed, 4 May 2011 00:32:20 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al0EAH+BwE2K54gDgWdsb2JhbACEUaFPFAEBFiYltGaRGoEqg1eBAQSPGIQaiho X-IronPort-AV: E=Sophos;i="4.64,311,1301868000"; d="scan'208";a="82269872" Received: from rouge.crans.org ([138.231.136.3]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 04 May 2011 00:32:15 +0200 Received: from localhost (localhost.crans.org [127.0.0.1]) by rouge.crans.org (Postfix) with ESMTP id AEF0B83A0; Wed, 4 May 2011 00:32:14 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at crans.org Received: from rouge.crans.org ([10.231.136.3]) by localhost (rouge.crans.org [10.231.136.3]) (amavisd-new, port 10024) with LMTP id 7v-mq1A5dhH9; Wed, 4 May 2011 00:32:14 +0200 (CEST) Received: from [192.168.39.1] (fbx.up7.fr [88.185.141.188]) (using TLSv1 with cipher AES256-SHA (256/256 bits)) (No client certificate requested) by rouge.crans.org (Postfix) with ESMTPSA id 71EE982E7; Wed, 4 May 2011 00:32:13 +0200 (CEST) Message-ID: <4DC0826C.6060101@glondu.net> Date: Wed, 04 May 2011 00:32:12 +0200 From: =?UTF-8?B?U3TDqXBoYW5lIEdsb25kdQ==?= User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.15) Gecko/20110402 Icedove/3.1.9 MIME-Version: 1.0 To: Gerd Stolpmann CC: Mehdi Dogguy , caml-list@inria.fr References: <1304444979.3782.154.camel@thinkpad> <4DC06ADA.9030108@pps.jussieu.fr> <1304459989.3782.193.camel@thinkpad> In-Reply-To: <1304459989.3782.193.camel@thinkpad> X-Enigmail-Version: 1.1.2 OpenPGP: id=49881AD3 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p43MWKAW024136 Subject: Re: [Caml-list] Warning: Ubuntu 11.04 Vs OCaml 3.12.0 Le 03/05/2011 23:59, Gerd Stolpmann a écrit : > Well, Ubuntu is another case, as we all know that Ubuntu does not care > about the quality of their ocaml packages. > [...] > Debian is in the lucky situation that they provide both the environment > for ocaml and ocaml. So yes, they can fix the problems they created in > their own environment :-) - Ubuntu is already a different story, they > provide binary packages without any QA process. > [...] > Regarding Ubuntu, maybe we should ask them to remove their ocaml > packages from their distribution as long as they do not do QA. You sound like ocaml-related packages are totally broken in Ubuntu, which is not true. They probably do more QA than GODI, even on ocaml-related packages (e.g. frequent recompilations with new versions of toolchain, early bug reporting when something breaks). But as you pointed out, they have complete control over their OS... it would be more difficult to do that for GODI. Sure, Ubuntu doesn't have a dedicated ocaml maintainer, and copy their packages directly from Debian and they should work most of the time (actually, I've never heard of breakages that were specific to Ubuntu). BTW, the ocaml package shipped by Ubuntu 11.04 has been fixed (it's still version 3.11.2, though). The original mail of this thread was about an ocaml compiled from sources. Cheers, -- Stéphane From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p43MrOJS025239 for ; Wed, 4 May 2011 00:53:24 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq4CAPiFwE3U4xEIkWdsb2JhbACEUaFPFAEBAQEJCwsHFCWIcqt3kRgCgSiDV4EBBIlWiVyKGg X-IronPort-AV: E=Sophos;i="4.64,312,1301868000"; d="scan'208";a="107374055" Received: from moutng.kundenserver.de ([212.227.17.8]) by mail1-smtp-roc.national.inria.fr with ESMTP; 04 May 2011 00:53:22 +0200 Received: from office1.lan.sumadev.de (dslb-094-219-219-157.pools.arcor-ip.net [94.219.219.157]) by mrelayeu.kundenserver.de (node=mreu0) with ESMTP (Nemesis) id 0MP3gp-1QNjHH2x0x-006JM7; Wed, 04 May 2011 00:50:36 +0200 Received: from [192.168.5.106] (dslb-094-219-219-157.pools.arcor-ip.net [94.219.219.157]) by office1.lan.sumadev.de (Postfix) with ESMTPA id 22F7A5F701; Wed, 4 May 2011 00:50:34 +0200 (CEST) From: Gerd Stolpmann To: =?ISO-8859-1?Q?St=E9phane?= Glondu Cc: Mehdi Dogguy , caml-list@inria.fr In-Reply-To: <4DC0826C.6060101@glondu.net> References: <1304444979.3782.154.camel@thinkpad> <4DC06ADA.9030108@pps.jussieu.fr> <1304459989.3782.193.camel@thinkpad> <4DC0826C.6060101@glondu.net> Content-Type: text/plain; charset="UTF-8" Date: Wed, 04 May 2011 00:50:32 +0200 Message-ID: <1304463032.3782.210.camel@thinkpad> Mime-Version: 1.0 X-Mailer: Evolution 2.28.1 X-Provags-ID: V02:K0:V2EvNUgiaMaCJyqsFRs2d0WJFap8kVkB3kkQaRUZmwo wZllii6iTqVBF7zd408tRVCu/loX5EPt00YMXn+kOxG1FkyAXp /JosFfH5CRuHZBXfSxiaLAciqrQXiYrbhUmj8n/cNI+r1NDqxF +4QhmMvh9qYqzX/NQqNms1rdiKpeyo2Hb4B14ZQ8r7uw1SzdRw kWZ/UVisuWmSPSwWnQTvw== Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p43MrOJS025239 Subject: Re: [Caml-list] Warning: Ubuntu 11.04 Vs OCaml 3.12.0 Am Mittwoch, den 04.05.2011, 00:32 +0200 schrieb Stéphane Glondu: > Le 03/05/2011 23:59, Gerd Stolpmann a écrit : > > Well, Ubuntu is another case, as we all know that Ubuntu does not care > > about the quality of their ocaml packages. > > [...] > > Debian is in the lucky situation that they provide both the environment > > for ocaml and ocaml. So yes, they can fix the problems they created in > > their own environment :-) - Ubuntu is already a different story, they > > provide binary packages without any QA process. > > [...] > > Regarding Ubuntu, maybe we should ask them to remove their ocaml > > packages from their distribution as long as they do not do QA. > > You sound like ocaml-related packages are totally broken in Ubuntu, > which is not true. They probably do more QA than GODI, even on > ocaml-related packages (e.g. frequent recompilations with new versions > of toolchain, early bug reporting when something breaks). But as you > pointed out, they have complete control over their OS... it would be > more difficult to do that for GODI. We have an autobuilder, but it is simply not possible to find this type of problem automatically without also controlling the OS. The autobuilder runs on a single OS and a single version of that only, and this is always behind the latest release. Also, for GODI pre-release QA is not as important as for a binary distro. > Sure, Ubuntu doesn't have a > dedicated ocaml maintainer, and copy their packages directly from Debian > and they should work most of the time (actually, I've never heard of > breakages that were specific to Ubuntu). > > BTW, the ocaml package shipped by Ubuntu 11.04 has been fixed (it's > still version 3.11.2, though). The original mail of this thread was > about an ocaml compiled from sources. Thanks for the clarification. In deed I understood this differently - as if Ubuntu shipped the broken ocaml. Gerd > > > Cheers, > > -- > Stéphane > > > -- ------------------------------------------------------------ Gerd Stolpmann, Bad Nauheimer Str.3, 64289 Darmstadt,Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de Phone: +49-6151-153855 Fax: +49-6151-997714 ------------------------------------------------------------ From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p43KqCHo021401 for ; Tue, 3 May 2011 22:52:12 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjcDAA5qwE2GnQCBk2dsb2JhbAAvhCKhSxQBAQEBCQkLCRQDIrRckRqBKoNXgQEEkzIdiX0 X-IronPort-AV: E=Sophos;i="4.64,311,1301868000"; d="scan'208";a="98630546" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 03 May 2011 22:52:07 +0200 Received: from hydrogene.pps.jussieu.fr (hydrogene.pps.jussieu.fr [134.157.168.1]) by shiva.jussieu.fr (8.14.4/jtpda-5.4) with ESMTP id p43KpdO9094094 ; Tue, 3 May 2011 22:51:53 +0200 (CEST) X-Ids: 168 Received: from [127.0.0.1] (unknown [134.157.168.1]) by hydrogene.pps.jussieu.fr (Postfix) with ESMTPS id D3F63C0063; Tue, 3 May 2011 22:51:38 +0200 (CEST) Message-ID: <4DC06ADA.9030108@pps.jussieu.fr> Date: Tue, 03 May 2011 22:51:38 +0200 From: Mehdi Dogguy User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.15) Gecko/20110402 Icedove/3.1.9 MIME-Version: 1.0 To: Gerd Stolpmann CC: caml-list@inria.fr References: <1304444979.3782.154.camel@thinkpad> In-Reply-To: <1304444979.3782.154.camel@thinkpad> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Miltered: at jchkmail.jussieu.fr with ID 4DC06ADC.000 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 4DC06ADC.000/134.157.168.1/hydrogene.pps.jussieu.fr/hydrogene.pps.jussieu.fr/ X-Validation-by: mehdi@dogguy.org Subject: Re: [Caml-list] Warning: Ubuntu 11.04 Vs OCaml 3.12.0 On 05/03/2011 07:49 PM, Gerd Stolpmann wrote: > Am Dienstag, den 03.05.2011, 18:47 +0200 schrieb Gabriel Scherer: >> Would it be possible for Ubuntu users to use the Debian packages, >> which already have the bugfix patch included? > > Tsts. > > Thanks to Virgile Prevosto the patch is already in GODI, though not > yet released. I'll take care of this later today. > > A source-based distribution can react quite fast on this type of > problem. > That's hilarious (as a statement). This patch has been applied and released (since last March 9th) in a binary distribution (namely Debian). So, I quite don't understand your statement. IMO, It depends on the manpower behind (and maybe dev tools and release process). But I don't see where you gain to have a source-based distribution to address this kind of issues (except for the build time… but that's ridiculous). The real problem of Ubuntu (wrt. OCaml) is that OCaml has no maintainer. And, we also see that with GODI. manpower is lacking and you weren't able to release a fix until today, although the patch was there since quite some time now. (Not blaming anyone here, just stating a fact). But oh well, maybe all this is off-topic. Regards, -- Mehdi Dogguy مهدي الدڤي http://www.pps.jussieu.fr/~dogguy Tel.: (+33).1.44.27.28.38 From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p46LiVkX025731 for ; Fri, 6 May 2011 23:44:31 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsAJAHdrxE3VpUAXkWdsb2JhbACWA4IwjX8BAQEBCQsLBxQDIohxHLxOAoYHBI9YiDqGHA X-IronPort-AV: E=Sophos;i="4.64,328,1301868000"; d="scan'208";a="82524666" Received: from mailout-de.gmx.net ([213.165.64.23]) by mail3-smtp-sop.national.inria.fr with SMTP; 06 May 2011 23:44:26 +0200 Received: (qmail invoked by alias); 06 May 2011 21:44:25 -0000 Received: from ip-88-153-45-124.unitymediagroup.de (EHLO mail.gmx.net) [88.153.45.124] by mail.gmx.net (mp055) with SMTP; 06 May 2011 23:44:25 +0200 X-Authenticated: #20429361 X-Provags-ID: V01U2FsdGVkX19VL614rC1V+1I6B5Vu9OqQL8xrq7A9I/Cl1So8gt KSHna8l3V8jRHy Content-Type: text/plain; charset=iso-8859-15; format=flowed; delsp=yes To: caml-list@inria.fr References: Date: Fri, 06 May 2011 23:44:25 +0200 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit From: "Till Crueger" Message-ID: In-Reply-To: User-Agent: Opera Mail/11.10 (Linux) X-Y-GMX-Trusted: 0 Subject: Re: [Caml-list] Warning: Ubuntu 11.04 Vs OCaml 3.12.0 On Tue, 03 May 2011 18:36:28 +0200, Sebastien Mondet wrote: > Hi > > Just a warning for those who use Ubuntu and ocaml from sources (or GODI): > > Ubuntu 11.04 (just released) contains the GNU assembler version > 2.21.0.20110327 > which affects this bug in the current version of the compiler: > http://caml.inria.fr/mantis/view.php?id=5237 > (it will be fixed in 3.12.1) > > Hope I saved some of you from a painful upgrade :) Too late... I already upgraded all my computers and lots of things seem to be broken with Natty Narwhale. Just as another warning for those considering it right now. Is there any indication as to when this will be fixed in GODI? Bye, -- Till Crueger Theodor-Litt-Straße 11 Dipl. Inform. (computer science) 53121 Bonn Germany Phone: +49 228 24069247 +49 176 20481795 http://www.tcrueger.de From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p477Oe1W006441 for ; Sat, 7 May 2011 09:24:40 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AroBAHrzxE2BaB4imWdsb2JhbACYMo1tFAEBAQEBCAsLBxQliHG8UA6FfQSePg X-IronPort-AV: E=Sophos;i="4.64,330,1301868000"; d="scan'208";a="82538090" Received: from mx1.polytechnique.org ([129.104.30.34]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 07 May 2011 09:24:35 +0200 Received: from gavalla (bne75-13-78-249-168-217.fbx.proxad.net [78.249.168.217]) (using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) by ssl.polytechnique.org (Postfix) with ESMTPSA id A238E1400829A for ; Sat, 7 May 2011 09:24:34 +0200 (CEST) Date: Sat, 7 May 2011 09:24:30 +0200 From: Virgile Prevosto To: caml-list@inria.fr Message-ID: <20110507092430.3de33a0c@gavalla> In-Reply-To: References: X-Mailer: Claws Mail 3.7.9 (GTK+ 2.24.3; x86_64-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Sat May 7 09:24:34 2011 +0200 (CEST)) X-Spam-Flag: No, tests=bogofilter, spamicity=0.156456, queueID=D7925140082A5 X-Org-Mail: virgile.prevosto.1996@polytechnique.org Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p477Oe1W006441 Subject: Re: [Caml-list] Warning: Ubuntu 11.04 Vs OCaml 3.12.0 Le ven. 06 mai 2011 23:44:25 CEST, "Till Crueger" a écrit : > Too late... I already upgraded all my computers and lots of things > seem to be broken with Natty Narwhale. Just as another warning for > those considering it right now. > > Is there any indication as to when this will be fixed in GODI? In principle, this is already the case (packages godi-ocaml-src and godi-ocaml 3.12.0#2 and 3.11.2#1 for sections 3.12 and 3.11 respectively). -- E tutto per oggi, a la prossima volta. Virgile