diff options
author | Jacques-Henri Jourdan <jourgun@gmail.com> | 2019-02-25 17:42:14 +0100 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-02-25 17:42:14 +0100 |
commit | fc9bc6437a91d8ba4541c2671acb49574f3aeb77 (patch) | |
tree | 552f6f3b343ed37cff5c8b7dc2173b5c842d82bb /doc | |
parent | 4fb8df8cd1df4552e937d02fa78fc4993af81e63 (diff) | |
download | compcert-fc9bc6437a91d8ba4541c2671acb49574f3aeb77.tar.gz compcert-fc9bc6437a91d8ba4541c2671acb49574f3aeb77.zip |
Maximum supported Menhir version (#275)
The Coq backend of Menhir will soon enjoy a large refactoring, making it incompatible with the version of MenhirLib currently in CompCert. This commit adds a check in configure to make sure that the version of Menhir is not more modern than the current one (20181026).
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions