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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 593E27ED47 for ; Fri, 20 Jul 2012 13:47:48 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jonathan.protzenko@gmail.com) identity=pra; client-ip=209.85.212.180; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="jonathan.protzenko@gmail.com"; x-sender="jonathan.protzenko@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of jonathan.protzenko@gmail.com designates 209.85.212.180 as permitted sender) identity=mailfrom; client-ip=209.85.212.180; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="jonathan.protzenko@gmail.com"; x-sender="jonathan.protzenko@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f180.google.com) identity=helo; client-ip=209.85.212.180; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="jonathan.protzenko@gmail.com"; x-sender="postmaster@mail-wi0-f180.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmoDAPJECVDRVdS0i2dsb2JhbABFhDCBALQHCCIBAQEKCwsHEgYjgjkCJAgBGxwCAxIQFhYYAwIBAgEREQEFASINCAEBHodbAQMMAQqdK4JhCQOMI4JxhTMKGScNV4hxAQUMkiADlUSBE40ZPoQAgVQj X-IronPort-AV: E=Sophos;i="4.77,622,1336341600"; d="scan'208";a="151254427" Received: from mail-wi0-f180.google.com ([209.85.212.180]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 20 Jul 2012 13:47:47 +0200 Received: by wibhm6 with SMTP id hm6so343067wib.9 for ; Fri, 20 Jul 2012 04:47:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject :content-type:content-transfer-encoding; bh=Rzg8jSQ49mvq1bhyMOzNPJWQGo2w6T3UtquNRGERfzg=; b=mvASq9zcxpmZmcBP34q132hk2f97cyvkqrjqX9nHBOeN3NH+wYgy+o2lQXAfEEGCmW ZiIBKq3rmjfDGgd3CENqpFBevrm4hB2Q9vSnG5Yobng1EDk2Rq0jgdHJdDDkXHDAKQya XJBGijQ9BYG+Z/lIXSesM5KIQzrx3OJdH5lJrV2cat37M1pYjDzVVbNL0ynIV+q3VLlg +XSM/xD9bH9n/s6Mbn0roPIQrtNmGbwf/w/4wM+5W9PTmwupwLwmXRrQiIAHG2+6alYg vYv7SwPDwFjRcH5wNGcAorU4mKimr8BnIpovgZFcja3KgBviwU8wVdnyr2KGGEaL0Ei0 XrzQ== Received: by 10.216.147.199 with SMTP id t49mr3454297wej.54.1342784867323; Fri, 20 Jul 2012 04:47:47 -0700 (PDT) Received: from ?IPv6:2001:660:3013:3:f6ce:46ff:fe2d:a9ae? ([2001:660:3013:3:f6ce:46ff:fe2d:a9ae]) by mx.google.com with ESMTPS id 7sm781483eeb.3.2012.07.20.04.47.45 (version=SSLv3 cipher=OTHER); Fri, 20 Jul 2012 04:47:46 -0700 (PDT) Message-ID: <5009455D.6070504@gmail.com> Date: Fri, 20 Jul 2012 13:47:41 +0200 From: Jonathan Protzenko User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/17.0 Thunderbird/17.0a1 MIME-Version: 1.0 To: "caml-list@inria.fr" Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: [Caml-list] OCaml 4.00.0+rc1 installer for Windows Hi, Following Damien's announcement, the installer for windows has been updated, and is now available at . Changelog: - update flexdll to 0.30 - update findlib to 1.3.3 - install to c:\ocaml by default, since most packages, including oasis' own setup.ml, cannot deal with spaces in paths (issue #14) - instruct cygwin to use %TEMP%\cygwin as the temporary directory (issue #16) If you see any issues with it, speak up now! Cheers, jonathan