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 5AFC77FACB for ; Mon, 1 Sep 2014 18:34:17 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of romain.bardou@inria.fr) identity=pra; client-ip=46.105.44.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="romain.bardou@inria.fr"; x-sender="romain.bardou@inria.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of romain.bardou@inria.fr) identity=mailfrom; client-ip=46.105.44.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="romain.bardou@inria.fr"; x-sender="romain.bardou@inria.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mo3.mail-out.ovh.net) identity=helo; client-ip=46.105.44.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="romain.bardou@inria.fr"; x-sender="postmaster@mo3.mail-out.ovh.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkgBAEyfBFQuaSyvnGdsb2JhbABZhzOzRJVzgx8BB4EkEAEBAQEBCAsJCRQphAQBBSMPAVYLGAICBSECAg8COAENBgEJAwgCEogwAaULlFsBF4EsjigugkuBUwEEkjKKKodgkSGDOQEBAQ X-IPAS-Result: AkgBAEyfBFQuaSyvnGdsb2JhbABZhzOzRJVzgx8BB4EkEAEBAQEBCAsJCRQphAQBBSMPAVYLGAICBSECAg8COAENBgEJAwgCEogwAaULlFsBF4EsjigugkuBUwEEkjKKKodgkSGDOQEBAQ X-IronPort-AV: E=Sophos;i="5.04,443,1406584800"; d="scan'208";a="92519181" Received: from 3.mo3.mail-out.ovh.net (HELO mo3.mail-out.ovh.net) ([46.105.44.175]) by mail2-smtp-roc.national.inria.fr with ESMTP; 01 Sep 2014 18:34:16 +0200 Received: from mail177.ha.ovh.net (gw6.ovh.net [213.251.189.206]) by mo3.mail-out.ovh.net (Postfix) with SMTP id 5CF86FF9036 for ; Mon, 1 Sep 2014 18:34:14 +0200 (CEST) Received: from b0.ovh.net (HELO queueout) (213.186.33.50) by b0.ovh.net with SMTP; 1 Sep 2014 18:34:14 +0200 Received: from unknown (HELO ?10.1.202.10?) (postmaster@doomeer.com@194.254.61.161) by ns0.ovh.net with SMTP; 1 Sep 2014 18:34:12 +0200 Message-ID: <5404A002.80105@inria.fr> Date: Mon, 01 Sep 2014 18:34:10 +0200 From: Romain Bardou User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Icedove/24.5.0 MIME-Version: 1.0 To: Jonathan Protzenko , caml users References: <53F61D38.5020704@gmail.com> In-Reply-To: <53F61D38.5020704@gmail.com> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Ovh-Tracer-Id: 11530340947806161573 X-Ovh-Remote: 194.254.61.161 () X-Ovh-Local: 213.186.33.20 (ns0.ovh.net) X-OVH-SPAMSTATE: OK X-OVH-SPAMSCORE: -100 X-OVH-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeejgedruddtucdltddurdefjeefrddttddmucetufdoteggodetrfcurfhrohhfihhlvgemucfqggfjnecuuegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmd X-Spam-Check: DONE|U 0.5/N X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: -100 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeejgedruddtucdltddurdefjeefrddttddmucetufdoteggodetrfcurfhrohhfihhlvgemucfqggfjnecuuegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmd X-Validation-by: romain@bardou.fr Subject: Re: [Caml-list] Feedback wanted about the OCaml windows installer On 21/08/2014 18:24, Jonathan Protzenko wrote: > > Hi, > > Following Damien's announcement of a new rc-candidate, I set out to > refresh the OCaml installer for windows and realized that I could use > some feedback. > > The installer currently distributes: > - ocaml, with native and bytecode compilers > - flexlink > - findlib > - "ocamlwin", the infamous windows top-level, > - camlp4 > - labltk > > Please note that this is not enough to compile native programs, as an > external assembly tool ("as") is required, so without any extras, the > user can only use the top-level, and perform byte-code compilation. > Please note that, even though labltk is distributed, run-time support > libraries are needed for tk programs to run. > > The installer currently: > - offers the option of installing cygwin along with enough packages to > have a working toolchain, including the "as" tool; > - offers the option of downloading and setting up emacs, along with the > official caml-mode, and setting up the right file associations (ml and > mli) in the windows explorer; > - offers the option of downloading activetcl to make sure tools such as > ocamlbrowser and the labltk libraries work properly. > > I am considering: > - dropping "ocamlwin": it is old, buggy, and better replacements are now > available; > - optionally installing OCamlTop to provide a much-needed replacement > for "ocamlwin"; > - dropping labltk along with the option for downloading activetcl: this > requires extra effort on my side because it now is distributed as a > separate project, and I suspect people who are serious about user > interfaces are using lablgtk, but I'd be interested in hearing your > opinion about this; > - keeping camlp4 even though it moved off into a separate project > - refreshing emacs to the latest version > - bundling Merlin binaries so that they can be installed along with > Emacs, if the user is so inclined. > > I don't have a good understanding of the current user base of the > installer; so if you're a user of this installer, I'd be interested in > hearing your story. Is a good top-level important because you're in > education? Have you ever used labltk? Are you proficient enough to > download, say, odb (which, last time I checked, more or less worked on > Windows), and install the missing packages yourself? > > Looking forward to your comments, > > ~ jonathan Hello, I’ve been using your installer for a few years now. It fits my use case quite well and I thank you for that. This use case is simple: I want to be able to produce standalone, native win32 versions of my programs which are developed on Linux. So basically, what's important for me is that it installs the toolchain and the Cygwin environment. I do install Emacs for the occasional case where I want to test a quick patch without transferring files from Linux to Windows. I usually re-run the Cygwin installer to install Git and SSH. The hard part is installing libraries. Then I use make, ocamlbuild, ocamlfind, from the MinGW terminal. On Windows I’ve never used labltk, ocamlwin, ocamltop, activetcl, camlp4, Merlin, odb. I’ve used LablGTK and OcamlSDL, both being rather tricky to install correctly. Other libraries are usually easier to install as they contain less bindings, although sometimes they do require some tweaks in the build process. Sometimes they have a lot of dependencies for no good reason and without a package manager it can get rather annoying — opam would probably help a lot here. Soon I will need to produce 64bits executables as well. Cheers, -- Romain Bardou