[INFO] fetching crate libcrux 0.0.1-dev.3...
[INFO] testing libcrux-0.0.1-dev.3 against 1.69.0 for beta-1.70-1
[INFO] extracting crate libcrux 0.0.1-dev.3 into /workspace/builds/worker-5-tc1/source
[INFO] validating manifest of crates.io crate libcrux 0.0.1-dev.3 on toolchain 1.69.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.69.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate libcrux 0.0.1-dev.3
[INFO] finished tweaking crates.io crate libcrux 0.0.1-dev.3
[INFO] tweaked toml for crates.io crate libcrux 0.0.1-dev.3 written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" __CARGO_TEST_CHANNEL_OVERRIDE_DO_NOT_USE_THIS="nightly" "/workspace/cargo-home/bin/cargo" "+1.69.0" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.69.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded abstract_integers v0.1.5
[INFO] [stderr]   Downloaded secret_integers v0.1.7
[INFO] [stderr]   Downloaded chacha20 v0.9.1
[INFO] [stderr]   Downloaded hacspec-lib v0.1.0-beta.1
[INFO] [stderr]   Downloaded poly1305 v0.8.0
[INFO] [stderr]   Downloaded chacha20poly1305 v0.10.1
[INFO] [stderr]   Downloaded x25519-dalek-ng v1.1.1
[INFO] [stderr]   Downloaded hacl-sys v0.0.2-dev.4
[INFO] [stderr]   Downloaded hacl v0.0.2-dev.2
[INFO] [stderr]   Downloaded libjade-sys v0.0.1-dev.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 10a25b62cfce98740456b2e262e0fe82efd387f54ee14553cfb15d8c699c3aee
[INFO] running `Command { std: "docker" "start" "-a" "10a25b62cfce98740456b2e262e0fe82efd387f54ee14553cfb15d8c699c3aee", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "10a25b62cfce98740456b2e262e0fe82efd387f54ee14553cfb15d8c699c3aee", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "10a25b62cfce98740456b2e262e0fe82efd387f54ee14553cfb15d8c699c3aee", kill_on_drop: false }`
[INFO] [stdout] 10a25b62cfce98740456b2e262e0fe82efd387f54ee14553cfb15d8c699c3aee
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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" "RUSTDOCFLAGS=--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:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 6320fd1a10dc79577398f73874ee2ea0feb878e25ca893c103b017ede90c0161
[INFO] running `Command { std: "docker" "start" "-a" "6320fd1a10dc79577398f73874ee2ea0feb878e25ca893c103b017ede90c0161", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.56
[INFO] [stderr]    Compiling glob v0.3.1
[INFO] [stderr]    Compiling quote v1.0.26
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling libc v0.2.142
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling libloading v0.7.4
[INFO] [stderr]    Compiling regex-syntax v0.7.1
[INFO] [stderr]    Compiling either v1.8.1
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling shlex v1.1.0
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling prettyplease v0.2.4
[INFO] [stderr]    Compiling bindgen v0.65.1
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling bindgen v0.64.0
[INFO] [stderr]    Compiling ppv-lite86 v0.2.17
[INFO] [stderr]    Compiling fs_extra v1.3.0
[INFO] [stderr]    Compiling hacl v0.0.2-dev.2
[INFO] [stderr]    Compiling libcrux v0.0.1-dev.3 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling clang-sys v1.6.1
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling which v4.4.0
[INFO] [stderr]    Compiling getrandom v0.2.9
[INFO] [stderr]    Compiling syn v2.0.15
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling regex v1.8.1
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]    Compiling libjade-sys v0.0.1-dev.1
[INFO] [stderr]    Compiling hacl-sys v0.0.2-dev.4
[INFO] [stderr] error: failed to run custom build command for `libjade-sys v0.0.1-dev.1`
[INFO] [stderr] note: To improve backtraces for build dependencies, set the CARGO_PROFILE_DEV_BUILD_OVERRIDE_DEBUG=true environment variable to enable debug information generation.
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/build/libjade-sys-c2bb064608d46a96/build-script-build` (exit status: 101)
[INFO] [stderr]   --- stdout
[INFO] [stderr]   cargo:rustc-cfg=simd128
[INFO] [stderr]   cargo:rustc-cfg=simd256
[INFO] [stderr]    >>> /opt/rustwide/target/debug/build/libjade-sys-919ec8b199f07734/out/jazz
[INFO] [stderr]    >>> -I/opt/rustwide/target/debug/build/libjade-sys-919ec8b199f07734/out/jazz/include -O3 -c -DSIMD256 -mavx2 sha3_224_avx2.s sha3_256_avx2.s sha3_384_avx2.s sha3_512_avx2.s chacha20_avx2.s poly1305_avx2.s
[INFO] [stderr]    >>> build_cmd: cd "/opt/rustwide/target/debug/build/libjade-sys-919ec8b199f07734/out/jazz" && "clang" "-I/opt/rustwide/target/debug/build/libjade-sys-919ec8b199f07734/out/jazz/include" "-O3" "-c" "-DSIMD256" "-mavx2" "sha3_224_avx2.s" "sha3_256_avx2.s" "sha3_384_avx2.s" "sha3_512_avx2.s" "chacha20_avx2.s" "poly1305_avx2.s"
[INFO] [stderr]        current dir: Some("/opt/rustwide/target/debug/build/libjade-sys-919ec8b199f07734/out/jazz")
[INFO] [stderr]    >>> build status: ExitStatus(unix_wait_status(0))
[INFO] [stderr]    >>> out "/opt/rustwide/target/debug/build/libjade-sys-919ec8b199f07734/out"
[INFO] [stderr]    >>> /opt/rustwide/target/debug/build/libjade-sys-919ec8b199f07734/out/jazz
[INFO] [stderr]    >>> -I/opt/rustwide/target/debug/build/libjade-sys-919ec8b199f07734/out/jazz/include -O3 -c -DSIMD128 -mavx chacha20_avx.s poly1305_avx.s
[INFO] [stderr]    >>> build_cmd: cd "/opt/rustwide/target/debug/build/libjade-sys-919ec8b199f07734/out/jazz" && "clang" "-I/opt/rustwide/target/debug/build/libjade-sys-919ec8b199f07734/out/jazz/include" "-O3" "-c" "-DSIMD128" "-mavx" "chacha20_avx.s" "poly1305_avx.s"
[INFO] [stderr]        current dir: Some("/opt/rustwide/target/debug/build/libjade-sys-919ec8b199f07734/out/jazz")
[INFO] [stderr]    >>> build status: ExitStatus(unix_wait_status(0))
[INFO] [stderr]    >>> out "/opt/rustwide/target/debug/build/libjade-sys-919ec8b199f07734/out"
[INFO] [stderr]    >>> /opt/rustwide/target/debug/build/libjade-sys-919ec8b199f07734/out/jazz
[INFO] [stderr]    >>> -I/opt/rustwide/target/debug/build/libjade-sys-919ec8b199f07734/out/jazz/include -O3 -c sha256.s x25519_ref.s x25519_mulx.s sha3_224_ref.s sha3_256_ref.s sha3_384_ref.s sha3_512_ref.s chacha20_ref.s poly1305_ref.s
[INFO] [stderr]    >>> build_cmd: cd "/opt/rustwide/target/debug/build/libjade-sys-919ec8b199f07734/out/jazz" && "clang" "-I/opt/rustwide/target/debug/build/libjade-sys-919ec8b199f07734/out/jazz/include" "-O3" "-c" "sha256.s" "x25519_ref.s" "x25519_mulx.s" "sha3_224_ref.s" "sha3_256_ref.s" "sha3_384_ref.s" "sha3_512_ref.s" "chacha20_ref.s" "poly1305_ref.s"
[INFO] [stderr]        current dir: Some("/opt/rustwide/target/debug/build/libjade-sys-919ec8b199f07734/out/jazz")
[INFO] [stderr]    >>> build status: ExitStatus(unix_wait_status(0))
[INFO] [stderr]    >>> out "/opt/rustwide/target/debug/build/libjade-sys-919ec8b199f07734/out"
[INFO] [stderr]    >>> build_cmd: cd "/opt/rustwide/target/debug/build/libjade-sys-919ec8b199f07734/out/jazz" && "ar" "-r" "/opt/rustwide/target/debug/build/libjade-sys-919ec8b199f07734/out/libjade.a" "sha256.o" "x25519_ref.o" "x25519_mulx.o" "sha3_224_ref.o" "sha3_256_ref.o" "sha3_384_ref.o" "sha3_512_ref.o" "chacha20_ref.o" "poly1305_ref.o" "sha3_224_avx2.o" "sha3_256_avx2.o" "sha3_384_avx2.o" "sha3_512_avx2.o" "chacha20_avx2.o" "poly1305_avx2.o" "chacha20_avx.o" "poly1305_avx.o"
[INFO] [stderr]        current dir: Some("/opt/rustwide/target/debug/build/libjade-sys-919ec8b199f07734/out/jazz")
[INFO] [stderr]   ExitStatus(unix_wait_status(0))
[INFO] [stderr]   cargo:rerun-if-changed=cs
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/libjade-sys-0.0.1-dev.1/jazz/include/sha256.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/stdint.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features-time64.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/stdc-predef.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/cdefs.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs-64.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/typesizes.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/time64.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wchar.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-intn.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-uintn.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/libjade-sys-0.0.1-dev.1/jazz/include/x25519_ref.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/libjade-sys-0.0.1-dev.1/jazz/include/x25519_mulx.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/libjade-sys-0.0.1-dev.1/jazz/include/sha3_224_ref.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/libjade-sys-0.0.1-dev.1/jazz/include/sha3_256_ref.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/libjade-sys-0.0.1-dev.1/jazz/include/sha3_384_ref.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/libjade-sys-0.0.1-dev.1/jazz/include/sha3_512_ref.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/libjade-sys-0.0.1-dev.1/jazz/include/poly1305_ref.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/libjade-sys-0.0.1-dev.1/jazz/include/chacha20_ref.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/libjade-sys-0.0.1-dev.1/jazz/include/sha3_224_avx2.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/libjade-sys-0.0.1-dev.1/jazz/include/sha3_256_avx2.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/libjade-sys-0.0.1-dev.1/jazz/include/sha3_384_avx2.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/libjade-sys-0.0.1-dev.1/jazz/include/sha3_512_avx2.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/libjade-sys-0.0.1-dev.1/jazz/include/poly1305_avx2.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/libjade-sys-0.0.1-dev.1/jazz/include/chacha20_avx2.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/libjade-sys-0.0.1-dev.1/jazz/include/poly1305_avx.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/libjade-sys-0.0.1-dev.1/jazz/include/chacha20_avx.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h
[INFO] [stderr] 
[INFO] [stderr]   --- stderr
[INFO] [stderr]    >>> out "/opt/rustwide/target/debug/build/libjade-sys-919ec8b199f07734/out"
[INFO] [stderr]   clang: warning: argument unused during compilation: '-D SIMD256' [-Wunused-command-line-argument]
[INFO] [stderr]   clang: warning: argument unused during compilation: '-D SIMD128' [-Wunused-command-line-argument]
[INFO] [stderr]   ar: creating /opt/rustwide/target/debug/build/libjade-sys-919ec8b199f07734/out/libjade.a
[INFO] [stderr]   thread 'main' panicked at 'Couldn't write bindings!: Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }', /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/libjade-sys-0.0.1-dev.1/build.rs:66:14
[INFO] [stderr]   stack backtrace:
[INFO] [stderr]      0:     0x55a6a883566a - std::backtrace_rs::backtrace::libunwind::trace::ha9053a9a07ca49cb
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5
[INFO] [stderr]      1:     0x55a6a883566a - std::backtrace_rs::backtrace::trace_unsynchronized::h9c2852a457ad564e
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stderr]      2:     0x55a6a883566a - std::sys_common::backtrace::_print_fmt::h457936fbfaa0070f
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/sys_common/backtrace.rs:65:5
[INFO] [stderr]      3:     0x55a6a883566a - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h5779d7bf7f70cb0c
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stderr]      4:     0x55a6a885b9ee - core::fmt::write::h5a4baaff1bcd3eb5
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/core/src/fmt/mod.rs:1232:17
[INFO] [stderr]      5:     0x55a6a88324a5 - std::io::Write::write_fmt::h4bc1f301cb9e9cce
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/io/mod.rs:1684:15
[INFO] [stderr]      6:     0x55a6a8835435 - std::sys_common::backtrace::_print::h5fcdc36060f177e8
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stderr]      7:     0x55a6a8835435 - std::sys_common::backtrace::print::h54ca9458b876c8bf
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stderr]      8:     0x55a6a8836c6f - std::panicking::default_hook::{{closure}}::hbe471161c7664ed6
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:271:22
[INFO] [stderr]      9:     0x55a6a88369ab - std::panicking::default_hook::ha3500da57aa4ac4f
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:290:9
[INFO] [stderr]     10:     0x55a6a8837218 - std::panicking::rust_panic_with_hook::h50c09d000dc561d2
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:692:13
[INFO] [stderr]     11:     0x55a6a8837119 - std::panicking::begin_panic_handler::{{closure}}::h9e2b2176e00e0d9c
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:583:13
[INFO] [stderr]     12:     0x55a6a8835ad6 - std::sys_common::backtrace::__rust_end_short_backtrace::h5739b8e512c09d02
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/sys_common/backtrace.rs:150:18
[INFO] [stderr]     13:     0x55a6a8836e22 - rust_begin_unwind
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:579:5
[INFO] [stderr]     14:     0x55a6a82fa7d3 - core::panicking::panic_fmt::hf33a1475b4dc5c3e
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/core/src/panicking.rs:64:14
[INFO] [stderr]     15:     0x55a6a82fac83 - core::result::unwrap_failed::hdff5465d74574b44
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/core/src/result.rs:1750:5
[INFO] [stderr]     16:     0x55a6a837d953 - core::result::Result<T,E>::expect::h631fb1a8dac2b22e
[INFO] [stderr]     17:     0x55a6a8302111 - build_script_build::x64_build::create_bindings::hf027f46cd19efa0f
[INFO] [stderr]     18:     0x55a6a8300a3d - build_script_build::main::h83452fbea88354f7
[INFO] [stderr]     19:     0x55a6a82fed53 - core::ops::function::FnOnce::call_once::h9ae5f73e91504bda
[INFO] [stderr]     20:     0x55a6a82fec89 - std::sys_common::backtrace::__rust_begin_short_backtrace::hfe8cca318999aae7
[INFO] [stderr]     21:     0x55a6a8305e99 - std::rt::lang_start::{{closure}}::hc90b2989a769b126
[INFO] [stderr]     22:     0x55a6a882e43c - core::ops::function::impls::<impl core::ops::function::FnOnce<A> for &F>::call_once::hd6efcd3bec896f2c
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/core/src/ops/function.rs:287:13
[INFO] [stderr]     23:     0x55a6a882e43c - std::panicking::try::do_call::hce04e543bb1f4cbb
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:487:40
[INFO] [stderr]     24:     0x55a6a882e43c - std::panicking::try::h3342dd4e1f680968
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:451:19
[INFO] [stderr]     25:     0x55a6a882e43c - std::panic::catch_unwind::h148ce1e59ac0cee7
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panic.rs:140:14
[INFO] [stderr]     26:     0x55a6a882e43c - std::rt::lang_start_internal::{{closure}}::h25f9dda2057a67fe
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/rt.rs:148:48
[INFO] [stderr]     27:     0x55a6a882e43c - std::panicking::try::do_call::h7caaaeaf9401650b
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:487:40
[INFO] [stderr]     28:     0x55a6a882e43c - std::panicking::try::he7d15285746cbbc2
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:451:19
[INFO] [stderr]     29:     0x55a6a882e43c - std::panic::catch_unwind::h89fb4f50c0301fe0
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panic.rs:140:14
[INFO] [stderr]     30:     0x55a6a882e43c - std::rt::lang_start_internal::h078acd489417d3c1
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/rt.rs:148:20
[INFO] [stderr]     31:     0x55a6a8305e77 - std::rt::lang_start::h007e2323278ccab6
[INFO] [stderr]     32:     0x55a6a8300d45 - main
[INFO] [stderr]     33:     0x7f082bd36d90 - <unknown>
[INFO] [stderr]     34:     0x7f082bd36e40 - __libc_start_main
[INFO] [stderr]     35:     0x55a6a82fae65 - _start
[INFO] [stderr]     36:                0x0 - <unknown>
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: failed to run custom build command for `hacl-sys v0.0.2-dev.4`
[INFO] [stderr] note: To improve backtraces for build dependencies, set the CARGO_PROFILE_DEV_BUILD_OVERRIDE_DEBUG=true environment variable to enable debug information generation.
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/build/hacl-sys-ba5d0ef76861cc66/build-script-build` (exit status: 101)
[INFO] [stderr]   --- stdout
[INFO] [stderr]   mach_build: false
[INFO] [stderr]    >>> Copying HACL C file
[INFO] [stderr]        from /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/hacl-sys-0.0.2-dev.4/.c
[INFO] [stderr]        to /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c
[INFO] [stderr]    >>> Building HACL C in /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c
[INFO] [stderr]   -- The C compiler identification is GNU 11.3.0
[INFO] [stderr]   -- The CXX compiler identification is GNU 11.3.0
[INFO] [stderr]   -- Detecting C compiler ABI info
[INFO] [stderr]   -- Detecting C compiler ABI info - done
[INFO] [stderr]   -- Check for working C compiler: /usr/bin/cc - skipped
[INFO] [stderr]   -- Detecting C compile features
[INFO] [stderr]   -- Detecting C compile features - done
[INFO] [stderr]   -- Detecting CXX compiler ABI info
[INFO] [stderr]   -- Detecting CXX compiler ABI info - done
[INFO] [stderr]   -- Check for working CXX compiler: /usr/bin/c++ - skipped
[INFO] [stderr]   -- Detecting CXX compile features
[INFO] [stderr]   -- Detecting CXX compile features - done
[INFO] [stderr]   -- The ASM compiler identification is GNU
[INFO] [stderr]   -- Found assembler: /usr/bin/cc
[INFO] [stderr]   -- Bug 81300 check: FALSE
[INFO] [stderr]   -- int128 support: TRUE
[INFO] [stderr]   -- explicit_bzero support: TRUE
[INFO] [stderr]   -- vec128 support: TRUE
[INFO] [stderr]   -- vec256 support: TRUE
[INFO] [stderr]   -- Detected vale support
[INFO] [stderr]   -- Detected inline assembly support
[INFO] [stderr]   -- Detected intrinsics support
[INFO] [stderr]   -- Detected an x64 architecture
[INFO] [stderr]   -- Configuring done
[INFO] [stderr]   -- Generating done
[INFO] [stderr]   -- Build files have been written to: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build
[INFO] [stderr]   ninja: Entering directory `build'
[INFO] [stderr]   [1/155] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Streaming_Blake2s_128.c.o
[INFO] [stderr]   [2/155] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Streaming_Poly1305_128.c.o
[INFO] [stderr]   [3/155] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HKDF_Blake2s_128.c.o
[INFO] [stderr]   [4/155] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Chacha20Poly1305_128.c.o
[INFO] [stderr]   [5/155] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HPKE_Curve51_CP128_SHA512.c.o
[INFO] [stderr]   [6/155] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Hash_Blake2s_128.c.o
[INFO] [stderr]   [7/155] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HMAC_Blake2s_128.c.o
[INFO] [stderr]   [8/155] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HPKE_Curve64_CP128_SHA512.c.o
[INFO] [stderr]   [9/155] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Poly1305_128.c.o
[INFO] [stderr]   [10/155] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HPKE_Curve64_CP128_SHA256.c.o
[INFO] [stderr]   [11/155] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HPKE_Curve51_CP128_SHA256.c.o
[INFO] [stderr]   [12/155] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_Hash_Blake2b_256.c.o
[INFO] [stderr]   [13/155] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_GenericField64.c.o
[INFO] [stderr]   [14/155] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_Chacha20Poly1305_256.c.o
[INFO] [stderr]   [15/155] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_Streaming_Poly1305_256.c.o
[INFO] [stderr]   [16/155] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Chacha20_Vec128.c.o
[INFO] [stderr]   [17/155] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Bignum64.c.o
[INFO] [stderr]   [18/155] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_Poly1305_256.c.o
[INFO] [stderr]   [19/155] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_Streaming_Blake2b_256.c.o
[INFO] [stderr]   [20/155] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HPKE_P256_CP128_SHA256.c.o
[INFO] [stderr]   [21/155] Building C object CMakeFiles/hacl.dir/src/Hacl_NaCl.c.o
[INFO] [stderr]   [22/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Poly1305_32.c.o
[INFO] [stderr]   [23/155] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HMAC_Blake2b_256.c.o
[INFO] [stderr]   [24/155] Building C object CMakeFiles/hacl.dir/src/Hacl_HMAC.c.o
[INFO] [stderr]   [25/155] Building C object CMakeFiles/hacl.dir/src/Lib_Memzero0.c.o
[INFO] [stderr]   [26/155] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HPKE_Curve51_CP256_SHA512.c.o
[INFO] [stderr]   [27/155] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HKDF_Blake2b_256.c.o
[INFO] [stderr]   [28/155] Building C object CMakeFiles/hacl.dir/src/Hacl_HMAC_DRBG.c.o
[INFO] [stderr]   [29/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Hash_Base.c.o
[INFO] [stderr]   [30/155] Building C object CMakeFiles/hacl.dir/src/Hacl_EC_Ed25519.c.o
[INFO] [stderr]   [31/155] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HPKE_Curve64_CP256_SHA512.c.o
[INFO] [stderr]   [32/155] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HPKE_Curve51_CP256_SHA256.c.o
[INFO] [stderr]   [33/155] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HPKE_Curve64_CP256_SHA256.c.o
[INFO] [stderr]   [34/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Hash_SHA2.c.o
[INFO] [stderr]   [35/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Streaming_Blake2.c.o
[INFO] [stderr]   [36/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Chacha20Poly1305_32.c.o
[INFO] [stderr]   [37/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Streaming_Poly1305_32.c.o
[INFO] [stderr]   [38/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Curve25519_51.c.o
[INFO] [stderr]   [39/155] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_Chacha20_Vec256.c.o
[INFO] [stderr]   [40/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Chacha20.c.o
[INFO] [stderr]   [41/155] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HPKE_P256_CP256_SHA256.c.o
[INFO] [stderr]   [42/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Salsa20.c.o
[INFO] [stderr]   [43/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Hash_Blake2.c.o
[INFO] [stderr]   [44/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Hash_SHA1.c.o
[INFO] [stderr]   [45/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Hash_SHA3.c.o
[INFO] [stderr]   [46/155] Building C object CMakeFiles/hacl.dir/src/Hacl_GenericField32.c.o
[INFO] [stderr]   [47/155] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Bignum4096.c.o
[INFO] [stderr]   [48/155] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_SHA2_Vec128.c.o
[INFO] [stderr]   [49/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Hash_MD5.c.o
[INFO] [stderr]   [50/155] Building C object CMakeFiles/hacl.dir/src/Hacl_FFDHE.c.o
[INFO] [stderr]   [51/155] Building C object CMakeFiles/hacl.dir/src/Hacl_HKDF.c.o
[INFO] [stderr]   [52/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Streaming_SHA2.c.o
[INFO] [stderr]   [53/155] Building C object CMakeFiles/hacl.dir/src/Hacl_HPKE_Curve51_CP32_SHA256.c.o
[INFO] [stderr]   [54/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Frodo_KEM.c.o
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/Hacl_Frodo_KEM.c: In function 'randombytes_':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/Hacl_Frodo_KEM.c:33:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]      33 |   bool b = Lib_RandomBuffer_System_randombytes(res, len);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/internal/Hacl_Frodo_KEM.h:40,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/Hacl_Frodo_KEM.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   [55/155] Building C object CMakeFiles/hacl.dir/src/Hacl_HPKE_Curve51_CP32_SHA512.c.o
[INFO] [stderr]   [56/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Bignum32.c.o
[INFO] [stderr]   [57/155] Building C object CMakeFiles/hacl.dir/src/Lib_RandomBuffer_System.c.o
[INFO] [stderr]   [58/155] Building C object CMakeFiles/hacl.dir/src/Hacl_HPKE_P256_CP32_SHA256.c.o
[INFO] [stderr]   [59/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Ed25519.c.o
[INFO] [stderr]   [60/155] Building C object CMakeFiles/hacl.dir/src/EverCrypt_AutoConfig2.c.o
[INFO] [stderr]   [61/155] Building C object CMakeFiles/hacl.dir/src/EverCrypt_Ed25519.c.o
[INFO] [stderr]   [62/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Chacha20_Vec32.c.o
[INFO] [stderr]   [63/155] Building C object CMakeFiles/hacl.dir/src/EverCrypt_Curve25519.c.o
[INFO] [stderr]   [64/155] Building C object CMakeFiles/hacl.dir/src/Hacl_EC_K256.c.o
[INFO] [stderr]   [65/155] Building C object CMakeFiles/hacl.dir/src/EverCrypt_Cipher.c.o
[INFO] [stderr]   [66/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Frodo64.c.o
[INFO] [stderr]   [67/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Bignum4096_32.c.o
[INFO] [stderr]   [68/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Frodo640.c.o
[INFO] [stderr]   [69/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Frodo1344.c.o
[INFO] [stderr]   [70/155] Building C object CMakeFiles/hacl.dir/src/EverCrypt_Chacha20Poly1305.c.o
[INFO] [stderr]   [71/155] Building ASM object CMakeFiles/hacl.dir/vale/src/cpuid-x86_64-linux.S.o
[INFO] [stderr]   [72/155] Building C object CMakeFiles/hacl.dir/src/Hacl_P256.c.o
[INFO] [stderr]   [73/155] Building C object CMakeFiles/hacl.dir/src/EverCrypt_HMAC.c.o
[INFO] [stderr]   [74/155] Building C object CMakeFiles/hacl.dir/src/EverCrypt_HKDF.c.o
[INFO] [stderr]   [75/155] Building C object CMakeFiles/hacl.dir/src/EverCrypt_Poly1305.c.o
[INFO] [stderr]   [76/155] Building ASM object CMakeFiles/hacl.dir/vale/src/sha256-x86_64-linux.S.o
[INFO] [stderr]   [77/155] Building ASM object CMakeFiles/hacl.dir/vale/src/curve25519-x86_64-linux.S.o
[INFO] [stderr]   [78/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Frodo976.c.o
[INFO] [stderr]   [79/155] Building ASM object CMakeFiles/hacl.dir/vale/src/aesgcm-x86_64-linux.S.o
[INFO] [stderr]   [80/155] Building ASM object CMakeFiles/hacl.dir/vale/src/poly1305-x86_64-linux.S.o
[INFO] [stderr]   [81/155] Building C object CMakeFiles/hacl.dir/src/Hacl_RSAPSS.c.o
[INFO] [stderr]   [82/155] Building C object CMakeFiles/hacl.dir/src/Hacl_HPKE_Curve64_CP32_SHA256.c.o
[INFO] [stderr]   [83/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Curve25519_64.c.o
[INFO] [stderr]   [84/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_NaCl.c.o
[INFO] [stderr]   [85/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_HMAC.c.o
[INFO] [stderr]   [86/155] Building C object CMakeFiles/hacl.dir/src/Hacl_HPKE_Curve64_CP32_SHA512.c.o
[INFO] [stderr]   [87/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Poly1305_32.c.o
[INFO] [stderr]   [88/155] Building C object CMakeFiles/hacl_static.dir/src/Lib_Memzero0.c.o
[INFO] [stderr]   [89/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Hash_Base.c.o
[INFO] [stderr]   [90/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Hash_SHA2.c.o
[INFO] [stderr]   [91/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_EC_Ed25519.c.o
[INFO] [stderr]   [92/155] Building C object CMakeFiles/hacl.dir/src/EverCrypt_Hash.c.o
[INFO] [stderr]   [93/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Streaming_Blake2.c.o
[INFO] [stderr]   [94/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Bignum256_32.c.o
[INFO] [stderr]   [95/155] Building C object CMakeFiles/hacl.dir/src/EverCrypt_DRBG.c.o
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c: In function 'instantiate_sha1':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:250:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     250 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy, min_entropy);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c: In function 'instantiate_sha2_256':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:340:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     340 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy, min_entropy);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c: In function 'instantiate_sha2_384':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:430:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     430 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy, min_entropy);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c: In function 'instantiate_sha2_512':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:520:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     520 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy, min_entropy);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c: In function 'reseed_sha1':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:608:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     608 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c: In function 'reseed_sha2_256':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:689:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     689 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c: In function 'reseed_sha2_384':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:770:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     770 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c: In function 'reseed_sha2_512':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:851:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     851 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c: In function 'generate_sha1':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:947:5: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     947 |     bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len1);
[INFO] [stderr]         |     ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c: In function 'generate_sha2_256':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:1168:5: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]    1168 |     bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len1);
[INFO] [stderr]         |     ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c: In function 'generate_sha2_384':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:1389:5: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]    1389 |     bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len1);
[INFO] [stderr]         |     ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c: In function 'generate_sha2_512':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:1610:5: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]    1610 |     bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len1);
[INFO] [stderr]         |     ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   [96/155] Building C object CMakeFiles/hacl.dir/src/EverCrypt_AEAD.c.o
[INFO] [stderr]   [97/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_HMAC_DRBG.c.o
[INFO] [stderr]   [98/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Curve25519_51.c.o
[INFO] [stderr]   [99/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Streaming_Poly1305_32.c.o
[INFO] [stderr]   [100/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Chacha20Poly1305_32.c.o
[INFO] [stderr]   [101/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Chacha20.c.o
[INFO] [stderr]   [102/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Salsa20.c.o
[INFO] [stderr]   [103/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Bignum.c.o
[INFO] [stderr]   [104/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Bignum32.c.o
[INFO] [stderr]   [105/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Streaming_SHA2.c.o
[INFO] [stderr]   [106/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Hash_SHA3.c.o
[INFO] [stderr]   [107/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Hash_SHA1.c.o
[INFO] [stderr]   [108/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_GenericField32.c.o
[INFO] [stderr]   [109/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Hash_MD5.c.o
[INFO] [stderr]   [110/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Hash_Blake2.c.o
[INFO] [stderr]   [111/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Chacha20_Vec32.c.o
[INFO] [stderr]   [112/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_HPKE_Curve51_CP32_SHA256.c.o
[INFO] [stderr]   [113/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Ed25519.c.o
[INFO] [stderr]   [114/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_FFDHE.c.o
[INFO] [stderr]   [115/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_HKDF.c.o
[INFO] [stderr]   [116/155] Building C object CMakeFiles/hacl.dir/src/Hacl_Bignum256.c.o
[INFO] [stderr]   [117/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Frodo_KEM.c.o
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/Hacl_Frodo_KEM.c: In function 'randombytes_':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/Hacl_Frodo_KEM.c:33:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]      33 |   bool b = Lib_RandomBuffer_System_randombytes(res, len);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/internal/Hacl_Frodo_KEM.h:40,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/Hacl_Frodo_KEM.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   [118/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_P256.c.o
[INFO] [stderr]   [119/155] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_SHA2_Vec256.c.o
[INFO] [stderr]   [120/155] Building C object CMakeFiles/hacl.dir/src/Hacl_K256_ECDSA.c.o
[INFO] [stderr]   [121/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_HPKE_Curve51_CP32_SHA512.c.o
[INFO] [stderr]   [122/155] Building C object CMakeFiles/hacl_static.dir/src/Lib_RandomBuffer_System.c.o
[INFO] [stderr]   [123/155] Linking C shared library libhacl.so
[INFO] [stderr]   [124/155] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_AutoConfig2.c.o
[INFO] [stderr]   [125/155] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_Ed25519.c.o
[INFO] [stderr]   [126/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Bignum256_32.c.o
[INFO] [stderr]   [127/155] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_Curve25519.c.o
[INFO] [stderr]   [128/155] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_Cipher.c.o
[INFO] [stderr]   [129/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Frodo640.c.o
[INFO] [stderr]   [130/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_EC_K256.c.o
[INFO] [stderr]   [131/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Bignum4096_32.c.o
[INFO] [stderr]   [132/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Frodo976.c.o
[INFO] [stderr]   [133/155] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_HMAC.c.o
[INFO] [stderr]   [134/155] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_HKDF.c.o
[INFO] [stderr]   [135/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_RSAPSS.c.o
[INFO] [stderr]   [136/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Frodo64.c.o
[INFO] [stderr]   [137/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Curve25519_64.c.o
[INFO] [stderr]   [138/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Frodo1344.c.o
[INFO] [stderr]   [139/155] Building ASM object CMakeFiles/hacl_static.dir/vale/src/sha256-x86_64-linux.S.o
[INFO] [stderr]   [140/155] Building ASM object CMakeFiles/hacl_static.dir/vale/src/poly1305-x86_64-linux.S.o
[INFO] [stderr]   [141/155] Building ASM object CMakeFiles/hacl_static.dir/vale/src/curve25519-x86_64-linux.S.o
[INFO] [stderr]   [142/155] Building ASM object CMakeFiles/hacl_static.dir/vale/src/cpuid-x86_64-linux.S.o
[INFO] [stderr]   [143/155] Building ASM object CMakeFiles/hacl_static.dir/vale/src/aesgcm-x86_64-linux.S.o
[INFO] [stderr]   [144/155] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_Chacha20Poly1305.c.o
[INFO] [stderr]   [145/155] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_Poly1305.c.o
[INFO] [stderr]   [146/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_HPKE_Curve64_CP32_SHA256.c.o
[INFO] [stderr]   [147/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_HPKE_Curve64_CP32_SHA512.c.o
[INFO] [stderr]   [148/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_HPKE_P256_CP32_SHA256.c.o
[INFO] [stderr]   [149/155] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_DRBG.c.o
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c: In function 'instantiate_sha1':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:250:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     250 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy, min_entropy);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c: In function 'instantiate_sha2_256':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:340:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     340 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy, min_entropy);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c: In function 'instantiate_sha2_384':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:430:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     430 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy, min_entropy);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c: In function 'instantiate_sha2_512':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:520:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     520 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy, min_entropy);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c: In function 'reseed_sha1':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:608:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     608 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c: In function 'reseed_sha2_256':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:689:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     689 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c: In function 'reseed_sha2_384':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:770:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     770 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c: In function 'reseed_sha2_512':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:851:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     851 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c: In function 'generate_sha1':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:947:5: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     947 |     bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len1);
[INFO] [stderr]         |     ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c: In function 'generate_sha2_256':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:1168:5: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]    1168 |     bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len1);
[INFO] [stderr]         |     ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c: In function 'generate_sha2_384':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:1389:5: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]    1389 |     bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len1);
[INFO] [stderr]         |     ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c: In function 'generate_sha2_512':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:1610:5: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]    1610 |     bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len1);
[INFO] [stderr]         |     ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   [150/155] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_Hash.c.o
[INFO] [stderr]   [151/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Bignum256.c.o
[INFO] [stderr]   [152/155] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_AEAD.c.o
[INFO] [stderr]   [153/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Bignum.c.o
[INFO] [stderr]   [154/155] Building C object CMakeFiles/hacl_static.dir/src/Hacl_K256_ECDSA.c.o
[INFO] [stderr]   [155/155] Linking C static library libhacl_static.a
[INFO] [stderr]    >>> Installing HACL C into /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed
[INFO] [stderr]   -- Install configuration: "Release"
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/lib/libhacl_static.a
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/lib/libhacl.so
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/lib/cmake/hacl/0.6.0/haclConfig.cmake
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/lib/cmake/hacl/0.6.0/haclConfig-release.cmake
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_NaCl.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/lowstar_endianness.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/fstar_uint128_gcc64.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/FStar_UInt128.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/FStar_UInt_8_16_32_64.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/LowStar_Endianness.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Salsa20.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Poly1305_32.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Curve25519_51.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HMAC_DRBG.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Spec.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HMAC.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Hash_SHA2.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Hash_Blake2.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Lib_Memzero0.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Streaming_SHA2.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Streaming_Types.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Ed25519.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_EC_Ed25519.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Hash_Base.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Streaming_Blake2.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Hash_Blake2b_256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/libintvector.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/config.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Streaming_Blake2b_256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Hash_Blake2s_128.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Streaming_Blake2s_128.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Bignum256_32.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Bignum.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/lib_intrinsics.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_IntTypes_Intrinsics.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_IntTypes_Intrinsics_128.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Bignum256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Bignum32.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Bignum4096_32.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Bignum4096.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Bignum64.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_GenericField32.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_GenericField64.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Chacha20Poly1305_32.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Chacha20.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Streaming_Poly1305_32.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Chacha20_Vec32.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Chacha20Poly1305_128.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Poly1305_128.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Chacha20_Vec128.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Streaming_Poly1305_128.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Chacha20Poly1305_256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Poly1305_256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Chacha20_Vec256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Streaming_Poly1305_256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Curve25519_64.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/curve25519-inline.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_P256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_K256_ECDSA.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_EC_K256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_FFDHE.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Hash_SHA3.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_SHA2_Vec128.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_SHA2_Vec256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Hash_SHA1.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Hash_MD5.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HKDF.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HKDF_Blake2s_128.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HMAC_Blake2s_128.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HKDF_Blake2b_256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HMAC_Blake2b_256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_RSAPSS.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HPKE_Curve64_CP128_SHA256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HPKE_Interface_Hacl_Impl_HPKE_Hacl_Meta_HPKE.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HPKE_Curve64_CP128_SHA512.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HPKE_Curve64_CP256_SHA256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HPKE_Curve64_CP256_SHA512.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HPKE_Curve64_CP32_SHA256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HPKE_Curve64_CP32_SHA512.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HPKE_Curve51_CP256_SHA256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HPKE_Curve51_CP256_SHA512.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HPKE_P256_CP256_SHA256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HPKE_Curve51_CP128_SHA256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HPKE_Curve51_CP128_SHA512.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HPKE_Curve51_CP32_SHA256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HPKE_Curve51_CP32_SHA512.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HPKE_P256_CP128_SHA256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HPKE_P256_CP32_SHA256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Frodo1344.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Lib_RandomBuffer_System.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Frodo640.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Frodo976.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Frodo64.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_DRBG.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_Hash.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_Error.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_AutoConfig2.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_HMAC.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_Ed25519.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_Curve25519.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_HKDF.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_Cipher.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_Chacha20Poly1305.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_Poly1305.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_AEAD.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/fstar_int.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/steel_base.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/debug.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/compat.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/wasmsupport.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/callconv.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/builtin.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/c_endianness.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/fstar_uint128_gcc64.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/fstar_uint128_struct_endianness.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/FStar_UInt128.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/FStar_UInt128_Verified.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/LowStar_Endianness.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/FStar_UInt_8_16_32_64.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/fstar_uint128_msvc.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/vale
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/vale/Vale.h
[INFO] [stderr]   cargo:rerun-if-changed=wrapper.h
[INFO] [stderr]   cargo:rerun-if-env-changed=TARGET
[INFO] [stderr]   cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_AEAD.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features-time64.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/stdc-predef.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/cdefs.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs-64.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stddef.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/locale_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__locale_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/strings.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stddef.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/locale_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/inttypes.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/inttypes.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/stdint.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/typesizes.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/time64.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wchar.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-intn.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-uintn.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/stdio.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stddef.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdarg.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__fpos_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__fpos64_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__FILE.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/FILE.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_FILE.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdio_lim.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn-common.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/stdlib.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stddef.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/waitflags.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/waitstatus.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/clock_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/clockid_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/time_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/timer_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stddef.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-intn.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/endian.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/endian.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/byteswap.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/uintn-identity.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/select.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/select.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/sigset_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__sigset_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/time_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_timeval.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_timespec.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/endian.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/time_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/pthreadtypes.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/pthreadtypes-arch.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/atomic_wide_counter.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/struct_mutex.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/struct_rwlock.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/alloca.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stddef.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdlib-float.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/inttypes.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/endian.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/fstar_uint128_gcc64.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/FStar_UInt128.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/inttypes.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdbool.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/compat.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/inttypes.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/fstar_uint128_gcc64.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/stdlib.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stddef.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/__stddef_max_align_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/stdio.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdbool.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/inttypes.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/limits.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/limits.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/posix1_lim.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/local_lim.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/linux/limits.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/pthread_stack_min-dynamic.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/pthread_stack_min.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/posix2_lim.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/assert.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/time.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stddef.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/time.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/clock_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/time_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_tm.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_timespec.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/clockid_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/timer_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_itimerspec.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_timespec.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/locale_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/FStar_UInt_8_16_32_64.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/inttypes.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdbool.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/compat.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/LowStar_Endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/inttypes.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdbool.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/compat.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Spec.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_Error.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_Chacha20Poly1305.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Chacha20Poly1305_32.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Poly1305_32.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Chacha20.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Chacha20Poly1305_256.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Poly1305_256.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/libintvector.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/config.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/emmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/xmmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/mmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/mm_malloc.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/stdlib.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/emmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/tmmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/pmmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/emmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/smmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/tmmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/popcntintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/crc32intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/immintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/x86gprintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/hresetintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/uintrintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/crc32intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/mmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/xmmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/emmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/pmmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/tmmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/smmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/wmmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/emmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/__wmmintrin_aes.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/__wmmintrin_pclmul.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/clflushoptintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/clwbintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avxintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx2intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/f16cintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/bmiintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/bmi2intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/lzcntintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/popcntintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/fmaintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512fintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512vlintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512bwintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512bitalgintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512cdintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512vpopcntdqintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512vpopcntdqvlintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512vnniintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512vlvnniintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avxvnniintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512dqintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512vlbitalgintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512vlbwintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512vlcdintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512vldqintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512erintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512ifmaintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512ifmavlintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512vbmiintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512vbmivlintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512vbmi2intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512vlvbmi2intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512pfintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512bf16intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512vlbf16intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/pkuintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/vpclmulqdqintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/vaesintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/gfniintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/rtmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/xtestintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/shaintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/fxsrintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/xsaveintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/xsaveoptintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/xsavecintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/xsavesintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/cetintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/adxintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/rdseedintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/wbnoinvdintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/cldemoteintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/waitpkgintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/movdirintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/pconfigintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/sgxintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/ptwriteintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/invpcidintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/keylockerintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/amxintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512vp2intersectintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/avx512vlvp2intersectintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/enqcmdintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/serializeintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/tsxldtrkintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Chacha20_Vec256.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Chacha20Poly1305_128.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Poly1305_128.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/libintvector.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Chacha20_Vec128.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_AutoConfig2.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_AutoConfig2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_AutoConfig2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_Curve25519.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Curve25519_64.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Curve25519_51.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_AutoConfig2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_Ed25519.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Ed25519.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Streaming_Types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Streaming_SHA2.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Streaming_Types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Hash_SHA2.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_HKDF.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Spec.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_HMAC.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Spec.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Hash_SHA2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Hash_Blake2.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Lib_Memzero0.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_Hash.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Spec.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Hash_SHA3.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Streaming_Types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Hash_SHA2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Hash_Blake2s_128.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Lib_Memzero0.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/libintvector.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Hash_Blake2b_256.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Lib_Memzero0.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/libintvector.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Hash_Blake2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_Error.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/EverCrypt_AutoConfig2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Bignum64.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Bignum.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/lib_intrinsics.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/config.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/x86intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/ia32intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/immintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/mm3dnow.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/mmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/prfchwintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/prfchwintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/ammintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/pmmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/fma4intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/pmmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/xopintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/fma4intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/tbmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/lwpintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/mwaitxintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/clzerointrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HKDF.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HMAC.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Hash_SHA2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Hash_Blake2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HMAC.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HMAC_DRBG.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Spec.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_HMAC.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Hash_Blake2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Hash_SHA2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Hash_SHA3.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_P256.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Spec.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Hash_SHA2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/lib_intrinsics.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_RSAPSS.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Spec.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Hash_SHA2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Spec.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-dc011b74af14fae2/out/c/build/installed/include/hacl/Hacl_Streaming_SHA2.h
[INFO] [stderr] 
[INFO] [stderr]   --- stderr
[INFO] [stderr]   thread 'main' panicked at 'Couldn't write bindings!: Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }', /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/hacl-sys-0.0.2-dev.4/build.rs:66:10
[INFO] [stderr]   stack backtrace:
[INFO] [stderr]      0:     0x55c31c082e7a - std::backtrace_rs::backtrace::libunwind::trace::ha9053a9a07ca49cb
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5
[INFO] [stderr]      1:     0x55c31c082e7a - std::backtrace_rs::backtrace::trace_unsynchronized::h9c2852a457ad564e
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stderr]      2:     0x55c31c082e7a - std::sys_common::backtrace::_print_fmt::h457936fbfaa0070f
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/sys_common/backtrace.rs:65:5
[INFO] [stderr]      3:     0x55c31c082e7a - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h5779d7bf7f70cb0c
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stderr]      4:     0x55c31c0a7c4e - core::fmt::write::h5a4baaff1bcd3eb5
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/core/src/fmt/mod.rs:1232:17
[INFO] [stderr]      5:     0x55c31c07fd15 - std::io::Write::write_fmt::h4bc1f301cb9e9cce
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/io/mod.rs:1684:15
[INFO] [stderr]      6:     0x55c31c082c45 - std::sys_common::backtrace::_print::h5fcdc36060f177e8
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stderr]      7:     0x55c31c082c45 - std::sys_common::backtrace::print::h54ca9458b876c8bf
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stderr]      8:     0x55c31c0843ff - std::panicking::default_hook::{{closure}}::hbe471161c7664ed6
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:271:22
[INFO] [stderr]      9:     0x55c31c08413b - std::panicking::default_hook::ha3500da57aa4ac4f
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:290:9
[INFO] [stderr]     10:     0x55c31c0849a8 - std::panicking::rust_panic_with_hook::h50c09d000dc561d2
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:692:13
[INFO] [stderr]     11:     0x55c31c0848a9 - std::panicking::begin_panic_handler::{{closure}}::h9e2b2176e00e0d9c
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:583:13
[INFO] [stderr]     12:     0x55c31c0832e6 - std::sys_common::backtrace::__rust_end_short_backtrace::h5739b8e512c09d02
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/sys_common/backtrace.rs:150:18
[INFO] [stderr]     13:     0x55c31c0845b2 - rust_begin_unwind
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:579:5
[INFO] [stderr]     14:     0x55c31bb674c3 - core::panicking::panic_fmt::hf33a1475b4dc5c3e
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/core/src/panicking.rs:64:14
[INFO] [stderr]     15:     0x55c31bb67973 - core::result::unwrap_failed::hdff5465d74574b44
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/core/src/result.rs:1750:5
[INFO] [stderr]     16:     0x55c31bbd6e03 - core::result::Result<T,E>::expect::h3cdb21f7cd3c1994
[INFO] [stderr]     17:     0x55c31bb68aed - build_script_build::create_bindings::hc1dd65562ee11e53
[INFO] [stderr]     18:     0x55c31bb6af23 - build_script_build::main::h6e55b71f0cf4ae5a
[INFO] [stderr]     19:     0x55c31bb6bb93 - core::ops::function::FnOnce::call_once::h2fd763254424c5a3
[INFO] [stderr]     20:     0x55c31bb6b709 - std::sys_common::backtrace::__rust_begin_short_backtrace::haf1f4a05d6640b8e
[INFO] [stderr]     21:     0x55c31bb6bf29 - std::rt::lang_start::{{closure}}::hca0fed98460a6b93
[INFO] [stderr]     22:     0x55c31c07bcbc - core::ops::function::impls::<impl core::ops::function::FnOnce<A> for &F>::call_once::hd6efcd3bec896f2c
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/core/src/ops/function.rs:287:13
[INFO] [stderr]     23:     0x55c31c07bcbc - std::panicking::try::do_call::hce04e543bb1f4cbb
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:487:40
[INFO] [stderr]     24:     0x55c31c07bcbc - std::panicking::try::h3342dd4e1f680968
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:451:19
[INFO] [stderr]     25:     0x55c31c07bcbc - std::panic::catch_unwind::h148ce1e59ac0cee7
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panic.rs:140:14
[INFO] [stderr]     26:     0x55c31c07bcbc - std::rt::lang_start_internal::{{closure}}::h25f9dda2057a67fe
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/rt.rs:148:48
[INFO] [stderr]     27:     0x55c31c07bcbc - std::panicking::try::do_call::h7caaaeaf9401650b
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:487:40
[INFO] [stderr]     28:     0x55c31c07bcbc - std::panicking::try::he7d15285746cbbc2
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:451:19
[INFO] [stderr]     29:     0x55c31c07bcbc - std::panic::catch_unwind::h89fb4f50c0301fe0
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panic.rs:140:14
[INFO] [stderr]     30:     0x55c31c07bcbc - std::rt::lang_start_internal::h078acd489417d3c1
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/rt.rs:148:20
[INFO] [stderr]     31:     0x55c31bb6bf07 - std::rt::lang_start::ha484e6dfb81ca6b5
[INFO] [stderr]     32:     0x55c31bb6b2a5 - main
[INFO] [stderr]     33:     0x7f2b0897dd90 - <unknown>
[INFO] [stderr]     34:     0x7f2b0897de40 - __libc_start_main
[INFO] [stderr]     35:     0x55c31bb67b55 - _start
[INFO] [stderr]     36:                0x0 - <unknown>
[INFO] running `Command { std: "docker" "inspect" "6320fd1a10dc79577398f73874ee2ea0feb878e25ca893c103b017ede90c0161", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6320fd1a10dc79577398f73874ee2ea0feb878e25ca893c103b017ede90c0161", kill_on_drop: false }`
[INFO] [stdout] 6320fd1a10dc79577398f73874ee2ea0feb878e25ca893c103b017ede90c0161
