[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#40091] [PATCH] gnu: dune: Update to 2.4.0.
From: |
zimoun |
Subject: |
[bug#40091] [PATCH] gnu: dune: Update to 2.4.0. |
Date: |
Thu, 15 Oct 2020 19:03:06 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) |
Dear Vincent,
On Mon, 16 Mar 2020 at 17:44, Vincent Legoll <vincent.legoll@gmail.com> wrote:
> The added "release" make parameter, fixes the following bug:
> make: ./dune.exe: Command not found
>
> Tested with ocaml-menhir package update
> (which will follow soon)
>
> This may force a lot of other rebuildings, so
> may not be suitable for master
Thank you for your contribution. The recent commit 339177956a updates
dune to 2.7.1. Does it work for your use-case?
If yes, feel free to close this.
All the best,
simon
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [bug#40091] [PATCH] gnu: dune: Update to 2.4.0.,
zimoun <=