From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q2UEFdPn012499 for ; Fri, 30 Mar 2012 16:15:39 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApUBALK+dU/RVde2kGdsb2JhbAAqGha4TQgiAQEBAQkJDQcUBCOCCQEBAQQSAiwBGxwCAwwGBQsNCQwKDwkDAgECARERAQUBHBMIAQEeh2cLKZxOCowWgnGFIz+IdgEFC4pvgmaDMASVY4ERhF+FPIMjPYJZgTKBUg X-IronPort-AV: E=Sophos;i="4.75,344,1330902000"; d="scan'208,217";a="138394596" Received: from mail-ey0-f182.google.com ([209.85.215.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 30 Mar 2012 16:15:34 +0200 Received: by mail-ey0-f182.google.com with SMTP id f13so257130eaa.27 for ; Fri, 30 Mar 2012 07:15:34 -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:references :in-reply-to:content-type; bh=V7lRGaIgYS2zIn/iE4HwtDmTv93vE8NyFn0v4KpvhdM=; b=pzP0Nn/h/hlgXe3XI7r2hrGOSLTJkWbT9gawnEk62aU120DRH9bE3IDMrVkZhtTWje mqy+5IZ7+4GUbUXCJmy/00JpgSW4p2yiT/ZVy3w5z5AoBCtU3PJ1zscGXz3UH4//6SVm wlqA9OsgweZt/lL57Kijau0oMVrNy8NkMPg7UpfUX0MgW7ATB25+lEhH2tmVhog6QnlU oaOSCH33cCmp+SSixW7n3iCR6m/jbmKSY/aIF59mh27rzENmB51Ry3LWQfJxe4zvf3D4 82zLtS/xp+VcDAQpp6icuqoFthT4ZY5CsgJ69yd8/4q31egxA6Fwggudym9k9myP8mHh nHeA== Received: by 10.14.39.6 with SMTP id c6mr645681eeb.121.1333116934039; Fri, 30 Mar 2012 07:15:34 -0700 (PDT) Received: from [128.93.11.91] (sauternes.inria.fr. [128.93.11.91]) by mx.google.com with ESMTPS id d54sm33411922eei.9.2012.03.30.07.15.32 (version=SSLv3 cipher=OTHER); Fri, 30 Mar 2012 07:15:33 -0700 (PDT) Message-ID: <4F75BFFA.6040407@gmail.com> Date: Fri, 30 Mar 2012 16:15:22 +0200 From: Jonathan Protzenko User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:14.0) Gecko/20120329 Thunderbird/14.0a1 MIME-Version: 1.0 To: caml-list@inria.fr References: <4F730303.8000802@gmail.com> In-Reply-To: <4F730303.8000802@gmail.com> Content-Type: multipart/alternative; boundary="------------090404070100000705080101" Subject: [Caml-list] Re: New version of the binary installer for Windows This is a multi-part message in MIME format. --------------090404070100000705080101 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Hi again, Following all the good suggestions in this thread, I've updated the installer. It now downloads and runs cygwin's setup.exe so as to provide a fully working environment for OCaml on windows after the installer completes. The cygwin installer runs in silent mode, that is, the progress window shows up, but there is no user prompt. I've also looked into odb compatibility, and it looks like after writing a few patches, odb now runs fine on Windows. However, Oasis-generated setup.ml files do not work at all on windows. Any help in that area would be highly appreciated. Thanks, jonathan On 03/28/2012 02:24 PM, Jonathan Protzenko wrote: > Hi, > > I've spent the past few days improving the OCaml installer for > windows. This should solve all issues that have been mentioned > previously. This in preparation for the upcoming 4.0 release ; > therefore, the "beta installer" below will install a fairly recent > trunk version of OCaml. > > http://yquem.inria.fr/~protzenk/caml-installer/ocaml-4.01.0+dev0-i686-mingw64.exe > > *Changelog:* > > - The installer packages a working and well-configured findlib, out of > the box. This means you can open up cmd.exe, type ocaml, then type > #use "topfind";; in the top-level. > - The installer no longer blasts the PATH variable if it is too long. > Moreover, it is now able to deal with PATHs that are up to 8192 bytes > long. > - The installer is now able to deal with multi-user privileges: in > particular, you can use this installer on a *limited account*: OCaml > will properly install into your local "Application Data" folder if you > don't have administrator rights on your machine. This should be > particularly useful for school computers that run Windows. > - Various fixes: better cleanups on exit, minor fixes for > OCamlWinPlus, properly warn the user if it was unable to download > ActiveTCL from the internet. > - The installer packages a newer version of flexlink, so you shouldn't > have any more issues with gcc not accepting the -mno-cygwin option. > However, the new, official toolchain uses the mingw64 32-bit > compilers. This means flexlink will look for a i686-w64-mingw32-gcc in > your path whenever you try to do native compilation. The official, > recommended way to work is to install cygwin and its mingw64 packages. > While in theory it should be possible to work within a MSys > environment, some issues [1] currently prevent you from doing so. > > [1] http://caml.inria.fr/mantis/view.php?id=5465 > > Please let me know if anything doesn't work as expected. This will be > the official installer for the 4.0 release. > > Cheers, > > jonathan --------------090404070100000705080101 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Hi again,

Following all the good suggestions in this thread, I've updated the installer. It now downloads and runs cygwin's setup.exe so as to provide a fully working environment for OCaml on windows after the installer completes. The cygwin installer runs in silent mode, that is, the progress window shows up, but there is no user prompt.

I've also looked into odb compatibility, and it looks like after writing a few patches, odb now runs fine on Windows. However, Oasis-generated setup.ml files do not work at all on windows. Any help in that area would be highly appreciated.

Thanks,

jonathan

On 03/28/2012 02:24 PM, Jonathan Protzenko wrote:
Hi,

I've spent the past few days improving the OCaml installer for windows. This should solve all issues that have been mentioned previously. This in preparation for the upcoming 4.0 release ; therefore, the "beta installer" below will install a fairly recent trunk version of OCaml.

http://yquem.inria.fr/~protzenk/caml-installer/ocaml-4.01.0+dev0-i686-mingw64.exe

Changelog:

- The installer packages a working and well-configured findlib, out of the box. This means you can open up cmd.exe, type ocaml, then type #use "topfind";; in the top-level.
- The installer no longer blasts the PATH variable if it is too long. Moreover, it is now able to deal with PATHs that are up to 8192 bytes long.
- The installer is now able to deal with multi-user privileges: in particular, you can use this installer on a limited account: OCaml will properly install into your local "Application Data" folder if you don't have administrator rights on your machine. This should be particularly useful for school computers that run Windows.
- Various fixes: better cleanups on exit, minor fixes for OCamlWinPlus, properly warn the user if it was unable to download ActiveTCL from the internet.
- The installer packages a newer version of flexlink, so you shouldn't have any more issues with gcc not accepting the -mno-cygwin option. However, the new, official toolchain uses the mingw64 32-bit compilers. This means flexlink will look for a i686-w64-mingw32-gcc in your path whenever you try to do native compilation. The official, recommended way to work is to install cygwin and its mingw64 packages. While in theory it should be possible to work within a MSys environment, some issues [1] currently prevent you from doing so.

[1] http://caml.inria.fr/mantis/view.php?id=5465

Please let me know if anything doesn't work as expected. This will be the official installer for the 4.0 release.

Cheers,

jonathan


--------------090404070100000705080101--