summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@inria.fr>2017-07-18 13:03:54 +0200
committerDamien Doligez <damien.doligez@inria.fr>2017-07-18 13:03:54 +0200
commitf78128a7d723fa6002a08f5379a565da5022006a (patch)
treec4eec7c3cfd1f5a93a41e2223b525292ecd3f003 /configure
parentd6bb4daa64d300d72a68b63e014076d7095ba65d (diff)
parent2d03974c1223bbd3f1535fde1be2f03148bbed82 (diff)
downloadocaml-f78128a7d723fa6002a08f5379a565da5022006a.tar.gz
merge 4.05 into trunk
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure10
1 files changed, 10 insertions, 0 deletions
diff --git a/configure b/configure
index 44a7b099b4..abc0e83a2a 100755
--- a/configure
+++ b/configure
@@ -877,6 +877,16 @@ else
fi
+# Try to work around the Skylake/Kaby Lake processor bug.
+case "$bytecc,$target" in
+ *gcc*,x86_64-*|*gcc*,i686-*)
+ if sh ./hasgot -Werror -fno-tree-vrp; then
+ byteccprivatecompopts="$byteccprivatecompopts -fno-tree-vrp"
+ inf "Adding -fno-tree-vrp option to work around PR#7452"
+ fi;;
+esac
+
+
# Configure the native-code compiler
arch=none