Build failed. If you want to re-trigger a documentation build, you can do it here. You can find more information on docs.rs builds documentation on the builds page.
# rustc version rustc 1.61.0-nightly (532d3cda9 2022-02-23)
# docs.rs version docsrs 0.6.0 (3968c84 2022-02-20)
# build log [INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace/builds/evercrypt-0.0.11/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/evercrypt-0.0.11/source:/opt/rustwide/workdir:ro,Z" "-v" "/home/cratesfyi/workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/home/cratesfyi/workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "DOCS_RS=1" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "3221225472" "--cpus" "3" "--user" "1001:1001" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "-Z" "unstable-options" "--config" "build.rustdocflags=[\"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20220223-1.61.0-nightly-532d3cda9\", \"--static-root-path\", \"/\", \"--cap-lints\", \"warn\", \"--disable-per-crate-search\"]" "-Zunstable-options" "--config=doc.extern-map.registries.crates-io=\"https://docs.rs/{pkg_name}/{version}/x86_64-unknown-linux-gnu\"" "-j3" "--target" "x86_64-unknown-linux-gnu", 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] 82d6dcaae5ffb8e4c4ffcab9d75e69b2e02de36ad580f213077aa011988ba0f6 [INFO] running `Command { std: "docker" "start" "-a" "82d6dcaae5ffb8e4c4ffcab9d75e69b2e02de36ad580f213077aa011988ba0f6", kill_on_drop: false }` [INFO] [stderr] Compiling evercrypt-sys v0.0.9 [INFO] [stderr] error: failed to run custom build command for `evercrypt-sys v0.0.9` [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/target/debug/build/evercrypt-sys-fc10a7e013704169/build-script-build` (exit status: 101) [INFO] [stderr] --- stdout [INFO] [stderr] cargo:rerun-if-changed=wrapper.h [INFO] [stderr] cargo:rerun-if-changed=hacl-star [INFO] [stderr] build_config: BuildConfig { hacl_src_dir: "gcc-compatible", cross: false, config_flags: [], make_flags: [], env: {}, lib_name: "evercrypt", windows: false } [INFO] [stderr] out_path: "/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out" [INFO] [stderr] hacl_src_path: "/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible" [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/EverCrypt_AEAD.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/config.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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/config.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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/kremlib/dist/minimal/fstar_uint128_gcc64.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/kremlib/dist/minimal/fstar_uint128_gcc64.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/compat.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/compat.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/kremlib/dist/minimal/FStar_UInt128.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Spec.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/EverCrypt_Error.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/EverCrypt_Chacha20Poly1305.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Chacha20Poly1305_32.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Poly1305_32.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Chacha20.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Chacha20Poly1305_256.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Poly1305_256.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Chacha20_Vec256.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Chacha20Poly1305_128.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Poly1305_128.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Chacha20_Vec128.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/EverCrypt_AutoConfig2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/EverCrypt_AutoConfig2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/EverCrypt_Curve25519.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Curve25519_64.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Curve25519_51.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Bignum25519_51.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/EverCrypt_AutoConfig2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/EverCrypt_AutoConfig2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/EverCrypt_Ed25519.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Ed25519.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Streaming_SHA2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Hash_SHA2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Hash_SHA2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Bignum25519_51.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/EverCrypt_HKDF.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Spec.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/EverCrypt_HMAC.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Spec.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Impl_Blake2_Constants.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Hash_SHA2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Hash_SHA1.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/EverCrypt_Hash.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Spec.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Impl_Blake2_Constants.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Hash_SHA2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Hash_SHA1.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Hash_MD5.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/EverCrypt_AutoConfig2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_P256.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Spec.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Hash_SHA2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Spec.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_SHA3.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Lib_Memzero0.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/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/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/kremlin/include/kremlin/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/evercrypt-sys-ab6e400a920d3a54/out/hacl-star/dist/gcc-compatible/Hacl_Kremlib.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/evercrypt-sys-0.0.9/build.rs:281:10 [INFO] [stderr] note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace [INFO] running `Command { std: "docker" "inspect" "82d6dcaae5ffb8e4c4ffcab9d75e69b2e02de36ad580f213077aa011988ba0f6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "82d6dcaae5ffb8e4c4ffcab9d75e69b2e02de36ad580f213077aa011988ba0f6", kill_on_drop: false }` [INFO] [stdout] 82d6dcaae5ffb8e4c4ffcab9d75e69b2e02de36ad580f213077aa011988ba0f6