Build:
- 0
2026-06-16 17:32.33: New job: build binsec.0.4.0 (76ebf9e8fe2d) 2026-06-16 17:32.33: Waiting for resource in pool day11-builds 2026-06-16 18:13.26: Got resource from pool day11-builds 2026-06-16 18:13.26: [profile full] build binsec.0.4.0 2026-06-16 18:13.26: build binsec.0.4.0 (76ebf9e8fe2d) === DEPENDENCIES (25 transitive) === base-threads.base b7164ff76afe base-unix.base 839dc585f12d conf-gmp.5 61e3c79e0ddf conf-pkg-config.5 64c6b37d622b csexp.1.5.2 3fd7f8aa8729 dune.3.23.1 4ab42388130e dune-private-libs.3.22.2 7959aa69ccf9 dune-site.3.22.2 f3720ed87bda dyn.3.22.2 7178e8d06b92 fs-io.3.22.2 dc783091bb02 menhir.20211128 028eb766db57 menhirLib.20211128 e11b122b9dc9 menhirSdk.20211128 7c41588c168a ocaml.4.13.1 374ce8822fbe ocaml-base-compiler.4.13.1 3060c22370ce ocaml-config.2 7e2bf3da2a6e ocaml-secondary-compiler.4.14.2 208983c0e1e0 ocamlfind.1.9.6 233791feab3d ocamlfind-secondary.1.9.6 f311c6b5c8e3 ocamlgraph.2.2.0 32b2e176e257 ordering.3.22.2 62609a990295 pp.2.0.0 c03b4c02e38f stdune.3.22.2 e842e2fcda7c top-closure.3.22.2 96cd7d09225d zarith.1.14 1d878f6c0796 === STDOUT === Processing: [default: loading data] [binsec.0.4.0: dl] [binsec.0.4.0: extract] -> retrieved binsec.0.4.0 (https://opam.ocaml.org/cache) [binsec: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "binsec" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/binsec.0.4.0) - (cd _build/default && /home/opam/.opam/default/bin/menhir src/parser/parser.mly --base src/parser/parser --infer-write-query src/parser/parser__mock.ml.mock) - File "src/parser/parser.mly", line 44, characters 40-43: - Warning: the token BIG is unused. - File "src/parser/parser.mly", line 44, characters 29-39: - Warning: the token ENDIANNESS is unused. - File "src/parser/parser.mly", line 44, characters 44-50: - Warning: the token LITTLE is unused. - (cd _build/default && /home/opam/.opam/default/bin/menhir src/smtlib/smtlib_parser.mly --base src/smtlib/smtlib_parser --infer-read-reply src/smtlib/smtlib_parser__mock.mli.inferred) - Warning: one state has shift/reduce conflicts. - Warning: 9 shift/reduce conflicts were arbitrarily resolved. - (cd _build/default && /home/opam/.opam/default/bin/menhir src/parser/dbacsl_parser.mly --base src/parser/dbacsl_parser --infer-read-reply src/parser/dbacsl_parser__mock.mli.inferred) - Warning: 7 states have shift/reduce conflicts. - Warning: 94 shift/reduce conflicts were arbitrarily resolved. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -3 -g -bin-annot -I src/.binsec.objs/byte -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/zarith -intf-suffix .ml -no-alias-deps -open Binsec -o src/.binsec.objs/byte/binsec__Bbsse_types.cmo -c -impl src/bbsse/bbsse_types.ml) - File "src/bbsse/bbsse_types.ml", line 617, characters 21-36: - 617 | let from_address ?(block_index = 0) ~initialize_fun ~entrypoint = - ^^^^^^^^^^^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. - (cd _build/default && /home/opam/.opam/default/bin/menhir src/parser/parser.mly --base src/parser/parser --infer-read-reply src/parser/parser__mock.mli.inferred) - Warning: 4 states have shift/reduce conflicts. - Warning: 4 shift/reduce conflicts were arbitrarily resolved. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -3 -g -I src/.binsec.objs/byte -I src/.binsec.objs/native -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/zarith -intf-suffix .ml -no-alias-deps -open Binsec -o src/.binsec.objs/native/binsec__Bbsse_types.cmx -c -impl src/bbsse/bbsse_types.ml) - File "src/bbsse/bbsse_types.ml", line 617, characters 21-36: - 617 | let from_address ?(block_index = 0) ~initialize_fun ~entrypoint = - ^^^^^^^^^^^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. -> compiled binsec.0.4.0 -> installed binsec.0.4.0 [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 18:14.16: OK: build binsec.0.4.0 (runc: 28.7s, disk: 11KB) 2026-06-16 18:14.16: Job succeeded