Build:
- 0
2026-06-16 14:12.44: New job: build hacl.0.3 (2b072b848053) 2026-06-16 14:12.44: Waiting for resource in pool day11-builds 2026-06-16 15:56.40: Got resource from pool day11-builds 2026-06-16 15:56.40: [profile full] build hacl.0.3 2026-06-16 15:56.40: build hacl.0.3 (2b072b848053) === DEPENDENCIES (21 transitive) === base.v0.16.5 0a09a87de17e base-bigarray.base dfc2a7e726c3 base-bytes.base 70d0daec7841 base-threads.base b7164ff76afe base-unix.base 839dc585f12d bigstring.0.3 f386a7293311 conf-gmp.5 61e3c79e0ddf conf-pkg-config.5 64c6b37d622b cppo.1.8.0 1167b74ab0f3 csexp.1.5.1 e3f0f167b110 dune.2.9.3 36797f878ec2 dune-configurator.2.9.3 d180a2638840 ocaml.4.14.4 cb826ea44eb2 ocaml-base-compiler.4.14.4 d2f775f983d7 ocaml-config.2 669e0fcf9e4d ocamlfind.1.9.8 6025f4a8e98e ocplib-endian.1.2 f826ad11fb60 result.1.5 33a2387f4b32 sexplib0.v0.16.0 2e1344acf945 stdio.v0.16.0 33b96ac06529 zarith.1.14 cde7973b8292 === 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-16 15:57.10: OK: build hacl.0.3 (runc: 12.1s, disk: 18KB) 2026-06-16 15:57.10: Job succeeded