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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id CF6A2BB84 for ; Wed, 11 Feb 2009 18:19:34 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: An8BAFOXkklQDPIalGdsb2JhbACURgEBAQEJCwgJEQPAPIQaBg X-IronPort-AV: E=Sophos;i="4.38,193,1233529200"; d="scan'208";a="22828560" Received: from smtp20.orange.fr ([80.12.242.26]) by mail3-smtp-sop.national.inria.fr with ESMTP; 11 Feb 2009 18:19:34 +0100 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2002.orange.fr (SMTP Server) with ESMTP id 526921C00097; Wed, 11 Feb 2009 18:19:34 +0100 (CET) Received: from [192.168.1.66] (APuteaux-154-1-36-22.w83-199.abo.wanadoo.fr [83.199.51.22]) by mwinf2002.orange.fr (SMTP Server) with ESMTP id 0FB5A1C00091; Wed, 11 Feb 2009 18:19:34 +0100 (CET) X-ME-UUID: 20090211171934645.0FB5A1C00091@mwinf2002.orange.fr Message-ID: <499308A2.3040609@lexifi.com> Date: Wed, 11 Feb 2009 18:19:30 +0100 From: Alain Frisch User-Agent: Thunderbird 2.0.0.19 (Windows/20081209) MIME-Version: 1.0 To: matthieu.dubuget@gmail.com Cc: caml-list@inria.fr Subject: Re: [Caml-list] Re: Strange compilation problem -> solved References: <49929A28.8070708@gmail.com> <4992E0F9.6050300@gmail.com> <4992FD38.9050708@gmail.com> In-Reply-To: <4992FD38.9050708@gmail.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; frisch:01 frisch:01 lexifi:01 compilation:01 matthieu:01 dubuget:01 matthieu:01 wrote:01 caml-list:01 alain:01 alain:01 repository:03 solved:04 applied:05 problem:05 Matthieu Dubuget wrote: > Here is a patch against subversion version of flexlink that solves my > problem. Thanks Matthieu! The patch has been applied to flexlink's SVN repository. -- Alain