diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-04-15 11:11:05 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-04-15 11:11:05 +0200 |
commit | 5450d5054dc84d31c820b6d60c87c628290d5487 (patch) | |
tree | ba3ee66f2c3f092225780417bf1acb8d5f11757f /configure | |
parent | 1a12e99fcc6c2c1ff3cca70612f3c98493743c68 (diff) | |
download | compcert-kvx-5450d5054dc84d31c820b6d60c87c628290d5487.tar.gz compcert-kvx-5450d5054dc84d31c820b6d60c87c628290d5487.zip |
Coq error message update in configure
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -575,7 +575,7 @@ case "$coq_ver" in if $ignore_coq_version; then echo "Warning: this version of Coq is unsupported, proceed at your own risks." else - echo "Error: CompCert requires one of the following Coq versions: 8.11.0, 8.10.2, 8.10.1, 8.10.0, 8.9.1, 8.9.0, 8.8.2, 8.8.1, 8.8.0" + echo "Error: CompCert requires one of the following Coq versions: 8.11.1, 8.11.0, 8.10.2, 8.10.1, 8.10.0, 8.9.1, 8.9.0" missingtools=true fi;; "") |