Build:
- 0
2026-06-24 14:10.24: New job: build hacl.0.3 (661392c44af2) 2026-06-24 14:10.24: Waiting for resource in pool day11-builds 2026-06-24 16:28.56: Got resource from pool day11-builds 2026-06-24 16:28.56: [profile full] build hacl.0.3 2026-06-24 16:28.56: build hacl.0.3 (661392c44af2) === DEPENDENCIES (21 transitive) === base.v0.16.5 49534a0cda03 base-bigarray.base 2e16f77d4cae base-bytes.base c40d17bc86b5 base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb bigstring.0.3 00c5157be804 conf-gmp.5 be11edf77089 conf-pkg-config.5 d5de2c6a88f9 cppo.1.8.0 b713f33544a4 csexp.1.5.1 3b8b439aa630 dune.2.9.3 b31e72bc915d dune-configurator.2.9.3 325687bc43ee ocaml.4.14.4 b047fb9251f4 ocaml-base-compiler.4.14.4 d3b7ccb2c6fb ocaml-config.2 2d9c209f5590 ocamlfind.1.9.8 214dd418ac02 ocplib-endian.1.2 2786410e3fd4 result.1.5 bd06eaf5b0dd sexplib0.v0.16.0 51a2b6541900 stdio.v0.16.0 da821285a733 zarith.1.14 a8971d2f668c === STDOUT === Processing: [default: loading data] [hacl.0.3: dl] [hacl.0.3: extract] -> retrieved hacl.0.3 (https://opam.ocaml.org/cache) [hacl: dune build] + /home/opam/.opam/default/bin/dune "build" "-j" "39" "-p" "hacl" (CWD=/home/opam/.opam/default/.opam-switch/build/hacl.0.3) - Info: Creating file dune-project with this contents: - | (lang dune 2.9) - | (name hacl) - File "src/dune", line 12, characters 13-29: - 12 | AEAD_Poly1305_64 - ^^^^^^^^^^^^^^^^ - Warning: The flag set for these foreign sources overrides the `:standard` set - of flags. However the flags in this standard set are still added to the - compiler arguments by Dune. This might cause unexpected issues. You can - disable this warning by defining the option `(use_standard_c_and_cxx_flags - <bool>)` in your `dune-project` file. Setting this option to `true` will - effectively prevent Dune from silently adding c-flags to the compiler - arguments which is the new recommended behaviour. - File "src/dune", line 10, characters 13-18: - 10 | FStar - ^^^^^ - Warning: The flag set for these foreign sources overrides the `:standard` set - of flags. However the flags in this standard set are still added to the - compiler arguments by Dune. This might cause unexpected issues. You can - disable this warning by defining the option `(use_standard_c_and_cxx_flags - <bool>)` in your `dune-project` file. Setting this option to `true` will - effectively prevent Dune from silently adding c-flags to the compiler - arguments which is the new recommended behaviour. - File "src/dune", line 13, characters 13-26: - 13 | Hacl_Chacha20 - ^^^^^^^^^^^^^ - Warning: The flag set for these foreign sources overrides the `:standard` set - of flags. However the flags in this standard set are still added to the - compiler arguments by Dune. This might cause unexpected issues. You can - disable this warning by defining the option `(use_standard_c_and_cxx_flags - <bool>)` in your `dune-project` file. Setting this option to `true` will - effectively prevent Dune from silently adding c-flags to the compiler - arguments which is the new recommended behaviour. - File "src/dune", line 14, characters 13-34: - 14 | Hacl_Chacha20Poly1305 - ^^^^^^^^^^^^^^^^^^^^^ - Warning: The flag set for these foreign sources overrides the `:standard` set - of flags. However the flags in this standard set are still added to the - compiler arguments by Dune. This might cause unexpected issues. You can - disable this warning by defining the option `(use_standard_c_and_cxx_flags - <bool>)` in your `dune-project` file. Setting this option to `true` will - effectively prevent Dune from silently adding c-flags to the compiler - arguments which is the new recommended behaviour. - File "src/dune", line 15, characters 13-28: - 15 | Hacl_Curve25519 - ^^^^^^^^^^^^^^^ - Warning: The flag set for these foreign sources overrides the `:standard` set - of flags. However the flags in this standard set are still added to the - compiler arguments by Dune. This might cause unexpected issues. You can - disable this warning by defining the option `(use_standard_c_and_cxx_flags - <bool>)` in your `dune-project` file. Setting this option to `true` will - effectively prevent Dune from silently adding c-flags to the compiler - arguments which is the new recommended behaviour. - File "src/dune", line 16, characters 13-25: - 16 | Hacl_Ed25519 - ^^^^^^^^^^^^ - Warning: The flag set for these foreign sources overrides the `:standard` set - of flags. However the flags in this standard set are still added to the - compiler arguments by Dune. This might cause unexpected issues. You can - disable this warning by defining the option `(use_standard_c_and_cxx_flags - <bool>)` in your `dune-project` file. Setting this option to `true` will - effectively prevent Dune from silently adding c-flags to the compiler - arguments which is the new recommended behaviour. - File "src/dune", line 22, characters 13-31: - 22 | Hacl_HMAC_SHA2_256 - ^^^^^^^^^^^^^^^^^^ - Warning: The flag set for these foreign sources overrides the `:standard` set - of flags. However the flags in this standard set are still added to the - compiler arguments by Dune. This might cause unexpected issues. You can - disable this warning by defining the option `(use_standard_c_and_cxx_flags - <bool>)` in your `dune-project` file. Setting this option to `true` will - effectively prevent Dune from silently adding c-flags to the compiler - arguments which is the new recommended behaviour. - File "src/dune", line 11, characters 13-26: - 11 | Hacl_Policies - ^^^^^^^^^^^^^ - Warning: The flag set for these foreign sources overrides the `:standard` set - of flags. However the flags in this standard set are still added to the - compiler arguments by Dune. This might cause unexpected issues. You can - disable this warning by defining the option `(use_standard_c_and_cxx_flags - <bool>)` in your `dune-project` file. Setting this option to `true` will - effectively prevent Dune from silently adding c-flags to the compiler - arguments which is the new recommended behaviour. - File "src/dune", line 17, characters 13-29: - 17 | Hacl_Poly1305_32 - ^^^^^^^^^^^^^^^^ - Warning: The flag set for these foreign sources overrides the `:standard` set - of flags. However the flags in this standard set are still added to the - compiler arguments by Dune. This might cause unexpected issues. You can - disable this warning by defining the option `(use_standard_c_and_cxx_flags - <bool>)` in your `dune-project` file. Setting this option to `true` will - effectively prevent Dune from silently adding c-flags to the compiler - arguments which is the new recommended behaviour. - File "src/dune", line 18, characters 13-29: - 18 | Hacl_Poly1305_64 - ^^^^^^^^^^^^^^^^ - Warning: The flag set for these foreign sources overrides the `:standard` set - of flags. However the flags in this standard set are still added to the - compiler arguments by Dune. This might cause unexpected issues. You can - disable this warning by defining the option `(use_standard_c_and_cxx_flags - <bool>)` in your `dune-project` file. Setting this option to `true` will - effectively prevent Dune from silently adding c-flags to the compiler - arguments which is the new recommended behaviour. - File "src/dune", line 19, characters 13-26: - 19 | Hacl_SHA2_256 - ^^^^^^^^^^^^^ - Warning: The flag set for these foreign sources overrides the `:standard` set - of flags. However the flags in this standard set are still added to the - compiler arguments by Dune. This might cause unexpected issues. You can - disable this warning by defining the option `(use_standard_c_and_cxx_flags - <bool>)` in your `dune-project` file. Setting this option to `true` will - effectively prevent Dune from silently adding c-flags to the compiler - arguments which is the new recommended behaviour. - File "src/dune", line 20, characters 13-26: - 20 | Hacl_SHA2_384 - ^^^^^^^^^^^^^ - Warning: The flag set for these foreign sources overrides the `:standard` set - of flags. However the flags in this standard set are still added to the - compiler arguments by Dune. This might cause unexpected issues. You can - disable this warning by defining the option `(use_standard_c_and_cxx_flags - <bool>)` in your `dune-project` file. Setting this option to `true` will - effectively prevent Dune from silently adding c-flags to the compiler - arguments which is the new recommended behaviour. - File "src/dune", line 21, characters 13-26: - 21 | Hacl_SHA2_512 - ^^^^^^^^^^^^^ - Warning: The flag set for these foreign sources overrides the `:standard` set - of flags. However the flags in this standard set are still added to the - compiler arguments by Dune. This might cause unexpected issues. You can - disable this warning by defining the option `(use_standard_c_and_cxx_flags - <bool>)` in your `dune-project` file. Setting this option to `true` will - effectively prevent Dune from silently adding c-flags to the compiler - arguments which is the new recommended behaviour. - File "src/dune", line 23, characters 13-25: - 23 | Hacl_Salsa20 - ^^^^^^^^^^^^ - Warning: The flag set for these foreign sources overrides the `:standard` set - of flags. However the flags in this standard set are still added to the - compiler arguments by Dune. This might cause unexpected issues. You can - disable this warning by defining the option `(use_standard_c_and_cxx_flags - <bool>)` in your `dune-project` file. Setting this option to `true` will - effectively prevent Dune from silently adding c-flags to the compiler - arguments which is the new recommended behaviour. - File "src/dune", line 25, characters 13-35: - 25 | Hacl_Unverified_Random)) - ^^^^^^^^^^^^^^^^^^^^^^ - Warning: The flag set for these foreign sources overrides the `:standard` set - of flags. However the flags in this standard set are still added to the - compiler arguments by Dune. This might cause unexpected issues. You can - disable this warning by defining the option `(use_standard_c_and_cxx_flags - <bool>)` in your `dune-project` file. Setting this option to `true` will - effectively prevent Dune from silently adding c-flags to the compiler - arguments which is the new recommended behaviour. - File "src/dune", line 24, characters 13-17: - 24 | NaCl - ^^^^ - Warning: The flag set for these foreign sources overrides the `:standard` set - of flags. However the flags in this standard set are still added to the - compiler arguments by Dune. This might cause unexpected issues. You can - disable this warning by defining the option `(use_standard_c_and_cxx_flags - <bool>)` in your `dune-project` file. Setting this option to `true` will - effectively prevent Dune from silently adding c-flags to the compiler - arguments which is the new recommended behaviour. - File "src/dune", line 8, characters 13-23: - 8 | (names hacl_stubs - ^^^^^^^^^^ - Warning: The flag set for these foreign sources overrides the `:standard` set - of flags. However the flags in this standard set are still added to the - compiler arguments by Dune. This might cause unexpected issues. You can - disable this warning by defining the option `(use_standard_c_and_cxx_flags - <bool>)` in your `dune-project` file. Setting this option to `true` will - effectively prevent Dune from silently adding c-flags to the compiler - arguments which is the new recommended behaviour. - File "src/dune", line 9, characters 13-20: - 9 | kremlib - ^^^^^^^ - Warning: The flag set for these foreign sources overrides the `:standard` set - of flags. However the flags in this standard set are still added to the - compiler arguments by Dune. This might cause unexpected issues. You can - disable this warning by defining the option `(use_standard_c_and_cxx_flags - <bool>)` in your `dune-project` file. Setting this option to `true` will - effectively prevent Dune from silently adding c-flags to the compiler - arguments which is the new recommended behaviour. -> compiled hacl.0.3 -> installed hacl.0.3 [WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config === STDERR === 2026-06-24 16:29.19: OK: build hacl.0.3 (runc: 13.6s, disk: 18KB) 2026-06-24 16:29.19: Job succeeded