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 /Changelog | |
| parent | 4fb8df8cd1df4552e937d02fa78fc4993af81e63 (diff) | |
| download | compcert-kvx-fc9bc6437a91d8ba4541c2671acb49574f3aeb77.tar.gz compcert-kvx-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 'Changelog')
0 files changed, 0 insertions, 0 deletions