Build:
- 0
2024-11-29 15:24.58: New job: Voodoo prep rml.1.09.07; b574bb69e84bbfc47361d4d88e749486 2024-11-29 15:24.58: Waiting for resource in pool OCluster 2024-11-29 15:26.47: Waiting for worker… 2024-11-29 15:28.53: Got resource from pool OCluster 2024-11-29 15:28.53: 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:3d8c0b0f03f66f82249744d1031a567caf3309d9cefdda98d07610eab53bb6ef) (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:3d8c0b0f03f66f82249744d1031a567caf3309d9cefdda98d07610eab53bb6ef) (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/)) (comment "no build system") (env DUNE_CACHE disabled) (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 rml.1.09.07 num.1.5-1 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')")) (run (shell "opam exec -- ~/voodoo-prep -u rml:b574bb69e84bbfc47361d4d88e749486,num:22ef956c04fab3fb688e5fb96b354c88")) (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.330950') && (for DATA in prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1,num.1.5-1-22ef956c04fab3fb688e5fb96b354c88,num.1.5-1 prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07,rml.1.09.07-b574bb69e84bbfc47361d4d88e749486,rml.1.09.07; 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/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1,num.1.5-1-22ef956c04fab3fb688e5fb96b354c88,num.1.5-1 prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07,rml.1.09.07-b574bb69e84bbfc47361d4d88e749486,rml.1.09.07; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1,num.1.5-1-22ef956c04fab3fb688e5fb96b354c88,num.1.5-1 prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07,rml.1.09.07-b574bb69e84bbfc47361d4d88e749486,rml.1.09.07; 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 3e44ab113dfa62613ddddb6d8db2c722755a6090 --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-11-29 15:28.53: RETRYING: 2024-11-29/152458-voodoo-prep-d0e014 Number of retries: 0 (retriable error condition) Building on asteria.caelum.ci.dev All commits already cached Updating files: 69% (22920/32784) Updating files: 70% (22949/32784) Updating files: 71% (23277/32784) Updating files: 72% (23605/32784) Updating files: 73% (23933/32784) Updating files: 74% (24261/32784) Updating files: 75% (24588/32784) Updating files: 76% (24916/32784) Updating files: 77% (25244/32784) Updating files: 78% (25572/32784) Updating files: 79% (25900/32784) Updating files: 80% (26228/32784) Updating files: 81% (26556/32784) Updating files: 82% (26883/32784) Updating files: 83% (27211/32784) Updating files: 84% (27539/32784) Updating files: 85% (27867/32784) Updating files: 86% (28195/32784) Updating files: 87% (28523/32784) Updating files: 88% (28850/32784) Updating files: 89% (29178/32784) Updating files: 90% (29506/32784) Updating files: 91% (29834/32784) Updating files: 92% (30162/32784) Updating files: 93% (30490/32784) Updating files: 94% (30817/32784) Updating files: 95% (31145/32784) Updating files: 96% (31473/32784) Updating files: 97% (31801/32784) Updating files: 98% (32129/32784) Updating files: 99% (32457/32784) Updating files: 100% (32784/32784) Updating files: 100% (32784/32784), done. HEAD is now at 3e44ab113d rml 1.09.0{6,7} are not compatible with ocaml 5 (build "tools" …) (from ocaml/opam:debian-12-ocaml-4.14@sha256:3d8c0b0f03f66f82249744d1031a567caf3309d9cefdda98d07610eab53bb6ef) Unable to find image 'ocaml/opam:debian-12-ocaml-4.14@sha256:3d8c0b0f03f66f82249744d1031a567caf3309d9cefdda98d07610eab53bb6ef' locally docker.io/ocaml/opam@sha256:3d8c0b0f03f66f82249744d1031a567caf3309d9cefdda98d07610eab53bb6ef: Pulling from ocaml/opam c6d1bbea6d8c: Pulling fs layer c6d1bbea6d8c: Download complete c6d1bbea6d8c: Pull complete Digest: sha256:3d8c0b0f03f66f82249744d1031a567caf3309d9cefdda98d07610eab53bb6ef Status: Downloaded newer image for ocaml/opam@sha256:3d8c0b0f03f66f82249744d1031a567caf3309d9cefdda98d07610eab53bb6ef 2024-11-29 15:22.57 ---> using "c91705407132f13d405758e65a4dba1d21e88f189c241c012b87f03590df56b4" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-11-29 15:22.57 ---> using "b4a2926d1d631aa17e896516e7a556f1917ef3a7a662fd713328953f0517121d" 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 [12.8 kB] Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-11-27-1405.46-F-2024-11-27-1405.46.pdiff [435 B] Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-11-27-1405.46-F-2024-11-27-1405.46.pdiff [435 B] Get:6 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [206 kB] Fetched 322 kB in 0s (962 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 1 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 (7334 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 ... 18745 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+deb12u9) ... 2024-11-29 15:22.57 ---> saved as "5cb869602ec69f5b6f7552c44422a71f21ccc560cc5c5fe3e8f64a2b95a03ff8" /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 ocamlfind 1.9.6 [required by bos] - install cmdliner 1.3.0 [required by voodoo-prep] - install seq base [required by re] - install dune 3.16.1 [required by voodoo-prep] - install topkg 1.0.7 [required by bos] - install swhid_core 0.1 [required by opam-core] - install stdlib-shims 0.3.0 [required by ocamlgraph, sha] - install re 1.12.0 [required by opam-format] - install opam-file-format 2.1.6 [required by opam-format] - 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 sha 1.15.4 [required by opam-core] - install ocamlgraph 2.1.0 [required by opam-core] - 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.3.0 [required by opam-format] - install bos 0.2.1 [required by voodoo-prep] - install opam-format 2.3.0 [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.1] 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.3.0] found in cache [opam-file-format.2.1.6] found in cache [opam-format.2.3.0] 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 dune.3.16.1 -> installed bos.0.2.1 -> 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.3.0 -> installed opam-format.2.3.0 -> installed voodoo-prep.~dev Done. # Run eval $(opam env) to update the current shell environment 2024-11-29 15:23.47 ---> saved as "e206c55487fe0de479846b4292bcd98296a8334be3b6a6b819d6acc41aa7d014" /home/opam: (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")) 2024-11-29 15:23.47 ---> saved as "4e574b68d77381e659daa67842129d779d7e73e29a1e79a2cfd5d739be9fceb8" 2024-11-29 15:23.47 --> finished "tools" (from ocaml/opam:debian-12-ocaml-4.14@sha256:3d8c0b0f03f66f82249744d1031a567caf3309d9cefdda98d07610eab53bb6ef) Unable to find image 'ocaml/opam:debian-12-ocaml-4.14@sha256:3d8c0b0f03f66f82249744d1031a567caf3309d9cefdda98d07610eab53bb6ef' locally docker.io/ocaml/opam@sha256:3d8c0b0f03f66f82249744d1031a567caf3309d9cefdda98d07610eab53bb6ef: Pulling from ocaml/opam c6d1bbea6d8c: Pulling fs layer c6d1bbea6d8c: Download complete c6d1bbea6d8c: Pull complete Digest: sha256:3d8c0b0f03f66f82249744d1031a567caf3309d9cefdda98d07610eab53bb6ef Status: Downloaded newer image for ocaml/opam@sha256:3d8c0b0f03f66f82249744d1031a567caf3309d9cefdda98d07610eab53bb6ef 2024-11-29 15:23.47 ---> using "c91705407132f13d405758e65a4dba1d21e88f189c241c012b87f03590df56b4" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-11-29 15:23.47 ---> using "b4a2926d1d631aa17e896516e7a556f1917ef3a7a662fd713328953f0517121d" from cache /home/opam: (run (shell "sudo mkdir /src")) 2024-11-29 15:23.47 ---> saved as "d9c41855d18605d1723a8b912d95bf6bc637b424a0eba3acb0648b35f360f394" /home/opam: (copy (src packages) (dst /src/packages)) 2024-11-29 15:24.07 ---> saved as "f34ed2fc8ae79f1cecfb37d45ff0d37803d676f992c10d5c7de96f0563344488" /home/opam: (copy (src repo) (dst /src/repo)) 2024-11-29 15:24.07 ---> saved as "3757e9bc05a97ca824de11853dbb83a1737b338b5aae552152ae900694e6bf59" /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-11-29 15:25.22 ---> saved as "c398b713e313892afdf05bdd53433c653bd6cf3eb0a6dfef27e4908a5501af9f" /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-11-29 15:25.45 ---> saved as "b99a2d6680280e55a5b90c1cee6c4851d97766568497dc532cc38db6779d3279" /home/opam: (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) 2024-11-29 15:25.45 ---> saved as "09d5d51a3dc3ecf9009bdf7333e30de85e1620cf5663397ec44e0dd0a8164cb8" /home/opam: (comment "no build system") /home/opam: (env DUNE_CACHE disabled) /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 rml.1.09.07 num.1.5-1 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 [12.8 kB] Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-11-27-1405.46-F-2024-11-27-1405.46.pdiff [435 B] Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-11-27-1405.46-F-2024-11-27-1405.46.pdiff [435 B] Get:6 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [206 kB] Fetched 322 kB in 0s (787 kB/s) Reading package lists... Building dependency tree... Reading state information... 1 package can be upgraded. Run 'apt list --upgradable' to see it. 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 rml.1.09.07 num.1.5-1" ><><><><><><><><><> 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 # No extra OS packages requirements found. The following actions will be performed: - install num 1.5-1 - install rml 1.09.07 ===== 2 to install ===== <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/6: Processing 2/6: -> retrieved num.1.5-1 (cached) [num: patch] applying num-in-findlib-dir.patch Processing 3/6: [num: patch] -> retrieved rml.1.09.07 (cached) Processing 3/6: [num: make opam-legacy] + /usr/bin/make "PROFILE=release" "opam-legacy" (CWD=/home/opam/.opam/4.14/.opam-switch/build/num.1.5-1) - /usr/bin/make -C src all - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/num.1.5-1/src' - ocamlc -ccopt -DBNG_ARCH_amd64 -c bng.c - ocamlc -ccopt -DBNG_ARCH_amd64 -c nat_stubs.c - ocamlmklib -oc nums bng.o nat_stubs.o - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.ml - ocamlmklib -o nums -oc nums -linkall int_misc.cmo nat.cmo big_int.cmo arith_flags.cmo ratio.cmo num.cmo arith_status.cmo - cp ../toplevel/num_top_printers.mli ../toplevel/num_top.mli ../toplevel/num_top_printers.ml ../toplevel/num_top.ml . - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -a -o num_top.cma num_top_printers.cmo num_top.cmo - echo 'version = "1.6~dev"' > META.top - cat META.num-top.in >> META.top - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.ml - ocamlmklib -o nums -oc nums -linkall int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -I . -shared -o nums.cmxs nums.cmxa - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/num.1.5-1/src' - cp src/num-legacy.install num.install -> compiled num.1.5-1 -> installed num.1.5-1 Processing 5/6: [rml: ./configure] + /home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/./configure "--prefix" "/home/opam/.opam/4.14" (CWD=/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07) - creating compiler/global/rzi.ml - checking for install... install - checking for ocaml... ocaml - checking for ocamlc... ocamlc - ocaml version is 4.14.2 - ocaml library path is /home/opam/.opam/4.14/lib/ocaml - checking for ocamlopt... ocamlopt - ocaml version is 4.14.2 - ocaml library path is /home/opam/.opam/4.14/lib/ocaml - checking for ocamldep... ocamldep - checking for ocamllex... ocamllex - checking for ocamlyacc... ocamlyacc - checking for ocamlcp... ocamlcp - - patching file compiler/reac/annot.ml (read from patch/compiler/reac/annot.ml) - patching file compiler/global/asttypes.ml (read from patch/compiler/global/asttypes.ml) - patching file compiler/main/errors.ml (read from patch/compiler/main/errors.ml) - patching file compiler/global/global.ml (read from patch/compiler/global/global.ml) - patching file compiler/parsing/lexer.mll (read from patch/compiler/parsing/lexer.mll) - patching file compiler/parsing/linenum.mll (read from patch/compiler/parsing/linenum.mll) - patching file compiler/parsing/location.ml (read from patch/compiler/parsing/location.ml) - patching file compiler/global/modules.ml (read from patch/compiler/global/modules.ml) - patching file compiler/parsing/parse_ast.ml (read from patch/compiler/parsing/parse_ast.ml) - patching file compiler/parsing/parse.ml (read from patch/compiler/parsing/parse.ml) - patching file compiler/parsing/parse_printer.ml (read from patch/compiler/parsing/parse_printer.ml) - patching file compiler/parsing/parser.mly (read from patch/compiler/parsing/parser.mly) - patching file compiler/reac/reac_ast.ml (read from patch/compiler/reac/reac_ast.ml) - patching file compiler/parsing/syntaxerr.ml (read from patch/compiler/parsing/syntaxerr.ml) - patching file compiler/global/warnings.ml (read from patch/compiler/global/warnings.ml) - Patch OK - - ** Configuration summary ** - - Directories where ReactiveML will be installed: - binaries.................. /home/opam/.opam/4.14/bin - standard library.......... /home/opam/.opam/4.14/lib/rml - manual pages.............. /home/opam/.opam/4.14/man (with extension .1) - - creating config - - ** ReactiveML configuration completed successfully ** - Processing 5/6: [rml: make] + /usr/bin/make (CWD=/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07) - (cd compiler; touch .depend; /usr/bin/make depend; /usr/bin/make opt) - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/compiler' - echo "(* This file is generated *)" > global/version.ml - echo "let version = \"1.09.07\"" >> global/version.ml - echo "let stdlib = \""/home/opam/.opam/4.14/lib/rml"\"" >> global/version.ml - ocamlyacc -v parsing/parser.mly - ocamllex parsing/lexer.mll - 167 states, 2981 transitions, table size 12926 bytes - 2216 additional bytes used for bindings - ocamllex parsing/linenum.mll - 12 states, 323 transitions, table size 1364 bytes - (for d in global parsing external static typing other_analysis reac lco lk caml optimization main; \ - do ocamldep -slash -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main $d/*.mli $d/*.ml; \ - done) > .depend - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/compiler' - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/compiler' - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main global/version.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main global/asttypes.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main global/warnings.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main parsing/linenum.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main parsing/location.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main global/misc.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main global/ident.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main global/global_ident.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main global/global.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main static/def_static.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main typing/def_types.ml - ocamlc -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main global/rzi.mli - ocamlc -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main global/version.ml - ocamlc -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main global/warnings.ml - ocamlc -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main parsing/linenum.ml - ocamlc -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main parsing/location.ml - ocamlc -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main global/misc.ml - ocamlc -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main global/ident.ml - ocamlc -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main global/global_ident.ml - ocamlc -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main global/global.ml - ocamlc -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main static/def_static.ml - ocamlc -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main global/asttypes.ml - ocamlc -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main typing/def_types.ml - ocamlc -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main global/def_modules.ml - ocaml -I global global/def_modules.cmo ../configure-tools/embedrzi.ml "../" - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main global/rzi.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main global/def_modules.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main parsing/parse_ident.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main global/modules.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main global/symbol_table.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main parsing/syntaxerr.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main parsing/parse_ast.ml - ocamlc -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main parsing/parse_ident.ml - ocamlc -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main parsing/parse_ast.ml - ocamlc -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main parsing/parser.mli - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main parsing/parser.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main parsing/lexer.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main main/errors.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main main/configure.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main main/options.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main parsing/parse.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main parsing/parse_printer.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main external/lucky_errors.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main external/lucky.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main external/external.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main reac/reac_ast.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main reac/binding_errors.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main typing/types_printer.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main typing/reactivity_effects.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main typing/types.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main reac/reac_misc.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main reac/reac2reac.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main typing/reactivity_check.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main reac/parse2reac.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main global/initialization.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main static/static_printer.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main static/static_errors.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main static/static.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main other_analysis/wf_rec.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main other_analysis/instantaneous_loop.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main reac/annot.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main typing/typing_errors.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main typing/typing.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main lco/lco_ast.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main lco/lco_misc.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main lco/reac2lco.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main lk/lk_ast.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main lk/lk_misc.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main lk/reac2lk.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main caml/caml_ast.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main caml/caml_misc.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main caml/lco2caml.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main caml/lk2caml.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main caml/caml2caml.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main caml/print_caml_src.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main optimization/reac_optimization.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main main/compiler.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main main/interactive.ml - ocamlopt -for-pack Rmlcompiler -c -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main main/main.ml - ocamlopt -for-pack Rmlcompiler -I global -I parsing -I external -I static -I typing -I other_analysis -I reac -I lco -I lk -I caml -I optimization -I main global/version.cmx global/asttypes.cmx global/warnings.cmx parsing/linenum.cmx parsing/location.cmx global/misc.cmx global/ident.cmx global/global_ident.cmx global/global.cmx static/def_static.cmx typing/def_types.cmx global/rzi.cmx global/def_modules.cmx global/modules.cmx global/symbol_table.cmx parsing/lexer.cmx parsing/syntaxerr.cmx main/errors.cmx main/configure.cmx main/options.cmx parsing/parse_ast.cmx parsing/parse_ident.cmx parsing/parser.cmx parsing/parse.cmx parsing/parse_printer.cmx external/lucky_errors.cmx external/lucky.cmx external/external.cmx reac/reac_ast.cmx reac/binding_errors.cmx typing/types_printer.cmx typing/reactivity_effects.cmx typing/types.cmx reac/reac_misc.cmx reac/reac2reac.cmx typing/reactivity_check.cmx reac/parse2reac.cmx global/initialization.cmx static/static_printer.cmx static/static_errors.cmx static/static.cmx other_analysis/wf_rec.cmx other_analysis/instantaneous_loop.cmx reac/annot.cmx typing/typing_errors.cmx typing/typing.cmx lco/lco_ast.cmx lco/lco_misc.cmx lco/reac2lco.cmx lk/lk_ast.cmx lk/lk_misc.cmx lk/reac2lk.cmx caml/caml_ast.cmx caml/caml_misc.cmx caml/lco2caml.cmx caml/lk2caml.cmx caml/caml2caml.cmx caml/print_caml_src.cmx optimization/reac_optimization.cmx main/compiler.cmx main/interactive.cmx main/main.cmx -o rmlc.opt - ln -sf rmlc.opt rmlc - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/compiler' - (cd stdlib; /usr/bin/make all) - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/stdlib' - ../compiler/rmlc -c stdlib.rmli - ../compiler/rmlc -c arg.rmli - ../compiler/rmlc -c array.rmli - ../compiler/rmlc -c buffer.rmli - ../compiler/rmlc -c bytes.rmli - ../compiler/rmlc -c callback.rmli - ../compiler/rmlc -c camlinternalBigarray.rmli - ../compiler/rmlc -c char.rmli - ../compiler/rmlc -c complex.rmli - ../compiler/rmlc -c digest.rmli - ../compiler/rmlc -c filename.rmli - ../compiler/rmlc -c format.rmli - ../compiler/rmlc -c gc.rmli - ../compiler/rmlc -c stream.rmli - ../compiler/rmlc -c genlex.rmli - ../compiler/rmlc -c graphics.rmli - ../compiler/rmlc -c hashtbl.rmli - ../compiler/rmlc -c int32.rmli - ../compiler/rmlc -c nativeint.rmli - ../compiler/rmlc -c int64.rmli - ../compiler/rmlc -c lazy.rmli - ../compiler/rmlc -c lexing.rmli - ../compiler/rmlc -c list.rmli - ../compiler/rmlc -c luc4ocaml.rmli - ../compiler/rmlc -c luc4ocaml_nolbl.rmli - ../compiler/rmlc -c marshal.rmli - ../compiler/rmlc -c obj.rmli - ../compiler/rmlc -c parsing.rmli - ../compiler/rmlc -c printexc.rmli - ../compiler/rmlc -c printf.rmli - ../compiler/rmlc -c queue.rmli - ../compiler/rmlc -c random.rmli - ../compiler/rmlc -c sort.rmli - ../compiler/rmlc -c stack.rmli - ../compiler/rmlc -c str.rmli - ../compiler/rmlc -c string.rmli - ../compiler/rmlc -c sys.rmli - ../compiler/rmlc -c unix.rmli - ../compiler/rmlc -c weak.rmli - ../compiler/rmlc -c rml_list.rmli - ../compiler/rmlc -c rml_process_manager.rmli - ../compiler/rmlc -c thread/rml_async_body.rmli - ../compiler/rmlc -c thread/rml_async.rmli - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/stdlib' - (cd interpreter; touch .depend; /usr/bin/make depend; /usr/bin/make all) - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - ocamldep -slash *.mli *.ml > .depend - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - /usr/bin/make -f Makefile-lco all - make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - ocamlc -c sig_env.ml - ocamlc -c lco_interpreter.mli - ocamlc -c lco_ctrl_tree.ml - ocamlc -c rml_machine.ml - ocamlc -c rml_machine_hook.ml - ocamlc -c rml_machine_hook_unix.ml - ocamlc -c implem_lco_ctrl_tree_record.ml - ../compiler/rmlc -I ../stdlib -d lco -no_reactivity_warning -runtime Lco ../stdlib/rml_list.rml - ocamlc -c -I lco -o lco/rml_list.cmo lco/rml_list.ml - cp ../stdlib/thread/rml_async_body.ml lco/rml_async_body.ml - ocamlc -thread -c -I lco -o lco/rml_async_body.cmo lco/rml_async_body.ml - ../compiler/rmlc -I ../stdlib -I ../stdlib/thread -d lco -no_reactivity_warning -runtime Lco ../stdlib/thread/rml_async.rml - ocamlc -c -I lco -o lco/rml_async.cmo lco/rml_async.ml - ocamlc -a -o lco/rmllib.cma sig_env.cmo lco_ctrl_tree.cmo rml_machine.cmo rml_machine_hook.cmo rml_machine_hook_unix.cmo implem_lco_ctrl_tree_record.cmo lco/rml_list.cmo lco/rml_async_body.cmo lco/rml_async.cmo - ocamlopt -c sig_env.ml - ocamlopt -c lco_ctrl_tree.ml - ocamlopt -c rml_machine.ml - ocamlopt -c rml_machine_hook.ml - ocamlopt -c rml_machine_hook_unix.ml - ocamlopt -c implem_lco_ctrl_tree_record.ml - ocamlopt -c -I lco -o lco/rml_list.cmx lco/rml_list.ml - ocamlopt -thread -c -I lco -o lco/rml_async_body.cmx lco/rml_async_body.ml - ocamlopt -c -I lco -o lco/rml_async.cmx lco/rml_async.ml - ocamlopt -a -o lco/rmllib.cmxa sig_env.cmx lco_ctrl_tree.cmx rml_machine.cmx rml_machine_hook.cmx rml_machine_hook_unix.cmx implem_lco_ctrl_tree_record.cmx lco/rml_list.cmx lco/rml_async_body.cmx lco/rml_async.cmx - rm lco/rml_async_body.ml lco/rml_async.ml lco/rml_list.ml - make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - /usr/bin/make -f Makefile-lco_n all - make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - ocamlc -c lco_ctrl_tree_n.ml - ocamlc -c implem_lco_ctrl_tree_n_record.ml - ../compiler/rmlc -I ../stdlib -d lco_n -no_reactivity_warning -runtime Lco_n ../stdlib/rml_list.rml - ocamlc -c -I lco_n -o lco_n/rml_list.cmo lco_n/rml_list.ml - cp ../stdlib/thread/rml_async_body.ml lco_n/rml_async_body.ml - ocamlc -thread -c -I lco_n -o lco_n/rml_async_body.cmo lco_n/rml_async_body.ml - ../compiler/rmlc -I ../stdlib -I ../stdlib/thread -d lco_n -no_reactivity_warning -runtime Lco_n ../stdlib/thread/rml_async.rml - ocamlc -c -I lco_n -o lco_n/rml_async.cmo lco_n/rml_async.ml - ocamlc -a -o lco_n/rmllib.cma sig_env.cmo lco_ctrl_tree_n.cmo rml_machine.cmo rml_machine_hook.cmo rml_machine_hook_unix.cmo implem_lco_ctrl_tree_n_record.cmo lco_n/rml_list.cmo lco_n/rml_async_body.cmo lco_n/rml_async.cmo - ocamlopt -c lco_ctrl_tree_n.ml - ocamlopt -c implem_lco_ctrl_tree_n_record.ml - ocamlopt -c -I lco_n -o lco_n/rml_list.cmx lco_n/rml_list.ml - ocamlopt -thread -c -I lco_n -o lco_n/rml_async_body.cmx lco_n/rml_async_body.ml - ocamlopt -c -I lco_n -o lco_n/rml_async.cmx lco_n/rml_async.ml - ocamlopt -a -o lco_n/rmllib.cmxa sig_env.cmx lco_ctrl_tree_n.cmx rml_machine.cmx rml_machine_hook.cmx rml_machine_hook_unix.cmx implem_lco_ctrl_tree_n_record.cmx lco_n/rml_list.cmx lco_n/rml_async_body.cmx lco_n/rml_async.cmx - rm lco_n/rml_list.ml lco_n/rml_async.ml lco_n/rml_async_body.ml - make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - /usr/bin/make -f Makefile-lco_class all - make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - ocamlc -c implem_lco_ctrl_tree_class.ml - ../compiler/rmlc -I ../stdlib -d lco_class -no_reactivity_warning -runtime Lco_class ../stdlib/rml_list.rml - ocamlc -c -I lco_class -o lco_class/rml_list.cmo lco_class/rml_list.ml - cp ../stdlib/thread/rml_async_body.ml lco_class/rml_async_body.ml - ocamlc -thread -c -I lco_class -o lco_class/rml_async_body.cmo lco_class/rml_async_body.ml - ../compiler/rmlc -I ../stdlib -I ../stdlib/thread -d lco_class -no_reactivity_warning -runtime Lco_class ../stdlib/thread/rml_async.rml - ocamlc -c -I lco_class -o lco_class/rml_async.cmo lco_class/rml_async.ml - ocamlc -a -o lco_class/rmllib.cma sig_env.cmo lco_ctrl_tree.cmo rml_machine.cmo rml_machine_hook.cmo rml_machine_hook_unix.cmo implem_lco_ctrl_tree_class.cmo lco_class/rml_list.cmo lco_class/rml_async_body.cmo lco_class/rml_async.cmo - ocamlopt -c implem_lco_ctrl_tree_class.ml - ocamlopt -c -I lco_class -o lco_class/rml_list.cmx lco_class/rml_list.ml - ocamlopt -thread -c -I lco_class -o lco_class/rml_async_body.cmx lco_class/rml_async_body.ml - ocamlopt -c -I lco_class -o lco_class/rml_async.cmx lco_class/rml_async.ml - ocamlopt -a -o lco_class/rmllib.cmxa sig_env.cmx lco_ctrl_tree.cmx rml_machine.cmx rml_machine_hook.cmx rml_machine_hook_unix.cmx implem_lco_ctrl_tree_class.cmx lco_class/rml_list.cmx lco_class/rml_async_body.cmx lco_class/rml_async.cmx - rm lco_class/rml_async_body.ml lco_class/rml_async.ml lco_class/rml_list.ml - make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - /usr/bin/make -f Makefile-lco_rewrite all - make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - ocamlc -rectypes -c lco_rewrite.ml - ocamlc -rectypes -c implem_lco_rewrite_record.ml - ../compiler/rmlc -I ../stdlib -d lco_rewrite -no_reactivity_warning -runtime Lco_rewrite ../stdlib/rml_list.rml - ocamlc -rectypes -c -I lco_rewrite -o lco_rewrite/rml_list.cmo lco_rewrite/rml_list.ml - cp ../stdlib/thread/rml_async_body.ml lco_rewrite/rml_async_body.ml - ocamlc -rectypes -thread -c -I lco_rewrite -o lco_rewrite/rml_async_body.cmo lco_rewrite/rml_async_body.ml - ../compiler/rmlc -I ../stdlib -I ../stdlib/thread -d lco_rewrite -no_reactivity_warning -runtime Lco_rewrite ../stdlib/thread/rml_async.rml - ocamlc -rectypes -c -I lco_rewrite -o lco_rewrite/rml_async.cmo lco_rewrite/rml_async.ml - ocamlc -a -o lco_rewrite/rmllib.cma sig_env.cmo lco_rewrite.cmo rml_machine.cmo rml_machine_hook.cmo rml_machine_hook_unix.cmo implem_lco_rewrite_record.cmo lco_rewrite/rml_list.cmo lco_rewrite/rml_async_body.cmo lco_rewrite/rml_async.cmo - ocamlopt -rectypes -c lco_rewrite.ml - ocamlopt -rectypes -c implem_lco_rewrite_record.ml - ocamlopt -rectypes -c -I lco_rewrite -o lco_rewrite/rml_list.cmx lco_rewrite/rml_list.ml - ocamlopt -rectypes -thread -c -I lco_rewrite -o lco_rewrite/rml_async_body.cmx lco_rewrite/rml_async_body.ml - ocamlopt -rectypes -c -I lco_rewrite -o lco_rewrite/rml_async.cmx lco_rewrite/rml_async.ml - ocamlopt -a -o lco_rewrite/rmllib.cmxa sig_env.cmx lco_rewrite.cmx rml_machine.cmx rml_machine_hook.cmx rml_machine_hook_unix.cmx implem_lco_rewrite_record.cmx lco_rewrite/rml_list.cmx lco_rewrite/rml_async_body.cmx lco_rewrite/rml_async.cmx - rm lco_rewrite/rml_list.ml lco_rewrite/rml_async_body.ml lco_rewrite/rml_async.ml - make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - /usr/bin/make -f Makefile-lk all - make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - ocamlc -c lk_interpreter.mli - ocamlc -c lk_implem.ml - ocamlc -c implem_lk_record.ml - ../compiler/rmlc -I ../stdlib -d lk -no_reactivity_warning -runtime Lk ../stdlib/rml_list.rml - ocamlc -c -I lk -o lk/rml_list.cmo lk/rml_list.ml - cp ../stdlib/thread/rml_async_body.ml lk/rml_async_body.ml - ocamlc -thread -c -I lk -o lk/rml_async_body.cmo lk/rml_async_body.ml - ../compiler/rmlc -I ../stdlib -I ../stdlib/thread -d lk -no_reactivity_warning -runtime Lk ../stdlib/thread/rml_async.rml - ocamlc -c -I lk -o lk/rml_async.cmo lk/rml_async.ml - ocamlc -a -o lk/rmllib.cma sig_env.cmo lk_implem.cmo rml_machine.cmo rml_machine_hook.cmo rml_machine_hook_unix.cmo implem_lk_record.cmo lk/rml_list.cmo lk/rml_async_body.cmo lk/rml_async.cmo - ocamlopt -c lk_implem.ml - ocamlopt -c implem_lk_record.ml - ocamlopt -c -I lk -o lk/rml_list.cmx lk/rml_list.ml - ocamlopt -thread -c -I lk -o lk/rml_async_body.cmx lk/rml_async_body.ml - ocamlopt -c -I lk -o lk/rml_async.cmx lk/rml_async.ml - ocamlopt -a -o lk/rmllib.cmxa sig_env.cmx lk_implem.cmx rml_machine.cmx rml_machine_hook.cmx rml_machine_hook_unix.cmx implem_lk_record.cmx lk/rml_list.cmx lk/rml_async_body.cmx lk/rml_async.cmx - rm lk/rml_list.ml lk/rml_async_body.ml lk/rml_async.ml - make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - (cd toplevel; /usr/bin/make all) - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/toplevel' - ocamllex rmltop_lexer.mll - 87 states, 656 transitions, table size 3146 bytes - ocamlc -c -I ../stdlib -I ../interpreter -I ../interpreter/lco -thread rmltop_lexer.ml - ocamlc -I ../stdlib -I ../interpreter -I ../interpreter/lco rmltop_global.mli - ocamlc -c -I ../stdlib -I ../interpreter -I ../interpreter/lco -thread rmltop_global.ml - ocamlc -c -I ../stdlib -I ../interpreter -I ../interpreter/lco -thread rmltop_directives.ml - ocamlc -c -I ../stdlib -I ../interpreter -I ../interpreter/lco -thread rmltop.ml - ocamlc -o rmltop -I +threads -I ../stdlib -I ../interpreter -I ../interpreter/lco unix.cma str.cma \ - threads.cma \ - lco/rmllib.cma \ - rmltop_lexer.cmo \ - rmltop_global.cmo \ - rmltop_directives.cmo \ - rmltop.cmo - ../compiler/rmlc -I ../stdlib -I ../interpreter -I ../interpreter/lco -runtime Lco_ctrl_tree rmltop_machine_body.rml - ocamlc -c -I ../stdlib -I ../interpreter -I ../interpreter/lco -thread rmltop_machine_body.ml - ../compiler/rmlc -c -I ../stdlib -I ../interpreter -I ../interpreter/lco rmltop_global.rmli - ../compiler/rmlc -I ../stdlib -I ../interpreter -I ../interpreter/lco rmltop_reactive_machine.rmli - ocamlc -I ../stdlib -I ../interpreter -I ../interpreter/lco rmltop_reactive_machine.mli - ../compiler/rmlc -I ../stdlib -I ../interpreter -I ../interpreter/lco -runtime Rmltop rmltop_controller.rml - ocamlc -c -I ../stdlib -I ../interpreter -I ../interpreter/lco -thread rmltop_implem.ml - ocamlc -c -I ../stdlib -I ../interpreter -I ../interpreter/lco -thread rmltop_controller.ml - ocamlc -c -I ../stdlib -I ../interpreter -I ../interpreter/lco -thread rmltop_reactive_machine.ml - ocamlc -c -I ../stdlib -I ../interpreter -I ../interpreter/lco -thread rmltop_main.ml - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/toplevel' - (cd tools; /usr/bin/make opt) - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/tools' - (for d in rmldep; \ - do (cd $d ; /usr/bin/make opt) ; \ - done) - make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/tools/rmldep' - ocamlopt -c -I ../../compiler/global -I ../../compiler/parsing depend.ml - ocamlopt -c -I ../../compiler/global -I ../../compiler/parsing rmldep.ml - ocamlopt -I ../../compiler/global -I ../../compiler/parsing ../../compiler/global/version.cmx ../../compiler/global/misc.cmx ../../compiler/global/warnings.cmx ../../compiler/global/ident.cmx ../../compiler/parsing/linenum.cmx ../../compiler/parsing/parse_ident.cmx ../../compiler/parsing/parse_ast.cmx ../../compiler/parsing/location.cmx ../../compiler/parsing/syntaxerr.cmx ../../compiler/parsing/lexer.cmx ../../compiler/parsing/parser.cmx ../../compiler/parsing/parse.cmx depend.cmx rmldep.cmx -o rmldep.opt - ln -sf rmldep.opt rmldep - make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/tools/rmldep' - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/tools' -> compiled rml.1.09.07 Processing 6/6: [rml: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07) - (cd compiler; /usr/bin/make install) - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/compiler' - install -d "/home/opam/.opam/4.14/bin" - install rmlc.opt "/home/opam/.opam/4.14/bin"/rmlc.opt - cp "/home/opam/.opam/4.14/bin"/rmlc.opt "/home/opam/.opam/4.14/bin"/rmlc - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/compiler' - (cd stdlib; /usr/bin/make install) - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/stdlib' - make[1]: Nothing to be done for 'install'. - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/stdlib' - (cd interpreter; /usr/bin/make install) - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - /usr/bin/make -f Makefile-lco install - make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - install -d "/home/opam/.opam/4.14/lib/rml"/lco - install -d "/home/opam/.opam/4.14/lib/rml"/lco/thread - install -m 644 lco_interpreter.cmi sig_env.cmi lco_ctrl_tree.cmi rml_machine.cmi rml_machine_hook.cmi rml_machine_hook_unix.cmi implem_lco_ctrl_tree_record.cmi lco/rmllib.cma lco/rmllib.cmxa lco/rmllib.a sig_env.cmx lco_ctrl_tree.cmx rml_machine.cmx rml_machine_hook.cmx rml_machine_hook_unix.cmx implem_lco_ctrl_tree_record.cmx "/home/opam/.opam/4.14/lib/rml"/lco - install -m 644 ../stdlib/stdlib.rzi ../stdlib/arg.rzi ../stdlib/array.rzi ../stdlib/buffer.rzi ../stdlib/bytes.rzi ../stdlib/callback.rzi ../stdlib/camlinternalBigarray.rzi ../stdlib/char.rzi ../stdlib/complex.rzi ../stdlib/digest.rzi ../stdlib/filename.rzi ../stdlib/format.rzi ../stdlib/gc.rzi ../stdlib/stream.rzi ../stdlib/genlex.rzi ../stdlib/graphics.rzi ../stdlib/hashtbl.rzi ../stdlib/int32.rzi ../stdlib/nativeint.rzi ../stdlib/int64.rzi ../stdlib/lazy.rzi ../stdlib/lexing.rzi ../stdlib/list.rzi ../stdlib/luc4ocaml.rzi ../stdlib/luc4ocaml_nolbl.rzi ../stdlib/marshal.rzi ../stdlib/obj.rzi ../stdlib/parsing.rzi ../stdlib/printexc.rzi ../stdlib/printf.rzi ../stdlib/queue.rzi ../stdlib/random.rzi ../stdlib/sort.rzi ../stdlib/stack.rzi ../stdlib/str.rzi ../stdlib/string.rzi ../stdlib/sys.rzi ../stdlib/unix.rzi ../stdlib/weak.rzi ../stdlib/rml_list.rzi ../stdlib/rml_process_manager.rzi lco/rml_list.cmi lco/rml_async_body.cmi lco/rml_async.cmi "/home/opam/.opam/4.14/lib/rml"/lco - install -m 644 ../stdlib/thread/rml_async_body.rzi ../stdlib/thread/rml_async.rzi "/home/opam/.opam/4.14/lib/rml"/lco/thread - make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - /usr/bin/make -f Makefile-lco_n install - make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - install -d "/home/opam/.opam/4.14/lib/rml"/lco_n - install -d "/home/opam/.opam/4.14/lib/rml"/lco_n/thread - install -m 644 lco_interpreter.cmi sig_env.cmi lco_ctrl_tree_n.cmi rml_machine.cmi rml_machine_hook.cmi rml_machine_hook_unix.cmi implem_lco_ctrl_tree_n_record.cmi lco_n/rmllib.cma lco_n/rmllib.cmxa lco_n/rmllib.a sig_env.cmx lco_ctrl_tree_n.cmx rml_machine.cmx rml_machine_hook.cmx rml_machine_hook_unix.cmx implem_lco_ctrl_tree_n_record.cmx "/home/opam/.opam/4.14/lib/rml"/lco_n - install -m 644 ../stdlib/stdlib.rzi ../stdlib/arg.rzi ../stdlib/array.rzi ../stdlib/buffer.rzi ../stdlib/bytes.rzi ../stdlib/callback.rzi ../stdlib/camlinternalBigarray.rzi ../stdlib/char.rzi ../stdlib/complex.rzi ../stdlib/digest.rzi ../stdlib/filename.rzi ../stdlib/format.rzi ../stdlib/gc.rzi ../stdlib/stream.rzi ../stdlib/genlex.rzi ../stdlib/graphics.rzi ../stdlib/hashtbl.rzi ../stdlib/int32.rzi ../stdlib/nativeint.rzi ../stdlib/int64.rzi ../stdlib/lazy.rzi ../stdlib/lexing.rzi ../stdlib/list.rzi ../stdlib/luc4ocaml.rzi ../stdlib/luc4ocaml_nolbl.rzi ../stdlib/marshal.rzi ../stdlib/obj.rzi ../stdlib/parsing.rzi ../stdlib/printexc.rzi ../stdlib/printf.rzi ../stdlib/queue.rzi ../stdlib/random.rzi ../stdlib/sort.rzi ../stdlib/stack.rzi ../stdlib/str.rzi ../stdlib/string.rzi ../stdlib/sys.rzi ../stdlib/unix.rzi ../stdlib/weak.rzi ../stdlib/rml_list.rzi ../stdlib/rml_process_manager.rzi lco_n/rml_list.cmi lco_n/rml_async_body.cmi lco_n/rml_async.cmi "/home/opam/.opam/4.14/lib/rml"/lco_n - install -m 644 ../stdlib/thread/rml_async_body.rzi ../stdlib/thread/rml_async.rzi "/home/opam/.opam/4.14/lib/rml"/lco_n/thread - make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - /usr/bin/make -f Makefile-lco_class install - make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - install -d "/home/opam/.opam/4.14/lib/rml"/lco_class - install -d "/home/opam/.opam/4.14/lib/rml"/lco_class/thread - install -m 644 lco_interpreter.cmi sig_env.cmi lco_ctrl_tree.cmi rml_machine.cmi rml_machine_hook.cmi rml_machine_hook_unix.cmi implem_lco_ctrl_tree_class.cmi lco_class/rmllib.cma lco_class/rmllib.cmxa lco_class/rmllib.a sig_env.cmx lco_ctrl_tree.cmx rml_machine.cmx rml_machine_hook.cmx rml_machine_hook_unix.cmx implem_lco_ctrl_tree_class.cmx "/home/opam/.opam/4.14/lib/rml"/lco_class - install -m 644 ../stdlib/stdlib.rzi ../stdlib/arg.rzi ../stdlib/array.rzi ../stdlib/buffer.rzi ../stdlib/bytes.rzi ../stdlib/callback.rzi ../stdlib/camlinternalBigarray.rzi ../stdlib/char.rzi ../stdlib/complex.rzi ../stdlib/digest.rzi ../stdlib/filename.rzi ../stdlib/format.rzi ../stdlib/gc.rzi ../stdlib/stream.rzi ../stdlib/genlex.rzi ../stdlib/graphics.rzi ../stdlib/hashtbl.rzi ../stdlib/int32.rzi ../stdlib/nativeint.rzi ../stdlib/int64.rzi ../stdlib/lazy.rzi ../stdlib/lexing.rzi ../stdlib/list.rzi ../stdlib/luc4ocaml.rzi ../stdlib/luc4ocaml_nolbl.rzi ../stdlib/marshal.rzi ../stdlib/obj.rzi ../stdlib/parsing.rzi ../stdlib/printexc.rzi ../stdlib/printf.rzi ../stdlib/queue.rzi ../stdlib/random.rzi ../stdlib/sort.rzi ../stdlib/stack.rzi ../stdlib/str.rzi ../stdlib/string.rzi ../stdlib/sys.rzi ../stdlib/unix.rzi ../stdlib/weak.rzi ../stdlib/rml_list.rzi ../stdlib/rml_process_manager.rzi lco_class/rml_list.cmi lco_class/rml_async_body.cmi lco_class/rml_async.cmi "/home/opam/.opam/4.14/lib/rml"/lco_class - install -m 644 ../stdlib/thread/rml_async_body.rzi ../stdlib/thread/rml_async.rzi "/home/opam/.opam/4.14/lib/rml"/lco_class/thread - make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - /usr/bin/make -f Makefile-lco_rewrite install - make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - install -d "/home/opam/.opam/4.14/lib/rml"/lco_rewrite - install -d "/home/opam/.opam/4.14/lib/rml"/lco_rewrite/thread - install -m 644 lco_interpreter.cmi sig_env.cmi lco_rewrite.cmi rml_machine.cmi rml_machine_hook.cmi rml_machine_hook_unix.cmi implem_lco_rewrite_record.cmi lco_rewrite/rmllib.cma lco_rewrite/rmllib.cmxa lco_rewrite/rmllib.a sig_env.cmx lco_rewrite.cmx rml_machine.cmx rml_machine_hook.cmx rml_machine_hook_unix.cmx implem_lco_rewrite_record.cmx "/home/opam/.opam/4.14/lib/rml"/lco_rewrite - install -m 644 ../stdlib/stdlib.rzi ../stdlib/arg.rzi ../stdlib/array.rzi ../stdlib/buffer.rzi ../stdlib/bytes.rzi ../stdlib/callback.rzi ../stdlib/camlinternalBigarray.rzi ../stdlib/char.rzi ../stdlib/complex.rzi ../stdlib/digest.rzi ../stdlib/filename.rzi ../stdlib/format.rzi ../stdlib/gc.rzi ../stdlib/stream.rzi ../stdlib/genlex.rzi ../stdlib/graphics.rzi ../stdlib/hashtbl.rzi ../stdlib/int32.rzi ../stdlib/nativeint.rzi ../stdlib/int64.rzi ../stdlib/lazy.rzi ../stdlib/lexing.rzi ../stdlib/list.rzi ../stdlib/luc4ocaml.rzi ../stdlib/luc4ocaml_nolbl.rzi ../stdlib/marshal.rzi ../stdlib/obj.rzi ../stdlib/parsing.rzi ../stdlib/printexc.rzi ../stdlib/printf.rzi ../stdlib/queue.rzi ../stdlib/random.rzi ../stdlib/sort.rzi ../stdlib/stack.rzi ../stdlib/str.rzi ../stdlib/string.rzi ../stdlib/sys.rzi ../stdlib/unix.rzi ../stdlib/weak.rzi ../stdlib/rml_list.rzi ../stdlib/rml_process_manager.rzi lco_rewrite/rml_list.cmi lco_rewrite/rml_async_body.cmi lco_rewrite/rml_async.cmi "/home/opam/.opam/4.14/lib/rml"/lco_rewrite - install -m 644 ../stdlib/thread/rml_async_body.rzi ../stdlib/thread/rml_async.rzi "/home/opam/.opam/4.14/lib/rml"/lco_rewrite/thread - make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - /usr/bin/make -f Makefile-lk install - make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - install -d "/home/opam/.opam/4.14/lib/rml"/lk - install -d "/home/opam/.opam/4.14/lib/rml"/lk/thread - install -m 644 lk_interpreter.cmi sig_env.cmi lk_implem.cmi rml_machine.cmi rml_machine_hook.cmi rml_machine_hook_unix.cmi implem_lk_record.cmi lk/rmllib.cma lk/rmllib.cmxa lk/rmllib.a sig_env.cmx lk_implem.cmx rml_machine.cmx rml_machine_hook.cmx rml_machine_hook_unix.cmx implem_lk_record.cmx "/home/opam/.opam/4.14/lib/rml"/lk - install -m 644 ../stdlib/stdlib.rzi ../stdlib/arg.rzi ../stdlib/array.rzi ../stdlib/buffer.rzi ../stdlib/bytes.rzi ../stdlib/callback.rzi ../stdlib/camlinternalBigarray.rzi ../stdlib/char.rzi ../stdlib/complex.rzi ../stdlib/digest.rzi ../stdlib/filename.rzi ../stdlib/format.rzi ../stdlib/gc.rzi ../stdlib/stream.rzi ../stdlib/genlex.rzi ../stdlib/graphics.rzi ../stdlib/hashtbl.rzi ../stdlib/int32.rzi ../stdlib/nativeint.rzi ../stdlib/int64.rzi ../stdlib/lazy.rzi ../stdlib/lexing.rzi ../stdlib/list.rzi ../stdlib/luc4ocaml.rzi ../stdlib/luc4ocaml_nolbl.rzi ../stdlib/marshal.rzi ../stdlib/obj.rzi ../stdlib/parsing.rzi ../stdlib/printexc.rzi ../stdlib/printf.rzi ../stdlib/queue.rzi ../stdlib/random.rzi ../stdlib/sort.rzi ../stdlib/stack.rzi ../stdlib/str.rzi ../stdlib/string.rzi ../stdlib/sys.rzi ../stdlib/unix.rzi ../stdlib/weak.rzi ../stdlib/rml_list.rzi ../stdlib/rml_process_manager.rzi lk/rml_list.cmi lk/rml_async_body.cmi lk/rml_async.cmi "/home/opam/.opam/4.14/lib/rml"/lk - install -m 644 ../stdlib/thread/rml_async_body.rzi ../stdlib/thread/rml_async.rzi "/home/opam/.opam/4.14/lib/rml"/lk/thread - make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/interpreter' - (cd man; /usr/bin/make install) - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/man' - No man page to install - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/man' - (cd emacs; /usr/bin/make install) - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/emacs' - install -d "macsdir" - install INSTALL rml.el rml-font.el rml-process-acc.el rml-xemacs.el rml-emacs.el rml-help.el rml-types.el "macsdir" - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/emacs' - (cd toplevel; /usr/bin/make install) - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/toplevel' - install -d "/home/opam/.opam/4.14/lib/rml"/lco/toplevel - install -m 644 rmltop.cmi rmltop_global.cmi rmltop_machine_body.cmi rmltop_reactive_machine.cmi rmltop_controller.cmi rmltop_lexer.cmo rmltop.cmo rmltop_global.cmo rmltop_global.rzi rmltop_machine_body.cmo rmltop_reactive_machine.cmo rmltop_controller.cmo rmltop_controller.rzi rmltop_directives.cmi rmltop_implem.cmi rmltop_main.cmi rmltop_directives.cmo rmltop_implem.cmo rmltop_main.cmo "/home/opam/.opam/4.14/lib/rml"/lco/toplevel - install -d "/home/opam/.opam/4.14/bin" - install rmltop "/home/opam/.opam/4.14/bin"/rmltop - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/toplevel' - (cd tools; /usr/bin/make install) - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/tools' - (for d in rmldep; \ - do (cd $d ; /usr/bin/make install) ; \ - done) - make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/tools/rmldep' - install -d "/home/opam/.opam/4.14/bin" - install rmldep.opt "/home/opam/.opam/4.14/bin"/rmldep.opt - cp "/home/opam/.opam/4.14/bin"/rmldep.opt "/home/opam/.opam/4.14/bin"/rmldep - make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/tools/rmldep' - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/rml.1.09.07/tools' -> installed rml.1.09.07 Done. # Run eval $(opam env) to update the current shell environment 2024-11-29 15:27.05 ---> saved as "cd499bcc5140cc76aa1d003c10f2c58c7b719212516d1e3b9612b0e0870e7cbb" /home/opam: (run (shell "opam exec -- ~/voodoo-prep -u rml:b574bb69e84bbfc47361d4d88e749486,num:22ef956c04fab3fb688e5fb96b354c88")) 2024-11-29 15:27.07 ---> saved as "6a662c6d4dbab97d48822361b6eb477940afa3f508409421143304a004dd7faf" /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.330950') && (for DATA in prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1,num.1.5-1-22ef956c04fab3fb688e5fb96b354c88,num.1.5-1 prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07,rml.1.09.07-b574bb69e84bbfc47361d4d88e749486,rml.1.09.07; 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/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1,num.1.5-1-22ef956c04fab3fb688e5fb96b354c88,num.1.5-1 prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07,rml.1.09.07-b574bb69e84bbfc47361d4d88e749486,rml.1.09.07; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1,num.1.5-1-22ef956c04fab3fb688e5fb96b354c88,num.1.5-1 prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07,rml.1.09.07-b574bb69e84bbfc47361d4d88e749486,rml.1.09.07; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)")) 0.330950 prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/ prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/num-top/ prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/num-top/num_top.ocamlobjinfo prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/num-top/META prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/num-top/num_top.cmi prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/num-top/num_top_printers.cmi prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/num/ prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/num/nums.ocamlobjinfo prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/num/META prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/num/arith_status.cmi prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/num/arith_status.cmti prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/num/big_int.cmi prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/num/big_int.cmti prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/num/nat.cmi prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/num/nat.cmti prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/num/num.cmi prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/num/num.cmti prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/num/ratio.cmi prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/num/ratio.cmti prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/ocaml/ prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/ocaml/nums.ocamlobjinfo prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/ocaml/arith_status.cmi prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/ocaml/arith_status.cmti prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/ocaml/big_int.cmi prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/ocaml/big_int.cmti prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/ocaml/nat.cmi prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/ocaml/nat.cmti prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/ocaml/num.cmi prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/ocaml/num.cmti prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/ocaml/ratio.cmi prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/lib/ocaml/ratio.cmti prep/universes/22ef956c04fab3fb688e5fb96b354c88/num/1.5-1/opam prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/ prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/ prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco/ prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco/rmllib.ocamlobjinfo prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco/implem_lco_ctrl_tree_record.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco/lco_ctrl_tree.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco/lco_interpreter.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco/rml_async.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco/rml_async_body.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco/rml_list.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco/rml_machine.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco/rml_machine_hook.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco/rml_machine_hook_unix.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco/sig_env.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco/toplevel/ prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco/toplevel/rmltop.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco/toplevel/rmltop_controller.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco/toplevel/rmltop_directives.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco/toplevel/rmltop_global.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco/toplevel/rmltop_implem.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco/toplevel/rmltop_machine_body.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco/toplevel/rmltop_main.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco/toplevel/rmltop_reactive_machine.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_class/ prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_class/rmllib.ocamlobjinfo prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_class/implem_lco_ctrl_tree_class.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_class/lco_ctrl_tree.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_class/lco_interpreter.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_class/rml_async.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_class/rml_async_body.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_class/rml_list.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_class/rml_machine.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_class/rml_machine_hook.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_class/rml_machine_hook_unix.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_class/sig_env.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_n/ prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_n/rmllib.ocamlobjinfo prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_n/implem_lco_ctrl_tree_n_record.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_n/lco_ctrl_tree_n.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_n/lco_interpreter.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_n/rml_async.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_n/rml_async_body.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_n/rml_list.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_n/rml_machine.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_n/rml_machine_hook.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_n/rml_machine_hook_unix.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_n/sig_env.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_rewrite/ prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_rewrite/rmllib.ocamlobjinfo prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_rewrite/implem_lco_rewrite_record.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_rewrite/lco_interpreter.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_rewrite/lco_rewrite.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_rewrite/rml_async.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_rewrite/rml_async_body.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_rewrite/rml_list.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_rewrite/rml_machine.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_rewrite/rml_machine_hook.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_rewrite/rml_machine_hook_unix.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lco_rewrite/sig_env.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lk/ prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lk/rmllib.ocamlobjinfo prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lk/implem_lk_record.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lk/lk_implem.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lk/lk_interpreter.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lk/rml_async.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lk/rml_async_body.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lk/rml_list.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lk/rml_machine.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lk/rml_machine_hook.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lk/rml_machine_hook_unix.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/lib/rml/lk/sig_env.cmi prep/universes/b574bb69e84bbfc47361d4d88e749486/rml/1.09.07/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:num.1.5-1-22ef956c04fab3fb688e5fb96b354c88:5080f6f525c9a932f5e8f712d119ac3d8e69edb0f42e942793fee89429ee34fd HASHES:rml.1.09.07-b574bb69e84bbfc47361d4d88e749486:e3111ea000e6064083b1d2629b4d0b9478ce136f936d752f7109bf801f197f81 2024-11-29 15:27.08 ---> saved as "f29d72491b6c412940855a87204b75565c0d6935d736dffa420091d401f7938c" Job succeeded 2024-11-29 15:33.25: rml.1.09.07-b574bb69e84bbfc47361d4d88e749486 -> e3111ea000e6064083b1d2629b4d0b9478ce136f936d752f7109bf801f197f81 2024-11-29 15:33.25: num.1.5-1-22ef956c04fab3fb688e5fb96b354c88 -> 5080f6f525c9a932f5e8f712d119ac3d8e69edb0f42e942793fee89429ee34fd 2024-11-29 15:33.25: Job succeeded