Cannot install Why3 with Opam
opam install why3
The following actions will be performed:
∗ install why3 1.2.1
<><> Processing actions ><><><><><><><><><><><><><><><><><><><><><><><><><><>
⬇ retrieved why3.1.2.1 (cached)
[ERROR] The compilation of why3 failed at "make -j4 all opt byte".
#=== ERROR while compiling why3.1.2.1 ======================================#
# context 2.1.0~beta | linux/x86_64 | ocaml-base-compiler.4.07.1 | https://opam.ocaml.org#a533e47f
# path ~/.opam/4.07.1/.opam-switch/build/why3.1.2.1
# command ~/.opam/opam-init/hooks/sandbox.sh build make -j4 all opt byte
# exit-code 2
# env-file ~/.opam/log/why3-13018-6cc03f.env
# output-file ~/.opam/log/why3-13018-6cc03f.out
### output ###
# [...]
# Generate drivers/pvs-realizations.aux
# Generate drivers/isabelle-realizations.aux
# Linking lib/plugins/genequlin.cmo
# Linking lib/plugins/dimacs.cmo
# Linking lib/plugins/hypothesis_selection.cmo
# Ocamlc src/tools/unix_scheduler.ml
# Linking bin/why3wc.byte
# File "_none_", line 1:
# Error: Cannot find file menhirLib.cmo
# Makefile:2233: recipe for target 'bin/why3wc.byte' failed
# make: *** [bin/why3wc.byte] Error 2
# make: *** Attente des tâches non terminées....
<><> Error report ><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
┌─ The following actions failed
│ λ build why3 1.2.1
└─
╶─ No changes have been performed
opam list
menhir 20190924 An LR(1) parser generator
menhirLib 20200211 Runtime support library for parsers gener
menhirSdk 20200211 Compile-time library for auxiliary tools
ls ~/.opam/4.07.1/lib/menhirLib/
dune-package menhirLib.cmi menhirLib.cmx menhirLib.ml
menhirLib.a menhirLib.cmt menhirLib.cmxa menhirLib.mli
menhirLib.cma menhirLib.cmti menhirLib.cmxs META
Edited by Frédéric Blanqui