From b132e95ddcbc05568f536d955cdb15018ed18db6 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bschommer@users.noreply.github.com>
Date: Mon, 31 Jul 2017 15:12:34 +0200
Subject: Warning for Skylake/Kabylake systems.

---
 configure | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/configure b/configure
index f54829f4..19c249ba 100755
--- a/configure
+++ b/configure
@@ -493,6 +493,10 @@ case "$ocaml_ver" in
         echo "version $ocaml_ver -- UNSUPPORTED"
         echo "Error: CompCert requires OCaml version 4.02 or later."
         missingtools=true;;
+  4.02.*|4.03.*|4.04.*)
+      echo "version $ocaml_ver -- good!"
+      echo "Some Intel processors of the Skylake and Kaby Lake generations have a hardware bug that this"
+      echo "version of OCaml runs into. To avoid this risk, it is recommended to use OCaml 4.05.";;
   4.0*)
         echo "version $ocaml_ver -- good!";;
   ?.*)
-- 
cgit