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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 31FEEBB84 for ; Sat, 27 Sep 2008 11:44:20 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtsGAMac3UjAXQIniGdsb2JhbACNW4VUAQEBFSKmGQOBZA X-IronPort-AV: E=Sophos;i="4.33,319,1220220000"; d="scan'208";a="17824104" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 27 Sep 2008 11:44:19 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m8R9iJUm010809 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sat, 27 Sep 2008 11:44:19 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApgDAMac3UjUGyodmmdsb2JhbACNW4VUAQEBAQEGDQoHEQOmFgOBZA X-IronPort-AV: E=Sophos;i="4.33,319,1220220000"; d="scan'208";a="17409625" Received: from smtp3-g19.free.fr ([212.27.42.29]) by mail3-smtp-sop.national.inria.fr with ESMTP; 27 Sep 2008 11:44:19 +0200 Received: from smtp3-g19.free.fr (localhost.localdomain [127.0.0.1]) by smtp3-g19.free.fr (Postfix) with ESMTP id C45E717B5D1; Sat, 27 Sep 2008 11:44:18 +0200 (CEST) Received: from erha (pat35-1-82-229-60-210.fbx.proxad.net [82.229.60.210]) by smtp3-g19.free.fr (Postfix) with ESMTP id A5CCF17B5AE; Sat, 27 Sep 2008 11:44:18 +0200 (CEST) Received: by erha (Postfix, from userid 1000) id CDB23D08D6; Sat, 27 Sep 2008 11:44:17 +0200 (CEST) To: Richard Jones Cc: Caml Subject: OCaml support on Ubuntu References: <48DCC7B8.4070700@fmf.uni-lj.si> <48DCDF9D.6040401@inescporto.pt> <48DCE49F.7000604@fmf.uni-lj.si> <74cabd9e0809260915v675c31w584653d597b7d92f@mail.gmail.com> <20080926165211.GA9490@annexia.org> From: David MENTRE Organization: none Date: Sat, 27 Sep 2008 11:44:17 +0200 In-Reply-To: <20080926165211.GA9490@annexia.org> (Richard Jones's message of "Fri\, 26 Sep 2008 17\:52\:11 +0100") Message-ID: <87ljxdrki6.fsf_-_@pat35-1-82-229-60-210.fbx.proxad.net> User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Miltered: at concorde with ID 48DE0073.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 compiler:01 bytecodes:01 ocamlnet:01 bug:01 camlp:01 gpg:01 ubuntu:98 ubuntu:98 writes:01 bugs:03 debian:04 debian:04 fix:05 Hello Richard, Context: I'm a long time Debian user, still using Debian on my servers. But I switched my desktop machine under Ubuntu a few years ago, seduced by the good polish and freshness of Ubuntu desktop applications. Richard Jones writes: > Ubuntu's OCaml support is very flaky. They don't have developers > committed to it and take a random snapshot of what's in Debian. This > has in the past led to serious brokenness where they've taken a > snaphot in the middle of a rebuild-the-world compiler upgrade. I'm sorry to agree that Richard is right. For example, I discovered at a time that *all* bytecodes shipped in Ubuntu Gutsy could not be executed. This was fixed once spotted: https://bugs.launchpad.net/ubuntu/+source/ocamlnet/+bug/180364 Another example: current Hardy release (which has Long Term Support status) is shipped which OCaml 3.10.0 which is broken regarding Camlp4. To fix this situation, one only needs people on the Ubuntu side to synchronize packets from Debian at the right time. As I have an direct interest in this story and while I have no knowledge at all regarding Ubuntu workflow, I'll try to see what can be done. Sincerely yours, david -- GPG/PGP key: A3AD7A2A David MENTRE 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A