2026-06-16 16:04.46: New job: build pds-reachability.0.2.1 (d3af869d61f0)
2026-06-16 16:04.46: Waiting for resource in pool day11-builds
2026-06-16 16:49.16: Got resource from pool day11-builds
2026-06-16 16:49.16: [profile full] build pds-reachability.0.2.1
2026-06-16 16:49.16: build pds-reachability.0.2.1 (d3af869d61f0)
=== DEPENDENCIES (30 transitive) ===
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  batteries.3.10.0                                   8ce9dee731cf
  biniou.1.2.2                                       f0e9938fc49f
  camlp-streams.5.0.1                                76b76cc9fe05
  cppo.1.8.0                                         ea583d2d3bbb
  dune.3.23.1                                        5402470d931c
  easy-format.1.3.4                                  50a1da39581c
  jhupllib.0.3                                       ccb18f641ee5
  num.1.6                                            480227ca99db
  oasis.0.4.11                                       c7c4c52b1bdc
  ocaml.4.14.4                                       cb826ea44eb2
  ocaml-base-compiler.4.14.4                         d2f775f983d7
  ocaml-compiler-libs.v0.12.4                        d1dd1437b449
  ocaml-config.2                                     669e0fcf9e4d
  ocaml-monadic.0.5                                  012486a8324e
  ocamlbuild.0.16.1                                  8f6c52e6fce8
  ocamlfind.1.9.8                                    6025f4a8e98e
  ocamlify.0.0.1                                     7283ee0bdaa9
  ocamlmod.0.1.1                                     77e75eab2138
  ounit.2.2.7                                        40a233c99b04
  ounit2.2.2.7                                       5914c9ed8da1
  ppx_derivers.1.2.1                                 441538dbecd1
  ppx_deriving.6.1.1                                 4c7646da994d
  ppx_deriving_yojson.3.10.0                         6592afdae545
  ppxlib.0.38.0                                      a3e9cb715835
  seq.base                                           063828a3d698
  sexplib0.v0.17.0                                   7af37899b3a0
  stdlib-shims.0.3.0                                 e2dd0beb9112
  yojson.1.7.0                                       e2a5a79780c9
