diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-05-11 15:24:39 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-05-11 15:24:39 +0200 |
| commit | 0d48fd07e551d3cedd616126400b00464a137835 (patch) | |
| tree | 3b4f7d84098afa656228eb4fb7e457bf04d02d59 /driver | |
| parent | 812ae094557c60847de73c1e9ee198de9c17669d (diff) | |
| download | compcert-0d48fd07e551d3cedd616126400b00464a137835.tar.gz compcert-0d48fd07e551d3cedd616126400b00464a137835.zip | |
configure: bump Menhir required version to 20160303
Earlier versions of Menhir run into "string too long" errors in Coq when building on a 32-bit platform.
Diffstat (limited to 'driver')
0 files changed, 0 insertions, 0 deletions