Virgile Prevosto authored 2 years ago and Allan Blanchard committed 2 years ago

on longer log (i.e. frama-c or plug-in compilation), it can be quite
tedious to check the log in the CI to spot the error. The new option
will instruct dune to put the error message (and its associated
command line) at the end of the log as well.

- more recent Nix commit
- update camlp5 for OCaml 4.14
- downgrade menhir for Alt-Ergo 2.2

David Bühler authored 2 years ago and Allan Blanchard committed 2 years ago

This is more coherent with `dune install --prefix` option and other targets
`make install` in doc and ivette Makefiles.