Build:
- 0
2026-09-03 23:18.14: New job: build binsec.0.4.0 (7e9c7e99430d) 2026-09-03 23:18.14: Waiting for resource in pool day11-builds 2026-09-04 00:20.39: Got resource from pool day11-builds 2026-09-04 00:20.39: [profile full] build binsec.0.4.0 2026-09-04 00:20.39: build binsec.0.4.0 (7e9c7e99430d) === DEPENDENCIES (25 transitive) === base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e conf-gmp.5 eac5259e412f conf-pkg-config.5 74f50f3cfe72 csexp.1.5.2 736db9409a7a dune.3.24.2 d7ac63a1e14a dune-private-libs.3.22.2 47a74450ef2e dune-site.3.22.2 9ea51b24c170 dyn.3.22.2 dae059f4bce2 fs-io.3.22.2 f0103ccff343 menhir.20211128 f9f234d8703c menhirLib.20211128 c849628d3a17 menhirSdk.20211128 f2181e945983 ocaml.4.13.1 87019ce58e6b ocaml-base-compiler.4.13.1 8da2ad413a13 ocaml-config.2 dd7a6703ffd4 ocaml-secondary-compiler.4.14.2 d66c1c5ac958 ocamlfind.1.9.6 a2ee5a486e5a ocamlfind-secondary.1.9.6 4a14eb7d6568 ocamlgraph.2.2.0 2f7432b6823a ordering.3.22.2 573f94e0a04a pp.2.0.0 aeaf2aeedcd4 stdune.3.22.2 862ef439521c top-closure.3.22.2 9c89ebb777b8 zarith.1.14 2316af288d23 === 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-09-04 00:21.25: OK: build binsec.0.4.0 (runc: 30.7s, disk: 12KB) 2026-09-04 00:21.25: Job succeeded