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 60FD37FEFE for ; Sat, 25 Jun 2016 22:06:42 +0200 (CEST) IronPort-PHdr: 9a23:sg6FvhcvLGTbR3yzRCBH3+I4lGMj4u6mDksu8pMizoh2WeGdxc6zZx7h7PlgxGXEQZ/co6odzbGH6+a4CCdZusbJmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/mj6bqqtaKOFUArQH+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t4XXskyJdgyC6WcGVX1S2j9JCAjM4RWwFsP0syD6v+d5njKdMMLqV7cscTWk86pvDhTvjXFUGSQ+9TT4g8Zqja9f6CmqpxFlzpScNI6cPuB/c6ebZtgaSHBMRO5eUiVABsW3aI5ZXLlJBvpRs4So/whGlhC5HwT5Qbq3kjI= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f172.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.223.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.223.172 as permitted sender) identity=mailfrom; client-ip=209.85.223.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@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-io0-f172.google.com) identity=helo; client-ip=209.85.223.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-io0-f172.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CdAABJ425XhqzfVdFcgnBsOH0Gpy2HSostgXsihXYCgRsHOBQBAQEBAQEBAREBAQEICwsJIS+CMoIbAQEDARIRHQEIEx0BAwELBgULNwICIgERAQUBHAYKCSKHcwEDDwgOqTeBMT4xizuBaoJaBYZnChknDVKDNwEBAQEBAQEDAQEBAQEBAQEBAQEUAgYQhhiETYRtglSCWgWIdIpZhTSBWIQwiC+BaYgChTmOQBIegQ8egjEegXMgMgEBiUwBAQE X-IPAS-Result: A0CdAABJ425XhqzfVdFcgnBsOH0Gpy2HSostgXsihXYCgRsHOBQBAQEBAQEBAREBAQEICwsJIS+CMoIbAQEDARIRHQEIEx0BAwELBgULNwICIgERAQUBHAYKCSKHcwEDDwgOqTeBMT4xizuBaoJaBYZnChknDVKDNwEBAQEBAQEDAQEBAQEBAQEBAQEUAgYQhhiETYRtglSCWgWIdIpZhTSBWIQwiC+BaYgChTmOQBIegQ8egjEegXMgMgEBiUwBAQE X-IronPort-AV: E=Sophos;i="5.26,528,1459807200"; d="scan'208,217";a="224094658" Received: from mail-io0-f172.google.com ([209.85.223.172]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 25 Jun 2016 22:06:41 +0200 Received: by mail-io0-f172.google.com with SMTP id t74so124766875ioi.0 for ; Sat, 25 Jun 2016 13:06:41 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=IiQnKXyE8QPlAYHSJg89JQxVS/GBBEUI46lFO8usqkQ=; b=NrJE+f5MW3IhEbO1WzFad18+uWBc2KyrZtIrNSKrz0mhGdl2nsgcuqQ8J76yTL58GJ MUmyIkbXUbNsTUThZSiOk1lua0QY7Ox+Ek5EZGIuU3Idf6HBpDYMnb/uMji8KVdNDvhZ ShW7fh9bietEpk5R8E864DgSyyuC8yyGA3TSfi1WB0Z0TlwdNANWl+0ljaMSeGY4VW4W gCH+0DZzGhFcJT7GjbPid+sxtSIhtXEv+oewR7CxMOuDjosOqgAMzvZlMTumJFrX7L+O x6Ar4yfYrtVI76oAED6QH1mBYe2KCxErCYvtMrPvU6Z73kXPNMGH2XQE7gGxmkaw39vA e7rw== 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:from:date :message-id:subject:to:cc; bh=IiQnKXyE8QPlAYHSJg89JQxVS/GBBEUI46lFO8usqkQ=; b=cIU1LrTKPlNmsK+26vQTCPvE7zxx3PUtLMW7PhSauhJkxSwlyrux4V3SEH3hQTSsxX 7dpFA/52pkTC1TtkvhZlQQNGF672uFo8uXIUlf2yE4NCiRDAfGEGi+rXahFP4TbkISJg +Kv8F2Zr54tD2QSUtuWZHpIbaBcQr4Z+XoDN+1gEMZ6H+qCN+2Lnr1a6ambaN4JJepnz clW7vkm/7CInlAIlvNjB0PZRN2285DrZkOKPwsht1uy4nY1jKHUOIw3ijtebbRDSj94D wACG/swQPdbIfx8tkAlTppAXCxtwintUpOmpqL5XKVpqA2uT+TbEMMOaeQ3Pd6IAciE6 cjvA== X-Gm-Message-State: ALyK8tIvbU6OFJFkmd0Gu/oW0krKETfxn9h62ywu2oGxpCTuIwGgtdxOh7L0ahjcqitpOkR9sOZXEdD4iQOEHg== X-Received: by 10.107.26.137 with SMTP id a131mr10525417ioa.30.1466885200099; Sat, 25 Jun 2016 13:06:40 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.136.70 with HTTP; Sat, 25 Jun 2016 13:06:00 -0700 (PDT) In-Reply-To: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B456@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B393@IRSMSX102.ger.corp.intel.com> <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B3EA@IRSMSX102.ger.corp.intel.com> <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B456@IRSMSX102.ger.corp.intel.com> From: Gabriel Scherer Date: Sat, 25 Jun 2016 16:06:00 -0400 Message-ID: To: "Soegtrop, Michael" Cc: "caml-list@inria.fr" Content-Type: multipart/alternative; boundary=001a113fd53e473f2505361fd338 Subject: Re: [Caml-list] Building ocamlbuild with opam fails after opam switch --001a113fd53e473f2505361fd338 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable The opam variables `foo` is accessed as %{foo}% in opam metadata, so you should use "PREFIX=3D%{prefix}%" On Sat, Jun 25, 2016 at 1:32 PM, Soegtrop, Michael < michael.soegtrop@intel.com> wrote: > Dear Gabriel, > > > > with your pointers I found it. > > > > I tried two things, one is to switch to a mingw64 4.03.0 compiler package > I made myself. In this, as it looks, I messed up the transfer of the pref= ix > to make (see my compiler file below), which results in the issues with > building ocamlbuild. > > > > Then I tried, as a cross check, a switch to the original opam 4.03.0 > package and building ocamlbuild there. This also fails, but cause of a > different reason (mantis #7268). Somehow I mixed things up in scrolling up > my shell and thought it was the same bug. > > > > The .comp file I experimented with is copied below. I didn=E2=80=99t yet = find the > right syntax to combine a string and a variable into one argument > ("PREFIX=3D"prefix), need to read the opam manual =E2=80=A6 > > > > Best regards, > > > > Michael > > > > opam-version: "1" > > version: "4.03.0" > > src: "https://github.com/ocaml/ocaml/archive/4.03.0.tar.gz" > > build: [ > > [ "git" "clone" "https://github.com/alainfrisch/flexdll.git" ] > > [ "cp" "flexdll/flexdll.h" > "/usr/x86_64-w64-mingw32/sys-root/mingw/include" ] > > [ "cp" "config/m-nt.h" "config/m.h" ] > > [ "cp" "config/s-nt.h" "config/s.h" ] > > [ "cp" "config/Makefile.mingw64" "config/Makefile" ] > > [ make "-f" "Makefile.nt" "PREFIX=3D"prefix "flexdll" ] > > [ make "-f" "Makefile.nt" "PREFIX=3D"prefix "world" ] > > [ make "-f" "Makefile.nt" "PREFIX=3D"prefix "opt" ] > > [ make "-f" "Makefile.nt" "PREFIX=3D"prefix "opt.opt" ] > > [ make "-f" "Makefile.nt" "PREFIX=3D"prefix "install" ] > > ] > > Intel Deutschland GmbH > Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany > Tel: +49 89 99 8853-0, www.intel.de > Managing Directors: Christin Eisenschmid, Christian Lamprechter > Chairperson of the Supervisory Board: Nicole Lau > Registered Office: Munich > Commercial Register: Amtsgericht Muenchen HRB 186928 > --001a113fd53e473f2505361fd338 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
The opam variables `foo` is accessed as %{foo}% in op= am metadata, so you should use

=C2=A0 "PREFIX= =3D%{prefix}%"

On Sat, Jun 25, 2016 at 1:32 PM, Soegtrop, Michael <m= ichael.soegtrop@intel.com> wrote:

<= span style=3D"font-size:11.0pt;font-family:"Calibri",sans-serif;c= olor:#1f497d">Dear Gabriel,

=C2=A0

with your pointers I found it.=

=C2=A0

I tried two things, one is to switch = to a mingw64 4.03.0 compiler package I made myself. In this, as it looks, I= messed up the transfer of the prefix to make (see my compiler file below), which results in the issues with building oc= amlbuild.

=C2=A0

Then I tried, as a cross check, a swi= tch to the original opam 4.03.0 package and building ocamlbuild there. This= also fails, but cause of a different reason (mantis #7268). Somehow I mixed things up in scrolling up my shell and thought it = was the same bug.

=C2=A0

The .comp file I experimented with is= copied below. I didn=E2=80=99t yet find the right syntax to combine a stri= ng and a variable into one argument ("PREFIX=3D"prefix), need to read the opam manual =E2=80=A6

=C2=A0

Best regards,

=C2=A0

Michael

=C2=A0

opam-version: "1&quo= t;

version: "4.03.0&quo= t;

src: "https:= //github.com/ocaml/ocaml/archive/4.03.0.tar.gz"

build: [

=C2=A0 [ "git" "clone&= quot; "https://github.com/alainfrisch/flexdll.git" ]

=C2=A0 [ "cp" "flexdll= /flexdll.h" "/usr/x86_64-w64-mingw32/sys-root/mingw/include"= ]

=C2=A0 [ "cp" "config/= m-nt.h" "config/m.h" ]

=C2=A0 [ "cp" "config/= s-nt.h" "config/s.h" ]

=C2=A0 [ "cp" "config/= Makefile.mingw64" "config/Makefile" ]

=C2=A0 [ make "-f" "Ma= kefile.nt" "PREFIX=3D"prefix "flexdll" ]=

=C2=A0 [ make "-f" "Ma= kefile.nt" "PREFIX=3D"prefix "world" ]

=C2=A0 [ make "-f" "Ma= kefile.nt" "PREFIX=3D"prefix "opt" ]=

=C2=A0 [ make "-f" "Ma= kefile.nt" "PREFIX=3D"prefix "opt.opt" ]=

=C2=A0 [ make "-f" "Ma= kefile.nt" "PREFIX=3D"prefix "install" ]=

]

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, ww= w.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928


--001a113fd53e473f2505361fd338--