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 q32BEHXf001270 for ; Mon, 2 Apr 2012 13:14:17 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiYBACiJeU9KfVM2kGdsb2JhbABEuQYIIgEBAQEJCQ0HFAQjggkBAQEEEgIsARsdAQMMBgULDS4iAREBBQEOAQ0GEyKHZ5xmCowWgnGERT+IdgEFC5ERBI4Ch1+OUD2ECw X-IronPort-AV: E=Sophos;i="4.75,355,1330902000"; d="scan'208";a="138684845" Received: from mail-ee0-f54.google.com ([74.125.83.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 02 Apr 2012 13:14:12 +0200 Received: by eekd17 with SMTP id d17so869131eek.27 for ; Mon, 02 Apr 2012 04:14:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; bh=3411B1OzbqtwWifqbUjqZc0m0YGz+4Lh7o/nhfiusVI=; b=PQAVS59IWx3qCMYliusYby2QWW5tFFGOBrWpEt7QFa32SPPnyc0wXsTXMSmF5zwJGX SgiUKJ3h4W4vLukH4JJL7Do6fXk6AJIIOagBLtyR/e2AjMMK01jUVIRt3S+LRd1F7Lj+ P++iwVM3jVGD0EqdeCd0sLeWbfbwr/ar6QZixyoqwkG9cRU9PuvRxnvblMI6M5BbnfEV ShSMWNElJj7FVMWE6JciR7FbFC/luqCx1C+blygDMhgB3RBb6AFq1cpz7Wp0FpUyFDdT S2lPFaU8bRuuCTodEc8VORxgMPGzyCM9+gli438xmf1AgJbsczdOWt4ufNUewMkfMawP cm6Q== MIME-Version: 1.0 Received: by 10.213.31.199 with SMTP id z7mr177655ebc.193.1333365251694; Mon, 02 Apr 2012 04:14:11 -0700 (PDT) Received: by 10.213.19.138 with HTTP; Mon, 2 Apr 2012 04:14:11 -0700 (PDT) In-Reply-To: <4F795D4D.1060503@lsv.ens-cachan.fr> References: <4F730303.8000802@gmail.com> <4F75BFFA.6040407@gmail.com> <4F795D4D.1060503@lsv.ens-cachan.fr> Date: Mon, 2 Apr 2012 13:14:11 +0200 Message-ID: From: Adrien To: Romain Bardou Cc: Jonathan Protzenko , caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q32BEHXf001270 Subject: Re: [Caml-list] Re: New version of the binary installer for Windows On 02/04/2012, Romain Bardou wrote: > Le 30/03/2012 16:15, Jonathan Protzenko a écrit : >> Hi again, >> >> Following all the good suggestions in this thread, I've updated the >> installer. It now downloads and runs cygwin's setup.exe so as to provide >> a fully working environment for OCaml on windows after the installer >> completes. The cygwin installer runs in silent mode, that is, the >> progress window shows up, but there is no user prompt. > > Hello, > > I always heard that if you compile your program under the Cygwin > environment, then the application needs to be run under the Cygwin > environment as well; whereas if you use MinGW, you produce stand-alone > executables. Is that still the case? > > I need to give stand-alone executables to my users; I cannot tell them > to install Cygwin as well. If your installer does not let me compile > stand-alone executables, it has no value to me. Others have already pointed out that it wasn't necessarily the case. If you call "gcc" from cygwin, you'll end up with cygwin binaries but you can very simply cross-compile. Cygwin provides a POSIX environment that can also run windows stuff and does some translation between the two but if you cross-compile, you can target whatever you want and that includes "pure" windows. Also, note that msys, which is often used when cygwin isn't, is similar to cygwin (and it's a "light" fork of cygwin), also requires you to provide a specific library and changes the behaviour of the application. However, you should absolutely never ever build anything msys (msys is also a target for gcc, which has never been merged and is from gcc 2.95 or 2.96). With x-compilation, you can do what you want: - need full POSIX? cygwin - need some POSIX? msys (maybe) - need some POSIX but not a lot? a library on top of win32, or move away from posix directly By the way, there was a netbsd-derived environment named Interix which microsoft used to advise. Windows 8's documentation now advises users of Interix to use cygwin or mingw(-w64). Regards, Adrien Nader