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 9329D7EE11 for ; Thu, 21 Aug 2014 18:24:28 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jonathan.protzenko@gmail.com) identity=pra; client-ip=74.125.82.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jonathan.protzenko@gmail.com"; x-sender="jonathan.protzenko@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of jonathan.protzenko@gmail.com designates 74.125.82.51 as permitted sender) identity=mailfrom; client-ip=74.125.82.51; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wg0-f51.google.com) identity=helo; client-ip=74.125.82.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jonathan.protzenko@gmail.com"; x-sender="postmaster@mail-wg0-f51.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Au4BAP0b9lNKfVIzlGdsb2JhbABagmqBTYJ8s1KeaxYQAQEBAQcLCwkSK4QcERUIARscAgMSEA8CBRYLAgsDAgECARERAQUBIg0IAQESDIgLAQMRAQSeVYMZa4srgXKDEIosChknDWaEGxEBBQ6BHpEggVMFkiOKJJMYQYURaoJPAQEB X-IPAS-Result: Au4BAP0b9lNKfVIzlGdsb2JhbABagmqBTYJ8s1KeaxYQAQEBAQcLCwkSK4QcERUIARscAgMSEA8CBRYLAgsDAgECARERAQUBIg0IAQESDIgLAQMRAQSeVYMZa4srgXKDEIosChknDWaEGxEBBQ6BHpEggVMFkiOKJJMYQYURaoJPAQEB X-IronPort-AV: E=Sophos;i="5.04,909,1406584800"; d="scan'208";a="90362353" Received: from mail-wg0-f51.google.com ([74.125.82.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 Aug 2014 18:24:28 +0200 Received: by mail-wg0-f51.google.com with SMTP id b13so9360248wgh.10 for ; Thu, 21 Aug 2014 09:24:27 -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=hIysEF4KnFp5f8pozJ9/pP2j0DOY65H6Mur4N6P1f3o=; b=W7Ftc6y2vu1yPIUGnkF33dVK7C9+EC43HfXLW2LgjMnGcufXAGE0mU8wkd8g/DIzhR gkK/qMk6S0XAtbfgGvzx6vX3OQwYX9wsJnDJX9QbA0eQ9cgVDysEZ94nP/ewnoxZAzg+ wLTSCfMzbS6pW65KlD7/JWLmTzCa7PJulyhK/z10ZYVQ50j/4lRV4LsGdnqYaMIp1oDg mzHI/OG7yWoJJ1M/ZKprSE+cJaHgJzfx8wga8yrLdpKXrahwB0BuZnPtN4k4VQlI/Ph3 PDuYXOV1G+Wm9GW6PpqFnp0pDY52kNwQomxwd2XD8t4uV142+6VWToTRxpNovPjDrxNA WQLg== X-Received: by 10.180.84.66 with SMTP id w2mr23301919wiy.27.1408638267834; Thu, 21 Aug 2014 09:24:27 -0700 (PDT) Received: from dt-41197.rocq.inria.fr ([2001:660:3013:3:c4e4:35f3:5202:ba9e]) by mx.google.com with ESMTPSA id jo10sm52972270wjc.41.2014.08.21.09.24.26 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 21 Aug 2014 09:24:27 -0700 (PDT) Message-ID: <53F61D38.5020704@gmail.com> Date: Thu, 21 Aug 2014 18:24:24 +0200 From: Jonathan Protzenko User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:34.0) Gecko/20100101 Thunderbird/34.0a1 MIME-Version: 1.0 To: caml users Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Subject: [Caml-list] Feedback wanted about the OCaml windows installer 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