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 q33CWqIe020187 for ; Tue, 3 Apr 2012 14:32:53 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al0BAH/tek/RVdY2kGdsb2JhbAArGha3UggiAQEBAQkJDQcUBCOCCQEBAQQSAiQIARsPDQEBAwwGBQsNCQwKDwkDAgECAQ8CEQEFARwGDQEFAgEBHodnCymdJQqMFoJxhRc/iHYBBQuKA3SCNIMwBJVjgRGEX4U9BoMdPYQMgVI X-IronPort-AV: E=Sophos;i="4.75,362,1330902000"; d="scan'208";a="138867240" Received: from mail-bk0-f54.google.com ([209.85.214.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 03 Apr 2012 14:32:47 +0200 Received: by bkcjc3 with SMTP id jc3so5850062bkc.27 for ; Tue, 03 Apr 2012 05:32: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:cc:subject :references:in-reply-to:content-type:content-transfer-encoding; bh=5mZgzmbNTf34N2UUUBwT+1+EvR0o7Mq006qGpmHJ2eE=; b=Vsg62inm5H/SLQf78LtpETW3TiWFe+FDWfq2tcI9VBejyKWC0mDzJWHWczY2u+jaEX gO0l/HMWaM/UVE6Arb2wbvmQ7vy7mYFp9lwbmZcCmAfKrjjkGxj7wfp4DFlz8LRRnHIO bom6x2oXKk0Hj+k9jaBh7htoAwoZqV6JvrqwV1ei+1+MC4R5WK6Q/hITBuZQs2b8iNn1 u/FUqnGEvHdmj8hvCOpcXBfxcdgK92Zza5L7/UQ1fBACkVlrMwbS/6Cesx+QHequQEC4 FApOoj6G6utKtkSaVxxpgg8Lm/s5CqbXzzloZAw1/ybOPSHyeP2PXLQs1xs6jLLFKzia TScw== Received: by 10.204.13.72 with SMTP id b8mr5310463bka.105.1333456366951; Tue, 03 Apr 2012 05:32:46 -0700 (PDT) Received: from [128.93.11.91] (sauternes.inria.fr. [128.93.11.91]) by mx.google.com with ESMTPS id x4sm45560827bkv.8.2012.04.03.05.32.44 (version=SSLv3 cipher=OTHER); Tue, 03 Apr 2012 05:32:45 -0700 (PDT) Message-ID: <4F7AEDE2.3070007@gmail.com> Date: Tue, 03 Apr 2012 14:32:34 +0200 From: Jonathan Protzenko User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:14.0) Gecko/20120402 Thunderbird/14.0a1 MIME-Version: 1.0 To: Kakadu CC: caml-list@inria.fr References: <4F730303.8000802@gmail.com> <4F75BFFA.6040407@gmail.com> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Re: New version of the binary installer for Windows On 03/30/2012 07:38 PM, Kakadu wrote: > Hi Jonathan > > Can you test compilation using camlp4r preprocessor? > It says that "OCaml and preprocessor have incompatible version" on my windows. Same here. I have no idea why this is, maybe camlp4r hasn't been updated with the latest changes on trunk, or maybe it is unable to parse the "+dev" version number... anyway, I'm not a camlp4 expert, so I can't do much here :). Cheers, jonathan > > Best wishes, > Kakadu > > On Fri, Mar 30, 2012 at 6:15 PM, Jonathan Protzenko > wrote: >> 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 >> >> >>