From 509a8a801af46d1770798b882fd1e92bf66bccf6 Mon Sep 17 00:00:00 2001 From: Marco Stronati Date: Sun, 24 Jun 2018 19:37:23 +0200 Subject: [PATCH] hacl: quick fix to compile on aarch64 --- 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 c6dbe1e9f..a97ae83e7 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 -m64 -fwrapv -fomit-frame-pointer -funroll-loops -Wall -Werror -Wfatal-errors" in + let ccopts = "-Ofast -march=native -mtune=native -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