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 /backend/Asmgenproof0.v | |
parent | 2ff53c2361773f28027ccc8332e1830686d5bbc6 (diff) | |
download | compcert-a8a59e25447e61f4250d54187854cc3a36038c37.tar.gz compcert-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 'backend/Asmgenproof0.v')
0 files changed, 0 insertions, 0 deletions