Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

Commit d4c17317 authored by Cyril SIX's avatar Cyril SIX
Browse files

Increasing required OCaml version (Pervasives <-> Stdlib module renaming)

parent 1368c842
...@@ -584,9 +584,9 @@ esac ...@@ -584,9 +584,9 @@ esac
echo "Testing OCaml... " | tr -d '\n' echo "Testing OCaml... " | tr -d '\n'
ocaml_ver=`ocamlc -version 2>/dev/null` ocaml_ver=`ocamlc -version 2>/dev/null`
case "$ocaml_ver" in case "$ocaml_ver" in
4.00.*|4.01.*| 4.02.*|4.03.*|4.04.*) 4.00.*|4.01.*| 4.02.*|4.03.*|4.04.*|4.05.*)
echo "version $ocaml_ver -- UNSUPPORTED" echo "version $ocaml_ver -- UNSUPPORTED"
echo "Error: CompCert requires OCaml version 4.05 or later." echo "Error: CompCert requires OCaml version 4.06 or later."
missingtools=true;; missingtools=true;;
4.*) 4.*)
echo "version $ocaml_ver -- good!";; echo "version $ocaml_ver -- good!";;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment