Build:
- 0
2024-05-29 15:07.18: New job: Voodoo prep gadelac.0.6.1; fbf93b16e281d1527e3598ec65c6e32a 2024-05-29 15:07.18: Waiting for resource in pool OCluster 2024-05-29 17:25.16: Waiting for worker… 2024-05-29 17:26.08: Got resource from pool OCluster 2024-05-29 17:26.08: 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:575952ac1a1b71568d969fe2b9788c1516c1252dda6ccffdc995036cc8cc9e3b) (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:575952ac1a1b71568d969fe2b9788c1516c1252dda6ccffdc995036cc8cc9e3b) (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.15.3")) (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 gadelac.0.6.1 ocamlbuild.0.14.3 menhirSdk.20231231 menhirLib.20231231 menhirCST.20231231 menhir.20231231 dune.3.15.3 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')")) (run (shell "opam exec -- ~/voodoo-prep -u gadelac:fbf93b16e281d1527e3598ec65c6e32a,menhirSdk:b37c0144b590b674528f3cbd39b7cfbc,menhirLib:b37c0144b590b674528f3cbd39b7cfbc,menhirCST:b37c0144b590b674528f3cbd39b7cfbc,menhir:b1770058963c15052d391e62d47fe8bd")) (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.185287') && (for DATA in prep/universes/b1770058963c15052d391e62d47fe8bd/menhir/20231231,menhir.20231231-b1770058963c15052d391e62d47fe8bd,menhir.20231231 prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirCST/20231231,menhirCST.20231231-b37c0144b590b674528f3cbd39b7cfbc,menhirCST.20231231 prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirLib/20231231,menhirLib.20231231-b37c0144b590b674528f3cbd39b7cfbc,menhirLib.20231231 prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231,menhirSdk.20231231-b37c0144b590b674528f3cbd39b7cfbc,menhirSdk.20231231 prep/universes/fbf93b16e281d1527e3598ec65c6e32a/gadelac/0.6.1,gadelac.0.6.1-fbf93b16e281d1527e3598ec65c6e32a,gadelac.0.6.1; 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/b1770058963c15052d391e62d47fe8bd/menhir/20231231,menhir.20231231-b1770058963c15052d391e62d47fe8bd,menhir.20231231 prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirCST/20231231,menhirCST.20231231-b37c0144b590b674528f3cbd39b7cfbc,menhirCST.20231231 prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirLib/20231231,menhirLib.20231231-b37c0144b590b674528f3cbd39b7cfbc,menhirLib.20231231 prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231,menhirSdk.20231231-b37c0144b590b674528f3cbd39b7cfbc,menhirSdk.20231231 prep/universes/fbf93b16e281d1527e3598ec65c6e32a/gadelac/0.6.1,gadelac.0.6.1-fbf93b16e281d1527e3598ec65c6e32a,gadelac.0.6.1; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/b1770058963c15052d391e62d47fe8bd/menhir/20231231,menhir.20231231-b1770058963c15052d391e62d47fe8bd,menhir.20231231 prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirCST/20231231,menhirCST.20231231-b37c0144b590b674528f3cbd39b7cfbc,menhirCST.20231231 prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirLib/20231231,menhirLib.20231231-b37c0144b590b674528f3cbd39b7cfbc,menhirLib.20231231 prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231,menhirSdk.20231231-b37c0144b590b674528f3cbd39b7cfbc,menhirSdk.20231231 prep/universes/fbf93b16e281d1527e3598ec65c6e32a/gadelac/0.6.1,gadelac.0.6.1-fbf93b16e281d1527e3598ec65c6e32a,gadelac.0.6.1; 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 ea87c49e51ff29a459422419e1688938fd77a46f --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-05-29 17:26.08: RETRYING: 2024-05-29/150718-voodoo-prep-1236f0 Number of retries: 0 (retriable error condition) Building on doris.caelum.ci.dev All commits already cached HEAD is now at ea87c49e51 opam admin add-hashes sha256 (build "tools" …) (from ocaml/opam:debian-12-ocaml-4.14@sha256:575952ac1a1b71568d969fe2b9788c1516c1252dda6ccffdc995036cc8cc9e3b) Unable to find image 'ocaml/opam:debian-12-ocaml-4.14@sha256:575952ac1a1b71568d969fe2b9788c1516c1252dda6ccffdc995036cc8cc9e3b' locally docker.io/ocaml/opam@sha256:575952ac1a1b71568d969fe2b9788c1516c1252dda6ccffdc995036cc8cc9e3b: Pulling from ocaml/opam d8f8273aa989: Pulling fs layer d8f8273aa989: Verifying Checksum d8f8273aa989: Download complete d8f8273aa989: Pull complete Digest: sha256:575952ac1a1b71568d969fe2b9788c1516c1252dda6ccffdc995036cc8cc9e3b Status: Downloaded newer image for ocaml/opam@sha256:575952ac1a1b71568d969fe2b9788c1516c1252dda6ccffdc995036cc8cc9e3b 2024-05-29 17:22.35 ---> using "b70a2807c2cfb3c5680f4fafeddd66a33d7dcdd9d48b1543e8642b8df113fdbf" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-05-29 17:22.35 ---> using "b1de926397bf65d3c937342a62ac1cc35bd9bc7a62771d93a4eebe9010fad9f2" 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-security bookworm-security/main amd64 Packages [157 kB] Fetched 260 kB in 0s (845 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 (4634 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 ... 18735 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+deb12u7) ... 2024-05-29 17:22.35 ---> using "d5580b79b47b860a65c4ea1037c4e3e4cfd1e276dc1270842e742d98b587d7ee" 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.14.3 [required by bos] - install cmdliner 1.2.0 [required by voodoo-prep] - install ocamlfind 1.9.6 [required by bos] - install seq base [required by re] - install dune 3.15.2 [required by voodoo-prep] - install topkg 1.0.7 [required by bos] - install stdlib-shims 0.3.0 [required by ocamlgraph] - install re 1.11.0 [required by opam-format] - install opam-file-format 2.1.6 [required by opam-format] - install cppo 1.6.9 [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 ocamlgraph 2.1.0 [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.1.5 [required by opam-format] - install bos 0.2.1 [required by voodoo-prep] - install opam-format 2.1.5 [required by voodoo-prep] - install voodoo-prep ~dev* ===== 20 to install ===== <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [astring.0.8.5] found in cache [bos.0.2.1] found in cache [cmdliner.1.2.0] found in cache [cppo.1.6.9] found in cache [dune.3.15.2] found in cache [fmt.0.9.0] found in cache [fpath.0.7.3] found in cache [logs.0.7.0] found in cache [ocamlbuild.0.14.3] found in cache [ocamlfind.1.9.6] found in cache [ocamlgraph.2.1.0] found in cache [opam-core.2.1.5] found in cache [opam-file-format.2.1.6] found in cache [opam-format.2.1.5] found in cache [re.1.11.0] found in cache [rresult.0.7.0] found in cache [stdlib-shims.0.3.0] found in cache [topkg.1.0.7] 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.2.0 -> installed ocamlfind.1.9.6 -> installed ocamlbuild.0.14.3 -> installed topkg.1.0.7 -> installed rresult.0.7.0 -> installed fmt.0.9.0 -> installed astring.0.8.5 -> installed fpath.0.7.3 -> installed logs.0.7.0 -> installed bos.0.2.1 -> installed dune.3.15.2 -> installed stdlib-shims.0.3.0 -> installed opam-file-format.2.1.6 -> installed re.1.11.0 -> installed cppo.1.6.9 -> installed ocamlgraph.2.1.0 -> installed opam-core.2.1.5 -> installed opam-format.2.1.5 -> installed voodoo-prep.~dev Done. # Run eval $(opam env) to update the current shell environment 2024-05-29 17:22.35 ---> using "e770adf1ecb1314d1c7a457b7e969540279d1c89952fc758e26463a78a06af56" from cache /home/opam: (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")) 2024-05-29 17:22.35 ---> using "f3a7f24657afe070c605ab6da851cab321cd598482cd3f7a1e717be7c7c74679" from cache 2024-05-29 17:22.35 --> finished "tools" (from ocaml/opam:debian-12-ocaml-4.14@sha256:575952ac1a1b71568d969fe2b9788c1516c1252dda6ccffdc995036cc8cc9e3b) Unable to find image 'ocaml/opam:debian-12-ocaml-4.14@sha256:575952ac1a1b71568d969fe2b9788c1516c1252dda6ccffdc995036cc8cc9e3b' locally docker.io/ocaml/opam@sha256:575952ac1a1b71568d969fe2b9788c1516c1252dda6ccffdc995036cc8cc9e3b: Pulling from ocaml/opam d8f8273aa989: Pulling fs layer d8f8273aa989: Verifying Checksum d8f8273aa989: Download complete d8f8273aa989: Pull complete Digest: sha256:575952ac1a1b71568d969fe2b9788c1516c1252dda6ccffdc995036cc8cc9e3b Status: Downloaded newer image for ocaml/opam@sha256:575952ac1a1b71568d969fe2b9788c1516c1252dda6ccffdc995036cc8cc9e3b 2024-05-29 17:22.35 ---> using "b70a2807c2cfb3c5680f4fafeddd66a33d7dcdd9d48b1543e8642b8df113fdbf" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-05-29 17:22.35 ---> using "b1de926397bf65d3c937342a62ac1cc35bd9bc7a62771d93a4eebe9010fad9f2" from cache /home/opam: (run (shell "sudo mkdir /src")) 2024-05-29 17:22.35 ---> using "cc521f22d7056cb0f59eda487283df5636cfc67e9b43da2e045b2e8daa579027" from cache /home/opam: (copy (src packages) (dst /src/packages)) 2024-05-29 17:22.36 ---> using "ab0ccfb3124529535c96a41d620f253687c394c22c923a75c1bc12000b6cff7b" from cache /home/opam: (copy (src repo) (dst /src/repo)) 2024-05-29 17:22.36 ---> using "1e4ab39be717422798280c16690e023c28207b22893be2c31dbeb184274cfc0a" 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 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-05-29 17:22.36 ---> using "41defc9dedbebaa8985fa18c4aa97529bcad299fdded799fafe2ea37da05a542" 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-05-29 17:22.36 ---> using "5e3e66547634127df666f1a40ad7e7f05e6837a12fd8fb60af968bf416905384" from cache /home/opam: (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) 2024-05-29 17:22.36 ---> using "4e7ff9e531b540d5a3d4afb516cdb943633f0e7fd6c045d05ee94fbd19cac9d2" 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.15.3")) The following actions will be performed: - recompile ocaml-base-compiler 4.14.2* [upstream or system changes] - recompile ocaml-config 2 [upstream or system changes] - recompile ocaml 4.14.2 [uses ocaml-base-compiler, ocaml-config] - install dune 3.15.3 - recompile opam-depext 1.2.1-1 [uses ocaml] ===== 1 to install | 4 to recompile ===== <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved ocaml-config.2 (cached) -> retrieved opam-depext.1.2.1-1 (cached) -> retrieved ocaml-base-compiler.4.14.2 (cached) -> retrieved dune.3.15.3 (cached) -> removed opam-depext.1.2.1-1 -> removed ocaml.4.14.2 -> removed ocaml-config.2 -> removed ocaml-base-compiler.4.14.2 -> installed ocaml-base-compiler.4.14.2 -> installed ocaml-config.2 -> installed ocaml.4.14.2 -> installed opam-depext.1.2.1-1 -> installed dune.3.15.3 Done. <><> opam-depext.1.2.1-1 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 2024-05-29 17:22.36 ---> using "3cd05362bfd76c25adc4b823c16585b3493e81a2a35644ea1b07aabd80cd6cdf" 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 gadelac.0.6.1 ocamlbuild.0.14.3 menhirSdk.20231231 menhirLib.20231231 menhirCST.20231231 menhir.20231231 dune.3.15.3 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-security bookworm-security/main amd64 Packages [157 kB] Fetched 260 kB in 0s (949 kB/s) Reading package lists... Building dependency tree... Reading state information... All packages are up to date. You are using opam 2.1+, where external dependency handling has been integrated: consider calling opam directly, the 'depext' plugin interface is provided for backwards compatibility only # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # No extra OS packages requirements found. [NOTE] Package dune is already installed (current version is 3.15.3). The following actions will be performed: - install menhirLib 20231231 - install ocamlbuild 0.14.3 - install menhirCST 20231231 - install menhirSdk 20231231 - install menhir 20231231 - install gadelac 0.6.1 ===== 6 to install ===== <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/18: Processing 2/18: Processing 3/18: Processing 3/18: [gadelac.0.6.1/gadelac.install: dl] -> retrieved menhir.20231231 (cached) Processing 4/18: [gadelac.0.6.1/gadelac.install: dl] -> retrieved menhirCST.20231231 (cached) Processing 5/18: [gadelac.0.6.1/gadelac.install: dl] Processing 6/18: [gadelac.0.6.1/gadelac.install: dl] [menhirCST: dune build] -> retrieved gadelac.0.6.1 (cached) Processing 6/18: [menhirCST: dune build] Processing 7/18: [menhirCST: dune build] -> retrieved menhirLib.20231231 (cached) Processing 8/18: [menhirCST: dune build] [menhirLib: dune build] -> retrieved menhirSdk.20231231 (cached) Processing 9/18: [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] -> retrieved ocamlbuild.0.14.3 (cached) Processing 10/18: [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocamlbuild: make configure.make] - (echo "# This file was generated from configure.make"; \ - echo ;\ - echo "OCAML_PREFIX="; \ - echo "OCAML_BINDIR=/home/opam/.opam/4.14/bin"; \ - echo "OCAML_LIBDIR=/home/opam/.opam/4.14/lib/ocaml"; \ - echo "OCAML_MANDIR=/home/opam/.opam/4.14/man"; \ - echo ;\ - echo "EXT_OBJ=.o"; \ - echo "EXT_ASM=.s"; \ - echo "EXT_LIB=.a"; \ - echo "EXT_DLL=.so"; \ - echo "EXE="; \ - echo ;\ - echo "OCAML_NATIVE=true"; \ - echo "OCAML_NATIVE_TOOLS=true"; \ - echo "NATDYNLINK=true"; \ - echo "SUPPORT_SHARED_LIBRARIES=true"; \ - echo ;\ - echo "PREFIX=/home/opam/.opam/4.14"; \ - echo "BINDIR=/home/opam/.opam/4.14/bin"; \ - echo "LIBDIR=/home/opam/.opam/4.14/lib"; \ - echo "MANDIR=/home/opam/.opam/4.14/man"; \ - ) > Makefile.config - (echo "(* This file was generated from ../configure.make *)"; \ - echo ;\ - echo 'let bindir = "/home/opam/.opam/4.14/bin"'; \ - echo 'let libdir = "/home/opam/.opam/4.14/lib"'; \ - echo 'let ocaml_libdir = "/home/opam/.opam/4.14/lib/ocaml"'; \ - echo 'let libdir_abs = "/home/opam/.opam/4.14/lib"'; \ - echo 'let ocaml_native = true'; \ - echo 'let ocaml_native_tools = true'; \ - echo 'let supports_shared_libraries = true';\ - echo 'let a = "a"'; \ - echo 'let o = "o"'; \ - echo 'let so = "so"'; \ - echo 'let ext_dll = ".so"'; \ - echo 'let exe = ""'; \ - echo 'let version = "0.14.3"'; \ - ) > src/ocamlbuild_config.ml Processing 10/18: [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocamlbuild: make check-if-preinstalled] -> compiled menhirCST.20231231 Processing 10/18: [menhirLib: dune build] [menhirSdk: dune build] [ocamlbuild: make check-if-preinstalled] -> installed menhirCST.20231231 Processing 11/18: [menhirLib: dune build] [menhirSdk: dune build] [ocamlbuild: make check-if-preinstalled] -> compiled menhirSdk.20231231 Processing 11/18: [menhirLib: dune build] [ocamlbuild: make check-if-preinstalled] -> installed menhirSdk.20231231 Processing 12/18: [menhirLib: dune build] [ocamlbuild: make check-if-preinstalled] - (cd _build/default/lib/pack && ./pack.exe) - Creating menhirLib.ml... - Creating menhirLib.mli... -> compiled menhirLib.20231231 Processing 12/18: [ocamlbuild: make check-if-preinstalled] -> installed menhirLib.20231231 Processing 13/18: [ocamlbuild: make check-if-preinstalled] Processing 14/18: [menhir: dune build] [ocamlbuild: make check-if-preinstalled] - if test -d /home/opam/.opam/4.14/lib/ocaml/ocamlbuild; then\ - >&2 echo "ERROR: Preinstalled ocamlbuild detected at"\ - "/home/opam/.opam/4.14/lib/ocaml/ocamlbuild";\ - >&2 echo "Installation aborted; if you want to bypass this"\ - "safety check, pass CHECK_IF_PREINSTALLED=false to make";\ - exit 2;\ - fi - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/const.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/signatures.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.ml - ocamllex.opt src/glob_lexer.mll - 55 states, 419 transitions, table size 2006 bytes - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.ml - ocamllex.opt src/lexers.mll - 251 states, 1051 transitions, table size 5710 bytes - 4334 additional bytes used for bindings - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml - mkdir -p tmp - ocamlc.opt -pack src/const.cmo src/loc.cmo src/discard_printf.cmo src/signatures.cmi src/my_std.cmo src/my_unix.cmo src/tags.cmo src/display.cmo src/log.cmo src/shell.cmo src/bool.cmo src/glob_ast.cmo src/glob_lexer.cmo src/glob.cmo src/lexers.cmo src/param_tags.cmo src/command.cmo src/ocamlbuild_config.cmo src/ocamlbuild_where.cmo src/slurp.cmo src/options.cmo src/pathname.cmo src/configuration.cmo src/flags.cmo src/hygiene.cmo src/digest_cache.cmo src/resource.cmo src/rule.cmo src/solver.cmo src/report.cmo src/tools.cmo src/fda.cmo src/findlib.cmo src/ocaml_arch.cmo src/ocaml_utils.cmo src/ocaml_dependencies.cmo src/ocaml_compiler.cmo src/ocaml_tools.cmo src/ocaml_specific.cmo src/exit_codes.cmo src/plugin.cmo src/hooks.cmo src/main.cmo -o tmp/ocamlbuild_pack.cmo - mv tmp/ocamlbuild_pack.cmi src/ocamlbuild_pack.cmi - mv tmp/ocamlbuild_pack.cmo src/ocamlbuild_pack.cmo - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.ml - ocamlc.opt -I +unix -I src -o ocamlbuild.byte unix.cma src/ocamlbuild_pack.cmo plugin-lib/ocamlbuild_plugin.cmo plugin-lib/ocamlbuild_executor.cmo plugin-lib/ocamlbuild_unix_plugin.cmo bin/ocamlbuild.cmo - ocamlc.opt -a -o plugin-lib/ocamlbuildlib.cma src/ocamlbuild_pack.cmo plugin-lib/ocamlbuild_plugin.cmo plugin-lib/ocamlbuild_executor.cmo plugin-lib/ocamlbuild_unix_plugin.cmo - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/const.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml - mkdir -p tmp - ocamlopt.opt -pack src/const.cmx src/loc.cmx src/discard_printf.cmx src/signatures.cmi src/my_std.cmx src/my_unix.cmx src/tags.cmx src/display.cmx src/log.cmx src/shell.cmx src/bool.cmx src/glob_ast.cmx src/glob_lexer.cmx src/glob.cmx src/lexers.cmx src/param_tags.cmx src/command.cmx src/ocamlbuild_config.cmx src/ocamlbuild_where.cmx src/slurp.cmx src/options.cmx src/pathname.cmx src/configuration.cmx src/flags.cmx src/hygiene.cmx src/digest_cache.cmx src/resource.cmx src/rule.cmx src/solver.cmx src/report.cmx src/tools.cmx src/fda.cmx src/findlib.cmx src/ocaml_arch.cmx src/ocaml_utils.cmx src/ocaml_dependencies.cmx src/ocaml_compiler.cmx src/ocaml_tools.cmx src/ocaml_specific.cmx src/exit_codes.cmx src/plugin.cmx src/hooks.cmx src/main.cmx -o tmp/ocamlbuild_pack.cmx - mv tmp/ocamlbuild_pack.cmx src/ocamlbuild_pack.cmx - mv tmp/ocamlbuild_pack.o src/ocamlbuild_pack.o - ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.ml - ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.ml - ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.ml - ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.ml - ocamlopt.opt -I +unix -I src -o ocamlbuild.native unix.cmxa src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx bin/ocamlbuild.cmx - ocamlopt.opt -a -o plugin-lib/ocamlbuildlib.cmxa src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx - ocamlc.opt src/ocamlbuild_pack.cmo -I src man/options_man.ml -o man/options_man.byte - ./man/options_man.byte > man/ocamlbuild.options.1 - cat man/ocamlbuild.header.1 man/ocamlbuild.options.1 man/ocamlbuild.footer.1 > man/ocamlbuild.1 - /usr/bin/make ocamlbuild.install - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - rm -f ocamlbuild.install - touch ocamlbuild.install - /usr/bin/make install-bin-opam - make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - echo 'bin: [' >> ocamlbuild.install - echo ' "ocamlbuild.byte" {"ocamlbuild.byte"}' >> ocamlbuild.install - echo ' "ocamlbuild.native" {"ocamlbuild.native"}' >> ocamlbuild.install - echo ' "ocamlbuild.native" {"ocamlbuild"}' >> ocamlbuild.install - echo ']' >> ocamlbuild.install - echo >> ocamlbuild.install - make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - /usr/bin/make install-lib-opam - make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - echo 'lib: [' >> ocamlbuild.install - /usr/bin/make install-lib-basics-opam - make[3]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - echo ' "ocamlbuild.opam" {"opam"}' >> ocamlbuild.install - echo ' "META"' >> ocamlbuild.install - for lib in src/signatures.mli src/signatures.cmi src/signatures.cmti; do \ - echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \ - done - make[3]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - /usr/bin/make install-lib-byte-opam - make[3]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - for lib in plugin-lib/ocamlbuildlib.cma bin/ocamlbuild.cmo src/ocamlbuild_pack.cmi plugin-lib/ocamlbuild_plugin.cmi plugin-lib/ocamlbuild_executor.cmi plugin-lib/ocamlbuild_unix_plugin.cmi; do \ - echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \ - done - make[3]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - /usr/bin/make install-lib-native-opam - make[3]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - for lib in plugin-lib/ocamlbuildlib.cmxa plugin-lib/ocamlbuildlib.a bin/ocamlbuild.cmx bin/ocamlbuild.o src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx plugin-lib/ocamlbuild_plugin.o plugin-lib/ocamlbuild_executor.o plugin-lib/ocamlbuild_unix_plugin.o; do \ - echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \ - done - make[3]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - echo ']' >> ocamlbuild.install - echo >> ocamlbuild.install - make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - /usr/bin/make install-man-opam - make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - echo 'man: [' >> ocamlbuild.install - echo ' "man/ocamlbuild.1" {"man1/ocamlbuild.1"}' >> ocamlbuild.install - echo ']' >> ocamlbuild.install - echo >> ocamlbuild.install - make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - /usr/bin/make install-doc-opam - make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - echo 'doc: [' >> ocamlbuild.install - echo ' "LICENSE"' >> ocamlbuild.install - echo ' "Changes"' >> ocamlbuild.install - echo ' "Readme.md"' >> ocamlbuild.install - echo ']' >> ocamlbuild.install - make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' -> compiled ocamlbuild.0.14.3 Processing 14/18: [menhir: dune build] -> installed ocamlbuild.0.14.3 Processing 15/18: [menhir: dune build] + /home/opam/.opam/4.14/bin/dune "build" "-p" "menhir" "-j" "39" (CWD=/home/opam/.opam/4.14/.opam-switch/build/menhir.20231231) - (cd _build/default/lib/pack && ./pack.exe) - Creating menhirLib.ml... - Creating menhirLib.mli... - (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compare-errors parserMessages.auto.messages --compare-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.check - Read 99 sample input sentences and 99 error messages. - Read 99 sample input sentences and 47 error messages. - (cd _build/default && src/stage2/.bin/menhir --exn-carries-state --no-pager --require-aliases --strict -lg 1 -la 1 -lc 1 -v src/stage2/parser.mly --base src/stage2/parser --infer-read-reply src/stage2/parser__mock.mli.inferred) - Grammar has 56 nonterminal symbols, among which 1 start symbols. - Grammar has 37 terminal symbols. - Grammar has 129 productions. - Built an LR(0) automaton with 199 states. - The grammar is not SLR(1) -- 7 states have a conflict. - The construction mode is no-pager. - Built an LR(1) automaton with 308 states. - One shift/reduce conflict was silently solved. - Extra reductions on error were added in 50 states. - Priority played a role in 0 of these states. - 156 out of 308 states have a default reduction. - 108 out of 308 states are represented. - 44 out of 96 symbols keep track of their start position. - 39 out of 96 symbols keep track of their end position. - The StackLang code contains 4113 instructions in 277 blocks. - The StackLang code comprises 5 mutually recursive groups. - (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compile-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.ml - Read 99 sample input sentences and 47 error messages. -> compiled menhir.20231231 -> installed menhir.20231231 Processing 17/18: [gadelac: make gadelac] + /usr/bin/make "gadelac" (CWD=/home/opam/.opam/4.14/.opam-switch/build/gadelac.0.6.1) - cd Src; ocamlbuild -j 4 -use-menhir -libs str,unix -no-links Main.native; cd .. - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Main.ml > Main.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules ASP.mli > ASP.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Desugared.mli > Desugared.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Ast.mli > Ast.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Logic.mli > Logic.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Logic.cmi Logic.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Unification.mli > Unification.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Ast.cmi Ast.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Variable.ml > Variable.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Bool.ml > Utils/Bool.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Choice.mli > Utils/Choice.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Choice.cmi Utils/Choice.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Choice.ml > Utils/Choice.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/DataStructure.mli > Utils/DataStructure.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/DataStructure.cmi Utils/DataStructure.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/DataStructure.ml > Utils/DataStructure.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/MStack.ml > Utils/MStack.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/PList.mli > Utils/PList.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Print.mli > Utils/Print.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/MStack.cmo Utils/MStack.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/PList.cmi Utils/PList.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Print.cmi Utils/Print.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Function.mli > Utils/Function.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Function.cmi Utils/Function.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Function.ml > Utils/Function.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Int.ml > Utils/Int.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Matrix.ml > Utils/Matrix.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/MString.mli > Utils/MString.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/MString.cmi Utils/MString.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/MString.ml > Utils/MString.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Option.mli > Utils/Option.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Option.cmi Utils/Option.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Option.ml > Utils/Option.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/PList.ml > Utils/PList.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Print.ml > Utils/Print.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Rand.mli > Utils/Rand.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Rand.cmi Utils/Rand.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Rand.ml > Utils/Rand.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Read.ml > Utils/Read.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Time.mli > Utils/Time.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Time.cmi Utils/Time.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Time.ml > Utils/Time.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Bool.cmo Utils/Bool.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Choice.cmo Utils/Choice.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/DataStructure.cmo Utils/DataStructure.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Function.cmo Utils/Function.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Int.cmo Utils/Int.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Matrix.cmo Utils/Matrix.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/MString.cmo Utils/MString.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Option.cmo Utils/Option.ml - + /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/MString.cmo Utils/MString.ml - File "Utils/MString.ml", line 19, characters 20-31: - 19 | with Not_found -> String.copy original - ^^^^^^^^^^^ - Alert deprecated: Stdlib.String.copy - Strings now immutable: no need to copy - /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/PList.cmo Utils/PList.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Print.cmo Utils/Print.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Rand.cmo Utils/Rand.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Read.cmo Utils/Read.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Time.cmo Utils/Time.ml - + /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Read.cmo Utils/Read.ml - File "Utils/Read.ml", line 1, characters 19-35: - 1 | let bool s = match String.lowercase s with - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "Utils/Read.ml", line 6, characters 52-67: - 6 | let int s = try Some (int_of_string s) with Failure "int_of_string" -> None - ^^^^^^^^^^^^^^^ - Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of - this constructor's arguments. They are only for information - and may change in future versions. (See manual section 11.5) - /home/opam/.opam/4.14/bin/ocamlc.opt -pack Utils/Bool.cmo Utils/Choice.cmo Utils/MStack.cmo Utils/Function.cmo Utils/PList.cmo Utils/Print.cmo Utils/DataStructure.cmo Utils/Int.cmo Utils/Matrix.cmo Utils/MString.cmo Utils/Option.cmo Utils/Rand.cmo Utils/Read.cmo Utils/Time.cmo -o Utils.cmo - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Variable.cmo Variable.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Unification.cmi Unification.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Desugared.cmi Desugared.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules C.ml > C.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Instructions.mli > Instructions.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules PreInstruction.mli > PreInstruction.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Annotations.mli > Annotations.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Frequency.mli > Frequency.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Pred.ml > Pred.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Pred.cmo Pred.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules GAtomic.ml > GAtomic.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules GTerm.ml > GTerm.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Symbol.ml > Symbol.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Frequency.cmi Frequency.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o GAtomic.cmo GAtomic.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o GTerm.cmo GTerm.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Symbol.cmo Symbol.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Grouping.mli > Grouping.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Annotations.cmi Annotations.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Inversion.mli > Inversion.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Normal.mli > Normal.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Stratify.mli > Stratify.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Stratify.cmi Stratify.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Normal.cmi Normal.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Inversion.cmi Inversion.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Scope.mli > Scope.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Grouping.cmi Grouping.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Scope.cmi Scope.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o PreInstruction.cmi PreInstruction.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Instructions.cmi Instructions.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules CLIPS.mli > CLIPS.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules CommandLine.ml > CommandLine.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Optimization.mli > Optimization.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Reachability.mli > Reachability.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Domain.mli > Domain.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Domain.cmi Domain.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Reachability.cmi Reachability.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Optimization.cmi Optimization.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules OCaml.mli > OCaml.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Prolog.mli > Prolog.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Transformations.ml > Transformations.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o CommandLine.cmo CommandLine.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o ASP.cmi ASP.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o C.cmo C.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o CLIPS.cmi CLIPS.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o OCaml.cmi OCaml.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Prolog.cmi Prolog.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Transformations.cmo Transformations.ml - + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o C.cmo C.ml - File "C.ml", line 84, characters 90-94: - 84 | | I.KBGet (v1, pred) -> sprintf "%s %s" (_data "get") (print_args [v1; I.FunConstant (pred; assert false)]) - ^^^^ - Warning 10 [non-unit-statement]: this expression should have type unit. - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Main.cmo Main.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules ASP.ml > ASP.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Ast.ml > Ast.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Logic.ml > Logic.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Function.cmx Utils/Function.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/PList.cmx Utils/PList.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/MStack.cmx Utils/MStack.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Print.cmx Utils/Print.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/DataStructure.cmx Utils/DataStructure.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Bool.cmx Utils/Bool.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Choice.cmx Utils/Choice.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Int.cmx Utils/Int.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Matrix.cmx Utils/Matrix.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/MString.cmx Utils/MString.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Option.cmx Utils/Option.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Rand.cmx Utils/Rand.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Read.cmx Utils/Read.ml - + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/MString.cmx Utils/MString.ml - File "Utils/MString.ml", line 19, characters 20-31: - 19 | with Not_found -> String.copy original - ^^^^^^^^^^^ - Alert deprecated: Stdlib.String.copy - Strings now immutable: no need to copy - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Time.cmx Utils/Time.ml - + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Read.cmx Utils/Read.ml - File "Utils/Read.ml", line 1, characters 19-35: - 1 | let bool s = match String.lowercase s with - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "Utils/Read.ml", line 6, characters 52-67: - 6 | let int s = try Some (int_of_string s) with Failure "int_of_string" -> None - ^^^^^^^^^^^^^^^ - Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of - this constructor's arguments. They are only for information - and may change in future versions. (See manual section 11.5) - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Logic.cmx Logic.ml - touch Utils.mli ; if /home/opam/.opam/4.14/bin/ocamlopt.opt -pack -I Utils Utils/Bool.cmx Utils/Choice.cmx Utils/Function.cmx Utils/MStack.cmx Utils/PList.cmx Utils/Print.cmx Utils/DataStructure.cmx Utils/Int.cmx Utils/Matrix.cmx Utils/MString.cmx Utils/Option.cmx Utils/Rand.cmx Utils/Read.cmx Utils/Time.cmx -o Utils.cmx ; then rm -f Utils.mli ; else rm -f Utils.mli ; exit 1; fi - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Desugared.ml > Desugared.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Ast.cmx Ast.ml - + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Ast.cmx Ast.ml - File "Ast.ml", line 103, characters 34-50: - 103 | let predicate pred arity = match (String.lowercase pred, arity) with - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "Ast.ml", line 124, characters 37-53: - 124 | | S.Positive (pred, [t1; t2]) when String.lowercase pred = "distinct" -> Distinct (term t1, term t2) - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "Ast.ml", line 125, characters 37-53: - 125 | | S.Negative (pred, [t1; t2]) when String.lowercase pred = "distinct" -> Equal (term t1, term t2) - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "Ast.ml", line 126, characters 53-69: - 126 | | S.Positive (pred, _) | S.Negative (pred, _) when String.lowercase pred = "distinct" -> failwith "distinct used with the wrong number of arguments." - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - /home/opam/.opam/4.14/bin/ocamllex.opt -q Lexer.mll - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Lexer.ml > Lexer.ml.depends - menhir --raw-depend --ocamldep '/home/opam/.opam/4.14/bin/ocamldep.opt -modules' Parser.mly > Parser.mly.depends - menhir --ocamlc /home/opam/.opam/4.14/bin/ocamlc.opt --infer Parser.mly - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Parser.mli > Parser.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Parser.cmi Parser.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Lexer.cmo Lexer.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Parser.ml > Parser.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Parser.cmx Parser.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Unification.ml > Unification.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Variable.cmx Variable.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Lexer.cmx Lexer.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Unification.cmx Unification.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Temporize.ml > Temporize.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Temporize.mli > Temporize.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Temporize.cmi Temporize.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Analysis.ml > Analysis.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Analysis.mli > Analysis.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Analysis.cmi Analysis.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Desugared.cmx Desugared.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Pred.cmx Pred.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Symbol.cmx Symbol.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Frequency.ml > Frequency.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Analysis.cmx Analysis.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Frequency.cmx Frequency.ml - + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Frequency.cmx Frequency.ml - File "Frequency.ml", line 12, characters 25-41: - 12 | let read_param s = match String.lowercase s with - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Temporize.cmx Temporize.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Instructions.ml > Instructions.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Annotations.ml > Annotations.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules ComputeRigids.ml > ComputeRigids.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules ComputeRigids.mli > ComputeRigids.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o ComputeRigids.cmi ComputeRigids.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Domain.ml > Domain.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Reachability.ml > Reachability.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Domain.cmx Domain.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Safety.ml > Safety.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Safety.mli > Safety.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Safety.cmi Safety.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Safety.cmx Safety.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Reachability.cmx Reachability.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o ComputeRigids.cmx ComputeRigids.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o GAtomic.cmx GAtomic.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o GTerm.cmx GTerm.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules PreInstruction.ml > PreInstruction.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Annotations.cmx Annotations.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Grouping.ml > Grouping.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Inversion.ml > Inversion.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Normal.ml > Normal.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Generate.ml > Generate.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Generate.mli > Generate.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Generate.cmi Generate.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Stratify.ml > Stratify.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Generate.cmx Generate.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Stratify.cmx Stratify.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Normal.cmx Normal.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Inversion.cmx Inversion.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Scope.ml > Scope.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Grouping.cmx Grouping.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Scope.cmx Scope.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o PreInstruction.cmx PreInstruction.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Instructions.cmx Instructions.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules CLIPS.ml > CLIPS.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Optimization.ml > Optimization.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Context.ml > Context.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Context.mli > Context.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Context.cmi Context.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Frame.ml > Frame.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Frame.mli > Frame.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Frame.cmi Frame.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Inlining.ml > Inlining.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Inlining.mli > Inlining.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Inlining.cmi Inlining.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Inlining.cmx Inlining.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Ground.ml > Ground.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Ground.mli > Ground.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Ground.cmi Ground.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Context.cmx Context.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules MergeRigids.ml > MergeRigids.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules MergeRigids.mli > MergeRigids.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o MergeRigids.cmi MergeRigids.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Specialization.ml > Specialization.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Specialization.mli > Specialization.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Specialization.cmi Specialization.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Frame.cmx Frame.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Ground.cmx Ground.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o MergeRigids.cmx MergeRigids.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Specialization.cmx Specialization.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Optimization.cmx Optimization.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules OCaml.ml > OCaml.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Prolog.ml > Prolog.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o ASP.cmx ASP.ml - + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o ASP.cmx ASP.ml - File "ASP.ml", line 5, characters 29-46: - 5 | let upcs = Utils.PList.map String.capitalize vars in - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "ASP.ml", line 10, characters 47-64: - 10 | let variable capitalize v = if capitalize then String.capitalize v else "V" ^ v - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o CommandLine.cmx CommandLine.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o C.cmx C.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o CLIPS.cmx CLIPS.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o OCaml.cmx OCaml.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Prolog.cmx Prolog.ml - + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Prolog.cmx Prolog.ml - File "Prolog.ml", line 6, characters 47-64: - 6 | let variable capitalize v = if capitalize then String.capitalize v else "V" ^ v - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Transformations.cmx Transformations.ml - + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o C.cmx C.ml - File "C.ml", line 84, characters 90-94: - 84 | | I.KBGet (v1, pred) -> sprintf "%s %s" (_data "get") (print_args [v1; I.FunConstant (pred; assert false)]) - ^^^^ - Warning 10 [non-unit-statement]: this expression should have type unit. - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Main.cmx Main.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt str.cmxa unix.cmxa Logic.cmx Utils.cmx Ast.cmx Parser.cmx Lexer.cmx Variable.cmx Unification.cmx Desugared.cmx Pred.cmx Symbol.cmx Analysis.cmx Frequency.cmx Temporize.cmx ASP.cmx Domain.cmx Safety.cmx Reachability.cmx ComputeRigids.cmx GAtomic.cmx GTerm.cmx Annotations.cmx Generate.cmx Stratify.cmx Normal.cmx Inversion.cmx Grouping.cmx Scope.cmx PreInstruction.cmx Instructions.cmx C.cmx CLIPS.cmx Context.cmx Inlining.cmx Frame.cmx Ground.cmx MergeRigids.cmx Specialization.cmx Optimization.cmx CommandLine.cmx OCaml.cmx Prolog.cmx Transformations.cmx Main.cmx -o Main.native - # Parallel statistics: { count(total): 15(179), max: 13, min: 2, average(total): 4.067(1.257) } - cp Src/_build/Main.native gadelac -> compiled gadelac.0.6.1 -> installed gadelac.0.6.1 Done. # Run eval $(opam env) to update the current shell environment 2024-05-29 17:23.38 ---> saved as "0d43eddb241271b1a47126275d278ffe0db6c771a4233bab03dbd86b94bc8aa8" /home/opam: (run (shell "opam exec -- ~/voodoo-prep -u gadelac:fbf93b16e281d1527e3598ec65c6e32a,menhirSdk:b37c0144b590b674528f3cbd39b7cfbc,menhirLib:b37c0144b590b674528f3cbd39b7cfbc,menhirCST:b37c0144b590b674528f3cbd39b7cfbc,menhir:b1770058963c15052d391e62d47fe8bd")) 2024-05-29 17:23.40 ---> saved as "0987a6277f2dea85ae756812121673039868115cd2944b0466320a18a4a3693a" /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.185287') && (for DATA in prep/universes/b1770058963c15052d391e62d47fe8bd/menhir/20231231,menhir.20231231-b1770058963c15052d391e62d47fe8bd,menhir.20231231 prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirCST/20231231,menhirCST.20231231-b37c0144b590b674528f3cbd39b7cfbc,menhirCST.20231231 prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirLib/20231231,menhirLib.20231231-b37c0144b590b674528f3cbd39b7cfbc,menhirLib.20231231 prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231,menhirSdk.20231231-b37c0144b590b674528f3cbd39b7cfbc,menhirSdk.20231231 prep/universes/fbf93b16e281d1527e3598ec65c6e32a/gadelac/0.6.1,gadelac.0.6.1-fbf93b16e281d1527e3598ec65c6e32a,gadelac.0.6.1; 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/b1770058963c15052d391e62d47fe8bd/menhir/20231231,menhir.20231231-b1770058963c15052d391e62d47fe8bd,menhir.20231231 prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirCST/20231231,menhirCST.20231231-b37c0144b590b674528f3cbd39b7cfbc,menhirCST.20231231 prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirLib/20231231,menhirLib.20231231-b37c0144b590b674528f3cbd39b7cfbc,menhirLib.20231231 prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231,menhirSdk.20231231-b37c0144b590b674528f3cbd39b7cfbc,menhirSdk.20231231 prep/universes/fbf93b16e281d1527e3598ec65c6e32a/gadelac/0.6.1,gadelac.0.6.1-fbf93b16e281d1527e3598ec65c6e32a,gadelac.0.6.1; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/b1770058963c15052d391e62d47fe8bd/menhir/20231231,menhir.20231231-b1770058963c15052d391e62d47fe8bd,menhir.20231231 prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirCST/20231231,menhirCST.20231231-b37c0144b590b674528f3cbd39b7cfbc,menhirCST.20231231 prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirLib/20231231,menhirLib.20231231-b37c0144b590b674528f3cbd39b7cfbc,menhirLib.20231231 prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231,menhirSdk.20231231-b37c0144b590b674528f3cbd39b7cfbc,menhirSdk.20231231 prep/universes/fbf93b16e281d1527e3598ec65c6e32a/gadelac/0.6.1,gadelac.0.6.1-fbf93b16e281d1527e3598ec65c6e32a,gadelac.0.6.1; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)")) 0.185287 prep/universes/b1770058963c15052d391e62d47fe8bd/menhir/20231231/doc/ prep/universes/b1770058963c15052d391e62d47fe8bd/menhir/20231231/doc/menhir/ prep/universes/b1770058963c15052d391e62d47fe8bd/menhir/20231231/doc/menhir/LICENSE prep/universes/b1770058963c15052d391e62d47fe8bd/menhir/20231231/doc/menhir/manual.html prep/universes/b1770058963c15052d391e62d47fe8bd/menhir/20231231/doc/menhir/manual.pdf prep/universes/b1770058963c15052d391e62d47fe8bd/menhir/20231231/doc/menhir/manual001.png prep/universes/b1770058963c15052d391e62d47fe8bd/menhir/20231231/doc/menhir/manual002.png prep/universes/b1770058963c15052d391e62d47fe8bd/menhir/20231231/doc/menhir/manual003.png prep/universes/b1770058963c15052d391e62d47fe8bd/menhir/20231231/lib/ prep/universes/b1770058963c15052d391e62d47fe8bd/menhir/20231231/lib/menhir/ prep/universes/b1770058963c15052d391e62d47fe8bd/menhir/20231231/lib/menhir/META prep/universes/b1770058963c15052d391e62d47fe8bd/menhir/20231231/lib/menhir/dune-package prep/universes/b1770058963c15052d391e62d47fe8bd/menhir/20231231/opam prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirCST/20231231/doc/ prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirCST/20231231/doc/menhirCST/ prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirCST/20231231/doc/menhirCST/LICENSE prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirCST/20231231/lib/ prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirCST/20231231/lib/menhirCST/ prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirCST/20231231/lib/menhirCST/menhirCST.ocamlobjinfo prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirCST/20231231/lib/menhirCST/META prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirCST/20231231/lib/menhirCST/dune-package prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirCST/20231231/lib/menhirCST/menhirCST.cmi prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirCST/20231231/lib/menhirCST/menhirCST.cmt prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirCST/20231231/lib/menhirCST/menhirCST__Settle.cmi prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirCST/20231231/lib/menhirCST/menhirCST__Settle.cmt prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirCST/20231231/lib/menhirCST/menhirCST__Settle.cmti prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirCST/20231231/opam prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirLib/20231231/doc/ prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirLib/20231231/doc/menhirLib/ prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirLib/20231231/doc/menhirLib/LICENSE prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirLib/20231231/lib/ prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirLib/20231231/lib/menhirLib/ prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirLib/20231231/lib/menhirLib/menhirLib.ocamlobjinfo prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirLib/20231231/lib/menhirLib/META prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirLib/20231231/lib/menhirLib/dune-package prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirLib/20231231/lib/menhirLib/menhirLib.cmi prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirLib/20231231/lib/menhirLib/menhirLib.cmt prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirLib/20231231/lib/menhirLib/menhirLib.cmti prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirLib/20231231/opam prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231/doc/ prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231/doc/menhirSdk/ prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231/doc/menhirSdk/LICENSE prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231/lib/ prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231/lib/menhirSdk/ prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231/lib/menhirSdk/menhirSdk.ocamlobjinfo prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231/lib/menhirSdk/META prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231/lib/menhirSdk/dune-package prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231/lib/menhirSdk/menhirSdk.cmi prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231/lib/menhirSdk/menhirSdk.cmt prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231/lib/menhirSdk/menhirSdk__Cmly_api.cmi prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231/lib/menhirSdk/menhirSdk__Cmly_api.cmt prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231/lib/menhirSdk/menhirSdk__Cmly_format.cmi prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231/lib/menhirSdk/menhirSdk__Cmly_format.cmt prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231/lib/menhirSdk/menhirSdk__Cmly_read.cmi prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231/lib/menhirSdk/menhirSdk__Cmly_read.cmt prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231/lib/menhirSdk/menhirSdk__Cmly_read.cmti prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231/lib/menhirSdk/menhirSdk__Keyword.cmi prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231/lib/menhirSdk/menhirSdk__Keyword.cmt prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231/lib/menhirSdk/menhirSdk__Keyword.cmti prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231/lib/menhirSdk/menhirSdk__Version.cmi prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231/lib/menhirSdk/menhirSdk__Version.cmt prep/universes/b37c0144b590b674528f3cbd39b7cfbc/menhirSdk/20231231/opam prep/universes/fbf93b16e281d1527e3598ec65c6e32a/gadelac/0.6.1/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. 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. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. HASHES:menhir.20231231-b1770058963c15052d391e62d47fe8bd:c995319deb917175d44d8e4b3c9f7f68966ef743aa3b0fa5fac5f012d2e6562f HASHES:menhirCST.20231231-b37c0144b590b674528f3cbd39b7cfbc:630b6ad8ddf5efa48612cda52c9318ddde7c874dfb6961fe67d567d265734b06 HASHES:menhirLib.20231231-b37c0144b590b674528f3cbd39b7cfbc:edf80a567ad1168c09f7038d823730b55e5dd7d7cb334debaedb705ffcf9d061 HASHES:menhirSdk.20231231-b37c0144b590b674528f3cbd39b7cfbc:2e4f95bba4b52575e9cb698ac42f30c572e159335e1be7a4b6c368735b7966f8 HASHES:gadelac.0.6.1-fbf93b16e281d1527e3598ec65c6e32a:c679f3342fb8aa8c53a3a0ea780c7685fe35b11cd674a6e613e0d272101ba738 2024-05-29 17:23.42 ---> saved as "dc331159cbf4a22841092be9888b30912bb8605e2e862420b41aeccaee5dc1e2" Job succeeded 2024-05-29 17:27.54: gadelac.0.6.1-fbf93b16e281d1527e3598ec65c6e32a -> c679f3342fb8aa8c53a3a0ea780c7685fe35b11cd674a6e613e0d272101ba738 2024-05-29 17:27.54: menhirSdk.20231231-b37c0144b590b674528f3cbd39b7cfbc -> 2e4f95bba4b52575e9cb698ac42f30c572e159335e1be7a4b6c368735b7966f8 2024-05-29 17:27.54: menhirLib.20231231-b37c0144b590b674528f3cbd39b7cfbc -> edf80a567ad1168c09f7038d823730b55e5dd7d7cb334debaedb705ffcf9d061 2024-05-29 17:27.54: menhirCST.20231231-b37c0144b590b674528f3cbd39b7cfbc -> 630b6ad8ddf5efa48612cda52c9318ddde7c874dfb6961fe67d567d265734b06 2024-05-29 17:27.54: menhir.20231231-b1770058963c15052d391e62d47fe8bd -> c995319deb917175d44d8e4b3c9f7f68966ef743aa3b0fa5fac5f012d2e6562f 2024-05-29 17:27.54: Job succeeded