diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-07-06 19:05:20 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-07-06 19:05:20 +0200 |
| commit | a8a59e25447e61f4250d54187854cc3a36038c37 (patch) | |
| tree | 47ab8dd8b45f80875130bfc054ae7897af82eab6 /cfrontend/SimplLocals.v | |
| parent | 2ff53c2361773f28027ccc8332e1830686d5bbc6 (diff) | |
| download | compcert-kvx-a8a59e25447e61f4250d54187854cc3a36038c37.tar.gz compcert-kvx-a8a59e25447e61f4250d54187854cc3a36038c37.zip | |
Add a -ignore-coq-version flag to configure (continued)
These Coq people have version "numbers" that look nothing like numbers, such as "trunk". Also, they didn't test their pull request #188. Fixing this.
Diffstat (limited to 'cfrontend/SimplLocals.v')
0 files changed, 0 insertions, 0 deletions