[INFO] fetching crate evercrypt-sys 0.0.9... [INFO] testing evercrypt-sys-0.0.9 against beta-2022-04-10 for beta-1.61-1 [INFO] extracting crate evercrypt-sys 0.0.9 into /workspace/builds/worker-58/source [INFO] validating manifest of crates.io crate evercrypt-sys 0.0.9 on toolchain beta-2022-04-10 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate evercrypt-sys 0.0.9 [INFO] finished tweaking crates.io crate evercrypt-sys 0.0.9 [INFO] tweaked toml for crates.io crate evercrypt-sys 0.0.9 written to /workspace/builds/worker-58/source/Cargo.toml [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }` [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-58/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-58/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 4d5edb02a6da9fc747b4723d56435662a1beab4d815de6b340cfe26f9725a3a5 [INFO] running `Command { std: "docker" "start" "-a" "4d5edb02a6da9fc747b4723d56435662a1beab4d815de6b340cfe26f9725a3a5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "4d5edb02a6da9fc747b4723d56435662a1beab4d815de6b340cfe26f9725a3a5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4d5edb02a6da9fc747b4723d56435662a1beab4d815de6b340cfe26f9725a3a5", kill_on_drop: false }` [INFO] [stdout] 4d5edb02a6da9fc747b4723d56435662a1beab4d815de6b340cfe26f9725a3a5 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-58/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-58/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] daabedcedb4ae9df615959dc28975dc818a1484f72df079e220a0fb64c228546 [INFO] running `Command { std: "docker" "start" "-a" "daabedcedb4ae9df615959dc28975dc818a1484f72df079e220a0fb64c228546", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Compiling libc v0.2.123 [INFO] [stderr] Compiling memchr v2.4.1 [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Compiling glob v0.3.0 [INFO] [stderr] Compiling log v0.4.16 [INFO] [stderr] Compiling proc-macro2 v1.0.37 [INFO] [stderr] Compiling regex-syntax v0.6.25 [INFO] [stderr] Compiling unicode-width v0.1.9 [INFO] [stderr] Compiling termcolor v1.1.3 [INFO] [stderr] Compiling strsim v0.8.0 [INFO] [stderr] Compiling bindgen v0.58.1 [INFO] [stderr] Compiling humantime v2.1.0 [INFO] [stderr] Compiling ansi_term v0.12.1 [INFO] [stderr] Compiling vec_map v0.8.2 [INFO] [stderr] Compiling shlex v1.1.0 [INFO] [stderr] Compiling lazycell v1.3.0 [INFO] [stderr] Compiling peeking_take_while v0.1.2 [INFO] [stderr] Compiling rustc-hash v1.1.0 [INFO] [stderr] Compiling libloading v0.7.3 [INFO] [stderr] Compiling textwrap v0.11.0 [INFO] [stderr] Compiling nom v5.1.2 [INFO] [stderr] Compiling clang-sys v1.3.1 [INFO] [stderr] Compiling aho-corasick v0.7.18 [INFO] [stderr] Compiling quote v1.0.18 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling which v3.1.1 [INFO] [stderr] Compiling clap v2.34.0 [INFO] [stderr] Compiling regex v1.5.5 [INFO] [stderr] Compiling cexpr v0.4.0 [INFO] [stderr] Compiling env_logger v0.8.4 [INFO] [stderr] Compiling evercrypt-sys v0.0.9 (/opt/rustwide/workdir) [INFO] [stderr] error: failed to run custom build command for `evercrypt-sys v0.0.9 (/opt/rustwide/workdir)` [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/target/debug/build/evercrypt-sys-f2b7f3cc155b1d21/build-script-build` (exit status: 101) [INFO] [stderr] --- stdout [INFO] [stderr] cargo:rerun-if-changed=wrapper.h [INFO] [stderr] cargo:rerun-if-changed=hacl-star [INFO] [stderr] build_config: BuildConfig { hacl_src_dir: "gcc-compatible", cross: false, config_flags: [], make_flags: [], env: {}, lib_name: "evercrypt", windows: false } [INFO] [stderr] out_path: "/opt/rustwide/target/debug/build/evercrypt-sys-a0f465e2c2eab065/out" [INFO] [stderr] hacl_src_path: "/opt/rustwide/target/debug/build/evercrypt-sys-a0f465e2c2eab065/out/hacl-star/dist/gcc-compatible" [INFO] [stderr] ... detected x64 platform [INFO] [stderr] ... supports compilation of 128-bit and 256-bit AVX/AVX2 [INFO] [stderr] ... supports vale [INFO] [stderr] ... not using known buggy Apple LLVM build [INFO] [stderr] ... supports our inline ASM [INFO] [stderr] ... using a non-buggy GCC [INFO] [stderr] supports _addcarry_u64 [INFO] [stderr] OCaml bindings disabled [INFO] [stderr] ... glibc is recent enough for explicit_bzero [INFO] [stderr] rm -rf *.o *.d libevercrypt.a [INFO] [stderr] cc -c -o cpuid-x86_64-linux.o cpuid-x86_64-linux.S [INFO] [stderr] cc -c -o sha256-x86_64-linux.o sha256-x86_64-linux.S [INFO] [stderr] cc -c -o poly1305-x86_64-linux.o poly1305-x86_64-linux.S [INFO] [stderr] cc -c -o curve25519-x86_64-linux.o curve25519-x86_64-linux.S [INFO] [stderr] cc -c -o aes-x86_64-linux.o aes-x86_64-linux.S [INFO] [stderr] cc -c -o aesgcm-x86_64-linux.o aesgcm-x86_64-linux.S [INFO] [stderr] cc -c -o oldaesgcm-x86_64-linux.o oldaesgcm-x86_64-linux.S [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Spec.o Hacl_Spec.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Kremlib.o Hacl_Kremlib.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Hash_Base.o Hacl_Hash_Base.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Hash_Blake2.o Hacl_Hash_Blake2.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2 -c -o Hacl_Hash_Blake2b_256.o Hacl_Hash_Blake2b_256.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -c -o Hacl_Hash_Blake2s_128.o Hacl_Hash_Blake2s_128.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Hash_MD5.o Hacl_Hash_MD5.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Hash_SHA1.o Hacl_Hash_SHA1.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Hash_SHA2.o Hacl_Hash_SHA2.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Vale.o Vale.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o EverCrypt_AutoConfig2.o EverCrypt_AutoConfig2.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o EverCrypt_Hash.o EverCrypt_Hash.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_SHA3.o Hacl_SHA3.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Chacha20.o Hacl_Chacha20.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Salsa20.o Hacl_Salsa20.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Bignum.o Hacl_Bignum.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Curve25519_64_Slow.o Hacl_Curve25519_64_Slow.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Curve25519_64.o Hacl_Curve25519_64.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Curve25519_51.o Hacl_Curve25519_51.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Streaming_SHA2.o Hacl_Streaming_SHA2.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Ed25519.o Hacl_Ed25519.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Poly1305_32.o Hacl_Poly1305_32.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -c -o Hacl_Poly1305_128.o Hacl_Poly1305_128.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2 -c -o Hacl_Poly1305_256.o Hacl_Poly1305_256.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_NaCl.o Hacl_NaCl.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o MerkleTree.o MerkleTree.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o EverCrypt_Error.o EverCrypt_Error.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o EverCrypt_CTR.o EverCrypt_CTR.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_P256.o Hacl_P256.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Frodo_KEM.o Hacl_Frodo_KEM.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_RSAPSS.o Hacl_RSAPSS.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_FFDHE.o Hacl_FFDHE.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Streaming_Blake2.o Hacl_Streaming_Blake2.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2 -c -o Hacl_Streaming_Blake2b_256.o Hacl_Streaming_Blake2b_256.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Frodo640.o Hacl_Frodo640.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -c -o Hacl_Streaming_Blake2s_128.o Hacl_Streaming_Blake2s_128.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -c -o Hacl_Chacha20_Vec128.o Hacl_Chacha20_Vec128.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -c -o Hacl_Chacha20Poly1305_128.o Hacl_Chacha20Poly1305_128.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_HMAC.o Hacl_HMAC.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_HKDF.o Hacl_HKDF.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_HPKE_Curve51_CP128_SHA512.o Hacl_HPKE_Curve51_CP128_SHA512.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_GenericField32.o Hacl_GenericField32.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Bignum256.o Hacl_Bignum256.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2 -c -o Hacl_SHA2_Vec256.o Hacl_SHA2_Vec256.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Bignum4096.o Hacl_Bignum4096.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Chacha20_Vec32.o Hacl_Chacha20_Vec32.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o EverCrypt_Ed25519.o EverCrypt_Ed25519.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Bignum4096_32.o Hacl_Bignum4096_32.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_HPKE_Curve64_CP128_SHA512.o Hacl_HPKE_Curve64_CP128_SHA512.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_HPKE_P256_CP128_SHA256.o Hacl_HPKE_P256_CP128_SHA256.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2 -c -o Hacl_Chacha20_Vec256.o Hacl_Chacha20_Vec256.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2 -c -o Hacl_Chacha20Poly1305_256.o Hacl_Chacha20Poly1305_256.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_HPKE_Curve51_CP256_SHA512.o Hacl_HPKE_Curve51_CP256_SHA512.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_SHA2_Scalar32.o Hacl_SHA2_Scalar32.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Frodo976.o Hacl_Frodo976.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -c -o Hacl_HMAC_Blake2s_128.o Hacl_HMAC_Blake2s_128.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -c -o Hacl_HKDF_Blake2s_128.o Hacl_HKDF_Blake2s_128.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_GenericField64.o Hacl_GenericField64.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2 -c -o Hacl_Streaming_Poly1305_256.o Hacl_Streaming_Poly1305_256.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Frodo1344.o Hacl_Frodo1344.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_HPKE_Curve64_CP256_SHA512.o Hacl_HPKE_Curve64_CP256_SHA512.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -c -o Hacl_Streaming_Poly1305_128.o Hacl_Streaming_Poly1305_128.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Bignum32.o Hacl_Bignum32.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_HPKE_Curve51_CP128_SHA256.o Hacl_HPKE_Curve51_CP128_SHA256.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_HPKE_Curve64_CP128_SHA256.o Hacl_HPKE_Curve64_CP128_SHA256.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Bignum256_32.o Hacl_Bignum256_32.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -c -o Hacl_SHA2_Vec128.o Hacl_SHA2_Vec128.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Chacha20Poly1305_32.o Hacl_Chacha20Poly1305_32.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_HPKE_Curve51_CP32_SHA256.o Hacl_HPKE_Curve51_CP32_SHA256.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_HPKE_Curve64_CP256_SHA256.o Hacl_HPKE_Curve64_CP256_SHA256.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Streaming_Poly1305_32.o Hacl_Streaming_Poly1305_32.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_HPKE_Curve51_CP32_SHA512.o Hacl_HPKE_Curve51_CP32_SHA512.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_HPKE_P256_CP256_SHA256.o Hacl_HPKE_P256_CP256_SHA256.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_HPKE_P256_CP32_SHA256.o Hacl_HPKE_P256_CP32_SHA256.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Bignum64.o Hacl_Bignum64.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Frodo64.o Hacl_Frodo64.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Streaming_SHA1.o Hacl_Streaming_SHA1.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_Streaming_MD5.o Hacl_Streaming_MD5.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2 -c -o Hacl_HMAC_Blake2b_256.o Hacl_HMAC_Blake2b_256.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2 -c -o Hacl_HKDF_Blake2b_256.o Hacl_HKDF_Blake2b_256.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_HPKE_Curve64_CP32_SHA256.o Hacl_HPKE_Curve64_CP32_SHA256.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_HPKE_Curve64_CP32_SHA512.o Hacl_HPKE_Curve64_CP32_SHA512.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_EC_Ed25519.o Hacl_EC_Ed25519.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_HPKE_Curve51_CP256_SHA256.o Hacl_HPKE_Curve51_CP256_SHA256.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o EverCrypt_Chacha20Poly1305.o EverCrypt_Chacha20Poly1305.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o EverCrypt_AEAD.o EverCrypt_AEAD.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o EverCrypt_HMAC.o EverCrypt_HMAC.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o EverCrypt_HKDF.o EverCrypt_HKDF.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Hacl_HMAC_DRBG.o Hacl_HMAC_DRBG.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o EverCrypt_DRBG.o EverCrypt_DRBG.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o EverCrypt_Poly1305.o EverCrypt_Poly1305.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o EverCrypt_Curve25519.o EverCrypt_Curve25519.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o EverCrypt_Cipher.o EverCrypt_Cipher.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o EverCrypt_StaticConfig.o EverCrypt_StaticConfig.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o evercrypt_vale_stubs.o evercrypt_vale_stubs.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Lib_PrintBuffer.o Lib_PrintBuffer.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Lib_Memzero0.o Lib_Memzero0.c [INFO] [stderr] cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -c -o Lib_RandomBuffer_System.o Lib_RandomBuffer_System.c [INFO] [stderr] [INFO] [stderr] --- stderr [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Hash_MD5.o] Error 1 [INFO] [stderr] make: *** Waiting for unfinished jobs.... [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: EverCrypt_Hash.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Curve25519_64_Slow.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Poly1305_32.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Hash_SHA1.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Chacha20.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_SHA3.o] Error 1 [INFO] [stderr] make: *** [: Hacl_Hash_Blake2b_256.o] Error 1 [INFO] [stderr] make: *** [: Hacl_Curve25519_64.o] Error 1 [INFO] [stderr] make: *** [: Hacl_Spec.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Salsa20.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Hash_Blake2.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Curve25519_51.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Vale.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Hash_Blake2s_128.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Bignum.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Kremlib.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_P256.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: EverCrypt_AutoConfig2.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Hash_SHA2.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Ed25519.o] Error 1 [INFO] [stderr] make: *** [: Hacl_Hash_Base.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Bignum4096_32.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Chacha20Poly1305_128.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Frodo640.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_RSAPSS.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_HMAC_Blake2b_256.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Chacha20_Vec128.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_HPKE_Curve64_CP128_SHA512.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Bignum256.o] Error 1 [INFO] [stderr] make: *** [: Hacl_HPKE_Curve64_CP32_SHA512.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Poly1305_128.o] Error 1 [INFO] [stderr] make: *** [: Hacl_Chacha20_Vec32.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_HPKE_Curve64_CP256_SHA256.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Streaming_Poly1305_32.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] compilation terminated. [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Bignum4096.o] Error 1 [INFO] [stderr] make: *** [: Hacl_HPKE_P256_CP128_SHA256.o] Error 1 [INFO] [stderr] make: *** [: Hacl_Bignum32.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_HMAC.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Bignum64.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Chacha20Poly1305_256.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_HPKE_Curve51_CP32_SHA512.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Poly1305_256.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_NaCl.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Frodo_KEM.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_SHA2_Vec128.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Streaming_SHA2.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_HKDF.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_SHA2_Scalar32.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Streaming_Blake2s_128.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_HMAC_Blake2s_128.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_FFDHE.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Frodo976.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_HPKE_Curve51_CP128_SHA512.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_HKDF_Blake2b_256.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_GenericField64.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_HPKE_P256_CP256_SHA256.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_HPKE_Curve51_CP256_SHA512.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Streaming_Blake2.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Frodo1344.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Streaming_Blake2b_256.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: EverCrypt_AEAD.o] Error 1 [INFO] [stderr] make: *** [: Hacl_GenericField32.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_HPKE_Curve64_CP256_SHA512.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: EverCrypt_DRBG.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: EverCrypt_Poly1305.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_HPKE_P256_CP32_SHA256.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_HPKE_Curve64_CP32_SHA256.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_HKDF_Blake2s_128.o] Error 1 [INFO] [stderr] cc: fatal error: Killed signal terminated program cc1 [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [: Hacl_Streaming_Poly1305_128.o] Error 1 [INFO] [stderr] thread 'main' panicked at 'Failed to run make.', build.rs:65:9 [INFO] [stderr] stack backtrace: [INFO] [stderr] 0: 0x556c3f0d008d - std::backtrace_rs::backtrace::libunwind::trace::ha359b7f0090e2792 [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stderr] 1: 0x556c3f0d008d - std::backtrace_rs::backtrace::trace_unsynchronized::h0584631f25c1d70e [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stderr] 2: 0x556c3f0d008d - std::sys_common::backtrace::_print_fmt::hdadffd97d279ff14 [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stderr] 3: 0x556c3f0d008d - ::fmt::h26f189e611080a74 [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stderr] 4: 0x556c3f0f4a0c - core::fmt::write::hfb5d11dfe037e8b7 [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/fmt/mod.rs:1194:17 [INFO] [stderr] 5: 0x556c3f0cccf1 - std::io::Write::write_fmt::ha30651f608022a46 [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/io/mod.rs:1655:15 [INFO] [stderr] 6: 0x556c3f0d1c35 - std::sys_common::backtrace::_print::h7a0e44402913ba60 [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stderr] 7: 0x556c3f0d1c35 - std::sys_common::backtrace::print::h9767dc455a84e728 [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stderr] 8: 0x556c3f0d1c35 - std::panicking::default_hook::{{closure}}::h60afd6c8b12988ad [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:295:22 [INFO] [stderr] 9: 0x556c3f0d18e9 - std::panicking::default_hook::ha7b9bac6813f9d21 [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:314:9 [INFO] [stderr] 10: 0x556c3f0d2182 - std::panicking::rust_panic_with_hook::h7b117a162a6f8664 [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:698:17 [INFO] [stderr] 11: 0x556c3f0d2029 - std::panicking::begin_panic_handler::{{closure}}::h346750923c608600 [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:586:13 [INFO] [stderr] 12: 0x556c3f0d0544 - std::sys_common::backtrace::__rust_end_short_backtrace::h768c56c6a0c055c0 [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stderr] 13: 0x556c3f0d1d99 - rust_begin_unwind [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:584:5 [INFO] [stderr] 14: 0x556c3ebbba93 - core::panicking::panic_fmt::h5c41cb2fa118fdbc [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panicking.rs:143:14 [INFO] [stderr] 15: 0x556c3ebbe23c - build_script_build::build_hacl::hd70a57a59d264bfd [INFO] [stderr] at /opt/rustwide/workdir/build.rs:65:9 [INFO] [stderr] 16: 0x556c3ebc0e35 - build_script_build::main::h3a23b5330fc855de [INFO] [stderr] at /opt/rustwide/workdir/build.rs:353:9 [INFO] [stderr] 17: 0x556c3ebc1a7b - core::ops::function::FnOnce::call_once::h21d092d4733a9d90 [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stderr] 18: 0x556c3ebc67be - std::sys_common::backtrace::__rust_begin_short_backtrace::h7271b5c65fe9fe43 [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stderr] 19: 0x556c3ebc51e1 - std::rt::lang_start::{{closure}}::hf6e6c1f18354ed05 [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/rt.rs:145:18 [INFO] [stderr] 20: 0x556c3f0c881e - core::ops::function::impls:: for &F>::call_once::hae31cd38f966dcbc [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:259:13 [INFO] [stderr] 21: 0x556c3f0c881e - std::panicking::try::do_call::h4a4c12a32b804624 [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stderr] 22: 0x556c3f0c881e - std::panicking::try::h87f80f5db1929b60 [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stderr] 23: 0x556c3f0c881e - std::panic::catch_unwind::hbc53afd5a2bdc195 [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stderr] 24: 0x556c3f0c881e - std::rt::lang_start_internal::{{closure}}::h2e62ddd08385fac8 [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/rt.rs:128:48 [INFO] [stderr] 25: 0x556c3f0c881e - std::panicking::try::do_call::h04b85b79b362213e [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stderr] 26: 0x556c3f0c881e - std::panicking::try::h428fba6a4941d8ed [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stderr] 27: 0x556c3f0c881e - std::panic::catch_unwind::hd73c90258412492e [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stderr] 28: 0x556c3f0c881e - std::rt::lang_start_internal::h26255896a96668b5 [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/rt.rs:128:20 [INFO] [stderr] 29: 0x556c3ebc51b0 - std::rt::lang_start::h04a29fa01ba08c59 [INFO] [stderr] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/rt.rs:144:17 [INFO] [stderr] 30: 0x556c3ebc141c - main [INFO] [stderr] 31: 0x7fc71e9960b3 - __libc_start_main [INFO] [stderr] 32: 0x556c3ebbbd8e - _start [INFO] [stderr] 33: 0x0 - [INFO] running `Command { std: "docker" "inspect" "daabedcedb4ae9df615959dc28975dc818a1484f72df079e220a0fb64c228546", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "daabedcedb4ae9df615959dc28975dc818a1484f72df079e220a0fb64c228546", kill_on_drop: false }` [INFO] [stdout] daabedcedb4ae9df615959dc28975dc818a1484f72df079e220a0fb64c228546