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 955037F0AF for ; Mon, 14 Mar 2016 21:26:03 +0100 (CET) IronPort-PHdr: 9a23:DaFuvR/hEKPmbv9uRHKM819IXTAuvvDOBiVQ1KB91OIcTK2v8tzYMVDF4r011RmSDdqduqwP0rGJ+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuStGU3pr8jrvts7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYk7sb+sVBSaT3ebgjBfwdVWx+cjN92Mq+nBXZTAaJrl0VXmgM2k5BDxLE4RfSWJDtsW39rOUriweAOsijaLkuRTWkp4tmbRLsjCBPYzsw6n3WjMB9ia9fpBWJqBl2woqSa4aQYqktNpjBdM8XEDISFv1aUDZMV8blN9MC Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=martindemello@gmail.com; spf=Pass smtp.mailfrom=martindemello@gmail.com; spf=None smtp.helo=postmaster@mail-ig0-f172.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of martindemello@gmail.com) identity=pra; client-ip=209.85.213.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="martindemello@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of martindemello@gmail.com designates 209.85.213.172 as permitted sender) identity=mailfrom; client-ip=209.85.213.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="martindemello@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-ig0-f172.google.com) identity=helo; client-ip=209.85.213.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="postmaster@mail-ig0-f172.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BiAQDtHedWi6zVVdFdg2Q0bQaoJYcijGcZhXQCgSsHPBABAQEBAQEBARABAQEICwsJHzGCLYIVAQEDARIRHQEbHQEDAQsGBQQHNwICIgERAQUBHAYTCBqHbAEDCgifIIExPjGLNoFqgleFSAoZJw1Rg3MBAQEBAQUBAQEBAQEBEwEFCgWGCYRChzqBOgWOLYkehW6IEoIwjFWNPxEegQ83giEegXAcLopjAQEB X-IPAS-Result: A0BiAQDtHedWi6zVVdFdg2Q0bQaoJYcijGcZhXQCgSsHPBABAQEBAQEBARABAQEICwsJHzGCLYIVAQEDARIRHQEbHQEDAQsGBQQHNwICIgERAQUBHAYTCBqHbAEDCgifIIExPjGLNoFqgleFSAoZJw1Rg3MBAQEBAQUBAQEBAQEBEwEFCgWGCYRChzqBOgWOLYkehW6IEoIwjFWNPxEegQ83giEegXAcLopjAQEB X-IronPort-AV: E=Sophos;i="5.24,337,1454972400"; d="scan'208,217";a="207730268" Received: from mail-ig0-f172.google.com ([209.85.213.172]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 14 Mar 2016 21:26:02 +0100 Received: by mail-ig0-f172.google.com with SMTP id vf5so71036703igb.0 for ; Mon, 14 Mar 2016 13:26:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc; bh=O/f3T3kBdvzloZtfsxBUkxFYPN8+dA2tZmecDQABaPA=; b=DuSHxPrkKvyFlrJDSSkuSGKxKexM55A38+eYLCWsje+uL3V9aCnn58eBz8qDAIaZ+6 I8WJOV1tejo2YS8V74glZTHvGEEqIPceLx2id5GeLCD3EV75W6+xOWX5FtG+TO7PSPxt gUiueSt5RMM4LK9dABZjcxnrQHSmnzgqN9oPABpHi5+/w+67JnfJVi5P4FgmyhqjkJr/ oTtz7wvKIhBuzjsoDkgsm8z/BCixBJ8tPdYu2acmKISrxIso/eIx4W3Pd/s+xO36FdF2 +gLnkcCKBMN8GUG/3HuKG2mqK4DcJQRhHidvbp6+QyYLNmmC/ClfFFTuIbLbE2lrhs7X zkLg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc; bh=O/f3T3kBdvzloZtfsxBUkxFYPN8+dA2tZmecDQABaPA=; b=DS8Hg733k9FvdkmrrQqNguqDJXG+fXp/Vvuo6li6ZSX/6zTZOwBT1PitfxQSYRx4Vd XDNWxXmTQp0lw35arEGKgFy4cI0X65WZq840OfipEYJzrjWNbKSQ64C6A7vP/rpxkqM0 0VEoAVkArt0vjGOkzN1UYlTzGYxPqB+T+xePT8E2DGk+R6rNZm90tXIcE3T9vcsKEYeJ C/de6plOENm1R0fPnFFN6ly3sD5q38ubIUCk3yC8BaI3Gov41S9XmTJ0pKW0HkrQex54 f8srIsFuS/IJStYPPcGLQWFT82/McCHaI/0iabdn4bmlcHZaIPu6qZY+Bz32hIy+yh/i HzDA== X-Gm-Message-State: AD7BkJIZob2sLzQUN/djs4KBkhiA8nGFPk7RUtU4deU1HBYxwdh2NgM0XDD5nHLpznhs3QyXvIz/GcbzNruDMQ== MIME-Version: 1.0 X-Received: by 10.50.66.179 with SMTP id g19mr20079213igt.4.1457987161040; Mon, 14 Mar 2016 13:26:01 -0700 (PDT) Received: by 10.79.115.141 with HTTP; Mon, 14 Mar 2016 13:26:00 -0700 (PDT) In-Reply-To: <20160314201432.GA28654@notk.org> References: <20160314201432.GA28654@notk.org> Date: Mon, 14 Mar 2016 13:26:00 -0700 Message-ID: From: Martin DeMello To: Adrien Nader Cc: whitequark , "caml-list@inria.fr" Content-Type: multipart/alternative; boundary=047d7bdc15b2d22db1052e081646 Subject: Re: [Caml-list] [ANN] opam-cross-windows --047d7bdc15b2d22db1052e081646 Content-Type: text/plain; charset=UTF-8 Oh, it's just a matter of installing packages one by one until things compile :) More tedious than anything else; I just didn't want to go through the process if someone had already. e.g. this is how I started off $ wajig install mingw-w64-x86-64-dev $ wajig install mingw-w64-i686-dev $ opam install ocaml-windows ### stderr ### # + x86_64-w64-mingw32-gcc --version # sh: x86_64-w64-mingw32-gcc: command not found I missed that there was a metapackage though; I'll give that a try. martin On Mon, Mar 14, 2016 at 1:14 PM, Adrien Nader wrote: > Hi, > > I can't tell much about Ubuntu specifically but there aren't many > mingw-w64-related packages in Ubuntu. I'm assuming you're not trying to > use mingw.org because it's 2016. > It would be useful that you mention which Ubuntu version you're using > because 12.04 has GCC 4.6.3 and mingw-w64 2.0.1 while 16.04 has GCC > 5.3.1 and mingw-w64 4.0.4. There shouldn't be issues but it's possible > nonetheless. > > There is a "mingw-w64" meta package (maybe not in all versions though) > that should give you a complete environment. > > Apart from that, providing the error message(s) would be useful. :) > > -- > Adrien Nader > --047d7bdc15b2d22db1052e081646 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Oh, it's just a matter of installing packages one by o= ne until things compile :) More tedious than anything else; I just didn'= ;t want to go through the process if someone had already. e.g. this is how = I started off

$ wajig install mingw-w64-x86-64-dev=C2=A0<= /div>
$ wajig install mingw-w64-i686-dev
$ opam ins= tall ocaml-windows

### stderr ###
# + x86_64-w64-mingw32-gcc --version
# sh: x86_64-w64-mingw32-= gcc: command not found

I missed that there w= as a metapackage though; I'll give that a try.

martin


On Mon, Mar 14, 2016 at 1:14 PM, Adrien Nader <adrien= @notk.org> wrote:
Hi,

I can't tell much about Ubuntu specifically but there aren't many mingw-w64-related packages in Ubuntu. I'm assuming you're not tryin= g to
use mingw= .org because it's 2016.
It would be useful that you mention which Ubuntu version you're using because 12.04 has GCC 4.6.3 and mingw-w64 2.0.1 while 16.04 has GCC
5.3.1 and mingw-w64 4.0.4. There shouldn't be issues but it's possi= ble
nonetheless.

There is a "mingw-w64" meta package (maybe not in all versions th= ough)
that should give you a complete environment.

Apart from that, providing the error message(s) would be useful. :)

--
Adrien Nader

--047d7bdc15b2d22db1052e081646--