Build:
- 1
- 0
2026-09-03 21:41.20: New job: build hacl.0.3 (003d280ee8f1) 2026-09-03 21:41.20: Waiting for resource in pool day11-builds 2026-09-03 22:40.53: Got resource from pool day11-builds 2026-09-03 22:40.53: [profile full] build hacl.0.3 2026-09-03 22:40.53: build hacl.0.3 (003d280ee8f1) === DEPENDENCIES (21 transitive) === base.v0.16.5 963afc6d1acd base-bigarray.base 31ac6860ef52 base-bytes.base 68d84c459288 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e bigstring.0.3 cc19d2976c22 conf-gmp.5 eac5259e412f conf-pkg-config.5 74f50f3cfe72 cppo.1.8.0 60b3e77eae87 csexp.1.5.1 ae51a7546d3e dune.2.9.3 7191b8072f51 dune-configurator.2.9.3 528bb22b0c70 ocaml.4.14.4 c7d6265b51fe ocaml-base-compiler.4.14.4 7a409b6ffbef ocaml-config.2 85edea6ac168 ocamlfind.1.9.8 3cae95bed0a0 ocplib-endian.1.2 de708bec609e result.1.5 832dbb2f8453 sexplib0.v0.16.0 c858bbfbcf8e stdio.v0.16.0 b52fd92262c0 zarith.1.14 fc3f7a60e6b3 === 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-09-03 22:41.13: OK: build hacl.0.3 (runc: 11.6s, disk: 18KB) 2026-09-03 22:41.13: Job succeeded