Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
CertiCompil
CompCert-KVX
Commits
6bf310dd
Commit
6bf310dd
authored
Mar 09, 2021
by
Xavier Leroy
Browse files
Coq 8.13.1 is supported
Closes: #389
parent
014883f2
Changes
1
Hide whitespace changes
Inline
Side-by-side
configure
View file @
6bf310dd
...
...
@@ -503,14 +503,14 @@ missingtools=false
echo
"Testing Coq... "
|
tr
-d
'\n'
coq_ver
=
$(
${
COQBIN
}
coqc
-v
2>/dev/null |
sed
-n
-e
's/The Coq Proof Assistant, version \([^ ]*\).*$/\1/p'
)
case
"
$coq_ver
"
in
8.8.0|8.8.1|8.8.2|8.9.0|8.9.1|8.10.0|8.10.1|8.10.2|8.11.0|8.11.1|8.11.2|8.12.0|8.12.1|8.12.2|8.13.0
)
8.8.0|8.8.1|8.8.2|8.9.0|8.9.1|8.10.0|8.10.1|8.10.2|8.11.0|8.11.1|8.11.2|8.12.0|8.12.1|8.12.2|8.13.0
|8.13.1
)
echo
"version
$coq_ver
-- good!"
;;
?
*
)
echo
"version
$coq_ver
-- UNSUPPORTED"
if
$ignore_coq_version
;
then
echo
"Warning: this version of Coq is unsupported, proceed at your own risks."
else
echo
"Error: CompCert requires a version of Coq between 8.8.0 and 8.13.
0
"
echo
"Error: CompCert requires a version of Coq between 8.8.0 and 8.13.
1
"
missingtools
=
true
fi
;;
""
)
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment