From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id C03325D5 for ; Thu, 23 Jan 2020 17:34:50 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,354,1574118000"; d="scan'208";a="432768339" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 23 Jan 2020 18:34:49 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id A25737F345; Thu, 23 Jan 2020 18:34:49 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id AC95D7F345; Thu, 23 Jan 2020 18:34:43 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.70,354,1574118000"; d="scan'208";a="336827996" Received: from dt-64014.paris.inria.fr (HELO [128.93.64.14]) ([128.93.64.14]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 23 Jan 2020 18:34:38 +0100 To: menhir-list , caml users From: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= Message-ID: Date: Thu, 23 Jan 2020 18:34:38 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit Subject: [Caml-list] [ANN] New release of Menhir (20200123) Reply-To: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= X-Loop: caml-list@inria.fr X-Sequence: 17965 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Dear OCaml & Menhir users, It is my pleasure to announce a new release of Menhir, the LR(1) parser generator. opam update opam install menhir opam install coq-menhirlib # if you wish to use menhir --coq There are no new features, only a significant change in the manner in which Menhir is built: * Menhir is now built and installed by dune. This should make life easier for Menhir's developers: in particular, `make test` and `make speed` can be run straight away and do not requiring installing Menhir first. This should also make compilation much faster on multi-core machines. (Contributed by Nicolás Ojeda Bär, to whom many thanks are due.) * There used to be a distinction between two slightly different ways of installing Menhir, namely with and without `ocamlfind`. This distinction disappears. The command line switch `--suggest-ocamlfind` is deprecated and causes Menhir to print `false`. We hope that these changes do not break any of the code that relies on Menhir today. Please report any problems that you might encounter. Happy hacking! Best regards, -- François Pottier francois.pottier@inria.fr http://gallium.inria.fr/~fpottier/