Build:
- 0
2026-06-26 11:03.32: New job: build pds-reachability.0.2.2 (8482b5f80a39) 2026-06-26 11:03.32: Waiting for resource in pool day11-builds 2026-06-26 11:32.34: Got resource from pool day11-builds 2026-06-26 11:32.34: [profile full] build pds-reachability.0.2.2 2026-06-26 11:32.34: build pds-reachability.0.2.2 (8482b5f80a39) === DEPENDENCIES (28 transitive) === base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb batteries.3.10.0 3a8b7aeb2b17 biniou.1.2.2 eef30331b544 camlp-streams.5.0.1 28f363162dde cppo.1.8.0 916ffc6cc04e dune.3.23.1 848a72441e15 easy-format.1.3.4 1672fd0d9a38 jbuilder.1.0+beta20.2 4f461261c648 jhupllib.0.3 e220aa774952 num.1.6 110cee7a7e2e ocaml.4.14.4 b047fb9251f4 ocaml-base-compiler.4.14.4 d3b7ccb2c6fb ocaml-compiler-libs.v0.12.4 2aecf989b0b2 ocaml-config.2 2d9c209f5590 ocaml-monadic.0.5 73c6b9936a34 ocamlbuild.0.16.1 7e0d6aadb209 ocamlfind.1.9.8 214dd418ac02 ounit.2.2.7 1ebbe6e968b1 ounit2.2.2.7 c47e2d37575c ppx_derivers.1.2.1 9245877bc46e ppx_deriving.6.1.1 4448e3da2ed8 ppx_deriving_yojson.3.10.0 49373b0d71d0 ppxlib.0.38.0 c54fe6e3bf29 seq.base 0160fc3002c2 sexplib0.v0.17.0 86d78ae8a795 stdlib-shims.0.3.0 de5202e23add yojson.1.7.0 b1ff599fbd37 === STDOUT === Processing: [default: loading data] [pds-reachability.0.2.2: dl] [pds-reachability.0.2.2: extract] -> retrieved pds-reachability.0.2.2 (https://opam.ocaml.org/cache) [pds-reachability: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "pds-reachability" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/pds-reachability.0.2.2) - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -37 -w -39 -g -bin-annot -I src/pds-reachability/.pds_reachability.objs/byte -I /home/opam/.opam/default/lib/batteries -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/biniou -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/easy-format -I /home/opam/.opam/default/lib/jhupllib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-compiler-libs/common -I /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/default/lib/ocaml-monadic -I /home/opam/.opam/default/lib/ocaml/compiler-libs -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_derivers -I /home/opam/.opam/default/lib/ppx_deriving/api -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppxlib -I /home/opam/.opam/default/lib/ppxlib/ast -I /home/opam/.opam/default/lib/ppxlib/astlib -I /home/opam/.opam/default/lib/ppxlib/print_diff -I /home/opam/.opam/default/lib/ppxlib/stdppx -I /home/opam/.opam/default/lib/ppxlib/traverse_builtins -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yojson -no-alias-deps -o src/pds-reachability/.pds_reachability.objs/byte/pds_reachability_utils.cmo -c -impl src/pds-reachability/pds_reachability_utils.pp.ml) - File "src/pds-reachability/pds_reachability_utils.ml", line 19, characters 23-39: - 19 | val to_yojson : t -> Yojson.Safe.json - ^^^^^^^^^^^^^^^^ - Alert deprecated: Yojson.Safe.json - json types are being renamed and will be removed in the next Yojson major version. Use type t instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -37 -w -39 -g -I src/pds-reachability/.pds_reachability.objs/byte -I src/pds-reachability/.pds_reachability.objs/native -I /home/opam/.opam/default/lib/batteries -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/biniou -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/easy-format -I /home/opam/.opam/default/lib/jhupllib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-compiler-libs/common -I /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/default/lib/ocaml-monadic -I /home/opam/.opam/default/lib/ocaml/compiler-libs -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_derivers -I /home/opam/.opam/default/lib/ppx_deriving/api -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppxlib -I /home/opam/.opam/default/lib/ppxlib/ast -I /home/opam/.opam/default/lib/ppxlib/astlib -I /home/opam/.opam/default/lib/ppxlib/print_diff -I /home/opam/.opam/default/lib/ppxlib/stdppx -I /home/opam/.opam/default/lib/ppxlib/traverse_builtins -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yojson -intf-suffix .ml -no-alias-deps -o src/pds-reachability/.pds_reachability.objs/native/pds_reachability_utils.cmx -c -impl src/pds-reachability/pds_reachability_utils.pp.ml) - File "src/pds-reachability/pds_reachability_utils.ml", line 19, characters 23-39: - 19 | val to_yojson : t -> Yojson.Safe.json - ^^^^^^^^^^^^^^^^ - Alert deprecated: Yojson.Safe.json - json types are being renamed and will be removed in the next Yojson major version. Use type t instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -37 -w -39 -g -bin-annot -I src/pds-reachability/.pds_reachability.objs/byte -I /home/opam/.opam/default/lib/batteries -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/biniou -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/easy-format -I /home/opam/.opam/default/lib/jhupllib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-compiler-libs/common -I /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/default/lib/ocaml-monadic -I /home/opam/.opam/default/lib/ocaml/compiler-libs -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_derivers -I /home/opam/.opam/default/lib/ppx_deriving/api -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppxlib -I /home/opam/.opam/default/lib/ppxlib/ast -I /home/opam/.opam/default/lib/ppxlib/astlib -I /home/opam/.opam/default/lib/ppxlib/print_diff -I /home/opam/.opam/default/lib/ppxlib/stdppx -I /home/opam/.opam/default/lib/ppxlib/traverse_builtins -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yojson -no-alias-deps -o src/pds-reachability/.pds_reachability.objs/byte/pds_reachability_work_collection.cmo -c -impl src/pds-reachability/pds_reachability_work_collection.pp.ml) - File "src/pds-reachability/pds_reachability_work_collection.ml", line 55, characters 37-53: - 55 | val to_yojson : work_collection -> Yojson.Safe.json - ^^^^^^^^^^^^^^^^ - Alert deprecated: Yojson.Safe.json - json types are being renamed and will be removed in the next Yojson major version. Use type t instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -37 -w -39 -g -bin-annot -I src/pds-reachability/.pds_reachability.objs/byte -I /home/opam/.opam/default/lib/batteries -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/biniou -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/easy-format -I /home/opam/.opam/default/lib/jhupllib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-compiler-libs/common -I /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/default/lib/ocaml-monadic -I /home/opam/.opam/default/lib/ocaml/compiler-libs -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_derivers -I /home/opam/.opam/default/lib/ppx_deriving/api -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppxlib -I /home/opam/.opam/default/lib/ppxlib/ast -I /home/opam/.opam/default/lib/ppxlib/astlib -I /home/opam/.opam/default/lib/ppxlib/print_diff -I /home/opam/.opam/default/lib/ppxlib/stdppx -I /home/opam/.opam/default/lib/ppxlib/traverse_builtins -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yojson -no-alias-deps -o src/pds-reachability/.pds_reachability.objs/byte/pds_reachability_structure.cmo -c -impl src/pds-reachability/pds_reachability_structure.pp.ml) - File "src/pds-reachability/pds_reachability_structure.ml", line 36, characters 34-50: - 36 | val to_yojson_delta : t -> t -> Yojson.Safe.json - ^^^^^^^^^^^^^^^^ - Alert deprecated: Yojson.Safe.json - json types are being renamed and will be removed in the next Yojson major version. Use type t instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -37 -w -39 -g -I src/pds-reachability/.pds_reachability.objs/byte -I src/pds-reachability/.pds_reachability.objs/native -I /home/opam/.opam/default/lib/batteries -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/biniou -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/easy-format -I /home/opam/.opam/default/lib/jhupllib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-compiler-libs/common -I /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/default/lib/ocaml-monadic -I /home/opam/.opam/default/lib/ocaml/compiler-libs -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_derivers -I /home/opam/.opam/default/lib/ppx_deriving/api -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppxlib -I /home/opam/.opam/default/lib/ppxlib/ast -I /home/opam/.opam/default/lib/ppxlib/astlib -I /home/opam/.opam/default/lib/ppxlib/print_diff -I /home/opam/.opam/default/lib/ppxlib/stdppx -I /home/opam/.opam/default/lib/ppxlib/traverse_builtins -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yojson -intf-suffix .ml -no-alias-deps -o src/pds-reachability/.pds_reachability.objs/native/pds_reachability_work_collection.cmx -c -impl src/pds-reachability/pds_reachability_work_collection.pp.ml) - File "src/pds-reachability/pds_reachability_work_collection.ml", line 55, characters 37-53: - 55 | val to_yojson : work_collection -> Yojson.Safe.json - ^^^^^^^^^^^^^^^^ - Alert deprecated: Yojson.Safe.json - json types are being renamed and will be removed in the next Yojson major version. Use type t instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -37 -w -39 -g -bin-annot -I src/pds-reachability/.pds_reachability.objs/byte -I /home/opam/.opam/default/lib/batteries -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/biniou -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/easy-format -I /home/opam/.opam/default/lib/jhupllib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-compiler-libs/common -I /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/default/lib/ocaml-monadic -I /home/opam/.opam/default/lib/ocaml/compiler-libs -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_derivers -I /home/opam/.opam/default/lib/ppx_deriving/api -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppxlib -I /home/opam/.opam/default/lib/ppxlib/ast -I /home/opam/.opam/default/lib/ppxlib/astlib -I /home/opam/.opam/default/lib/ppxlib/print_diff -I /home/opam/.opam/default/lib/ppxlib/stdppx -I /home/opam/.opam/default/lib/ppxlib/traverse_builtins -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yojson -no-alias-deps -o src/pds-reachability/.pds_reachability.objs/byte/pds_reachability_analysis.cmo -c -impl src/pds-reachability/pds_reachability_analysis.pp.ml) - File "src/pds-reachability/pds_reachability_analysis.ml", line 106, characters 32-48: - 106 | val dump_yojson : analysis -> Yojson.Safe.json - ^^^^^^^^^^^^^^^^ - Alert deprecated: Yojson.Safe.json - json types are being renamed and will be removed in the next Yojson major version. Use type t instead - File "src/pds-reachability/pds_reachability_analysis.ml", line 114, characters 50-66: - 114 | val dump_yojson_delta : analysis -> analysis -> Yojson.Safe.json - ^^^^^^^^^^^^^^^^ - Alert deprecated: Yojson.Safe.json - json types are being renamed and will be removed in the next Yojson major version. Use type t instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -37 -w -39 -g -I src/pds-reachability/.pds_reachability.objs/byte -I src/pds-reachability/.pds_reachability.objs/native -I /home/opam/.opam/default/lib/batteries -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/biniou -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/easy-format -I /home/opam/.opam/default/lib/jhupllib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-compiler-libs/common -I /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/default/lib/ocaml-monadic -I /home/opam/.opam/default/lib/ocaml/compiler-libs -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_derivers -I /home/opam/.opam/default/lib/ppx_deriving/api -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppxlib -I /home/opam/.opam/default/lib/ppxlib/ast -I /home/opam/.opam/default/lib/ppxlib/astlib -I /home/opam/.opam/default/lib/ppxlib/print_diff -I /home/opam/.opam/default/lib/ppxlib/stdppx -I /home/opam/.opam/default/lib/ppxlib/traverse_builtins -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yojson -intf-suffix .ml -no-alias-deps -o src/pds-reachability/.pds_reachability.objs/native/pds_reachability_structure.cmx -c -impl src/pds-reachability/pds_reachability_structure.pp.ml) - File "src/pds-reachability/pds_reachability_structure.ml", line 36, characters 34-50: - 36 | val to_yojson_delta : t -> t -> Yojson.Safe.json - ^^^^^^^^^^^^^^^^ - Alert deprecated: Yojson.Safe.json - json types are being renamed and will be removed in the next Yojson major version. Use type t instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -37 -w -39 -g -I src/pds-reachability/.pds_reachability.objs/byte -I src/pds-reachability/.pds_reachability.objs/native -I /home/opam/.opam/default/lib/batteries -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/biniou -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/easy-format -I /home/opam/.opam/default/lib/jhupllib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-compiler-libs/common -I /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/default/lib/ocaml-monadic -I /home/opam/.opam/default/lib/ocaml/compiler-libs -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_derivers -I /home/opam/.opam/default/lib/ppx_deriving/api -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppxlib -I /home/opam/.opam/default/lib/ppxlib/ast -I /home/opam/.opam/default/lib/ppxlib/astlib -I /home/opam/.opam/default/lib/ppxlib/print_diff -I /home/opam/.opam/default/lib/ppxlib/stdppx -I /home/opam/.opam/default/lib/ppxlib/traverse_builtins -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yojson -intf-suffix .ml -no-alias-deps -o src/pds-reachability/.pds_reachability.objs/native/pds_reachability_analysis.cmx -c -impl src/pds-reachability/pds_reachability_analysis.pp.ml) - File "src/pds-reachability/pds_reachability_analysis.ml", line 106, characters 32-48: - 106 | val dump_yojson : analysis -> Yojson.Safe.json - ^^^^^^^^^^^^^^^^ - Alert deprecated: Yojson.Safe.json - json types are being renamed and will be removed in the next Yojson major version. Use type t instead - File "src/pds-reachability/pds_reachability_analysis.ml", line 114, characters 50-66: - 114 | val dump_yojson_delta : analysis -> analysis -> Yojson.Safe.json - ^^^^^^^^^^^^^^^^ - Alert deprecated: Yojson.Safe.json - json types are being renamed and will be removed in the next Yojson major version. Use type t instead -> compiled pds-reachability.0.2.2 -> installed pds-reachability.0.2.2 === STDERR === 2026-06-26 11:32.46: OK: build pds-reachability.0.2.2 (runc: 5.1s, disk: 24KB) 2026-06-26 11:32.46: Job succeeded