diff options
| author | Damien Doligez <damien.doligez@inria.fr> | 2017-07-18 13:03:54 +0200 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@inria.fr> | 2017-07-18 13:03:54 +0200 |
| commit | f78128a7d723fa6002a08f5379a565da5022006a (patch) | |
| tree | c4eec7c3cfd1f5a93a41e2223b525292ecd3f003 /configure | |
| parent | d6bb4daa64d300d72a68b63e014076d7095ba65d (diff) | |
| parent | 2d03974c1223bbd3f1535fde1be2f03148bbed82 (diff) | |
| download | ocaml-f78128a7d723fa6002a08f5379a565da5022006a.tar.gz | |
merge 4.05 into trunk
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -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 |