=== STDOUT ===
Processing: [default: loading data]
[pds-reachability.0.2.1: dl]
[pds-reachability.0.2.1: extract]
-> retrieved pds-reachability.0.2.1  (https://opam.ocaml.org/cache)
[pds-reachability: oasis setup]
+ /home/opam/.opam/default/bin/oasis "setup" (CWD=/home/opam/.opam/default/.opam-switch/build/pds-reachability.0.2.1)
[pds-reachability: ocaml setup.ml]
+ /home/opam/.opam/default/bin/ocaml "setup.ml" "-configure" "--prefix" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/pds-reachability.0.2.1)
- File "./setup.ml", line 575, characters 4-15:
- 575 |     Stream.from next
-           ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 603, characters 19-36:
- 603 |         let strm = Stream.of_channel chn in
-                          ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 610, characters 37-48:
- 610 |                 Buffer.add_char buf (Stream.next strm);
-                                            ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 613, characters 17-31:
- 613 |             with Stream.Failure ->
-                        ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1431, characters 16-33:
- 1431 |       let lxr = Genlex.make_lexer [] in
-                        ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1433, characters 22-38:
- 1433 |         let st = lxr (Stream.of_string s) in
-                              ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1434, characters 14-26:
- 1434 |         match Stream.npeek 3 st with
-                      ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1435, characters 11-23:
- 1435 |         | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1435, characters 28-40:
- 1435 |         | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
-                                    ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1436, characters 11-23:
- 1436 |         | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1436, characters 28-41:
- 1436 |         | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
-                                    ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1437, characters 11-24:
- 1437 |         | [Genlex.String str] -> String str
-                   ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1438, characters 11-23:
- 1438 |         | [Genlex.Ident nm] -> Ident nm
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1775, characters 22-40:
- 1775 |         let compare = Pervasives.compare
-                              ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 3176, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3179, characters 21-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3182, characters 18-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3184, characters 6-23:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3187, characters 12-24:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 9-21:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 26-36:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 42-55:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3189, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3189, characters 25-36:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3189, characters 42-53:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3201, characters 17-34:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3326, characters 16-33:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3345, characters 22-38:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3347, characters 17-29:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3348, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3348, characters 37-49:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3350, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3350, characters 37-50:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3352, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3352, characters 46-58:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 46-59:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3369, characters 13-25:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3467, characters 16-34:
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 4518, characters 21-38:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4520, characters 19-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4521, characters 16-29:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4521, characters 33-46:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4523, characters 15-26:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4523, characters 32-43:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- 
- Configuration:
- ocamlfind: ........................................... /home/opam/.opam/default/bin/ocamlfind
- ocamlc: .............................................. /home/opam/.opam/default/bin/ocamlc.opt
- ocamlopt: ............................................ /home/opam/.opam/default/bin/ocamlopt.opt
- ocamlbuild: .......................................... /home/opam/.opam/default/bin/ocamlbuild
- Package name: ........................................ pds-reachability
- Package version: ..................................... 0.2.1
- os_type: ............................................. Unix
- system: .............................................. linux
- architecture: ........................................ amd64
- ccomp_type: .......................................... cc
- ocaml_version: ....................................... 4.14.4
- standard_library_default: ............................ /home/opam/.opam/default/lib/ocaml
- standard_library: .................................... /home/opam/.opam/default/lib/ocaml
- bytecomp_c_compiler: ................................. gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC  -D_FILE_OFFSET_BITS=64 
- native_c_compiler: ................................... gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC  -D_FILE_OFFSET_BITS=64 
- model: ............................................... default
- ext_obj: ............................................. .o
- ext_asm: ............................................. .s
- ext_lib: ............................................. .a
- ext_dll: ............................................. .so
- default_executable_name: ............................. a.out
- systhread_supported: ................................. true
- Install architecture-independent files dir: .......... /home/opam/.opam/default
- Install architecture-dependent files in dir: ......... $prefix
- User executables: .................................... $exec_prefix/bin
- System admin executables: ............................ $exec_prefix/sbin
- Program executables: ................................. $exec_prefix/libexec
- Read-only single-machine data: ....................... $prefix/etc
- Modifiable architecture-independent data: ............ $prefix/com
- Modifiable single-machine data: ...................... $prefix/var
- Object code libraries: ............................... $exec_prefix/lib
- Read-only arch-independent data root: ................ $prefix/share
- Read-only architecture-independent data: ............. $datarootdir
- Info documentation: .................................. $datarootdir/info
- Locale-dependent data: ............................... $datarootdir/locale
- Man documentation: ................................... $datarootdir/man
- Documentation root: .................................. $datarootdir/doc/$pkg_name
- HTML documentation: .................................. $docdir
- DVI documentation: ................................... $docdir
- PDF documentation: ................................... $docdir
- PS documentation: .................................... $docdir
- findlib_version: ..................................... 1.9.8
- is_native: ........................................... true
- suffix_program: ......................................
- Remove a file.: ...................................... rm -f
- Remove a directory.: ................................. rm -rf
- Turn ocaml debug flag on: ............................ true
- Turn ocaml profile flag on: .......................... false
- Compiler support generation of .cmxs.: ............... true
- OCamlbuild additional flags: .........................
- Create documentations: ............................... true
- Compile tests executable and library and run them: ... false
- pkg_threads: ......................................... /home/opam/.opam/default/lib/ocaml
- pkg_batteries: ....................................... /home/opam/.opam/default/lib/batteries
- pkg_jhupllib: ........................................ /home/opam/.opam/default/lib/jhupllib
- pkg_ocaml_monadic: ................................... /home/opam/.opam/default/lib/ocaml-monadic
- pkg_ppx_deriving_std: ................................ /home/opam/.opam/default/lib/ppx_deriving/std
- pkg_ppx_deriving_yojson: ............................. /home/opam/.opam/default/lib/ppx_deriving_yojson
- pkg_yojson: .......................................... /home/opam/.opam/default/lib/yojson
- pkg_ounit: ........................................... /home/opam/.opam/default/lib/oUnit
- 
[pds-reachability: ocaml setup.ml]
+ /home/opam/.opam/default/bin/ocaml "setup.ml" "-build" (CWD=/home/opam/.opam/default/.opam-switch/build/pds-reachability.0.2.1)
- File "./setup.ml", line 575, characters 4-15:
- 575 |     Stream.from next
-           ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 603, characters 19-36:
- 603 |         let strm = Stream.of_channel chn in
-                          ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 610, characters 37-48:
- 610 |                 Buffer.add_char buf (Stream.next strm);
-                                            ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 613, characters 17-31:
- 613 |             with Stream.Failure ->
-                        ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1431, characters 16-33:
- 1431 |       let lxr = Genlex.make_lexer [] in
-                        ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1433, characters 22-38:
- 1433 |         let st = lxr (Stream.of_string s) in
-                              ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1434, characters 14-26:
- 1434 |         match Stream.npeek 3 st with
-                      ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1435, characters 11-23:
- 1435 |         | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1435, characters 28-40:
- 1435 |         | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
-                                    ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1436, characters 11-23:
- 1436 |         | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1436, characters 28-41:
- 1436 |         | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
-                                    ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1437, characters 11-24:
- 1437 |         | [Genlex.String str] -> String str
-                   ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1438, characters 11-23:
- 1438 |         | [Genlex.Ident nm] -> Ident nm
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1775, characters 22-40:
- 1775 |         let compare = Pervasives.compare
-                              ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 3176, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3179, characters 21-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3182, characters 18-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3184, characters 6-23:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3187, characters 12-24:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 9-21:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 26-36:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 42-55:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3189, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3189, characters 25-36:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3189, characters 42-53:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3201, characters 17-34:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3326, characters 16-33:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3345, characters 22-38:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3347, characters 17-29:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3348, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3348, characters 37-49:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3350, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3350, characters 37-50:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3352, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3352, characters 46-58:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 46-59:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3369, characters 13-25:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3467, characters 16-34:
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 4518, characters 21-38:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4520, characters 19-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4521, characters 16-29:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4521, characters 33-46:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4523, characters 15-26:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4523, characters 32-43:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- + ocamlfind ocamlc -config
- + ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/default/lib/ocamlbuild /home/opam/.opam/default/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/default/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- + ocamlfind ocamlc -config
- + /home/opam/.opam/default/bin/ocamlfind ocamldep -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -modules src/pds-reachability/pds_reachability_analysis.ml > src/pds-reachability/pds_reachability_analysis.ml.depends
- + /home/opam/.opam/default/bin/ocamlfind ocamldep -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -modules src/pds-reachability/pds_reachability_basis.ml > src/pds-reachability/pds_reachability_basis.ml.depends
- + /home/opam/.opam/default/bin/ocamlfind ocamldep -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -modules src/pds-reachability/pds_reachability_utils.ml > src/pds-reachability/pds_reachability_utils.ml.depends
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_utils.cmo src/pds-reachability/pds_reachability_utils.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_utils.cmo src/pds-reachability/pds_reachability_utils.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- 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
- + /home/opam/.opam/default/bin/ocamlfind ocamldep -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -modules src/pds-reachability/pds_reachability_structure.ml > src/pds-reachability/pds_reachability_structure.ml.depends
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_basis.cmo src/pds-reachability/pds_reachability_basis.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_basis.cmo src/pds-reachability/pds_reachability_basis.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- + /home/opam/.opam/default/bin/ocamlfind ocamldep -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -modules src/pds-reachability/pds_reachability_types.ml > src/pds-reachability/pds_reachability_types.ml.depends
- + /home/opam/.opam/default/bin/ocamlfind ocamldep -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -modules src/pds-reachability/pds_reachability_types_stack.ml > src/pds-reachability/pds_reachability_types_stack.ml.depends
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -w -37 -I src/pds-reachability -o src/pds-reachability/pds_reachability_types_stack.cmo src/pds-reachability/pds_reachability_types_stack.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -w -37 -I src/pds-reachability -o src/pds-reachability/pds_reachability_types_stack.cmo src/pds-reachability/pds_reachability_types_stack.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_types.cmo src/pds-reachability/pds_reachability_types.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_types.cmo src/pds-reachability/pds_reachability_types.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- + /home/opam/.opam/default/bin/ocamlfind ocamldep -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -modules src/pds-reachability/pds_reachability_work.ml > src/pds-reachability/pds_reachability_work.ml.depends
- + /home/opam/.opam/default/bin/ocamlfind ocamldep -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -modules src/pds-reachability/pds_reachability_work_collection.ml > src/pds-reachability/pds_reachability_work_collection.ml.depends
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_work.cmo src/pds-reachability/pds_reachability_work.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_work.cmo src/pds-reachability/pds_reachability_work.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_structure.cmo src/pds-reachability/pds_reachability_structure.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_structure.cmo src/pds-reachability/pds_reachability_structure.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- File "src/pds-reachability/pds_reachability_structure.ml", line 37, characters 34-50:
- 37 |   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
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_work_collection.cmo src/pds-reachability/pds_reachability_work_collection.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_work_collection.cmo src/pds-reachability/pds_reachability_work_collection.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- 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
- + /home/opam/.opam/default/bin/ocamlfind ocamldep -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -modules src/pds-reachability/pds_reachability_work_collection_templates.ml > src/pds-reachability/pds_reachability_work_collection_templates.ml.depends
- + /home/opam/.opam/default/bin/ocamlfind ocamldep -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -modules src/pds-reachability/pds_reachability.ml > src/pds-reachability/pds_reachability.ml.depends
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_analysis.cmo src/pds-reachability/pds_reachability_analysis.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_analysis.cmo src/pds-reachability/pds_reachability_analysis.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- File "src/pds-reachability/pds_reachability_analysis.ml", line 107, characters 32-48:
- 107 |   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 115, characters 50-66:
- 115 |   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
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_work_collection_templates.cmo src/pds-reachability/pds_reachability_work_collection_templates.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_work_collection_templates.cmo src/pds-reachability/pds_reachability_work_collection_templates.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability.cmo src/pds-reachability/pds_reachability.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability.cmo src/pds-reachability/pds_reachability.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -a -I src/pds-reachability src/pds-reachability/pds_reachability_utils.cmo src/pds-reachability/pds_reachability_basis.cmo src/pds-reachability/pds_reachability_types_stack.cmo src/pds-reachability/pds_reachability_types.cmo src/pds-reachability/pds_reachability_structure.cmo src/pds-reachability/pds_reachability_work.cmo src/pds-reachability/pds_reachability_work_collection.cmo src/pds-reachability/pds_reachability_analysis.cmo src/pds-reachability/pds_reachability_work_collection_templates.cmo src/pds-reachability/pds_reachability.cmo -o src/pds-reachability/pds-reachability.cma
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_utils.cmx src/pds-reachability/pds_reachability_utils.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_utils.cmx src/pds-reachability/pds_reachability_utils.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- 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
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_basis.cmx src/pds-reachability/pds_reachability_basis.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_basis.cmx src/pds-reachability/pds_reachability_basis.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -w -37 -I src/pds-reachability -o src/pds-reachability/pds_reachability_types_stack.cmx src/pds-reachability/pds_reachability_types_stack.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -w -37 -I src/pds-reachability -o src/pds-reachability/pds_reachability_types_stack.cmx src/pds-reachability/pds_reachability_types_stack.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_types.cmx src/pds-reachability/pds_reachability_types.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_types.cmx src/pds-reachability/pds_reachability_types.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_work.cmx src/pds-reachability/pds_reachability_work.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_work.cmx src/pds-reachability/pds_reachability_work.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_structure.cmx src/pds-reachability/pds_reachability_structure.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_structure.cmx src/pds-reachability/pds_reachability_structure.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- File "src/pds-reachability/pds_reachability_structure.ml", line 37, characters 34-50:
- 37 |   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
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_work_collection.cmx src/pds-reachability/pds_reachability_work_collection.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_work_collection.cmx src/pds-reachability/pds_reachability_work_collection.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- 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
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_analysis.cmx src/pds-reachability/pds_reachability_analysis.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_analysis.cmx src/pds-reachability/pds_reachability_analysis.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- File "src/pds-reachability/pds_reachability_analysis.ml", line 107, characters 32-48:
- 107 |   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 115, characters 50-66:
- 115 |   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
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_work_collection_templates.cmx src/pds-reachability/pds_reachability_work_collection_templates.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability_work_collection_templates.cmx src/pds-reachability/pds_reachability_work_collection_templates.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability.cmx src/pds-reachability/pds_reachability.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package batteries -package jhupllib -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -o src/pds-reachability/pds_reachability.cmx src/pds-reachability/pds_reachability.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -a -I src/pds-reachability src/pds-reachability/pds_reachability_utils.cmx src/pds-reachability/pds_reachability_basis.cmx src/pds-reachability/pds_reachability_types_stack.cmx src/pds-reachability/pds_reachability_types.cmx src/pds-reachability/pds_reachability_structure.cmx src/pds-reachability/pds_reachability_work.cmx src/pds-reachability/pds_reachability_work_collection.cmx src/pds-reachability/pds_reachability_analysis.cmx src/pds-reachability/pds_reachability_work_collection_templates.cmx src/pds-reachability/pds_reachability.cmx -o src/pds-reachability/pds-reachability.cmxa
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -shared -I src/pds-reachability src/pds-reachability/pds-reachability.cmxa src/pds-reachability/pds_reachability_utils.cmx src/pds-reachability/pds_reachability_basis.cmx src/pds-reachability/pds_reachability_types_stack.cmx src/pds-reachability/pds_reachability_types.cmx src/pds-reachability/pds_reachability_structure.cmx src/pds-reachability/pds_reachability_work.cmx src/pds-reachability/pds_reachability_work_collection.cmx src/pds-reachability/pds_reachability_analysis.cmx src/pds-reachability/pds_reachability_work_collection_templates.cmx src/pds-reachability/pds_reachability.cmx -o src/pds-reachability/pds-reachability.cmxs
- + /home/opam/.opam/default/bin/ocamlfind ocamldep -package batteries -package jhupllib -package oUnit -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -modules test/test.ml > test/test.ml.depends
- + /home/opam/.opam/default/bin/ocamlfind ocamldep -package batteries -package jhupllib -package oUnit -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -modules test/test_reachability.ml > test/test_reachability.ml.depends
- + /home/opam/.opam/default/bin/ocamlfind ocamldep -package batteries -package jhupllib -package oUnit -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -modules test/test_reachability_primes.ml > test/test_reachability_primes.ml.depends
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I src/pds-reachability -package batteries -package jhupllib -package oUnit -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I test -I src/pds-reachability -o test/test_reachability.cmo test/test_reachability.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I src/pds-reachability -package batteries -package jhupllib -package oUnit -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I test -I src/pds-reachability -o test/test_reachability.cmo test/test_reachability.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I src/pds-reachability -package batteries -package jhupllib -package oUnit -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I test -I src/pds-reachability -o test/test_reachability_primes.cmo test/test_reachability_primes.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I src/pds-reachability -package batteries -package jhupllib -package oUnit -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I test -I src/pds-reachability -o test/test_reachability_primes.cmo test/test_reachability_primes.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I src/pds-reachability -package batteries -package jhupllib -package oUnit -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I test -I src/pds-reachability -o test/test.cmo test/test.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I src/pds-reachability -package batteries -package jhupllib -package oUnit -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I test -I src/pds-reachability -o test/test.cmo test/test.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I src/pds-reachability -package batteries -package jhupllib -package oUnit -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I test -I src/pds-reachability -o test/test_reachability.cmx test/test_reachability.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I src/pds-reachability -package batteries -package jhupllib -package oUnit -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I test -I src/pds-reachability -o test/test_reachability.cmx test/test_reachability.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I src/pds-reachability -package batteries -package jhupllib -package oUnit -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I test -I src/pds-reachability -o test/test_reachability_primes.cmx test/test_reachability_primes.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I src/pds-reachability -package batteries -package jhupllib -package oUnit -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I test -I src/pds-reachability -o test/test_reachability_primes.cmx test/test_reachability_primes.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I src/pds-reachability -package batteries -package jhupllib -package oUnit -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I test -I src/pds-reachability -o test/test.cmx test/test.ml
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I src/pds-reachability -package batteries -package jhupllib -package oUnit -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I test -I src/pds-reachability -o test/test.cmx test/test.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -linkpkg -g -linkpkg -package batteries -package jhupllib -package oUnit -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -I test src/pds-reachability/pds-reachability.cmxa test/test_reachability.cmx test/test_reachability_primes.cmx test/test.cmx -o test/test.native
- + /home/opam/.opam/default/bin/ocamlfind ocamlopt -linkpkg -g -linkpkg -package batteries -package jhupllib -package oUnit -package ocaml-monadic -package ppx_deriving.std -package ppx_deriving_yojson -package threads -package yojson -thread -I src/pds-reachability -I test src/pds-reachability/pds-reachability.cmxa test/test_reachability.cmx test/test_reachability_primes.cmx test/test.cmx -o test/test.native
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/num, /home/opam/.opam/default/lib/ocaml
- + ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/default/lib/ocamlbuild /home/opam/.opam/default/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/default/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- File "myocamlbuild.ml", line 454, characters 8-19:
- 454 |         Stream.from
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 457, characters 21-32:
- 457 |                match Stream.next st with
-                            ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 460, characters 18-32:
- 460 |              with Stream.Failure -> None)
-                         ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 462, characters 6-23:
- 462 |       Genlex.make_lexer ["="] st_line
-             ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 465, characters 12-24:
- 465 |       match Stream.npeek 3 lxr with
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 466, characters 9-21:
- 466 |       | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] ->
-                ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 466, characters 26-36:
- 466 |       | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] ->
-                                 ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 466, characters 42-55:
- 466 |       | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] ->
-                                                 ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 467, characters 8-19:
- 467 |         Stream.junk lxr; Stream.junk lxr; Stream.junk lxr;
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 467, characters 25-36:
- 467 |         Stream.junk lxr; Stream.junk lxr; Stream.junk lxr;
-                                ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 467, characters 42-53:
- 467 |         Stream.junk lxr; Stream.junk lxr; Stream.junk lxr;
-                                                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 479, characters 17-34:
- 479 |         let st = Stream.of_channel chn in
-                        ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
-> compiled  pds-reachability.0.2.1
[pds-reachability: ocaml setup.ml]
+ /home/opam/.opam/default/bin/ocaml "setup.ml" "-install" (CWD=/home/opam/.opam/default/.opam-switch/build/pds-reachability.0.2.1)
- File "./setup.ml", line 575, characters 4-15:
- 575 |     Stream.from next
-           ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 603, characters 19-36:
- 603 |         let strm = Stream.of_channel chn in
-                          ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 610, characters 37-48:
- 610 |                 Buffer.add_char buf (Stream.next strm);
-                                            ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 613, characters 17-31:
- 613 |             with Stream.Failure ->
-                        ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1431, characters 16-33:
- 1431 |       let lxr = Genlex.make_lexer [] in
-                        ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1433, characters 22-38:
- 1433 |         let st = lxr (Stream.of_string s) in
-                              ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1434, characters 14-26:
- 1434 |         match Stream.npeek 3 st with
-                      ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1435, characters 11-23:
- 1435 |         | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1435, characters 28-40:
- 1435 |         | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
-                                    ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1436, characters 11-23:
- 1436 |         | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1436, characters 28-41:
- 1436 |         | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
-                                    ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1437, characters 11-24:
- 1437 |         | [Genlex.String str] -> String str
-                   ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1438, characters 11-23:
- 1438 |         | [Genlex.Ident nm] -> Ident nm
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1775, characters 22-40:
- 1775 |         let compare = Pervasives.compare
-                              ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 3176, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3179, characters 21-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3182, characters 18-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3184, characters 6-23:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3187, characters 12-24:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 9-21:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 26-36:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 42-55:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3189, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3189, characters 25-36:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3189, characters 42-53:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3201, characters 17-34:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3326, characters 16-33:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3345, characters 22-38:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3347, characters 17-29:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3348, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3348, characters 37-49:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3350, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3350, characters 37-50:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3352, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3352, characters 46-58:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 46-59:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3369, characters 13-25:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3467, characters 16-34:
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 4518, characters 21-38:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4520, characters 19-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4521, characters 16-29:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4521, characters 33-46:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4523, characters 15-26:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4523, characters 32-43:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_analysis.ml
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_basis.ml
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_structure.ml
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_types.ml
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_types_stack.ml
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_utils.ml
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_work.ml
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_work_collection.ml
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_work_collection_templates.ml
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability.ml
- Installed /home/opam/.opam/default/lib/pds-reachability/pds-reachability.cma
- Installed /home/opam/.opam/default/lib/pds-reachability/pds-reachability.cmxa
- Installed /home/opam/.opam/default/lib/pds-reachability/pds-reachability.a
- Installed /home/opam/.opam/default/lib/pds-reachability/pds-reachability.cmxs
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability.cmi
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability.cmt
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability.annot
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_work_collection_templates.cmi
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_work_collection_templates.cmt
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_work_collection_templates.annot
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_work_collection.cmi
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_work_collection.cmt
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_work_collection.annot
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_work.cmi
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_work.cmt
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_work.annot
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_utils.cmi
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_utils.cmt
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_utils.annot
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_types_stack.cmi
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_types_stack.cmt
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_types_stack.annot
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_types.cmi
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_types.cmt
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_types.annot
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_structure.cmi
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_structure.cmt
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_structure.annot
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_basis.cmi
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_basis.cmt
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_basis.annot
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_analysis.cmi
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_analysis.cmt
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_analysis.annot
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability.cmx
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_work_collection_templates.cmx
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_work_collection.cmx
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_work.cmx
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_utils.cmx
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_types_stack.cmx
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_types.cmx
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_structure.cmx
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_basis.cmx
- Installed /home/opam/.opam/default/lib/pds-reachability/pds_reachability_analysis.cmx
- Installed /home/opam/.opam/default/lib/pds-reachability/META
-> installed pds-reachability.0.2.1

=== STDERR ===

2026-06-16 16:49.49: OK: build pds-reachability.0.2.1 (runc: 20.1s, disk: 91KB)
2026-06-16 16:49.49: Job succeeded