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.2 required=5.0 tests=AWL 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 71A5CBBAF for ; Sat, 22 Nov 2008 12:22:51 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoYCACl6J0lDz4HegWdsb2JhbACTXQEBFiLAeoJ8 X-IronPort-AV: E=Sophos;i="4.33,649,1220220000"; d="scan'208";a="20251993" Received: from fettunta.fettunta.org ([67.207.129.222]) by mail1-smtp-roc.national.inria.fr with ESMTP; 22 Nov 2008 12:22:50 +0100 Received: from usha.takhisis.invalid (unknown [10.17.0.18]) by fettunta.fettunta.org (Postfix) with ESMTP id 7A41518210 for ; Sat, 22 Nov 2008 11:22:49 +0000 (UTC) Received: by usha.takhisis.invalid (Postfix, from userid 1000) id D300B6875; Sat, 22 Nov 2008 12:22:46 +0100 (CET) Date: Sat, 22 Nov 2008 12:22:46 +0100 From: Stefano Zacchiroli To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Native dynlink on 3.11: a request for packagers Message-ID: <20081122112246.GB8200@usha.takhisis.invalid> References: <908917.4744.qm@web111516.mail.gq1.yahoo.com> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <908917.4744.qm@web111516.mail.gq1.yahoo.com> User-Agent: Mutt/1.5.18 (2008-05-17) X-Spam: no; 0.00; zacchiroli:01 zack:01 dynlink:01 packagers:01 packagers:01 cmxa:01 makefiles:01 cheers:01 zacchiroli:01 postdoc:01 zack:01 dietro:98 c'e:98 sempre:98 wrote:01 On Fri, Nov 21, 2008 at 11:29:12AM -0800, Dario Teixeira wrote: > Therefore, the life of Ocsigen users would be greatly simplified if > library writers and packagers (GODI, Debian, Fedora, etc) would add > this little extra step of generating cmxs for each cmxa. This > request only makes sense for 3.11, of course. Debian-side, this is already planned. The work-flow will be as usual: patch the Makefiles of upstream not (yet) using dynlinking, and send patches upstream. Of course it will take some time, and library authors helping out making new releases supporting that out of the box will be really appreciated. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime