balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

hacl: quick fix to compile on aarch64

Browse Source
This commit is contained in:
Marco Stronati 2018-06-24 19:37:23 +02:00 committed by Benjamin Canou
parent 2f4c002acf
commit 509a8a801a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
vendors/ocaml-hacl/src/config/discover.ml vendored
View File

@ -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