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 6C1A07ED25 for ; Mon, 15 Jul 2013 14:22:34 +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.214.43; 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.214.43 as permitted sender) identity=mailfrom; client-ip=209.85.214.43; 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-bk0-f43.google.com) identity=helo; client-ip=209.85.214.43; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="matthieu.dubuget@gmail.com"; x-sender="postmaster@mail-bk0-f43.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoUCABDo41HRVdYrk2dsb2JhbABagzqNFLUNgQ8WDgEBAQEHCwsJFAQkgiMBAQQBCyAHAQUIARscAgMMBgULFhYPCQMCAQIBEQwBBAEFAQMBCgENEwgCh3kBAQIJBgQImCqMTgmCdoQEChkEChkNZId0AQUMj18Wg2IDl1yBKYR6gQGIRD9Gg3Q X-IPAS-Result: AoUCABDo41HRVdYrk2dsb2JhbABagzqNFLUNgQ8WDgEBAQEHCwsJFAQkgiMBAQQBCyAHAQUIARscAgMMBgULFhYPCQMCAQIBEQwBBAEFAQMBCgENEwgCh3kBAQIJBgQImCqMTgmCdoQEChkEChkNZId0AQUMj18Wg2IDl1yBKYR6gQGIRD9Gg3Q X-IronPort-AV: E=Sophos;i="4.89,668,1367964000"; d="scan'208";a="26049985" Received: from mail-bk0-f43.google.com ([209.85.214.43]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 15 Jul 2013 14:22:33 +0200 Received: by mail-bk0-f43.google.com with SMTP id jm2so4572640bkc.30 for ; Mon, 15 Jul 2013 05:22: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:subject :references:in-reply-to:content-type:content-transfer-encoding; bh=qieUF4i/s+7c6aatcxsGdq0lloi0w325lGJesIdPXSs=; b=jY1LAzz+6i4j+lvhrE8N+lNXuck2BPt9glpNAxphzDdvlZPwR9d9T0wHo4Bznoa+v9 6wbP849BVEADlHm6cq3QguEt/jGIl83mekCdptdnCKUb0zwmKeJs9fu1WDrELbV3A3mR 2Qx9ETt+1wsJi+vDQ6hFTM+x4D+I3DMiaWtXU+mcPvUhwnOQRx2jkefJUDgb4MGdRgyc 3ywjdb7HQchxslgvRmbtHv4Rhl1SmTJcJPTAr1ttTOrjzKaUZNmAkLB4+nbPEmjappea 1hK6kbuNyTVB3DimzikUdCO1RB0dGiG2L6b7YNebi+NDojRVw75BlSKNqJvgeir3ZeQr BHVg== X-Received: by 10.204.237.136 with SMTP id ko8mr7516072bkb.154.1373890953471; Mon, 15 Jul 2013 05:22: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 cy5sm12121247bkb.1.2013.07.15.05.22.31 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Mon, 15 Jul 2013 05:22:32 -0700 (PDT) Message-ID: <51E3E988.6010509@gmail.com> Date: Mon, 15 Jul 2013 14:22:32 +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: caml-list@inria.fr References: <51E3E70F.9010202@inria.fr> In-Reply-To: <51E3E70F.9010202@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:11, Romain Bardou a écrit : > … > > - It failed to download Tcl/Tk but I don't care about Tcl/Tk so I continued. Just install Tcl/Tk yourself. It works. (see https://github.com/protz/ocaml-installer/issues/19) > > During Cryptokit compilation... > > - The configure step returned no error although it should have (see below). > > - It failed to compile because it could not find i686-w64-mingw32-gcc. > Apparently it was not installed by the OCaml installer. > > - I found no way to specify the GCC executable name during the "setup.ml > -configure" step. Can OASIS handle this? > > - I installed the Cygwin packages mingw64-i686-gcc and > mingw64-i686-headers myself. > Then, compiling Cryptokit failed: ocamlmklib raised End_of_file while > trying to read libmoldname.a, which happens to be 8 bytes long.? Uptate flexlink (see https://github.com/protz/ocaml-installer/issues/22) Just copying flexdll_mingw.o, flexlink.exe and flexdll_initer_mingw.o from the last binary zip distributed by Alain Frish is enough (http://alain.frisch.fr/flexdll.html) > > 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. Salutations -- Matthieu Dubuget or Ttamttam