• Guillaume Melquiond's avatar
    Make menhirLib mandatory (fix issue #118). · 87c856ea
    Guillaume Melquiond authored
    Menhir 20151112 can, in fact, be used to compile Why3. The actual issue
    was that the error reporting module depends on Menhir's table-based
    backend, which requires menhirLib. So, the latter is no longer an optional
    dependency.
    87c856ea
Name
Last commit
Last update
..
coq Loading commit data...
isabelle Loading commit data...
ocaml Loading commit data...
pvs Loading commit data...
why3 Loading commit data...
why3-call-pvs Loading commit data...