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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id E36A17EEBF for ; Wed, 22 Jul 2015 18:34:29 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of dra-news@metastack.com) identity=pra; client-ip=62.13.148.161; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of dra-news@metastack.com designates 62.13.148.161 as permitted sender) identity=mailfrom; client-ip=62.13.148.161; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@outmail148161.authsmtp.com) identity=helo; client-ip=62.13.148.161; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="postmaster@outmail148161.authsmtp.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DYAABPxa9VmaGUDT5bgmmBb6kLBppkAoFNTAEBAQEBARIBAQEBAQgLCwchLoQjAQEBAwEDNz8FCwIBCBgKFBAyFwENAQEEDg2IHgkDzWwBAQEBBgEBAQEBAQEBGoYehCyBAoRVMQeDF4EUBYVgjneHVYRdAYFCk26DYYEJgSocgVOCNoEEAQEB X-IPAS-Result: A0DYAABPxa9VmaGUDT5bgmmBb6kLBppkAoFNTAEBAQEBARIBAQEBAQgLCwchLoQjAQEBAwEDNz8FCwIBCBgKFBAyFwENAQEEDg2IHgkDzWwBAQEBBgEBAQEBAQEBGoYehCyBAoRVMQeDF4EUBYVgjneHVYRdAYFCk26DYYEJgSocgVOCNoEEAQEB X-IronPort-AV: E=Sophos;i="5.15,523,1432591200"; d="scan'208";a="140895195" Received: from outmail148161.authsmtp.com ([62.13.148.161]) by mail3-smtp-sop.national.inria.fr with ESMTP; 22 Jul 2015 18:34:29 +0200 Received: from mail-c237.authsmtp.com (mail-c237.authsmtp.com [62.13.128.237]) by punt15.authsmtp.com (8.14.2/8.14.2/) with ESMTP id t6MGYStF024468; Wed, 22 Jul 2015 17:34:28 +0100 (BST) Received: from romulus.metastack.com (114.212-105-213.static.virginmediabusiness.co.uk [213.105.212.114]) (authenticated bits=0) by mail.authsmtp.com (8.14.2/8.14.2/) with ESMTP id t6MGYQUB030045; Wed, 22 Jul 2015 17:34:26 +0100 (BST) Received: from remus.metastack.local (remus.metastack.com [172.16.0.1]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id t6MGYQiN024450 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=FAIL); Wed, 22 Jul 2015 17:34:26 +0100 Received: from Remus.metastack.local ([fe80::547c:3c42:e1da:eda2]) by Remus.metastack.local ([fe80::547c:3c42:e1da:eda2%10]) with mapi id 14.03.0248.002; Wed, 22 Jul 2015 17:34:25 +0100 From: David Allsopp To: Damien Doligez CC: OCaml List Thread-Topic: [Caml-list] Building MSVC ports: coreutils link conflict Thread-Index: AdC+UJaHQrBjSOsmSNOQQDH9a/tTnQAmiWAAAG7R26AA+xXRAAACHpgA Date: Wed, 22 Jul 2015 16:34:24 +0000 Message-ID: References: <003401d0be52$320d6a00$96283e00$@metastack.com> <55A646CA.8050605@lexifi.com> <9D19EF28-A045-4F63-961C-E1EEAEA6ACB0@inria.fr> In-Reply-To: <9D19EF28-A045-4F63-961C-E1EEAEA6ACB0@inria.fr> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [172.16.0.18] Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 Organization: MetaStack Solutions Ltd. X-Scanned-By: MIMEDefang 2.65 on 172.16.0.20 X-Server-Quench: 84d1a77b-308f-11e5-9f75-002590a135d3 X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZZVg1f DC4bFwdFRBksPQFF ChxFJgxfNl8UURhQ KkJXbgASJgdGAnNE X3kJW1VRQFx2U2Bx YQhWIwdcYVRPXwB0 UklLXFNTEBpqBAMB SFoYL24bFmA0eH1w ZUJnEHZZVUw0fUIp Qx9TEj8bZmdoPn0e URVdagoCdwZXfh9H b1l/BXIOZDEEKBgV TUcAFDk0OXBbKT9J d0knMFMWTUcNEXYZ fC4pVS0oB1EeFW04 KAYrN0IdGF1ZNkQ0 MhMqXlQWNx4ZFmUA X-Authentic-SMTP: 61633634383431.1024:706 X-AuthFastPath: 0 (Was 255) X-AuthSMTP-Origin: 213.105.212.114/25 X-AuthVirus-Status: No virus detected - but ensure you scan with your own anti-virus system. Subject: RE: [Caml-list] Building MSVC ports: coreutils link conflict Damien Doligez wrote: > On 2015-07-17, at 17:42, David Allsopp wrote: >=20 > > Given that this conflict is only over link.exe - all the other tools in > the Microsoft toolchain are sensibly, or at least moderately uniquely, > named - would a patch to the compiler (and to flexlink) which searches the > various directories in PATH in order and identifies the first link.exe > which is actually a Microsoft Linker be welcomed (i.e. merged) - an ML- > equivalent to [1], but only used if the linker has been specified given as > "link" (i.e. with no directory)? I'm happy to patch it, but only if it > would be wanted. I don't see a case for doing it for other commands, but > with a conflict in something in coreutils it seems OK to make an > exception, at least to me? >=20 > Yuck. IMO it would be better to add a configure-time option to give the > absolute path to the link executable. Is OCaml soon to be configured on Windows using the standard configure scri= pt (I know there's been some work on it?)? I have dealt with it similarly a= t configure-time in OPAM. I agree that using an absolute path to the link e= xecutable would in general be better. That said, what do you think of Alain= 's suggestion to offload the entire problem to FlexDLL? > In the meantime, what you can do is: >=20 > - create an empty directory (for example, /usr/local/bin/ms-tools) > - put a copy of (or a symlink to) Microsoft's link.exe into it > - add it in front of your path I realise how to solve it!! My point was trying to simplify the myriad inst= ructions for compiling and using a Windows port of OCaml. "symlink to" also= needs many more instructions if it's going to work! David