Build:
- 0
2024-09-12 08:35.54: New job: Voodoo prep sawja.1.5.11; 8d6b907a4833ece0ee8d4c36bd9a55cd 2024-09-12 08:35.54: Waiting for resource in pool OCluster 2024-09-12 20:37.11: Waiting for worker… 2024-09-12 20:38.11: Got resource from pool OCluster 2024-09-12 20:38.11: Using cache hint "docs-universe-prep-4.14.2" To reproduce locally: cat > prep.spec <<'END-OF-SPEC' ((build tools ((from ocaml/opam:debian-12-ocaml-4.14@sha256:2135d0c56fc438ebc9377f99b020c06d4ecd43611be356b669914fea73ab2be1) (user (uid 1000) (gid 1000)) (workdir /home/opam) (run (shell "sudo chown opam:opam /home/opam")) (run (network host) (shell "sudo apt-get update && sudo apt-get install -yy m4 pkg-config")) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam pin -ny https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 && opam depext -iy voodoo-prep")) (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")))) (from ocaml/opam:debian-12-ocaml-4.14@sha256:2135d0c56fc438ebc9377f99b020c06d4ecd43611be356b669914fea73ab2be1) (user (uid 1000) (gid 1000)) (workdir /home/opam) (run (shell "sudo chown opam:opam /home/opam")) (run (shell "sudo mkdir /src")) (copy (src packages) (dst /src/packages)) (copy (src repo) (dst /src/repo)) (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) (run (shell "opam repo remove default && opam repo add opam /src")) (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam install dune.3.16.0 ocamlfind.1.9.6")) (env DUNE_CACHE enabled) (env DUNE_CACHE_TRANSPORT direct) (env DUNE_CACHE_DUPLICATION copy) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "(sudo apt update) && ((opam depext -viy sawja.1.5.11 ocamlfind.1.9.6 javalib.3.2.2 host-arch-x86_64.1 extlib.1.7.9 dune.3.16.0 cppo.1.7.0 conf-zlib.1 conf-which.1 conf-pkg-config.3 camlzip.1.12 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')")) (run (shell "opam exec -- ~/voodoo-prep -u sawja:8d6b907a4833ece0ee8d4c36bd9a55cd,javalib:724e899f5f060f8d78afb9bb865b77e0")) (run (network host) (secrets (ssh_privkey (target /home/opam/.ssh/id_rsa)) (ssh_pubkey (target /home/opam/.ssh/id_rsa.pub)) (ssh_config (target /home/opam/.ssh/config))) (shell "(echo '0.112808') && (for DATA in prep/universes/724e899f5f060f8d78afb9bb865b77e0/javalib/3.2.2,javalib.3.2.2-724e899f5f060f8d78afb9bb865b77e0,javalib.3.2.2 prep/universes/8d6b907a4833ece0ee8d4c36bd9a55cd/sawja/1.5.11,sawja.1.5.11-8d6b907a4833ece0ee8d4c36bd9a55cd,sawja.1.5.11; do IFS=\",\"; set -- $DATA; ([ -d $1 ] || (echo \"FAILED:$2\" && mkdir -p $1 && cp ~/opam.err.log $1 && opam show $3 --raw > $1/opam)) && (shopt -s nullglob && ((tar -cvf $1.tar $1/* && rm -R $1/* && mv $1.tar $1/content.tar) || (echo 'Empty directory'))) done) && (for DATA in prep/universes/724e899f5f060f8d78afb9bb865b77e0/javalib/3.2.2,javalib.3.2.2-724e899f5f060f8d78afb9bb865b77e0,javalib.3.2.2 prep/universes/8d6b907a4833ece0ee8d4c36bd9a55cd/sawja/1.5.11,sawja.1.5.11-8d6b907a4833ece0ee8d4c36bd9a55cd,sawja.1.5.11; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/724e899f5f060f8d78afb9bb865b77e0/javalib/3.2.2,javalib.3.2.2-724e899f5f060f8d78afb9bb865b77e0,javalib.3.2.2 prep/universes/8d6b907a4833ece0ee8d4c36bd9a55cd/sawja/1.5.11,sawja.1.5.11-8d6b907a4833ece0ee8d4c36bd9a55cd,sawja.1.5.11; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)")) ) END-OF-SPEC ocluster-client submit-obuilder https://github.com/ocaml/opam-repository.git a7755be1f839d2898c912594666b667e099627cc --local-file prep.spec \ --pool linux-x86_64 --connect ocluster-submission.cap --cache-hint docs-universe-prep-4.14.2 \ --secret ssh_privkey:id_rsa --secret ssh_pubkey:id_rsa.pub--secret ssh_config:ssh_config 2024-09-12 20:38.11: RETRYING: 2024-09-12/083554-voodoo-prep-f1d8f8 Number of retries: 0 (retriable error condition) Building on doris.caelum.ci.dev All commits already cached Updating files: 67% (21594/32074) Updating files: 68% (21811/32074) Updating files: 69% (22132/32074) Updating files: 70% (22452/32074) Updating files: 71% (22773/32074) Updating files: 72% (23094/32074) Updating files: 73% (23415/32074) Updating files: 74% (23735/32074) Updating files: 75% (24056/32074) Updating files: 76% (24377/32074) Updating files: 77% (24697/32074) Updating files: 78% (25018/32074) Updating files: 79% (25339/32074) Updating files: 80% (25660/32074) Updating files: 81% (25980/32074) Updating files: 82% (26301/32074) Updating files: 83% (26622/32074) Updating files: 84% (26943/32074) Updating files: 85% (27263/32074) Updating files: 86% (27584/32074) Updating files: 87% (27905/32074) Updating files: 88% (28226/32074) Updating files: 89% (28546/32074) Updating files: 90% (28867/32074) Updating files: 91% (29188/32074) Updating files: 92% (29509/32074) Updating files: 93% (29829/32074) Updating files: 94% (30150/32074) Updating files: 95% (30471/32074) Updating files: 96% (30792/32074) Updating files: 97% (31112/32074) Updating files: 98% (31433/32074) Updating files: 99% (31754/32074) Updating files: 100% (32074/32074) Updating files: 100% (32074/32074), done. HEAD is now at a7755be1f8 extlib is not compatible with OCaml 5.3 (build "tools" …) (from ocaml/opam:debian-12-ocaml-4.14@sha256:2135d0c56fc438ebc9377f99b020c06d4ecd43611be356b669914fea73ab2be1) 2024-09-12 20:32.11 ---> using "103a548bcf08062184789f8399ddfc3128a2d5d426168f6d2c8435f8ce1ce572" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-09-12 20:32.11 ---> using "b735425389b73ff0dbaabb86e65c55ba3d4affc0ec07062c4ba9fb8523aca05a" from cache /home/opam: (run (network host) (shell "sudo apt-get update && sudo apt-get install -yy m4 pkg-config")) Hit:1 http://deb.debian.org/debian bookworm InRelease Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB] Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB] Get:4 http://deb.debian.org/debian bookworm-updates/main amd64 Packages.diff/Index [11.7 kB] Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-09-10-2011.55-F-2024-09-10-2011.55.pdiff [1116 B] Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-09-10-2011.55-F-2024-09-10-2011.55.pdiff [1116 B] Get:6 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [179 kB] Fetched 295 kB in 0s (940 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: libpkgconf3 pkgconf pkgconf-bin Suggested packages: m4-doc The following NEW packages will be installed: libpkgconf3 m4 pkg-config pkgconf pkgconf-bin 0 upgraded, 5 newly installed, 0 to remove and 0 not upgraded. Need to get 392 kB of archives. After this operation, 969 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian bookworm/main amd64 libpkgconf3 amd64 1.8.1-1 [36.1 kB] Get:2 http://deb.debian.org/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB] Get:3 http://deb.debian.org/debian bookworm/main amd64 pkgconf-bin amd64 1.8.1-1 [29.5 kB] Get:4 http://deb.debian.org/debian bookworm/main amd64 pkgconf amd64 1.8.1-1 [25.9 kB] Get:5 http://deb.debian.org/debian bookworm/main amd64 pkg-config amd64 1.8.1-1 [13.7 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 392 kB in 0s (7516 kB/s) Selecting previously unselected package libpkgconf3:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 18733 files and directories currently installed.) Preparing to unpack .../libpkgconf3_1.8.1-1_amd64.deb ... Unpacking libpkgconf3:amd64 (1.8.1-1) ... Selecting previously unselected package m4. Preparing to unpack .../archives/m4_1.4.19-3_amd64.deb ... Unpacking m4 (1.4.19-3) ... Selecting previously unselected package pkgconf-bin. Preparing to unpack .../pkgconf-bin_1.8.1-1_amd64.deb ... Unpacking pkgconf-bin (1.8.1-1) ... Selecting previously unselected package pkgconf:amd64. Preparing to unpack .../pkgconf_1.8.1-1_amd64.deb ... Unpacking pkgconf:amd64 (1.8.1-1) ... Selecting previously unselected package pkg-config:amd64. Preparing to unpack .../pkg-config_1.8.1-1_amd64.deb ... Unpacking pkg-config:amd64 (1.8.1-1) ... Setting up m4 (1.4.19-3) ... Setting up libpkgconf3:amd64 (1.8.1-1) ... Setting up pkgconf-bin (1.8.1-1) ... Setting up pkgconf:amd64 (1.8.1-1) ... Setting up pkg-config:amd64 (1.8.1-1) ... Processing triggers for libc-bin (2.36-9+deb12u8) ... 2024-09-12 20:32.11 ---> using "64027e071d7f4bb79a519ab4cf43cd8d13e54fe5188051a605e9293619bec9b3" from cache /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam pin -ny https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 && opam depext -iy voodoo-prep")) [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 This will pin the following packages: voodoo-prep, voodoo-lib, voodoo-gen, voodoo-do. Continue? [Y/n] y Package voodoo-prep does not exist, create as a NEW package? [Y/n] y [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-prep is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-lib does not exist, create as a NEW package? [Y/n] y [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-lib is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-gen does not exist, create as a NEW package? [Y/n] y [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-gen is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-do does not exist, create as a NEW package? [Y/n] y [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-do is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # No extra OS packages requirements found. # All required OS packages found. # Now letting opam install the packages <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [voodoo-prep.~dev] no changes from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 The following actions will be performed: - install ocamlbuild 0.15.0 [required by bos] - install dune 3.16.0 [required by voodoo-prep] - install ocamlfind 1.9.6 [required by bos] - install cmdliner 1.3.0 [required by voodoo-prep] - install seq base [required by re] - install swhid_core 0.1 [required by opam-core] - install stdlib-shims 0.3.0 [required by ocamlgraph, sha] - install opam-file-format 2.1.6 [required by opam-format] - install topkg 1.0.7 [required by bos] - install re 1.12.0 [required by opam-format] - install sha 1.15.4 [required by opam-core] - install ocamlgraph 2.1.0 [required by opam-core] - install uutf 1.0.3 [required by opam-core] - install rresult 0.7.0 [required by bos] - install fmt 0.9.0 [required by bos] - install astring 0.8.5 [required by bos] - install jsonm 1.0.2 [required by opam-core] - install logs 0.7.0 [required by bos] - install fpath 0.7.3 [required by voodoo-prep] - install opam-core 2.2.1 [required by opam-format] - install bos 0.2.1 [required by voodoo-prep] - install opam-format 2.2.1 [required by voodoo-prep] - install voodoo-prep ~dev* ===== 23 to install ===== <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [astring.0.8.5] found in cache [bos.0.2.1] found in cache [cmdliner.1.3.0] found in cache [dune.3.16.0] found in cache [fmt.0.9.0] found in cache [fpath.0.7.3] found in cache [jsonm.1.0.2] found in cache [logs.0.7.0] found in cache [ocamlbuild.0.15.0] found in cache [ocamlfind.1.9.6] found in cache [ocamlgraph.2.1.0] found in cache [opam-core.2.2.1] found in cache [opam-file-format.2.1.6] found in cache [opam-format.2.2.1] found in cache [re.1.12.0] found in cache [rresult.0.7.0] found in cache [sha.1.15.4] found in cache [stdlib-shims.0.3.0] found in cache [swhid_core.0.1] found in cache [topkg.1.0.7] found in cache [uutf.1.0.3] found in cache [voodoo-prep.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed seq.base -> installed cmdliner.1.3.0 -> installed ocamlfind.1.9.6 -> installed ocamlbuild.0.15.0 -> installed topkg.1.0.7 -> installed rresult.0.7.0 -> installed uutf.1.0.3 -> installed fmt.0.9.0 -> installed astring.0.8.5 -> installed jsonm.1.0.2 -> installed fpath.0.7.3 -> installed logs.0.7.0 -> installed bos.0.2.1 -> installed dune.3.16.0 -> installed stdlib-shims.0.3.0 -> installed swhid_core.0.1 -> installed opam-file-format.2.1.6 -> installed re.1.12.0 -> installed sha.1.15.4 -> installed ocamlgraph.2.1.0 -> installed opam-core.2.2.1 -> installed opam-format.2.2.1 -> installed voodoo-prep.~dev Done. # Run eval $(opam env) to update the current shell environment 2024-09-12 20:32.11 ---> using "4b3eae20ee556ce466265d261fd5d7184b7506cfcf8217eea177582bdd289d8b" from cache /home/opam: (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")) 2024-09-12 20:32.11 ---> using "ff9243a4acf95fb20c4e62f411801f15f8ec3c4e6fcc150de31a9042ea281b68" from cache 2024-09-12 20:32.11 --> finished "tools" (from ocaml/opam:debian-12-ocaml-4.14@sha256:2135d0c56fc438ebc9377f99b020c06d4ecd43611be356b669914fea73ab2be1) 2024-09-12 20:32.11 ---> using "103a548bcf08062184789f8399ddfc3128a2d5d426168f6d2c8435f8ce1ce572" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-09-12 20:32.11 ---> using "b735425389b73ff0dbaabb86e65c55ba3d4affc0ec07062c4ba9fb8523aca05a" from cache /home/opam: (run (shell "sudo mkdir /src")) 2024-09-12 20:32.11 ---> using "589fc247a47cee4820aea953ca0c6137d5c05903e8d36d67782083bf9b53dcd0" from cache /home/opam: (copy (src packages) (dst /src/packages)) 2024-09-12 20:32.13 ---> using "7647df0989ad9d00b88769445c7ea0caa5d85456c13faf0207cae81e5fb286a5" from cache /home/opam: (copy (src repo) (dst /src/repo)) 2024-09-12 20:32.13 ---> using "ebbce22eb098126409d28bc373b6c292b67ba7d6da7b5aa956dcb0dff0a57e54" from cache /home/opam: (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) Configuring from /home/opam/.opamrc and then from built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted. You may want to back it up before going further. Continue? [Y/n] y Format upgrade done. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from file:///home/opam/opam-repository 2024-09-12 20:32.13 ---> using "6acd1afa46ec796403086ed8c035b90bee47fe1aec4596bc854b6bd70a74b68c" from cache /home/opam: (run (shell "opam repo remove default && opam repo add opam /src")) Repositories removed from the selections of switch 4.14. Use '--all' to forget about them altogether. [opam] Initialised [NOTE] Repository opam has been added to the selections of switch 4.14 only. Run `opam repository add opam --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively. 2024-09-12 20:32.13 ---> using "8b229f5fdb680798f5ae9da803f140bfadae0ebae6b19106bafc30a5be576285" from cache /home/opam: (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) 2024-09-12 20:32.13 ---> using "e4234c17489efe939f698673dd239427ac95378f53a83d83c2ab071d95dd1a72" from cache /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam install dune.3.16.0 ocamlfind.1.9.6")) The following actions will be performed: - install dune 3.16.0 - install ocamlfind 1.9.6 ===== 2 to install ===== <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved ocamlfind.1.9.6 (cached) -> retrieved dune.3.16.0 (cached) -> installed ocamlfind.1.9.6 -> installed dune.3.16.0 Done. # Run eval $(opam env) to update the current shell environment 2024-09-12 20:32.13 ---> using "86c6b01205a03bcbb48982e6630e3ee71b1962a3d0e32dfe877707e7775c7de4" from cache /home/opam: (env DUNE_CACHE enabled) /home/opam: (env DUNE_CACHE_TRANSPORT direct) /home/opam: (env DUNE_CACHE_DUPLICATION copy) /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "(sudo apt update) && ((opam depext -viy sawja.1.5.11 ocamlfind.1.9.6 javalib.3.2.2 host-arch-x86_64.1 extlib.1.7.9 dune.3.16.0 cppo.1.7.0 conf-zlib.1 conf-which.1 conf-pkg-config.3 camlzip.1.12 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')")) WARNING: apt does not have a stable CLI interface. Use with caution in scripts. Hit:1 http://deb.debian.org/debian bookworm InRelease Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB] Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB] Get:4 http://deb.debian.org/debian bookworm-updates/main amd64 Packages.diff/Index [11.7 kB] Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-09-10-2011.55-F-2024-09-10-2011.55.pdiff [1116 B] Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-09-10-2011.55-F-2024-09-10-2011.55.pdiff [1116 B] Get:6 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [179 kB] Fetched 295 kB in 0s (826 kB/s) Reading package lists... Building dependency tree... Reading state information... All packages are up to date. Opam plugin "depext" may require upgrading/reinstalling. Reinstall the plugin on the current switch? [Y/n] y The following actions will be performed: - recompile opam-depext 1.2.3 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved opam-depext.1.2.3 (cached) -> removed opam-depext.1.2.3 -> installed opam-depext.1.2.3 Done. <><> opam-depext.1.2.3 installed successfully <><><><><><><><><><><><><><><><><> => opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead # Run eval $(opam env) to update the current shell environment <><> Carrying on to "opam depext -viy sawja.1.5.11 ocamlfind.1.9.6 javalib.3.2.2 host-arch-x86_64.1 extlib.1.7.9 dune.3.16.0 cppo.1.7.0 conf-zlib.1 conf-which.1 conf-pkg-config.3 camlzip.1.12" Since version 2.1, opam now handles external dependencies alongside OCaml ones, and the `depext` plugin interface is provided for backwards compatibility only. Consider using your usual `opam install` command to install both OCaml and system dependencies, or `opam install <pkg> --depext-only` if you want to only install external dependencies. # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # The following system packages are needed: debianutils pkg-config zlib1g-dev [NOTE] Package dune is already installed (current version is 3.16.0). [NOTE] Package host-arch-x86_64 is already installed (current version is 1). [NOTE] Package ocamlfind is already installed (current version is 1.9.6). The following actions will be performed: - install conf-which 1 - install conf-pkg-config 3 - install cppo 1.7.0 - install conf-zlib 1 - install extlib 1.7.9 - install camlzip 1.12 - install javalib 3.2.2 - install sawja 1.5.11 ===== 8 to install ===== The following system packages will first need to be installed: pkg-config zlib1g-dev <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><> Let opam run your package manager to install the required system packages? (answer 'n' for other options) [Y/n] y + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "pkg-config" "zlib1g-dev" - debconf: delaying package configuration, since apt-utils is not installed - Selecting previously unselected package libpkgconf3:amd64. - (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 18733 files and directories currently installed.) - Preparing to unpack .../libpkgconf3_1.8.1-1_amd64.deb ... - Unpacking libpkgconf3:amd64 (1.8.1-1) ... - Selecting previously unselected package pkgconf-bin. - Preparing to unpack .../pkgconf-bin_1.8.1-1_amd64.deb ... - Unpacking pkgconf-bin (1.8.1-1) ... - Selecting previously unselected package pkgconf:amd64. - Preparing to unpack .../pkgconf_1.8.1-1_amd64.deb ... - Unpacking pkgconf:amd64 (1.8.1-1) ... - Selecting previously unselected package pkg-config:amd64. - Preparing to unpack .../pkg-config_1.8.1-1_amd64.deb ... - Unpacking pkg-config:amd64 (1.8.1-1) ... - Selecting previously unselected package zlib1g-dev:amd64. - Preparing to unpack .../zlib1g-dev_1%3a1.2.13.dfsg-1_amd64.deb ... - Unpacking zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ... - Setting up libpkgconf3:amd64 (1.8.1-1) ... - Setting up pkgconf-bin (1.8.1-1) ... - Setting up zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ... - Setting up pkgconf:amd64 (1.8.1-1) ... - Setting up pkg-config:amd64 (1.8.1-1) ... - Processing triggers for libc-bin (2.36-9+deb12u8) ... <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/24: Processing 2/24: Processing 3/24: Processing 4/24: Processing 5/24: Processing 6/24: Processing 7/24: [conf-pkg-config: pkg-config] Processing 8/24: [conf-pkg-config: pkg-config] [conf-which: which which] -> retrieved camlzip.1.12 (cached) Processing 9/24: [conf-pkg-config: pkg-config] [conf-which: which which] -> retrieved cppo.1.7.0 (cached) Processing 10/24: [sawja.1.5.11: http] [conf-pkg-config: pkg-config] [conf-which: which which] Processing 11/24: [sawja.1.5.11: http] [conf-pkg-config: pkg-config] [conf-which: which which] [cppo: dune build] -> retrieved extlib.1.7.9 (cached) - usage: pkgconf [OPTIONS] [LIBRARIES] - - basic options: - - --help this message - --about print pkgconf version and license to stdout - --version print supported pkg-config version to stdout - --atleast-pkgconfig-version check whether or not pkgconf is compatible - with a specified pkg-config version - --errors-to-stdout print all errors on stdout instead of stderr - --print-errors ensure all errors are printed - --short-errors be less verbose about some errors - --silence-errors explicitly be silent about errors - --list-all list all known packages - --list-package-names list all known package names - --simulate simulate walking the calculated dependency graph - --no-cache do not cache already seen packages when - walking the dependency graph - --log-file=filename write an audit log to a specified file - --with-path=path adds a directory to the search path - --define-prefix override the prefix variable with one that is guessed based on - the location of the .pc file - --dont-define-prefix do not override the prefix variable under any circumstances - --prefix-variable=varname sets the name of the variable that pkgconf considers - to be the package prefix - --relocate=path relocates a path and exits (mostly for testsuite) - --dont-relocate-paths disables path relocation support - - cross-compilation personality support: - - --personality=triplet|filename sets the personality to 'triplet' or a file named 'filename' - --dump-personality dumps details concerning selected personality - - checking specific pkg-config database entries: - - --atleast-version require a specific version of a module - --exact-version require an exact version of a module - --max-version require a maximum version of a module - --exists check whether or not a module exists - --uninstalled check whether or not an uninstalled module will be used - --no-uninstalled never use uninstalled modules when satisfying dependencies - --no-provides do not use 'provides' rules to resolve dependencies - --maximum-traverse-depth maximum allowed depth for dependency graph - --static be more aggressive when computing dependency graph - (for static linking) - --shared use a simplified dependency graph (usually default) - --pure optimize a static dependency graph as if it were a normal - dependency graph - --env-only look only for package entries in PKG_CONFIG_PATH - --ignore-conflicts ignore 'conflicts' rules in modules - --validate validate specific .pc files for correctness - - querying specific pkg-config database fields: - - --define-variable=varname=value define variable 'varname' as 'value' - --variable=varname print specified variable entry to stdout - --cflags print required CFLAGS to stdout - --cflags-only-I print required include-dir CFLAGS to stdout - --cflags-only-other print required non-include-dir CFLAGS to stdout - --libs print required linker flags to stdout - --libs-only-L print required LDPATH linker flags to stdout - --libs-only-l print required LIBNAME linker flags to stdout - --libs-only-other print required other linker flags to stdout - --print-requires print required dependency frameworks to stdout - --print-requires-private print required dependency frameworks for static - linking to stdout - --print-provides print provided dependencies to stdout - --print-variables print all known variables in module to stdout - --digraph print entire dependency graph in graphviz 'dot' format - --keep-system-cflags keep -I/usr/include entries in cflags output - --keep-system-libs keep -L/lib:/lib/i386-linux-gnu:/lib/x86_64-linux-gnu:/lib/x86_64-linux-gnux32:/lib32:/libx32:/usr/lib:/usr/lib/i386-linux-gnu:/usr/lib/x86_64-linux-gnu:/usr/lib/x86_64-linux-gnux32:/usr/lib32:/usr/libx32 entries in libs output - --path show the exact filenames for any matching .pc files - --modversion print the specified module's version to stdout - --internal-cflags do not filter 'internal' cflags from output - - filtering output: - - --msvc-syntax print translatable fragments in MSVC syntax - --fragment-filter=types filter output fragments to the specified types - - report bugs to <https://github.com/pkgconf/pkgconf/issues/new>. -> compiled conf-pkg-config.3 Processing 11/24: [sawja.1.5.11: http] [conf-which: which which] [cppo: dune build] -> installed conf-pkg-config.3 Processing 12/24: [sawja.1.5.11: http] [conf-which: which which] [cppo: dune build] Processing 13/24: [sawja.1.5.11: http] [conf-which: which which] [conf-zlib: pkg-config zlib] [cppo: dune build] - /usr/bin/which -> compiled conf-which.1 Processing 13/24: [sawja.1.5.11: http] [conf-zlib: pkg-config zlib] [cppo: dune build] -> installed conf-which.1 Processing 14/24: [sawja.1.5.11: http] [conf-zlib: pkg-config zlib] [cppo: dune build] -> retrieved javalib.3.2.2 (cached) -> compiled conf-zlib.1 Processing 14/24: [sawja.1.5.11: http] [cppo: dune build] -> installed conf-zlib.1 Processing 15/24: [sawja.1.5.11: http] [cppo: dune build] Processing 16/24: [sawja.1.5.11: http] [camlzip: make all] [cppo: dune build] Processing 16/24: [camlzip: make all] [cppo: dune build] -> retrieved sawja.1.5.11 (https://github.com/javalib-team/sawja/archive/1.5.11.tar.gz) - ocamlfind ocamlc -g -safe-string -bin-annot -package unix -c -ccopt -g zlibstubs.c - ocamlfind ocamlmklib -oc camlzip zlibstubs.o -lz - ocamlfind ocamlc -g -safe-string -bin-annot -package unix -c zlib.mli - ocamlfind ocamlc -g -safe-string -bin-annot -package unix -c zlib.ml - ocamlfind ocamlc -g -safe-string -bin-annot -package unix -c zip.mli - ocamlfind ocamlc -g -safe-string -bin-annot -package unix -c zip.ml - ocamlfind ocamlc -g -safe-string -bin-annot -package unix -c gzip.mli - ocamlfind ocamlc -g -safe-string -bin-annot -package unix -c gzip.ml - ocamlfind ocamlmklib -o zip -oc camlzip zlib.cmo zip.cmo gzip.cmo -lz - ocamlfind ocamlopt -safe-string -package unix -c zlib.ml - ocamlfind ocamlopt -safe-string -package unix -c zip.ml - ocamlfind ocamlopt -safe-string -package unix -c gzip.ml - ocamlfind ocamlmklib -o zip -oc camlzip zlib.cmx zip.cmx gzip.cmx -lz - ocamlfind ocamlopt -safe-string -package unix -shared -linkall -I ./ -o zip.cmxs zip.cmxa libcamlzip.a -> compiled camlzip.1.12 Processing 16/24: [cppo: dune build] Processing 17/24: [cppo: dune build] [camlzip: make install] -> compiled cppo.1.7.0 Processing 17/24: [camlzip: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/camlzip.1.12) - cp META-zip META && \ - ocamlfind install zip META *.cma *.a *.mli *.cmi *.cmti *.cmt gzip.cmx zip.cmx zlib.cmx zip.cmxa zip.cmxs dllcamlzip.so && \ - rm META - Installed /home/opam/.opam/4.14/lib/zip/zip.cmxs - Installed /home/opam/.opam/4.14/lib/zip/zip.cmxa - Installed /home/opam/.opam/4.14/lib/zip/zlib.cmx - Installed /home/opam/.opam/4.14/lib/zip/zip.cmx - Installed /home/opam/.opam/4.14/lib/zip/gzip.cmx - Installed /home/opam/.opam/4.14/lib/zip/zlib.cmt - Installed /home/opam/.opam/4.14/lib/zip/zip.cmt - Installed /home/opam/.opam/4.14/lib/zip/gzip.cmt - Installed /home/opam/.opam/4.14/lib/zip/zlib.cmti - Installed /home/opam/.opam/4.14/lib/zip/zip.cmti - Installed /home/opam/.opam/4.14/lib/zip/gzip.cmti - Installed /home/opam/.opam/4.14/lib/zip/zlib.cmi - Installed /home/opam/.opam/4.14/lib/zip/zip.cmi - Installed /home/opam/.opam/4.14/lib/zip/gzip.cmi - Installed /home/opam/.opam/4.14/lib/zip/zlib.mli - Installed /home/opam/.opam/4.14/lib/zip/zip.mli - Installed /home/opam/.opam/4.14/lib/zip/gzip.mli - Installed /home/opam/.opam/4.14/lib/zip/zip.a - Installed /home/opam/.opam/4.14/lib/zip/libcamlzip.a - Installed /home/opam/.opam/4.14/lib/zip/zip.cma - Installed /home/opam/.opam/4.14/lib/stublibs/dllcamlzip.so - Installed /home/opam/.opam/4.14/lib/stublibs/dllcamlzip.so.owner - ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/4.14/lib/stublibs is not mentioned in ld.conf - Installed /home/opam/.opam/4.14/lib/zip/META - cp META-camlzip META && \ - ocamlfind install camlzip META && \ - rm META - Installed /home/opam/.opam/4.14/lib/camlzip/META -> installed camlzip.1.12 -> installed cppo.1.7.0 Processing 19/24: [extlib: dune build] + /home/opam/.opam/4.14/bin/dune "build" "-p" "extlib" "-j" "39" (CWD=/home/opam/.opam/4.14/.opam-switch/build/extlib.1.7.9) -> compiled extlib.1.7.9 -> installed extlib.1.7.9 Processing 21/24: [javalib: ./configure.sh] + /home/opam/.opam/4.14/.opam-switch/build/javalib.3.2.2/./configure.sh "-s" (CWD=/home/opam/.opam/4.14/.opam-switch/build/javalib.3.2.2) - * Plugin version of javalib will be generated at compilation (ocamlopt -shared). - * Debug flag set to yes. - * Ocamlfind found at /home/opam/.opam/4.14/bin/ocamlfind. - * System-wide installation, in /home/opam/.opam/4.14/lib. - * Package zip v1.12 found at /home/opam/.opam/4.14/lib/zip. - * Package unix found at /home/opam/.opam/4.14/lib/ocaml. - * Package str found at /home/opam/.opam/4.14/lib/ocaml. - * Package extlib found at /home/opam/.opam/4.14/lib/extlib. - * Writing /home/opam/.opam/4.14/.opam-switch/build/javalib.3.2.2/Makefile.config. - Creating from /home/opam/.opam/4.14/.opam-switch/build/javalib.3.2.2/Makefile.config.example. - ... done. - * Writing /home/opam/.opam/4.14/.opam-switch/build/javalib.3.2.2/src/META. - Creating from /home/opam/.opam/4.14/.opam-switch/build/javalib.3.2.2/src/META.source. - .. done. - - WHAT'S NEXT: all dependencies are satisfied. - Compile and install Javalib with the following commands: - make && sudo make install - - More details can be found in the installation documentation (INSTALL or http://javalib.gforge.inria.fr/javalib-doc.html). Processing 21/24: [javalib: make] + /usr/bin/make (CWD=/home/opam/.opam/4.14/.opam-switch/build/javalib.3.2.2) - /usr/bin/make -C src - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/javalib.3.2.2/src' - ocamllex jManifest.mll - 13 states, 340 transitions, table size 1438 bytes - /home/opam/.opam/4.14/bin/ocamlfind ocamldep -I ptrees ../Makefile.config ptrees/ptset.mli ptrees/ptmap.mli ptrees/genericSet.mli ptrees/genericMap.mli jLib.mli jBasics.mli jBasicsLow.mli jSignature.mli jCode.mli jClassLow.mli jClass.mli jDumpBasics.mli jUnparseSignature.mli jDumpLow.mli jParseCode.mli jInstruction.mli jUnparse.mli jParseSignature.mli jParse.mli jLow2High.mli jHigh2Low.mli jFile.mli jManifest.mli javalib.mli ptrees/ptset.ml ptrees/ptmap.ml ptrees/genericSet.ml ptrees/genericMap.ml jLib.ml jBasics.ml jBasicsLow.ml jSignature.ml jCode.ml jClass.ml jDumpBasics.ml jParseCode.ml jInstruction.ml jUnparseSignature.ml jDumpLow.ml jHigh2Low.ml jUnparse.ml jParseSignature.ml jLow2High.ml jParse.ml jFile.ml jManifest.ml jPrint.ml javalib.ml > .depend - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptset.mli - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptmap.mli - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericSet.mli - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericMap.mli - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jLib.mli - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jBasics.mli - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jSignature.mli - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jCode.mli - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jClass.mli - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jBasicsLow.mli - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jClassLow.mli - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jDumpBasics.mli - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jUnparseSignature.mli - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jDumpLow.mli - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jParseCode.mli - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jInstruction.mli - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jUnparse.mli - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jParseSignature.mli - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jParse.mli - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jLow2High.mli - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jHigh2Low.mli - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jFile.mli - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jManifest.mli - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c javalib.mli - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptset.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptmap.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericSet.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericMap.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jLib.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jBasics.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jBasicsLow.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jSignature.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jCode.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jClass.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jDumpBasics.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jParseCode.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jInstruction.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jUnparseSignature.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jDumpLow.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jHigh2Low.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jUnparse.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jParseSignature.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jLow2High.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jParse.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jFile.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jManifest.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jPrint.ml - File "jPrint.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c javalib.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -pack ptrees/ptset.cmo ptrees/ptmap.cmo ptrees/genericSet.cmo ptrees/genericMap.cmo jLib.cmo jBasics.cmo jBasicsLow.cmo jSignature.cmo jCode.cmo jClass.cmo jDumpBasics.cmo jParseCode.cmo jInstruction.cmo jUnparseSignature.cmo jDumpLow.cmo jHigh2Low.cmo jUnparse.cmo jParseSignature.cmo jLow2High.cmo jParse.cmo jFile.cmo jManifest.cmo jPrint.cmo javalib.cmo -o javalib_pack.cmo - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -a -o javalib.cma javalib_pack.cmo - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/ptset.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/ptmap.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/genericSet.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/genericMap.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jLib.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jBasics.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jBasicsLow.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jSignature.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jCode.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jClass.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jDumpBasics.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jParseCode.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jInstruction.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jUnparseSignature.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jDumpLow.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jHigh2Low.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jUnparse.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jParseSignature.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jLow2High.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jParse.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jFile.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jManifest.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jPrint.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c javalib.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -pack ptrees/ptset.cmx ptrees/ptmap.cmx ptrees/genericSet.cmx ptrees/genericMap.cmx jLib.cmx jBasics.cmx jBasicsLow.cmx jSignature.cmx jCode.cmx jClass.cmx jDumpBasics.cmx jParseCode.cmx jInstruction.cmx jUnparseSignature.cmx jDumpLow.cmx jHigh2Low.cmx jUnparse.cmx jParseSignature.cmx jLow2High.cmx jParse.cmx jFile.cmx jManifest.cmx jPrint.cmx javalib.cmx -o javalib_pack.cmx - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -a -o javalib.cmxa javalib_pack.cmx - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -shared -o javalib.cmxs javalib_pack.cmx - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/javalib.3.2.2/src' -> compiled javalib.3.2.2 Processing 22/24: [javalib: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/javalib.3.2.2) - /usr/bin/make -C src install - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/javalib.3.2.2/src' - /home/opam/.opam/4.14/bin/ocamlfind install javalib META javalib.cma javalib.cmi javalib.cmxa javalib.cmxs javalib_pack.cmi javalib_pack.cmo javalib_pack.cmx javalib_pack.o ptrees/ptset.mli ptrees/ptmap.mli ptrees/genericSet.mli ptrees/genericMap.mli jLib.mli jBasics.mli jBasicsLow.mli jSignature.mli jCode.mli jClassLow.mli jClass.mli jDumpBasics.mli jUnparseSignature.mli jDumpLow.mli jParseCode.mli jInstruction.mli jUnparse.mli jParseSignature.mli jParse.mli jLow2High.mli jHigh2Low.mli jFile.mli jManifest.mli javalib.mli javalib.a - Installed /home/opam/.opam/4.14/lib/javalib/javalib.a - Installed /home/opam/.opam/4.14/lib/javalib/javalib.mli - Installed /home/opam/.opam/4.14/lib/javalib/jManifest.mli - Installed /home/opam/.opam/4.14/lib/javalib/jFile.mli - Installed /home/opam/.opam/4.14/lib/javalib/jHigh2Low.mli - Installed /home/opam/.opam/4.14/lib/javalib/jLow2High.mli - Installed /home/opam/.opam/4.14/lib/javalib/jParse.mli - Installed /home/opam/.opam/4.14/lib/javalib/jParseSignature.mli - Installed /home/opam/.opam/4.14/lib/javalib/jUnparse.mli - Installed /home/opam/.opam/4.14/lib/javalib/jInstruction.mli - Installed /home/opam/.opam/4.14/lib/javalib/jParseCode.mli - Installed /home/opam/.opam/4.14/lib/javalib/jDumpLow.mli - Installed /home/opam/.opam/4.14/lib/javalib/jUnparseSignature.mli - Installed /home/opam/.opam/4.14/lib/javalib/jDumpBasics.mli - Installed /home/opam/.opam/4.14/lib/javalib/jClass.mli - Installed /home/opam/.opam/4.14/lib/javalib/jClassLow.mli - Installed /home/opam/.opam/4.14/lib/javalib/jCode.mli - Installed /home/opam/.opam/4.14/lib/javalib/jSignature.mli - Installed /home/opam/.opam/4.14/lib/javalib/jBasicsLow.mli - Installed /home/opam/.opam/4.14/lib/javalib/jBasics.mli - Installed /home/opam/.opam/4.14/lib/javalib/jLib.mli - Installed /home/opam/.opam/4.14/lib/javalib/genericMap.mli - Installed /home/opam/.opam/4.14/lib/javalib/genericSet.mli - Installed /home/opam/.opam/4.14/lib/javalib/ptmap.mli - Installed /home/opam/.opam/4.14/lib/javalib/ptset.mli - Installed /home/opam/.opam/4.14/lib/javalib/javalib_pack.o - Installed /home/opam/.opam/4.14/lib/javalib/javalib_pack.cmx - Installed /home/opam/.opam/4.14/lib/javalib/javalib_pack.cmo - Installed /home/opam/.opam/4.14/lib/javalib/javalib_pack.cmi - Installed /home/opam/.opam/4.14/lib/javalib/javalib.cmxs - Installed /home/opam/.opam/4.14/lib/javalib/javalib.cmxa - Installed /home/opam/.opam/4.14/lib/javalib/javalib.cmi - Installed /home/opam/.opam/4.14/lib/javalib/javalib.cma - Installed /home/opam/.opam/4.14/lib/javalib/META - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/javalib.3.2.2/src' -> installed javalib.3.2.2 Processing 23/24: [sawja: ./configure.sh] + /home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.11/./configure.sh (CWD=/home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.11) - * Debug flag set to yes. - * Buddy flag set to no. Sawja won't use the buddy BDD package. - * Ocamlfind found at /home/opam/.opam/4.14/bin/ocamlfind. - * System-wide installation, in /home/opam/.opam/4.14/lib. - * Package javalib v3.2.2 found at /home/opam/.opam/4.14/lib/javalib. - * Writing /home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.11/Makefile.config. - Creating from /home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.11/Makefile.config.example. - ... done. - - WHAT'S NEXT: all dependencies are satisfied. - Compile and install Sawja with the following commands: - make && sudo make install - - More details can be found in the installation documentation (INSTALL or http://javalib.gforge.inria.fr/sawja-doc.html). Processing 23/24: [sawja: make] + /usr/bin/make (CWD=/home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.11) - /usr/bin/make -C src - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.11/src' - ocamlyacc heap_parser/parse_heap.mly - cp classDomainPtrees.ml classDomain.ml - rm -f safe.ml - for i in safe_domain.ml safe_var.ml safe_state.ml safe_constraints.ml safe_solver.ml; do \ - echo `basename $i .ml` | \ - awk 'BEGIN{ORS="";OFS="";}{print "module " toupper(substr($0,6,1)) substr($0,7,length($0)-6) "= struct\n";}' >> safe.ml;\ - echo "# 1 \""$i"\"" >> safe.ml;\ - cat $i >> safe.ml;\ - echo " end">> safe.ml;\ - done - ocamllex heap_parser/lex_heap.mll - 82 states, 4559 transitions, table size 18728 bytes - /home/opam/.opam/4.14/bin/ocamlfind ocamldep -I dataflow_analyses/ iter.mli iter2.mli wlist.mli jProgram.mli classDomain.mli jNativeStubs.mli jsrInline.mli jControlFlow.mli jPrintUtil.mli jPrintHtml.mli jPrintPlugin.mli argPlugin.mli jCodePP.mli jBir.mli jBirPP.mli a3Bir.mli a3BirPP.mli jBirSSA.mli jBirSSAPP.mli a3BirSSA.mli a3BirSSAPP.mli dataflow_analyses/live_bir.mli dataflow_analyses/live_a3bir.mli safe.mli reachableMethods.mli jUtil.mli jType.mli nexir.mli heap_parser//parserType.mli heap_parser/parse_heap.mli heap_parser/heapParser.mli jCRA.mli XTA.mli jRTA.mli jRTAWithHeap.mli jRRTA.mli jCFAOptions.mli jCFADom.mli jCFAPrinter.mli jCFA.mli dataflow_analyses/reachDef.mli dataflow_analyses/availableExpr.mli jUtil.ml iter.ml iter2.ml wlist.ml jProgram.ml classDomain.ml jsrInline.ml jControlFlow.ml jPrintUtil.ml jPrintHtml.ml jPrintPlugin.ml argPlugin.ml jCodePP.ml cmn.ml bir.ml birA3.ml jBir.ml jBirPP.ml a3Bir.ml a3BirPP.ml dataflow_analyses/live_bir.ml dataflow_analyses/live_a3bir.ml jBirSSA.ml jBirSSAPP.ml a3BirSSA.ml a3BirSSAPP.ml safe.ml reachableMethods.ml jNativeStubs.ml jType.ml nexir.ml heap_parser//parserType.ml heap_parser//parse_heap.ml heap_parser/lex_heap.ml heap_parser/heapParser.ml jCRA.ml jRTA.ml jRTAWithHeap.ml jRRTA.ml XTA.ml jCFAOptions.ml jCFADom.ml jCFAPrinter.ml jCFA.ml dataflow_analyses/reachDef.ml dataflow_analyses/availableExpr.ml dataflow_analyses/availableExprSSA.ml > .depend - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter2.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c wlist.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jProgram.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c classDomain.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jNativeStubs.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jsrInline.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jControlFlow.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintUtil.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintHtml.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintPlugin.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c argPlugin.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCodePP.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBir.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirPP.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3Bir.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirPP.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSA.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSAPP.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSA.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSAPP.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_bir.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_a3bir.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c safe.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c reachableMethods.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jUtil.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jType.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c nexir.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parserType.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/parse_heap.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/heapParser.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCRA.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c XTA.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTA.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTAWithHeap.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRRTA.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAOptions.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFADom.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAPrinter.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFA.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/reachDef.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExpr.mli - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jUtil.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter2.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c wlist.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jProgram.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c classDomain.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "classDomain.ml", line 19, characters 0-17: - 19 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - File "classDomain.ml", line 21, characters 13-14: - 21 | module Make (S:sig end) = struct - ^ - Warning 60 [unused-module]: unused module S. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jsrInline.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jControlFlow.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "jControlFlow.ml", line 76, characters 14-41: - 76 | (List.map JDumpBasics.value_signature mparams)) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?jvm - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintUtil.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "jPrintUtil.ml", line 149, characters 0-17: - 149 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintHtml.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "jPrintHtml.ml", line 21, characters 0-17: - 21 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - File "jPrintHtml.ml", line 24, characters 0-12: - 24 | open Javalib - ^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used) - File "jPrintHtml.ml", line 25, characters 0-13: - 25 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used) - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintPlugin.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "jPrintPlugin.ml", line 20, characters 0-17: - 20 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - File "jPrintPlugin.ml", line 23, characters 0-12: - 23 | open Javalib - ^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used) - File "jPrintPlugin.ml", line 23, characters 0-12: - 23 | open Javalib - ^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used) - File "jPrintPlugin.ml", line 23, characters 0-12: - 23 | open Javalib - ^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_methods (which is later used) - File "jPrintPlugin.ml", line 707, characters 4-26: - 707 | open AdaptedASTGrammar - ^^^^^^^^^^^^^^^^^^^^^^ - Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor Return (which is later used) - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c argPlugin.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCodePP.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "jCodePP.ml", line 22, characters 0-17: - 22 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - File "jCodePP.ml", line 25, characters 0-13: - 25 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used) - File "jCodePP.ml", line 25, characters 0-13: - 25 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier defines_method (which is later used) - File "jCodePP.ml", line 25, characters 0-13: - 25 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used) - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c cmn.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "cmn.ml", line 24, characters 0-17: - 24 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - File "cmn.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - File "cmn.ml", line 161, characters 43-50: - 161 | let compare = Stdlib.compare - ^^^^^^^ - Warning 32 [unused-value-declaration]: unused value compare. - File "cmn.ml", line 274, characters 16-18: - 274 | | `MethodType md -> assert false (* TODO Java8 *) - ^^ - Warning 27 [unused-var-strict]: unused variable md. - File "cmn.ml", line 275, characters 18-20: - 275 | | `MethodHandle mh -> assert false (* TODO Java8 *) - ^^ - Warning 27 [unused-var-strict]: unused variable mh. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c bir.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "bir.ml", line 3479, characters 38-50: - 3479 | (String.concat "::" (List.map (print_expr) e)) - ^^^^^^^^^^^^ - Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type - File "bir.ml", line 4440, characters 58-68: - 4440 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le)) - ^^^^^^^^^^ - Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type - File "bir.ml", line 4458, characters 58-68: - 4458 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le)) - ^^^^^^^^^^ - Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type - File "bir.ml", line 4466, characters 58-68: - 4466 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le)) - ^^^^^^^^^^ - Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type - File "bir.ml", line 4482, characters 60-70: - 4482 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le)) - ^^^^^^^^^^ - Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type - File "bir.ml", line 4502, characters 58-68: - 4502 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le)) - ^^^^^^^^^^ - Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type - File "bir.ml", line 4997, characters 29-40: - 4997 | let inst_disp = inst_disp' print_instr - ^^^^^^^^^^^ - Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type - File "bir.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c birA3.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "birA3.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBir.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirPP.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3Bir.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirPP.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_bir.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "dataflow_analyses/live_bir.ml", line 59, characters 65-80: - 59 | Printf.sprintf "GenVars(%s)" (String.concat "::" (List.map JBir.print_expr e)) - ^^^^^^^^^^^^^^^ - Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_a3bir.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "dataflow_analyses/live_a3bir.ml", line 59, characters 65-81: - 59 | Printf.sprintf "GenVars(%s)" (String.concat "::" (List.map A3Bir.print_tvar e)) - ^^^^^^^^^^^^^^^^ - Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSA.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSAPP.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "jBirSSAPP.ml", line 19, characters 0-17: - 19 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - File "jBirSSAPP.ml", line 21, characters 0-13: - 21 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used) - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSA.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSAPP.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "a3BirSSAPP.ml", line 20, characters 0-17: - 20 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - File "a3BirSSAPP.ml", line 22, characters 0-13: - 22 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used) - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c safe.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "safe_domain.ml", line 80, characters 4-32: - Warning 50 [unexpected-docstring]: ambiguous documentation comment - File "safe_domain.ml", lines 85-86, characters 4-24: - Warning 50 [unexpected-docstring]: ambiguous documentation comment - File "safe_domain.ml", line 234, characters 29-37: - Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?modifies - File "safe_var.ml", line 113, characters 2-19: - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JBasics (which is later used) - File "safe_var.ml", line 113, characters 2-19: - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - File "safe_var.ml", line 115, characters 2-14: - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used) - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c reachableMethods.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "reachableMethods.ml", line 20, characters 0-17: - 20 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - File "reachableMethods.ml", line 23, characters 0-13: - 23 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used) - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jNativeStubs.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jType.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "jType.ml", line 93, characters 42-49: - 93 | let compare = Stdlib.compare - ^^^^^^^ - Warning 32 [unused-value-declaration]: unused value compare. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c nexir.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "nexir.ml", line 301, characters 6-18: - 301 | | MonitorEnter (tv) -> [(cur_pc, [MonitorEnter (tv), cur_pc+1])] - ^^^^^^^^^^^^ - Warning 42 [disambiguated-name]: this use of MonitorEnter relies on type-directed disambiguation, - it will not compile with OCaml 4.00 or earlier. - File "nexir.ml", line 302, characters 6-17: - 302 | | MonitorExit (tv) -> [(cur_pc, [MonitorExit (tv), cur_pc+1])] - ^^^^^^^^^^^ - Warning 42 [disambiguated-name]: this use of MonitorExit relies on type-directed disambiguation, - it will not compile with OCaml 4.00 or earlier. - File "nexir.ml", line 274, characters 31-34: - 274 | | A3Bir.Nop -> [(cur_pc, [(Nop, cur_pc+1)])] - ^^^ - Warning 41 [ambiguous-name]: Nop belongs to several types: instrCfg A3Bir.instr - The first one was selected. Please disambiguate if this is wrong. - File "nexir.ml", line 461, characters 28-31: - 461 | Ptmap.add start_pc [Nop, 0] - ^^^ - Warning 41 [ambiguous-name]: Nop belongs to several types: instrCfg A3Bir.instr - The first one was selected. Please disambiguate if this is wrong. - File "nexir.ml", line 529, characters 4-20: - 529 | CheckNullPointer e -> Printf.sprintf "CheckNotNull (%s != null);" (print_tvar e) - ^^^^^^^^^^^^^^^^ - Warning 41 [ambiguous-name]: CheckNullPointer belongs to several types: Formula.check A3Bir.check - The first one was selected. Please disambiguate if this is wrong. - File "nexir.ml", line 17, characters 0-38: - 17 | exception IncompatibleClassChangeError - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 38 [unused-extension]: unused exception IncompatibleClassChangeError - File "nexir.ml", line 143, characters 4-18: - 143 | let clear_fresh_pc _ = fresh_pc := -1 - ^^^^^^^^^^^^^^ - Warning 32 [unused-value-declaration]: unused value clear_fresh_pc. - File "nexir.ml", line 534, characters 17-18: - 534 | | CheckCast (e,t) -> - ^ - Warning 27 [unused-var-strict]: unused variable t. - File "nexir.ml", line 560, characters 17-18: - 560 | let (t, v ) = tv in - ^ - Warning 27 [unused-var-strict]: unused variable t. - File "nexir.ml", line 587, characters 13-21: - 587 | | CheckLink(opcode) -> "CheckLink(??)" - ^^^^^^^^ - Warning 27 [unused-var-strict]: unused variable opcode. - File "nexir.ml", line 612, characters 35-36: - 612 | | VirtualCall (exc_var, ret_var, v, vmc, args) -> - ^ - Warning 27 [unused-var-strict]: unused variable v. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parserType.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parse_heap.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "heap_parser/parse_heap.mly", line 24, characters 0-15: - Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VLong (which is later used) - File "heap_parser/parse_heap.mly", line 24, characters 0-15: - Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VDouble (which is later used) - File "heap_parser/parse_heap.mly", line 24, characters 0-15: - Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VFloat (which is later used) - File "heap_parser/parse_heap.mly", line 24, characters 0-15: - Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VObject (which is later used) - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/lex_heap.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "heap_parser/lex_heap.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/heapParser.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCRA.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "jCRA.ml", line 22, characters 0-17: - 22 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - File "jCRA.ml", line 26, characters 0-13: - 26 | open JProgram - ^^^^^^^^^^^^^ - Warning 45 [open-shadow-label-constructor]: this open statement shadows the label c_interfaces (which is later used) - File "jCRA.ml", line 26, characters 0-13: - 26 | open JProgram - ^^^^^^^^^^^^^ - Warning 45 [open-shadow-label-constructor]: this open statement shadows the label i_interfaces (which is later used) - File "jCRA.ml", line 26, characters 0-13: - 26 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used) - File "jCRA.ml", line 26, characters 0-13: - 26 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used) - File "jCRA.ml", line 26, characters 0-13: - 26 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_concrete_methods (which is later used) - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTA.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "jRTA.ml", line 21, characters 0-17: - 21 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - File "jRTA.ml", line 109, characters 21-28: - 109 | (ClassMap.find cs p.classes,fields_of_nodes) - ^^^^^^^ - Warning 41 [ambiguous-name]: classes belongs to several types: program_cache JProgram.program - The first one was selected. Please disambiguate if this is wrong. - File "jRTA.ml", line 229, characters 20-27: - 229 | ClassMap.find cs p.classes - ^^^^^^^ - Warning 41 [ambiguous-name]: classes belongs to several types: program_cache JProgram.program - The first one was selected. Please disambiguate if this is wrong. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTAWithHeap.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRRTA.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "jRRTA.ml", line 22, characters 0-17: - 22 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - File "jRRTA.ml", line 26, characters 0-13: - 26 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used) - File "jRRTA.ml", line 25, characters 0-12: - 25 | open Javalib - ^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used) - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c XTA.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "XTA.ml", lines 63-66, characters 2-74: - 63 | ..(** [get_relevant_operations program m] returns the sets of instance - 64 | fields that are read, instance field that are written, static - 65 | fields that are read, static fields that are written, classes - 66 | that are instantiated and handled exceptions types in that order. *) - Warning 50 [unexpected-docstring]: unattached documentation comment (ignored) - File "XTA.ml", lines 160-161, characters 2-38: - 160 | ..(** returns a set with all the classes that extends (or implements) the class or - 161 | interface given as parameter. *) - Warning 50 [unexpected-docstring]: unattached documentation comment (ignored) - File "XTA.ml", lines 288-295, characters 4-23: - 288 | ....(** [refine_with_type program type_list abm] returns the some abstract value - 289 | [abm] where the classes in [abm] that cannot be of a type of [type_list] - 290 | have been removed. Partial applications with a program and a type_list - 291 | are encourage as it should speed up the computation. - 292 | - 293 | As an optimization, [refine_with_type program type_list] may return - 294 | [None] to encode a function that would otherwise always returns - 295 | [XTADom.bot] *) - Warning 50 [unexpected-docstring]: unattached documentation comment (ignored) - File "XTA.ml", lines 740-745, characters 2-46: - 740 | ..(** [static_lookup state classmap cn ms invoke] returns the set of - 741 | methods that may be called for a call to [invoke] from [(cn,ms)] - 742 | with the [classmap] as [program.classes]. Note: partial - 743 | applications with the state and the classmap are greatly - 744 | encourage, as partial application with the caller ([cn] and - 745 | [ms]) has it speed up the resolution. *) - Warning 50 [unexpected-docstring]: unattached documentation comment (ignored) - File "XTA.ml", line 20, characters 0-17: - 20 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - File "XTA.ml", line 23, characters 0-13: - 23 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_field (which is later used) - File "XTA.ml", line 23, characters 0-13: - 23 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used) - File "XTA.ml", line 23, characters 0-13: - 23 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used) - File "XTA.ml", line 280, characters 13-15: - 280 | let module ED = Domain.Empty in - ^^ - Warning 60 [unused-module]: unused module ED. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAOptions.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFADom.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAPrinter.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "jCFAPrinter.ml", line 21, characters 0-17: - 21 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFA.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/reachDef.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExpr.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExprSSA.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "dataflow_analyses/availableExprSSA.ml", line 116, characters 16-19: - 116 | (index v,Nop,i0)::l) - ^^^ - Warning 41 [ambiguous-name]: Nop belongs to several types: transfer JBirSSA.instr - The first one was selected. Please disambiguate if this is wrong. - File "dataflow_analyses/availableExprSSA.ml", line 135, characters 5-8: - 135 | (0,Nop,index v)::l) - ^^^ - Warning 41 [ambiguous-name]: Nop belongs to several types: transfer JBirSSA.instr - The first one was selected. Please disambiguate if this is wrong. - File "dataflow_analyses/availableExprSSA.ml", line 136, characters 29-32: - 136 | (List.map (fun i -> (0,Nop,i)) (Ptset.elements index_catch_var)) - ^^^ - Warning 41 [ambiguous-name]: Nop belongs to several types: transfer JBirSSA.instr - The first one was selected. Please disambiguate if this is wrong. - File "dataflow_analyses/availableExprSSA.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -pack jUtil.cmo iter.cmo iter2.cmo wlist.cmo jProgram.cmo classDomain.cmo jsrInline.cmo jControlFlow.cmo jPrintUtil.cmo jPrintHtml.cmo jPrintPlugin.cmo argPlugin.cmo jCodePP.cmo cmn.cmo bir.cmo birA3.cmo jBir.cmo jBirPP.cmo a3Bir.cmo a3BirPP.cmo dataflow_analyses/live_bir.cmo dataflow_analyses/live_a3bir.cmo jBirSSA.cmo jBirSSAPP.cmo a3BirSSA.cmo a3BirSSAPP.cmo safe.cmo reachableMethods.cmo jNativeStubs.cmo jType.cmo nexir.cmo heap_parser//parserType.cmo heap_parser//parse_heap.cmo heap_parser/lex_heap.cmo heap_parser/heapParser.cmo jCRA.cmo jRTA.cmo jRTAWithHeap.cmo jRRTA.cmo XTA.cmo jCFAOptions.cmo jCFADom.cmo jCFAPrinter.cmo jCFA.cmo dataflow_analyses/reachDef.cmo dataflow_analyses/availableExpr.cmo dataflow_analyses/availableExprSSA.cmo -o sawja_pack.cmo - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -a -o sawja.cma sawja_pack.cmo - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, - like 'Aer', is deprecated. - Use the equivalent signed form: +A-e-r. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jUtil.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c iter.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c iter2.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c wlist.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jProgram.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c classDomain.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jsrInline.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jControlFlow.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintUtil.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintHtml.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintPlugin.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c argPlugin.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCodePP.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c cmn.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c bir.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c birA3.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBir.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirPP.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3Bir.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirPP.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/live_bir.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/live_a3bir.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirSSA.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirSSAPP.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirSSA.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirSSAPP.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c safe.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c reachableMethods.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jNativeStubs.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jType.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c nexir.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c heap_parser//parserType.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c heap_parser//parse_heap.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c heap_parser/lex_heap.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c heap_parser/heapParser.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCRA.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRTA.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRTAWithHeap.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRRTA.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c XTA.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFAOptions.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFADom.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFAPrinter.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFA.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/reachDef.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/availableExpr.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/availableExprSSA.ml - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -pack jUtil.cmx iter.cmx iter2.cmx wlist.cmx jProgram.cmx classDomain.cmx jsrInline.cmx jControlFlow.cmx jPrintUtil.cmx jPrintHtml.cmx jPrintPlugin.cmx argPlugin.cmx jCodePP.cmx cmn.cmx bir.cmx birA3.cmx jBir.cmx jBirPP.cmx a3Bir.cmx a3BirPP.cmx dataflow_analyses/live_bir.cmx dataflow_analyses/live_a3bir.cmx jBirSSA.cmx jBirSSAPP.cmx a3BirSSA.cmx a3BirSSAPP.cmx safe.cmx reachableMethods.cmx jNativeStubs.cmx jType.cmx nexir.cmx heap_parser//parserType.cmx heap_parser//parse_heap.cmx heap_parser/lex_heap.cmx heap_parser/heapParser.cmx jCRA.cmx jRTA.cmx jRTAWithHeap.cmx jRRTA.cmx XTA.cmx jCFAOptions.cmx jCFADom.cmx jCFAPrinter.cmx jCFA.cmx dataflow_analyses/reachDef.cmx dataflow_analyses/availableExpr.cmx dataflow_analyses/availableExprSSA.cmx -o sawja_pack.cmx - /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -a -o sawja.cmxa sawja_pack.cmx - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.11/src' -> compiled sawja.1.5.11 Processing 24/24: [sawja: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.11) - /usr/bin/make -C src install - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.11/src' - if [ "no" = "yes" ]; then \ - sed 's/requires = "javalib"/requires = "javalib,buddy"/' META.source > META ; \ - else \ - sed 's/requires = "javalib"/requires = "javalib"/' META.source > META ; \ - fi - /home/opam/.opam/4.14/bin/ocamlfind install sawja META sawja.cma sawja.cmxa iter.mli iter2.mli wlist.mli jProgram.mli classDomain.mli jNativeStubs.mli jsrInline.mli jControlFlow.mli jPrintUtil.mli jPrintHtml.mli jPrintPlugin.mli argPlugin.mli jCodePP.mli jBir.mli jBirPP.mli a3Bir.mli a3BirPP.mli jBirSSA.mli jBirSSAPP.mli a3BirSSA.mli a3BirSSAPP.mli dataflow_analyses/live_bir.mli dataflow_analyses/live_a3bir.mli safe.mli reachableMethods.mli jUtil.mli jType.mli nexir.mli heap_parser//parserType.mli heap_parser/parse_heap.mli heap_parser/heapParser.mli jCRA.mli XTA.mli jRTA.mli jRTAWithHeap.mli jRRTA.mli jCFAOptions.mli jCFADom.mli jCFAPrinter.mli jCFA.mli dataflow_analyses/reachDef.mli dataflow_analyses/availableExpr.mli sawja_pack.cmi sawja_pack.cmo sawja_pack.cmx sawja_pack.o bir.cmi sawja.a - Installed /home/opam/.opam/4.14/lib/sawja/sawja.a - Installed /home/opam/.opam/4.14/lib/sawja/bir.cmi - Installed /home/opam/.opam/4.14/lib/sawja/sawja_pack.o - Installed /home/opam/.opam/4.14/lib/sawja/sawja_pack.cmx - Installed /home/opam/.opam/4.14/lib/sawja/sawja_pack.cmo - Installed /home/opam/.opam/4.14/lib/sawja/sawja_pack.cmi - Installed /home/opam/.opam/4.14/lib/sawja/availableExpr.mli - Installed /home/opam/.opam/4.14/lib/sawja/reachDef.mli - Installed /home/opam/.opam/4.14/lib/sawja/jCFA.mli - Installed /home/opam/.opam/4.14/lib/sawja/jCFAPrinter.mli - Installed /home/opam/.opam/4.14/lib/sawja/jCFADom.mli - Installed /home/opam/.opam/4.14/lib/sawja/jCFAOptions.mli - Installed /home/opam/.opam/4.14/lib/sawja/jRRTA.mli - Installed /home/opam/.opam/4.14/lib/sawja/jRTAWithHeap.mli - Installed /home/opam/.opam/4.14/lib/sawja/jRTA.mli - Installed /home/opam/.opam/4.14/lib/sawja/XTA.mli - Installed /home/opam/.opam/4.14/lib/sawja/jCRA.mli - Installed /home/opam/.opam/4.14/lib/sawja/heapParser.mli - Installed /home/opam/.opam/4.14/lib/sawja/parse_heap.mli - Installed /home/opam/.opam/4.14/lib/sawja/parserType.mli - Installed /home/opam/.opam/4.14/lib/sawja/nexir.mli - Installed /home/opam/.opam/4.14/lib/sawja/jType.mli - Installed /home/opam/.opam/4.14/lib/sawja/jUtil.mli - Installed /home/opam/.opam/4.14/lib/sawja/reachableMethods.mli - Installed /home/opam/.opam/4.14/lib/sawja/safe.mli - Installed /home/opam/.opam/4.14/lib/sawja/live_a3bir.mli - Installed /home/opam/.opam/4.14/lib/sawja/live_bir.mli - Installed /home/opam/.opam/4.14/lib/sawja/a3BirSSAPP.mli - Installed /home/opam/.opam/4.14/lib/sawja/a3BirSSA.mli - Installed /home/opam/.opam/4.14/lib/sawja/jBirSSAPP.mli - Installed /home/opam/.opam/4.14/lib/sawja/jBirSSA.mli - Installed /home/opam/.opam/4.14/lib/sawja/a3BirPP.mli - Installed /home/opam/.opam/4.14/lib/sawja/a3Bir.mli - Installed /home/opam/.opam/4.14/lib/sawja/jBirPP.mli - Installed /home/opam/.opam/4.14/lib/sawja/jBir.mli - Installed /home/opam/.opam/4.14/lib/sawja/jCodePP.mli - Installed /home/opam/.opam/4.14/lib/sawja/argPlugin.mli - Installed /home/opam/.opam/4.14/lib/sawja/jPrintPlugin.mli - Installed /home/opam/.opam/4.14/lib/sawja/jPrintHtml.mli - Installed /home/opam/.opam/4.14/lib/sawja/jPrintUtil.mli - Installed /home/opam/.opam/4.14/lib/sawja/jControlFlow.mli - Installed /home/opam/.opam/4.14/lib/sawja/jsrInline.mli - Installed /home/opam/.opam/4.14/lib/sawja/jNativeStubs.mli - Installed /home/opam/.opam/4.14/lib/sawja/classDomain.mli - Installed /home/opam/.opam/4.14/lib/sawja/jProgram.mli - Installed /home/opam/.opam/4.14/lib/sawja/wlist.mli - Installed /home/opam/.opam/4.14/lib/sawja/iter2.mli - Installed /home/opam/.opam/4.14/lib/sawja/iter.mli - Installed /home/opam/.opam/4.14/lib/sawja/sawja.cmxa - Installed /home/opam/.opam/4.14/lib/sawja/sawja.cma - Installed /home/opam/.opam/4.14/lib/sawja/META - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.11/src' -> installed sawja.1.5.11 Done. # Run eval $(opam env) to update the current shell environment 2024-09-12 20:33.42 ---> saved as "ad5bcbb1c07614893af27b8f9cb409b1c38e93fd5dc09d195a5083e514eb4f30" /home/opam: (run (shell "opam exec -- ~/voodoo-prep -u sawja:8d6b907a4833ece0ee8d4c36bd9a55cd,javalib:724e899f5f060f8d78afb9bb865b77e0")) 2024-09-12 20:33.44 ---> saved as "93c7acf17fe3be16cef49d71f2d48de2acd8d9404ee635290e5cf981bf18b22d" /home/opam: (run (network host) (secrets (ssh_privkey (target /home/opam/.ssh/id_rsa)) (ssh_pubkey (target /home/opam/.ssh/id_rsa.pub)) (ssh_config (target /home/opam/.ssh/config))) (shell "(echo '0.112808') && (for DATA in prep/universes/724e899f5f060f8d78afb9bb865b77e0/javalib/3.2.2,javalib.3.2.2-724e899f5f060f8d78afb9bb865b77e0,javalib.3.2.2 prep/universes/8d6b907a4833ece0ee8d4c36bd9a55cd/sawja/1.5.11,sawja.1.5.11-8d6b907a4833ece0ee8d4c36bd9a55cd,sawja.1.5.11; do IFS=\",\"; set -- $DATA; ([ -d $1 ] || (echo \"FAILED:$2\" && mkdir -p $1 && cp ~/opam.err.log $1 && opam show $3 --raw > $1/opam)) && (shopt -s nullglob && ((tar -cvf $1.tar $1/* && rm -R $1/* && mv $1.tar $1/content.tar) || (echo 'Empty directory'))) done) && (for DATA in prep/universes/724e899f5f060f8d78afb9bb865b77e0/javalib/3.2.2,javalib.3.2.2-724e899f5f060f8d78afb9bb865b77e0,javalib.3.2.2 prep/universes/8d6b907a4833ece0ee8d4c36bd9a55cd/sawja/1.5.11,sawja.1.5.11-8d6b907a4833ece0ee8d4c36bd9a55cd,sawja.1.5.11; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/724e899f5f060f8d78afb9bb865b77e0/javalib/3.2.2,javalib.3.2.2-724e899f5f060f8d78afb9bb865b77e0,javalib.3.2.2 prep/universes/8d6b907a4833ece0ee8d4c36bd9a55cd/sawja/1.5.11,sawja.1.5.11-8d6b907a4833ece0ee8d4c36bd9a55cd,sawja.1.5.11; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)")) 0.112808 prep/universes/724e899f5f060f8d78afb9bb865b77e0/javalib/3.2.2/lib/ prep/universes/724e899f5f060f8d78afb9bb865b77e0/javalib/3.2.2/lib/javalib/ prep/universes/724e899f5f060f8d78afb9bb865b77e0/javalib/3.2.2/lib/javalib/javalib.ocamlobjinfo prep/universes/724e899f5f060f8d78afb9bb865b77e0/javalib/3.2.2/lib/javalib/META prep/universes/724e899f5f060f8d78afb9bb865b77e0/javalib/3.2.2/lib/javalib/javalib.cmi prep/universes/724e899f5f060f8d78afb9bb865b77e0/javalib/3.2.2/lib/javalib/javalib_pack.cmi prep/universes/724e899f5f060f8d78afb9bb865b77e0/javalib/3.2.2/opam prep/universes/8d6b907a4833ece0ee8d4c36bd9a55cd/sawja/1.5.11/lib/ prep/universes/8d6b907a4833ece0ee8d4c36bd9a55cd/sawja/1.5.11/lib/sawja/ prep/universes/8d6b907a4833ece0ee8d4c36bd9a55cd/sawja/1.5.11/lib/sawja/sawja.ocamlobjinfo prep/universes/8d6b907a4833ece0ee8d4c36bd9a55cd/sawja/1.5.11/lib/sawja/META prep/universes/8d6b907a4833ece0ee8d4c36bd9a55cd/sawja/1.5.11/lib/sawja/bir.cmi prep/universes/8d6b907a4833ece0ee8d4c36bd9a55cd/sawja/1.5.11/lib/sawja/sawja_pack.cmi prep/universes/8d6b907a4833ece0ee8d4c36bd9a55cd/sawja/1.5.11/opam Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. HASHES:javalib.3.2.2-724e899f5f060f8d78afb9bb865b77e0:097b78c70184c8eaf96671f8aca759bb530d25fb02e4267a86c48a451565bd66 HASHES:sawja.1.5.11-8d6b907a4833ece0ee8d4c36bd9a55cd:326c0796574180456bd6152150c336062c03d5b4b450d0c938ffcda7e89c1b2c 2024-09-12 20:33.46 ---> saved as "a61337e3aff42e3f9ef65b2d59a1550d710f2eda938a7163f2ad8989c0ab4733" Job succeeded 2024-09-12 20:43.19: sawja.1.5.11-8d6b907a4833ece0ee8d4c36bd9a55cd -> 326c0796574180456bd6152150c336062c03d5b4b450d0c938ffcda7e89c1b2c 2024-09-12 20:43.19: javalib.3.2.2-724e899f5f060f8d78afb9bb865b77e0 -> 097b78c70184c8eaf96671f8aca759bb530d25fb02e4267a86c48a451565bd66 2024-09-12 20:43.19: Job succeeded