[INFO] fetching crate hpke-rs 0.0.5... [INFO] checking hpke-rs-0.0.5 against try#8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8 for pr-82565 [INFO] extracting crate hpke-rs 0.0.5 into /workspace/builds/worker-14/source [INFO] validating manifest of crates.io crate hpke-rs 0.0.5 on toolchain 8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate hpke-rs 0.0.5 [INFO] finished tweaking crates.io crate hpke-rs 0.0.5 [INFO] tweaked toml for crates.io crate hpke-rs 0.0.5 written to /workspace/builds/worker-14/source/Cargo.toml [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }` [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded evercrypt v0.0.7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/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" "rustops/crates-build-env@sha256:f2f6bcd4b43ebee4e173f653a26493129bdb64017c85f916b780ca7fbdbaa79d" "/opt/rustwide/cargo-home/bin/cargo" "+8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] da8948c30728a8873f1d305ad129b9d17cdc795abc5f3fba0edd2d24baa08adb [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "da8948c30728a8873f1d305ad129b9d17cdc795abc5f3fba0edd2d24baa08adb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "da8948c30728a8873f1d305ad129b9d17cdc795abc5f3fba0edd2d24baa08adb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "da8948c30728a8873f1d305ad129b9d17cdc795abc5f3fba0edd2d24baa08adb", kill_on_drop: false }` [INFO] [stdout] da8948c30728a8873f1d305ad129b9d17cdc795abc5f3fba0edd2d24baa08adb [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/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=forbid" "-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" "rustops/crates-build-env@sha256:f2f6bcd4b43ebee4e173f653a26493129bdb64017c85f916b780ca7fbdbaa79d" "/opt/rustwide/cargo-home/bin/cargo" "+8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 93100e97a433cb3f4d76c312eab204c5cffd6ff23755c7d4bf461b58f43b7354 [INFO] running `Command { std: "docker" "start" "-a" "93100e97a433cb3f4d76c312eab204c5cffd6ff23755c7d4bf461b58f43b7354", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.24 [INFO] [stderr] Compiling memchr v2.3.4 [INFO] [stderr] Compiling unicode-xid v0.2.1 [INFO] [stderr] Compiling version_check v0.9.2 [INFO] [stderr] Compiling bitflags v1.2.1 [INFO] [stderr] Compiling getrandom v0.1.16 [INFO] [stderr] Compiling lazycell v1.3.0 [INFO] [stderr] Compiling syn v1.0.63 [INFO] [stderr] Compiling serde_derive v1.0.124 [INFO] [stderr] Compiling serde v1.0.124 [INFO] [stderr] Compiling ryu v1.0.5 [INFO] [stderr] Compiling serde_json v1.0.64 [INFO] [stderr] Checking itoa v0.4.7 [INFO] [stderr] Checking lazy_static v1.4.0 [INFO] [stderr] Compiling clang-sys v0.29.3 [INFO] [stderr] Checking libc v0.2.88 [INFO] [stderr] Compiling bindgen v0.54.0 [INFO] [stderr] Compiling nom v5.1.2 [INFO] [stderr] Compiling clap v2.33.3 [INFO] [stderr] Compiling aho-corasick v0.7.15 [INFO] [stderr] Checking rand_core v0.5.1 [INFO] [stderr] Compiling quote v1.0.9 [INFO] [stderr] Checking rand_chacha v0.2.2 [INFO] [stderr] Checking rand v0.7.3 [INFO] [stderr] Compiling regex v1.4.4 [INFO] [stderr] Compiling cexpr v0.4.0 [INFO] [stderr] Compiling env_logger v0.7.1 [INFO] [stderr] Compiling evercrypt-sys v0.0.6 [INFO] [stderr] error: failed to run custom build command for `evercrypt-sys v0.0.6` [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/target/debug/build/evercrypt-sys-21e803626cf54c35/build-script-build` (exit code: 101) [INFO] [stderr] --- stdout [INFO] [stderr] cargo:rerun-if-changed=wrapper.h [INFO] [stderr] cargo:rerun-if-changed=hacl-star [INFO] [stderr] build_config: BuildConfig { hacl_src_dir: "gcc-compatible", cross: false, config_flags: [], make_flags: [], env: {}, lib_name: "evercrypt", windows: false } [INFO] [stderr] out_path: "/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out" [INFO] [stderr] hacl_src_path: "/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible" [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/EverCrypt_AEAD.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/config.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.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/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/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/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-10/lib/clang/10.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/x86_64-linux-gnu/bits/types.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/wordsize.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/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/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/lib/llvm-10/lib/clang/10.0.0/include/emmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/xmmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/mmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/mm_malloc.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-10/lib/clang/10.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/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/sys/types.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-10/lib/clang/10.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/lib/llvm-10/lib/clang/10.0.0/include/emmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/tmmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/pmmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/emmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/smmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/tmmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/popcntintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/immintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/mmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/xmmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/emmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/pmmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/tmmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/smmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/wmmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/emmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/__wmmintrin_aes.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/__wmmintrin_pclmul.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/clflushoptintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/clwbintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avxintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx2intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/f16cintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/vpclmulqdqintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/bmiintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/bmi2intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/lzcntintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/popcntintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/fmaintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512fintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512vlintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512bwintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512bitalgintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512cdintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512vpopcntdqintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512vpopcntdqvlintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512vnniintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512vlvnniintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512dqintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512vlbitalgintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512vlbwintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512vlcdintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512vldqintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512erintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512ifmaintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512ifmavlintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512vbmiintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512vbmivlintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512vbmi2intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512vlvbmi2intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512pfintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512bf16intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512vlbf16intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/pkuintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/vaesintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/gfniintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/rtmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/xtestintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/shaintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/fxsrintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/xsaveintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/xsaveoptintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/xsavecintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/xsavesintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/cetintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/adxintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/rdseedintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/wbnoinvdintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/cldemoteintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/waitpkgintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/movdirintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/pconfigintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/sgxintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/ptwriteintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/invpcidintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512vp2intersectintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/avx512vlvp2intersectintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/enqcmdintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/wmmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.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-10/lib/clang/10.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/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/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-10/lib/clang/10.0.0/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.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/sys_errlist.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdlib.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/stdint.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.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/lib/llvm-10/lib/clang/10.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-10/lib/clang/10.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/lib/llvm-10/lib/clang/10.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/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/kremlib/dist/minimal/fstar_uint128_gcc64.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/kremlib/dist/minimal/FStar_UInt128.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/inttypes.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/compat.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/inttypes.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/kremlib/dist/minimal/fstar_uint128_gcc64.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdlib.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdio.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/inttypes.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.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/posix2_lim.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/callconv.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-10/lib/clang/10.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/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/kremlib/dist/minimal/FStar_UInt_8_16_32_64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/inttypes.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/compat.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/kremlib/dist/minimal/LowStar_Endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/inttypes.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/compat.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/kremlib/dist/minimal/FStar_UInt128.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/EverCrypt_Chacha20Poly1305.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/EverCrypt_AutoConfig2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Vale.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Chacha20Poly1305_128.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Chacha20_Vec128.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Chacha20.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Poly1305_128.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Chacha20Poly1305_32.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Chacha20.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Poly1305_32.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Chacha20Poly1305_256.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Chacha20_Vec256.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Chacha20.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Poly1305_256.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Vale.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/EverCrypt_AutoConfig2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/EverCrypt_Error.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Spec.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/EverCrypt_Curve25519.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/EverCrypt_AutoConfig2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Curve25519_64.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/curve25519-inline.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/inttypes.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Vale.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Vale_Inline.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Curve25519_51.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/EverCrypt_AutoConfig2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/EverCrypt_Ed25519.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Ed25519.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Hash.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Blake2s_32.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Lib_Memzero0.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Impl_Blake2_Constants.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Lib_Memzero0.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Blake2b_32.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Blake2s_32.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Lib_Memzero0.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Impl_Blake2_Constants.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Impl_Blake2_Constants.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Spec.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Curve25519_51.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/EverCrypt_HKDF.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/EverCrypt_HMAC.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_HMAC.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Impl_Blake2_Constants.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Hash.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Impl_Blake2_Constants.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Hash.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Spec.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/EverCrypt_Hash.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Impl_Blake2_Constants.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Vale.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Hash.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/EverCrypt_AutoConfig2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Spec.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Spec.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_P256.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/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/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/config.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/x86intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/ia32intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/immintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/mm3dnow.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/mmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/prfchwintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/prfchwintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/ammintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/pmmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/fma4intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/pmmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/xopintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/fma4intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/tbmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/lwpintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/mwaitxintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-10/lib/clang/10.0.0/include/clzerointrin.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Hash.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Spec.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Spec.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_SHA3.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/debug/build/evercrypt-sys-2e404a7f119d0b21/out/hacl-star/dist/gcc-compatible/Lib_Memzero0.h [INFO] [stderr] [INFO] [stderr] --- stderr [INFO] [stderr] thread 'main' panicked at 'Couldn't write bindings!: Os { code: 30, kind: Other, message: "Read-only file system" }', /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/evercrypt-sys-0.0.6/build.rs:249:10 [INFO] [stderr] stack backtrace: [INFO] [stderr] 0: 0x56446ab55f90 - std::backtrace_rs::backtrace::libunwind::trace::h9d49145f95eb5894 [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5 [INFO] [stderr] 1: 0x56446ab55f90 - std::backtrace_rs::backtrace::trace_unsynchronized::hab1d020365bb6864 [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stderr] 2: 0x56446ab55f90 - std::sys_common::backtrace::_print_fmt::h7659588431e304bd [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stderr] 3: 0x56446ab55f90 - ::fmt::h09f4a9e3befae3c7 [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stderr] 4: 0x56446ab78d7c - core::fmt::write::hf3fdfde304b9a088 [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/core/src/fmt/mod.rs:1092:17 [INFO] [stderr] 5: 0x56446ab52382 - std::io::Write::write_fmt::h1cb850689c7116f0 [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/std/src/io/mod.rs:1568:15 [INFO] [stderr] 6: 0x56446ab584c5 - std::sys_common::backtrace::_print::hdbccd5aa093ba544 [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stderr] 7: 0x56446ab584c5 - std::sys_common::backtrace::print::hc639c4f320222558 [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stderr] 8: 0x56446ab584c5 - std::panicking::default_hook::{{closure}}::hdb012dd7a485bb5d [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/std/src/panicking.rs:208:50 [INFO] [stderr] 9: 0x56446ab57f73 - std::panicking::default_hook::h75facbce77b6ba91 [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/std/src/panicking.rs:225:9 [INFO] [stderr] 10: 0x56446ab58c86 - std::panicking::rust_panic_with_hook::hbcaa5de2cb5e22d5 [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/std/src/panicking.rs:595:17 [INFO] [stderr] 11: 0x56446ab587a7 - std::panicking::begin_panic_handler::{{closure}}::h4ee6cde415c8f62d [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/std/src/panicking.rs:497:13 [INFO] [stderr] 12: 0x56446ab5644c - std::sys_common::backtrace::__rust_end_short_backtrace::h895319f2d3f611c0 [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stderr] 13: 0x56446ab58709 - rust_begin_unwind [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/std/src/panicking.rs:493:5 [INFO] [stderr] 14: 0x56446ab77271 - core::panicking::panic_fmt::h0123abb763a6e96f [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/core/src/panicking.rs:92:14 [INFO] [stderr] 15: 0x56446ab77093 - core::option::expect_none_failed::h9fff90ea7603aa1d [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/core/src/option.rs:1300:5 [INFO] [stderr] 16: 0x56446a7127b4 - core::result::Result::expect::h0c61f1bf22e09334 [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/core/src/result.rs:997:23 [INFO] [stderr] 17: 0x56446a5fb06c - build_script_build::create_bindings::h54f5d4565f2b8e25 [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/evercrypt-sys-0.0.6/build.rs:247:5 [INFO] [stderr] 18: 0x56446a5fc265 - build_script_build::main::hb6ff20ea4c3a2b27 [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/evercrypt-sys-0.0.6/build.rs:320:9 [INFO] [stderr] 19: 0x56446a600c5b - core::ops::function::FnOnce::call_once::hdf56540d38eb8abd [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/core/src/ops/function.rs:227:5 [INFO] [stderr] 20: 0x56446a60077e - std::sys_common::backtrace::__rust_begin_short_backtrace::h26a5187f20ac56c4 [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stderr] 21: 0x56446a6002c1 - std::rt::lang_start::{{closure}}::hfa8922b73ddc008f [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/std/src/rt.rs:66:18 [INFO] [stderr] 22: 0x56446ab5916a - core::ops::function::impls:: for &F>::call_once::h31ee16c075ae2d62 [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/core/src/ops/function.rs:259:13 [INFO] [stderr] 23: 0x56446ab5916a - std::panicking::try::do_call::h3993344bf97066b6 [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/std/src/panicking.rs:379:40 [INFO] [stderr] 24: 0x56446ab5916a - std::panicking::try::h09e523df7c9c2d28 [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/std/src/panicking.rs:343:19 [INFO] [stderr] 25: 0x56446ab5916a - std::panic::catch_unwind::h9d4ddb10ebb815ff [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/std/src/panic.rs:431:14 [INFO] [stderr] 26: 0x56446ab5916a - std::rt::lang_start_internal::hc92e27a69d75de2a [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/std/src/rt.rs:51:25 [INFO] [stderr] 27: 0x56446a600297 - std::rt::lang_start::h0dfe9aa64668236d [INFO] [stderr] at /rustc/8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8/library/std/src/rt.rs:65:5 [INFO] [stderr] 28: 0x56446a5fca1a - main [INFO] [stderr] 29: 0x7f5a910b50b3 - __libc_start_main [INFO] [stderr] 30: 0x56446a5f90ce - _start [INFO] [stderr] 31: 0x0 - [INFO] running `Command { std: "docker" "inspect" "93100e97a433cb3f4d76c312eab204c5cffd6ff23755c7d4bf461b58f43b7354", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "93100e97a433cb3f4d76c312eab204c5cffd6ff23755c7d4bf461b58f43b7354", kill_on_drop: false }` [INFO] [stdout] 93100e97a433cb3f4d76c312eab204c5cffd6ff23755c7d4bf461b58f43b7354