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 951C87F7C2 for ; Tue, 4 Feb 2014 11:47:59 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of esther.baruk@gmail.com) identity=pra; client-ip=209.85.215.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="esther.baruk@gmail.com"; x-sender="esther.baruk@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of esther.baruk@gmail.com designates 209.85.215.54 as permitted sender) identity=mailfrom; client-ip=209.85.215.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="esther.baruk@gmail.com"; x-sender="esther.baruk@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-la0-f54.google.com) identity=helo; client-ip=209.85.215.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="esther.baruk@gmail.com"; x-sender="postmaster@mail-la0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsACAO3E8FLRVdc2lGdsb2JhbABZg0RXtUKIVoEBCBYOAQEBAQcLCwkSKoIlAQEEAUABGx0BAwELBgUEAQY7IQEBEQEFAQ4BDQYTh3ABAwkIoG6MXYMJk18KGScNZIhPEQEFDIxUgVBFB4Q4BJY+gWyBMossA4NTGCmEWjs X-IPAS-Result: AsACAO3E8FLRVdc2lGdsb2JhbABZg0RXtUKIVoEBCBYOAQEBAQcLCwkSKoIlAQEEAUABGx0BAwELBgUEAQY7IQEBEQEFAQ4BDQYTh3ABAwkIoG6MXYMJk18KGScNZIhPEQEFDIxUgVBFB4Q4BJY+gWyBMossA4NTGCmEWjs X-IronPort-AV: E=Sophos;i="4.95,778,1384297200"; d="scan'208";a="56778764" Received: from mail-la0-f54.google.com ([209.85.215.54]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 04 Feb 2014 11:47:59 +0100 Received: by mail-la0-f54.google.com with SMTP id y1so6416565lam.13 for ; Tue, 04 Feb 2014 02:47:58 -0800 (PST) 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:content-type; bh=Bv5C5kGZFVFeVp9DJ2bhkyHGk5BJxdPRlHfOU6CfSHc=; b=0xzmESRUAX5Q9wQUpc7JxhfJ9JvM0sMcAkbfrhn3K0+saiNPZEYdaM9BT14JVyKUGF Ju9v8NZjVqiAn/xae11wFp+KOvju/DoFe6bdac3iEFpqsZovvAPb9FEM+Ms1O44aegM3 fJsCBwKuuJkZMFWUya2HjDYTpqaYsf0YzKxcJ6BL49VtDdnzRKQYDkPubHGIPM/V1cE4 WLUBU4nXBK6cTFjKT/PQMRaVdyR+S2rH+eeddG7c8My/YI7chSUVop83kRA2Atrd64+5 nV1NcmLXiQJ65vQU55/29HN9Fo1aTm+so6jpjQoVuDTVT+M5bx9JgZByMg7nZ0CyU+7j /OiA== X-Received: by 10.112.173.105 with SMTP id bj9mr882515lbc.57.1391510878366; Tue, 04 Feb 2014 02:47:58 -0800 (PST) MIME-Version: 1.0 Received: by 10.112.90.4 with HTTP; Tue, 4 Feb 2014 02:47:38 -0800 (PST) In-Reply-To: References: From: Esther Baruk Date: Tue, 4 Feb 2014 11:47:38 +0100 Message-ID: To: Shayne Fletcher Cc: "caml-list@inria.fr users" Content-Type: multipart/alternative; boundary=001a11c23c089b30b304f1925fe1 Subject: Re: [Caml-list] [Windows 8.1/x64] Native port with Microsoft SDK --001a11c23c089b30b304f1925fe1 Content-Type: text/plain; charset=ISO-8859-1 Hi Shayne, You can submit a ticket on the Caml bug tracker : http://caml.inria.fr/mantis/ Cheers, Esther Baruk On Sat, Feb 1, 2014 at 7:11 PM, Shayne Fletcher < shayne.fletcher.50@gmail.com> wrote: > 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 > --001a11c23c089b30b304f1925fe1 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Hi Shayne,

You can submit a ticket on t= he Caml bug tracker :=A0http://cam= l.inria.fr/mantis/

Cheers,

Esther Baruk


On Sat, Feb 1, 2014 at 7:11 PM, Shayne F= letcher <shayne.fletcher.50@gmail.com> wrote:
=
Just an FYI -= good experience today building 4.01.0 from source on Windows-8.1 professio= nal x64 and the Windows SDK for Windows 7 following "README.win32 &quo= t; section, "The native Win64 port built with Microsoft Windows SDK&qu= ot;. 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 adv= ance 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

--001a11c23c089b30b304f1925fe1--