Mentions légales du service

Skip to content
  • 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