diff options
author | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-02-06 17:27:05 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-06 17:27:05 +0100 |
commit | d5435a34169d92a96f1436128f3e90df7f4f9e9a (patch) | |
tree | 51d678b64420e87bebe713b9a4c1aa043fb13685 /configure | |
parent | 6950ac8fb096768cb3811ae7f89d0db080bf965a (diff) | |
download | compcert-d5435a34169d92a96f1436128f3e90df7f4f9e9a.tar.gz compcert-d5435a34169d92a96f1436128f3e90df7f4f9e9a.zip |
Compatibility with OCaml 4.10 (#214)
debug/DwarfPrinter.mli: unused functor parameter trigger warning 69,
replace by non-dependent functor type.
Makefile.extr: turn warning 69 (unused functor parameter) off
for extracted code
configure: accept OCaml versions above 4.09
configure: update messages for unsupported versions of OCaml and Coq
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -537,7 +537,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.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.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" missingtools=true fi;; "") @@ -553,15 +553,15 @@ case "$ocaml_ver" in echo "version $ocaml_ver -- UNSUPPORTED" echo "Error: CompCert requires OCaml version 4.05 or later." missingtools=true;; - 4.0*) + 4.*) echo "version $ocaml_ver -- good!";; ?.*) echo "version $ocaml_ver -- UNSUPPORTED" - echo "Error: CompCert requires OCaml version 4.02 or later." + echo "Error: CompCert requires OCaml version 4.05 or later." missingtools=true;; *) echo "NOT FOUND" - echo "Error: make sure OCaml version 4.02 or later is installed." + echo "Error: make sure OCaml version 4.05 or later is installed." missingtools=true;; esac |