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=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 A6E12BBAF for ; Thu, 16 Oct 2008 15:09:00 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgYDAEPa9kjAXQIniGdsb2JhbACTZgEBARUirzyDbA X-IronPort-AV: E=Sophos;i="4.33,423,1220220000"; d="scan'208";a="18814426" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 16 Oct 2008 15:09:00 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9GD8v23017587 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 16 Oct 2008 15:09:00 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjgCAFPZ9kjB/BYfgWdsb2JhbACTZgEBCwsIBxEFr0KDbA X-IronPort-AV: E=Sophos;i="4.33,423,1220220000"; d="scan'208";a="30411924" Received: from smtp20.orange.fr ([193.252.22.31]) by mail4-smtp-sop.national.inria.fr with ESMTP; 16 Oct 2008 15:09:00 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2019.orange.fr (SMTP Server) with ESMTP id 964891C000A9; Thu, 16 Oct 2008 15:08:59 +0200 (CEST) Received: from [192.168.1.66] (APuteaux-154-1-90-212.w83-204.abo.wanadoo.fr [83.204.165.212]) by mwinf2019.orange.fr (SMTP Server) with ESMTP id 65F681C000B9; Thu, 16 Oct 2008 15:08:59 +0200 (CEST) X-ME-UUID: 20081016130859417.65F681C000B9@mwinf2019.orange.fr Message-ID: <48F73CEA.7070007@frisch.fr> Date: Thu, 16 Oct 2008 15:08:58 +0200 From: Alain Frisch User-Agent: Thunderbird 2.0.0.17 (Windows/20080914) MIME-Version: 1.0 To: David Allsopp Cc: "'caml users'" Subject: Re: [Caml-list] OCaml version 3.11.0+beta1 References: <83E04F95-55DD-470E-9C6D-98FA15AE0CE0@inria.fr> <313592F47439468A85341BFF33508587@countertenor> In-Reply-To: <313592F47439468A85341BFF33508587@countertenor> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 48F73CE9.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; frisch:01 frisch:01 ocaml:01 makefile:01 recompile:01 compiler:01 mingw:01 ocaml:01 ocaml's:01 dependencies:01 compiler:01 ocamlrun:01 wrote:01 caml-list:01 boot:01 David Allsopp wrote: > The install target of flexdll's Makefile suggests copying: > > flexdll_initer.c, flexdll.c > Surely these aren't needed once it's compiled? Indeed. However, some people might want to recompile them (e.g. to keep debug symbols, or to use a specific version of their C compiler). > > cmdline.o, coff.o, reloc.o, version.o > Aren't these all part of flexlink.exe and therefore not needed? As far as I can tell, the install target does not copy these files. > default.manifest > Is this necessary for a MinGW build? No. > There seems to be an interesting chicken-and-egg source dependency between > flexdll and OCaml 3.11 - you can't build OCaml 3.11 from source or use it > afterwards without flexdll and you can't build flexdll from source without > OCaml. Doesn't that suggest a binary copy of flexdll should be included in > OCaml's boot directory? All of the other *binary* dependencies for Windows > OCaml don't require OCaml themselves... just a thought! You're right about the circular dependency, but the answer is much simpler than for the chicken-and-egg question: OCaml came first. I don't see a compelling reason to include a binary version of flexdll in the OCaml distribution. Just consider flexdll as an external dependency that comes in binary form (like the MS C compiler). It just happens to be produced by the OCaml compiler. Note that flexlink.exe can be compiler with an old OCaml compiler. Also, if you insist to bootstrap everything, it shouldn't be too difficult to get a minimal (=no dynamic linking of external C code) ocamlrun.exe for 3.11 that does not require flexlink. -- Alain