From 000b9af6f96c051def1c31b0675c5c2ab5fea5c6 Mon Sep 17 00:00:00 2001 From: Pietro Abate Date: Thu, 11 Oct 2018 17:23:12 +0200 Subject: [PATCH] vendors,hacl: use more generic gcc options Tentative fix for "Illegal instruction (core dumped)" on certain architectures du to gcc over optimization. This can possibly introduce a performance regression. @chambart for his gbd-foo skills --- vendors/ocaml-hacl/src/config/discover.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/vendors/ocaml-hacl/src/config/discover.ml b/vendors/ocaml-hacl/src/config/discover.ml index a97ae83e7..61643e99a 100644 --- a/vendors/ocaml-hacl/src/config/discover.ml +++ b/vendors/ocaml-hacl/src/config/discover.ml @@ -1,6 +1,6 @@ let () = (* inspired by https://github.com/vbmithr/ocaml-secp256k1-internal/blob/master/config/discover.ml *) - let ccopts = "-Ofast -march=native -mtune=native -fwrapv -fomit-frame-pointer -funroll-loops -Wall -Werror -Wfatal-errors" in + let ccopts = "-Ofast -mtune=generic -fwrapv -fomit-frame-pointer -funroll-loops -Wall -Werror -Wfatal-errors" in (* the important bit is -DKRML_NOUINT128 which enables the verified (but slow) implementation of UInt128 in FStar.c rather than the builtin __int128 which is only available on 64-bit platforms. *) let ccopts32 = "-Ofast -fwrapv -fomit-frame-pointer -funroll-loops -DKRML_NOUINT128 -Wall -Werror -Wfatal-errors" in