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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id E08427ED25 for ; Mon, 15 Jul 2013 14:42:35 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of matthieu.dubuget@gmail.com) identity=pra; client-ip=209.85.212.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="matthieu.dubuget@gmail.com"; x-sender="matthieu.dubuget@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of matthieu.dubuget@gmail.com designates 209.85.212.176 as permitted sender) identity=mailfrom; client-ip=209.85.212.176; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f176.google.com) identity=helo; client-ip=209.85.212.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="matthieu.dubuget@gmail.com"; x-sender="postmaster@mail-wi0-f176.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AosBAPns41HRVdSwjWdsb2JhbABahki/E4EQFg4BAQEBBwsLCRIGJIIkAQULIAcBBQgBGx0BAwwGBQsWJQ8CEgwBBAEFAQMBCgENBg0BBwKHeQEBAg8EmDyMTgmCdoQFChkEChkNZId0AQUMj1gHg3gDl1yGI4EBiEQ/RoN0 X-IPAS-Result: AosBAPns41HRVdSwjWdsb2JhbABahki/E4EQFg4BAQEBBwsLCRIGJIIkAQULIAcBBQgBGx0BAwwGBQsWJQ8CEgwBBAEFAQMBCgENBg0BBwKHeQEBAg8EmDyMTgmCdoQFChkEChkNZId0AQUMj1gHg3gDl1yGI4EBiEQ/RoN0 X-IronPort-AV: E=Sophos;i="4.89,668,1367964000"; d="scan'208";a="26053931" Received: from mail-wi0-f176.google.com ([209.85.212.176]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 15 Jul 2013 14:42:35 +0200 Received: by mail-wi0-f176.google.com with SMTP id ey16so2804191wid.9 for ; Mon, 15 Jul 2013 05:42:35 -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:content-transfer-encoding; bh=mKETbCNXZv/HoaCBqSmzO96WiRDV1Q+yaCurAx3yUks=; b=0dfNdVwXknLNAxs7yJPXLFZrQjMXS8Hgj6+D/HdsKmnzRAajXG2/2Dq50qwRCr0j9p Ij7l+qv/SC5K/xrJgyrCNyxBUjtO2grmgbD2cl1eytD0FwxTKSUvBzGINg4kXDIrOsZj uqSzCnkw0EiVh9Bawrmpkdd/Nirbu8ANvYrT8KGwJNaS6LK5AX/yudUrN9rE1v0FGL/Z 99hlPvSwSKANvGDZlImZIjV+7wx/cgARhdXf9DM7tgAXMLOaFjggyWYkUzTh3EazXMtr WlGltNTk7H2roqGH7U0Zr1r+wsHGNmN51w30VgHOXj6maVHldeNs9iXcqiOkV1KC85cZ s0Ew== X-Received: by 10.194.82.97 with SMTP id h1mr31274682wjy.95.1373892155344; Mon, 15 Jul 2013 05:42:35 -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 i1sm20662457wiz.6.2013.07.15.05.42.33 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Mon, 15 Jul 2013 05:42:34 -0700 (PDT) Message-ID: <51E3EE39.20909@gmail.com> Date: Mon, 15 Jul 2013 14:42:33 +0200 From: Matthieu Dubuget 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: Romain Bardou CC: caml-list@inria.fr References: <51E3E70F.9010202@inria.fr> <51E3E988.6010509@gmail.com> <51E3ED0D.1050100@inria.fr> In-Reply-To: <51E3ED0D.1050100@inria.fr> Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] OCaml installer on Windows no longer installs MinGW? Le 15/07/2013 14:37, Romain Bardou a écrit : > I’m still not sure why MinGW GCC was not installed, but I think it is > the Cygwin installer which is the cause (it has always been rather buggy > in my experience). You're right. Now I remember that. I could not have cygwin installed by ocaml installer. I did it myself, using the command line found in ocaml installer (with some more packages I want added :-) ), and I also had to modify the rights for the files of the cygwin directory. (I usually work as a normal user, not with Administrator rights) Salutations