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 4A38A7ED25 for ; Mon, 15 Jul 2013 14:12:00 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.89,668,1367964000"; d="scan'208";a="26048145" Received: from unknown (HELO [10.1.202.3]) ([194.254.61.161]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-CAMELLIA256-SHA; 15 Jul 2013 14:12:00 +0200 Message-ID: <51E3E70F.9010202@inria.fr> Date: Mon, 15 Jul 2013 14:11:59 +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: "caml-list@inria.fr" X-Enigmail-Version: 1.4.1 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Validation-by: romain.bardou@inria.fr Subject: [Caml-list] OCaml installer on Windows no longer installs MinGW? Hello, I just installed OCaml from http://protz.github.io/ocaml-installer/ on a fresh Windows 7 32bit installation, in VirtualBox, and run into several problems. During OCaml installation... - It failed to download Tcl/Tk but I don't care about Tcl/Tk so I continued. 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. I have absolutely no clue what to do now. Is the installer from protz.github deprecated? Thanks, -- Romain Bardou