diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-07-05 11:16:02 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-07-05 11:16:02 +0200 |
commit | 47700fa340c2049f3a4af8f16c2f5f8b23a6341e (patch) | |
tree | 1fc9fc41d694180b2d5048a3c97cdc3652da54db /lib | |
parent | 01bac827fe4731155e5e8f9f5e9702a6c4a2a128 (diff) | |
download | compcert-47700fa340c2049f3a4af8f16c2f5f8b23a6341e.tar.gz compcert-47700fa340c2049f3a4af8f16c2f5f8b23a6341e.zip |
Add a -ignore-coq-version flag to configure
Pull request #188 from Maxime Dénès.
This flag makes it easier for the Coq people to test CompCert with in-development versions of Coq.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions