Dear Ralf, Le 02/04/2020 à 09:04, Ralf Treinen a écrit : >> Severity: important > >> `menhir --suggest-menhirLib` returns `/usr/lib/menhirLib` which does >> not exist. It think it should return `/usr/lib/ocaml/menhirLib`. > > why severity=important ? I wasn't even aware of this option.
Third-party software may rely on this. (CompCert does.) Cheers, -- Stéphane
