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 7E66A7F0AF for ; Mon, 14 Mar 2016 22:11:01 +0100 (CET) IronPort-PHdr: 9a23:4AvxqBWPa3fvQFZP0hcgqHXCK7nV8LGtZVwlr6E/grcLSJyIuqrYZhOPt8tkgFKBZ4jH8fUM07OQ6PC/Hz1eqs/d7jgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfTR8Kum9IIPOlcP/j7n0oM2MJVQWz2PhP/tbF1afk0b4joEum4xsK6I8mFPig0BjXKBo/15uPk+ZhB3m5829r9ZJ+iVUvO89pYYbCf2pN4xxd7FTDSwnPmYp/4Wr8ECbFUrcrkcbB0waiBtFBUDj5R33RN+luyfgt+d78C+dIc6wSqo7D2eM9aBuHTrhkjsGMXYV/UTajsh3xPZeqQi9phpzzovZZIWSHPV7d6LZO9gdQDwSDY5qSyVdD9bkPMM0BO0bMLMd9tGlqg== 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-f175.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.175; 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.175 as permitted sender) identity=mailfrom; client-ip=209.85.213.175; 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-f175.google.com) identity=helo; client-ip=209.85.213.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="postmaster@mail-ig0-f175.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DEAACpKOdWi6/VVdFdhQUGr0eMZ4YNAoErBzsRAQEBAQEBAQEQAQEBCAsLCR8xgi2CFAEBAQMBEhEdARsdAQMBCwYFBAcNKgICIgERAQUBDgENBhMih2wBAwoInwqBMT4xizaBaoJXhVgKGScNUYNzAQEBAQEFAQEBAQEBFAEFCgWGCYRChzqBOgWOLYkejgCPBY0/ER6BDzaCIh6BcBwuimMBAQE X-IPAS-Result: A0DEAACpKOdWi6/VVdFdhQUGr0eMZ4YNAoErBzsRAQEBAQEBAQEQAQEBCAsLCR8xgi2CFAEBAQMBEhEdARsdAQMBCwYFBAcNKgICIgERAQUBDgENBhMih2wBAwoInwqBMT4xizaBaoJXhVgKGScNUYNzAQEBAQEFAQEBAQEBFAEFCgWGCYRChzqBOgWOLYkejgCPBY0/ER6BDzaCIh6BcBwuimMBAQE X-IronPort-AV: E=Sophos;i="5.24,337,1454972400"; d="scan'208,217";a="207735318" Received: from mail-ig0-f175.google.com ([209.85.213.175]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 14 Mar 2016 22:10:57 +0100 Received: by mail-ig0-f175.google.com with SMTP id nk17so50165769igb.1 for ; Mon, 14 Mar 2016 14:10:57 -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=/dNNah2bBxevUKsBWn1B/bwQ+MlFQbmQIJjD2c9LIec=; b=bhd/AXIdBIeJ+NfQkR+Dq3NTnnIPsfFo15xx03xczU17A5+Xktuch8SuU1W7BjSUsA XMrtRSlCTiAE5G4P4tjafGm8qPGCF6u/0/LguYd5UO4nLfziSXnLEyeveNyvbiU0nWYG 46+vZW9afiY/un3JGYdVHzrGdjjbLvwB/TstuWHAkVtWPVmQR/dfM3TW1CM+ZWd2fO7O 9yTiEBsda9s60mgXxYoNMkbk6L5iSjvxxcm4Fm7sHJO0md7pC9dn3JJUyGCwQgYAnDDT I2WE5ilgV2eKXn+bVtU03afbGNdsnc5PIyR0EgAfG8VMiAxxZ3ka1SwMeQW+X9KBmTEw NhHA== 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=/dNNah2bBxevUKsBWn1B/bwQ+MlFQbmQIJjD2c9LIec=; b=fw0/QkoUxCO6QRf3xoMzIZRx1Uut4XOLfu1TGAvRM4s/u3TDdXe4YqaSgFbOrQx5yp hny9AGSycSgy7GshmZE3gCPAlW/5rHhrAR6b5vGKpPEqM8FI+LJGGBLKOMVudxhToLkx IFV0hkxBuGYw41agQodHJY7iRRvjfk6h0LX4A6SXYXLylqVu0Z6nfhdKLogwebeo85aw JhIotpAOUupC21JnBX8nVBtRe+s9bqVoYQS5yEMyXPHxIGgE1CqGs9zoYXaBBvhSbnZx f5Y1zp7NDv7jCGDjcq+OXqpgT3kBMZ6CGqhcT0vpA+Aw7DuRW6F+D+vzPsdxGtmP5AL5 T/bg== X-Gm-Message-State: AD7BkJKtAwnQqYQGySnSyfhgxPuNly9qEZt3iqjFbxqVvIXVgZgKapf5aK54R18VsuedAjZ0Qiu5PuXNieq+RA== MIME-Version: 1.0 X-Received: by 10.50.59.242 with SMTP id c18mr20277883igr.4.1457989856394; Mon, 14 Mar 2016 14:10:56 -0700 (PDT) Received: by 10.79.115.141 with HTTP; Mon, 14 Mar 2016 14:10:56 -0700 (PDT) In-Reply-To: <20160314203933.GA520@notk.org> References: <20160314201432.GA28654@notk.org> <20160314203933.GA520@notk.org> Date: Mon, 14 Mar 2016 14:10:56 -0700 Message-ID: From: Martin DeMello To: Adrien Nader Cc: whitequark , "caml-list@inria.fr" Content-Type: multipart/alternative; boundary=047d7bea423e7a058d052e08b7a9 Subject: Re: [Caml-list] [ANN] opam-cross-windows --047d7bea423e7a058d052e08b7a9 Content-Type: text/plain; charset=UTF-8 Yep, metapackage worked like a charm! Thanks, I think I've gotten too used to just searching for the packages marked -dev when I run into compilation issues. martin On Mon, Mar 14, 2016 at 1:39 PM, Adrien Nader wrote: > On Mon, Mar 14, 2016, Martin DeMello wrote: > > 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. > > These are the packages for the headers and libraries that are required > to get linking against Windows libraries, nothing more. In particular > this doesn't provide a binutils nor a GCC. The metapackage should > therefore solve your (current) issue. > > -- > Adrien Nader > --047d7bea423e7a058d052e08b7a9 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Yep, metapackage worked like a charm! Thanks, I think I= 9;ve gotten too used to just searching for the packages marked -dev when I = run into compilation issues.

martin

On Mon, Mar 14, 2016 at 1:= 39 PM, Adrien Nader <adrien@notk.org> wrote:
On Mon, Mar 14, 2016, Martin DeMello wrot= e:
> Oh, it's just a matter of installing packages one by one until thi= ngs
> 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= .

These are the packages for the headers and libraries that are requir= ed
to get linking against Windows libraries, nothing more. In particular
this doesn't provide a binutils nor a GCC. The metapackage should
therefore solve your (current) issue.

--
Adrien Nader

--047d7bea423e7a058d052e08b7a9--