From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <shayne.fletcher.50@gmail.com>
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 2D3827F7B4
	for <caml-list@sympa.inria.fr>; Sat,  1 Feb 2014 19:12:01 +0100 (CET)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  shayne.fletcher.50@gmail.com) identity=pra;
  client-ip=209.85.220.43;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="shayne.fletcher.50@gmail.com";
  x-sender="shayne.fletcher.50@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  shayne.fletcher.50@gmail.com designates 209.85.220.43 as
  permitted sender) identity=mailfrom; client-ip=209.85.220.43;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="shayne.fletcher.50@gmail.com";
  x-sender="shayne.fletcher.50@gmail.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@mail-pa0-f43.google.com) identity=helo;
  client-ip=209.85.220.43;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="shayne.fletcher.50@gmail.com";
  x-sender="postmaster@mail-pa0-f43.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ah4FAPs37VLRVdwrlGdsb2JhbABZg0RXtQuIUASBAggWDgEBAQEHCwsJEiqCHFABGx4DEggBB10BEQEFAQ4BiBYBAxGcXoMIjFyDCZM4ChknDWSIYAEFDI8ahCIEiUmOYYEyiy6DVBgphHob
X-IPAS-Result: Ah4FAPs37VLRVdwrlGdsb2JhbABZg0RXtQuIUASBAggWDgEBAQEHCwsJEiqCHFABGx4DEggBB10BEQEFAQ4BiBYBAxGcXoMIjFyDCZM4ChknDWSIYAEFDI8ahCIEiUmOYYEyiy6DVBgphHob
X-IronPort-AV: E=Sophos;i="4.95,760,1384297200"; 
   d="scan'208";a="47437026"
Received: from mail-pa0-f43.google.com ([209.85.220.43])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 01 Feb 2014 19:12:00 +0100
Received: by mail-pa0-f43.google.com with SMTP id rd3so5627208pab.30
        for <caml-list@inria.fr>; Sat, 01 Feb 2014 10:11:58 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:from:date:message-id:subject:to:content-type;
        bh=tuh6RlkYCks9X6iP/KY6sr6ePWxJCDKHlV82cu6oc44=;
        b=0D+SUVMjKZCubOxgQrLPjg2DdlMp9g0p0MS9mkVGqcXs/zTRzVNZnuSJSKNnqVc0lg
         Z1/m4xdpt+WOAdJcuycpCE3Y5VRTz1w3Mk4uDFlRbt9LBjk2apOLRwCxaYWuvsl0G2AD
         UEQIbg+BuKlVbyfDH8nLPZXImr4bNkXr/wSwLEP/xmMBrYCyi8YsGxrGcJR6zsM4ZURx
         kT9sj8qIPnbH9NZbHWbBws3QXdeNTtqyRro2tct9cNeX6tfrsOFldZkPtt0HaJkK/tvc
         C8UwWCLUTgZjIsbvhzSU8GAfW4O4tk+liGwhpqmgTVDPZpPq14za7bui9iLV920uLlA3
         Hkew==
X-Received: by 10.68.138.165 with SMTP id qr5mr28076481pbb.123.1391278318150;
 Sat, 01 Feb 2014 10:11:58 -0800 (PST)
MIME-Version: 1.0
Received: by 10.70.44.167 with HTTP; Sat, 1 Feb 2014 10:11:38 -0800 (PST)
From: Shayne Fletcher <shayne.fletcher.50@gmail.com>
Date: Sat, 1 Feb 2014 10:11:38 -0800
Message-ID: <CAMsAzy-u3RPgkGUaBAzrdvWFspGKCb1Vqt+BHc8BFvjGadhjtw@mail.gmail.com>
To: caml-list@inria.fr
Content-Type: multipart/alternative; boundary=047d7b15ae41efeae004f15c398d
Subject: [Caml-list] [Windows 8.1/x64] Native port with Microsoft SDK

--047d7b15ae41efeae004f15c398d
Content-Type: text/plain; charset=ISO-8859-1

Just an FYI - good experience today building 4.01.0 from source on
Windows-8.1 professional x64 and the Windows SDK for Windows 7 following
"README.win32 " section, "The native Win64 port built with Microsoft
Windows SDK". The only wrinkle was a need to comment L367 of Makefile.nt
(@chmod -w utils/config.ml) - some problem with chmod not working right
with this OS. By the way, sorry in advance if this question has come up
before... Where is information like this best sent to these days - is there
a github issues tracker or some-such?

-- 
Shayne Fletcher

--047d7b15ae41efeae004f15c398d
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_default" style=3D"font-family:tahoma,s=
ans-serif">Just an FYI - good experience today building 4.01.0 from source =
on Windows-8.1 professional x64 and the Windows SDK for Windows 7 following=
 &quot;README.win32 &quot; section, &quot;The native Win64 port built with =
Microsoft Windows SDK&quot;. The only wrinkle was a need to comment L367 of=
 Makefile.nt (@chmod -w utils/<a href=3D"http://config.ml">config.ml</a>) -=
 some problem with chmod not working right with this OS. By the way, sorry =
in advance if this question has come up before... Where is information like=
 this best sent to these days - is there a github issues tracker or some-su=
ch?</div>

<div><br></div>-- <br>Shayne Fletcher
</div>

--047d7b15ae41efeae004f15c398d--