caml-list - the Caml user's mailing list
 help / Atom feed
From: François Pottier <>
To: menhir-list <>, caml users <>
Subject: [Caml-list] [ANN] New release of Menhir (20200123)
Date: Thu, 23 Jan 2020 18:34:38 +0100
Message-ID: <> (raw)

Dear OCaml & Menhir users,

It is my pleasure to announce a new release of Menhir, the LR(1) parser

   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 
   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 
today. Please report any problems that you might encounter. Happy hacking!

Best regards,

François Pottier

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \ \ \ \ \

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror

AGPL code for this site: git clone public-inbox