From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <matthieu.dubuget@gmail.com>
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 5E99E7ED25
	for <caml-list@sympa.inria.fr>; Mon, 15 Jul 2013 14:39:34 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  matthieu.dubuget@gmail.com) identity=pra;
  client-ip=209.85.214.47;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="matthieu.dubuget@gmail.com";
  x-sender="matthieu.dubuget@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  matthieu.dubuget@gmail.com designates 209.85.214.47 as
  permitted sender) identity=mailfrom; client-ip=209.85.214.47;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="matthieu.dubuget@gmail.com";
  x-sender="matthieu.dubuget@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-bk0-f47.google.com) identity=helo;
  client-ip=209.85.214.47;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="matthieu.dubuget@gmail.com";
  x-sender="postmaster@mail-bk0-f47.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AokBALjs41HRVdYvlGdsb2JhbABajGy1UYMegRAWDgEBAQEHDQkJFAQkgiQBBQsgFQEbHAEBAwwGBQQBBhYWDwkDAgECAREMAQQBBQEDAQoBDRMBBwKHeQEBAg8EmDmMTgmCdoQFChkEChkNZId0AQUMj1gHFoNiA5QFg1eGI4EBiEQ/RoN0
X-IPAS-Result: AokBALjs41HRVdYvlGdsb2JhbABajGy1UYMegRAWDgEBAQEHDQkJFAQkgiQBBQsgFQEbHAEBAwwGBQQBBhYWDwkDAgECAREMAQQBBQEDAQoBDRMBBwKHeQEBAg8EmDmMTgmCdoQFChkEChkNZId0AQUMj1gHFoNiA5QFg1eGI4EBiEQ/RoN0
X-IronPort-AV: E=Sophos;i="4.89,668,1367964000"; 
   d="scan'208,217";a="21219809"
Received: from mail-bk0-f47.google.com ([209.85.214.47])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 15 Jul 2013 14:39:33 +0200
Received: by mail-bk0-f47.google.com with SMTP id jg1so4513821bkc.6
        for <multiple recipients>; Mon, 15 Jul 2013 05:39:33 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=message-id:date:from:reply-to:user-agent:mime-version:to:cc:subject
         :references:in-reply-to:content-type;
        bh=cEp4Fc2aL6Pkt6Su5e+UxsRMQsJb0iZqbMHPprHOaAo=;
        b=LtyJI6Tpbvotn6UqC7zkhL4SZgo9G34m3GgRuwgciNGVslcNsuvpTWElxMDtO1+FDB
         7v8PrU2kWmVDUzh4jIS/X202GPPiaoM8uf7S14tQobRK0u5myndT3ksnxZ2xqN09HNgE
         LwOvhgSqB+5qR13S1MGotJrJFACTgaL0Ge0n5ek34OlUQYen/0ByR16DjpGu+u/Tixhz
         4JOFStO2BubtDFDP/S0Z9hhQG21Sd+qLO1S1DWbPK7211PacRxyPR5YeWE8BkqaY/ryi
         LMwFi+NKaaQFTrU933AqB3i5PSlblGswUQn2f6MntNUXf7lD0cQhFO/7yqPBtMIK8QWq
         AmRQ==
X-Received: by 10.204.230.9 with SMTP id jk9mr7751423bkb.166.1373891973378;
        Mon, 15 Jul 2013 05:39:33 -0700 (PDT)
Received: from [192.168.1.78] (105.119.8.109.rev.sfr.net. [109.8.119.105])
        by mx.google.com with ESMTPSA id fc7sm12156267bkc.3.2013.07.15.05.39.31
        for <multiple recipients>
        (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128);
        Mon, 15 Jul 2013 05:39:32 -0700 (PDT)
Message-ID: <51E3ED83.9040705@gmail.com>
Date: Mon, 15 Jul 2013 14:39:31 +0200
From: Matthieu Dubuget <matthieu.dubuget@gmail.com>
Reply-To: matthieu.dubuget@gmail.com
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130704 Icedove/17.0.7
MIME-Version: 1.0
To: caml-list@inria.fr
CC: Romain Bardou <romain.bardou@inria.fr>
References: <51E3E70F.9010202@inria.fr> <51E3E975.7020708@gmail.com>
In-Reply-To: <51E3E975.7020708@gmail.com>
Content-Type: multipart/alternative;
 boundary="------------030103080305090203070102"
Subject: Re: [Caml-list] OCaml installer on Windows no longer installs
 MinGW?

This is a multi-part message in MIME format.
--------------030103080305090203070102
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 8bit

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.

Salutations

--
Matthieu Dubuget
or Ttamttam




--------------030103080305090203070102
Content-Type: text/html; charset=windows-1252
Content-Transfer-Encoding: 8bit

<html>
  <head>
    <meta content="text/html; charset=windows-1252"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <div class="moz-cite-prefix">Le 15/07/2013 14:22, Matthieu Dubuget a
      écrit :<br>
    </div>
    <blockquote cite="mid:51E3E975.7020708@gmail.com" type="cite">Le
      15/07/2013 14:11, Romain Bardou a écrit :
      <br>
      <br>
      <blockquote type="cite">
        <br>
        I have absolutely no clue what to do now. Is the installer from
        <br>
        protz.github deprecated?
        <br>
      </blockquote>
      Well. I would say it is a little outdated. It should just be
      slightly adapted and recompiled.
      <br>
      <br>
    </blockquote>
    <br>
    I must admit that using OCaml on windows with mingw flavour is not
    actually a click and work experience…<br>
    <br>
    And most of the time, the packages are to be adapted in order to
    compile.<br>
    <br>
    I also hit another problem, that you should be aware of:<br>
    <br>
    on my installation, <b>i686-w64-mingw32-gcc -o toto ...</b>
    produces <b>toto.exe</b> instead of <b>toto</b>.<br>
    But flexlink has asked for <b>toto</b>, and never sees <b>toto.exe</b>,
    which leads to a compilation failure.<br>
    <br>
    Salutations<br>
    <br>
    --<br>
    Matthieu Dubuget<br>
    or Ttamttam<br>
    <br>
    <br>
    <br>
  </body>
</html>

--------------030103080305090203070102--