From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id C3DF57ED25 for ; Mon, 15 Jul 2013 16:16:46 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.89,668,1367964000"; d="scan'208";a="21233892" Received: from unknown (HELO [10.1.202.3]) ([194.254.61.161]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-CAMELLIA256-SHA; 15 Jul 2013 16:16:46 +0200 Message-ID: <51E4044D.5020303@inria.fr> Date: Mon, 15 Jul 2013 16:16:45 +0200 From: Romain Bardou User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.12) Gecko/20130116 Icedove/10.0.12 MIME-Version: 1.0 To: matthieu.dubuget@gmail.com CC: caml-list@inria.fr References: <51E3E70F.9010202@inria.fr> <51E3E975.7020708@gmail.com> <51E3ED83.9040705@gmail.com> In-Reply-To: <51E3ED83.9040705@gmail.com> X-Enigmail-Version: 1.4.1 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 8bit X-Validation-by: romain.bardou@inria.fr Subject: Re: [Caml-list] OCaml installer on Windows no longer installs MinGW? Le 15/07/2013 14:39, Matthieu Dubuget a écrit : > Le 15/07/2013 14:22, Matthieu Dubuget a écrit : >> Le 15/07/2013 14:11, Romain Bardou a écrit : >> >>> >>> I have absolutely no clue what to do now. Is the installer from >>> protz.github deprecated? >> Well. I would say it is a little outdated. It should just be slightly >> adapted and recompiled. >> > > I must admit that using OCaml on windows with mingw flavour is not > actually a click and work experience… > > And most of the time, the packages are to be adapted in order to compile. > > I also hit another problem, that you should be aware of: > > on my installation, *i686-w64-mingw32-gcc -o toto ...* produces > *toto.exe* instead of *toto*. > But flexlink has asked for *toto*, and never sees *toto.exe*, which > leads to a compilation failure. Interesting. I managed to compile Cryptokit, LablGTK (this one took me a while…) and an application which uses both of them, without the error you describe. Thanks and cheers, -- Romain Bardou