Build:
- 0
2024-09-12 08:35.55: New job: Voodoo prep gadelac.0.6.1; 8b1c4048119b8b73852fcfbbd382aec1 2024-09-12 08:35.55: Waiting for resource in pool OCluster 2024-09-12 20:57.11: Waiting for worker… 2024-09-12 20:58.58: Got resource from pool OCluster 2024-09-12 20:58.58: Using cache hint "docs-universe-prep-4.14.2" To reproduce locally: cat > prep.spec <<'END-OF-SPEC' ((build tools ((from ocaml/opam:debian-12-ocaml-4.14@sha256:2135d0c56fc438ebc9377f99b020c06d4ecd43611be356b669914fea73ab2be1) (user (uid 1000) (gid 1000)) (workdir /home/opam) (run (shell "sudo chown opam:opam /home/opam")) (run (network host) (shell "sudo apt-get update && sudo apt-get install -yy m4 pkg-config")) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam pin -ny https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 && opam depext -iy voodoo-prep")) (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")))) (from ocaml/opam:debian-12-ocaml-4.14@sha256:2135d0c56fc438ebc9377f99b020c06d4ecd43611be356b669914fea73ab2be1) (user (uid 1000) (gid 1000)) (workdir /home/opam) (run (shell "sudo chown opam:opam /home/opam")) (run (shell "sudo mkdir /src")) (copy (src packages) (dst /src/packages)) (copy (src repo) (dst /src/repo)) (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) (run (shell "opam repo remove default && opam repo add opam /src")) (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam install dune.3.16.0")) (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.15.0 menhirSdk.20240715 menhirLib.20240715 menhirCST.20240715 menhir.20240715 dune.3.16.0 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')")) (run (shell "opam exec -- ~/voodoo-prep -u gadelac:8b1c4048119b8b73852fcfbbd382aec1,menhirSdk:6cb2d5658864a6c9bc1fbc226141feed,menhirLib:6cb2d5658864a6c9bc1fbc226141feed,menhirCST:6cb2d5658864a6c9bc1fbc226141feed,menhir:d94be0a499709b0f514593d5acb0c22b")) (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.996886') && (for DATA in prep/universes/d94be0a499709b0f514593d5acb0c22b/menhir/20240715,menhir.20240715-d94be0a499709b0f514593d5acb0c22b,menhir.20240715 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirCST/20240715,menhirCST.20240715-6cb2d5658864a6c9bc1fbc226141feed,menhirCST.20240715 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20240715,menhirLib.20240715-6cb2d5658864a6c9bc1fbc226141feed,menhirLib.20240715 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715,menhirSdk.20240715-6cb2d5658864a6c9bc1fbc226141feed,menhirSdk.20240715 prep/universes/8b1c4048119b8b73852fcfbbd382aec1/gadelac/0.6.1,gadelac.0.6.1-8b1c4048119b8b73852fcfbbd382aec1,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/d94be0a499709b0f514593d5acb0c22b/menhir/20240715,menhir.20240715-d94be0a499709b0f514593d5acb0c22b,menhir.20240715 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirCST/20240715,menhirCST.20240715-6cb2d5658864a6c9bc1fbc226141feed,menhirCST.20240715 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20240715,menhirLib.20240715-6cb2d5658864a6c9bc1fbc226141feed,menhirLib.20240715 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715,menhirSdk.20240715-6cb2d5658864a6c9bc1fbc226141feed,menhirSdk.20240715 prep/universes/8b1c4048119b8b73852fcfbbd382aec1/gadelac/0.6.1,gadelac.0.6.1-8b1c4048119b8b73852fcfbbd382aec1,gadelac.0.6.1; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/d94be0a499709b0f514593d5acb0c22b/menhir/20240715,menhir.20240715-d94be0a499709b0f514593d5acb0c22b,menhir.20240715 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirCST/20240715,menhirCST.20240715-6cb2d5658864a6c9bc1fbc226141feed,menhirCST.20240715 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20240715,menhirLib.20240715-6cb2d5658864a6c9bc1fbc226141feed,menhirLib.20240715 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715,menhirSdk.20240715-6cb2d5658864a6c9bc1fbc226141feed,menhirSdk.20240715 prep/universes/8b1c4048119b8b73852fcfbbd382aec1/gadelac/0.6.1,gadelac.0.6.1-8b1c4048119b8b73852fcfbbd382aec1,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 c27832a650dd62412466f45875a4857f9e97250d --local-file prep.spec \ --pool linux-x86_64 --connect ocluster-submission.cap --cache-hint docs-universe-prep-4.14.2 \ --secret ssh_privkey:id_rsa --secret ssh_pubkey:id_rsa.pub--secret ssh_config:ssh_config 2024-09-12 20:58.58: RETRYING: 2024-09-12/083555-voodoo-prep-d2a3ee Number of retries: 0 (retriable error condition) Building on doris.caelum.ci.dev All commits already cached Updating files: 67% (21586/32082) Updating files: 68% (21816/32082) Updating files: 69% (22137/32082) Updating files: 70% (22458/32082) Updating files: 71% (22779/32082) Updating files: 72% (23100/32082) Updating files: 73% (23420/32082) Updating files: 74% (23741/32082) Updating files: 75% (24062/32082) Updating files: 76% (24383/32082) Updating files: 77% (24704/32082) Updating files: 78% (25024/32082) Updating files: 79% (25345/32082) Updating files: 80% (25666/32082) Updating files: 81% (25987/32082) Updating files: 82% (26308/32082) Updating files: 83% (26629/32082) Updating files: 84% (26949/32082) Updating files: 85% (27270/32082) Updating files: 86% (27591/32082) Updating files: 87% (27912/32082) Updating files: 88% (28233/32082) Updating files: 89% (28553/32082) Updating files: 90% (28874/32082) Updating files: 91% (29195/32082) Updating files: 92% (29516/32082) Updating files: 93% (29837/32082) Updating files: 94% (30158/32082) Updating files: 95% (30478/32082) Updating files: 96% (30799/32082) Updating files: 97% (31120/32082) Updating files: 98% (31441/32082) Updating files: 99% (31762/32082) Updating files: 100% (32082/32082) Updating files: 100% (32082/32082), done. HEAD is now at c27832a650 Apply suggestions from code review (build "tools" …) (from ocaml/opam:debian-12-ocaml-4.14@sha256:2135d0c56fc438ebc9377f99b020c06d4ecd43611be356b669914fea73ab2be1) 2024-09-12 20:52.07 ---> using "103a548bcf08062184789f8399ddfc3128a2d5d426168f6d2c8435f8ce1ce572" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-09-12 20:52.07 ---> using "b735425389b73ff0dbaabb86e65c55ba3d4affc0ec07062c4ba9fb8523aca05a" from cache /home/opam: (run (network host) (shell "sudo apt-get update && sudo apt-get install -yy m4 pkg-config")) Hit:1 http://deb.debian.org/debian bookworm InRelease Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB] Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB] Get:4 http://deb.debian.org/debian bookworm-updates/main amd64 Packages.diff/Index [11.7 kB] Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-09-10-2011.55-F-2024-09-10-2011.55.pdiff [1116 B] Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-09-10-2011.55-F-2024-09-10-2011.55.pdiff [1116 B] Get:6 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [179 kB] Fetched 295 kB in 0s (940 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: libpkgconf3 pkgconf pkgconf-bin Suggested packages: m4-doc The following NEW packages will be installed: libpkgconf3 m4 pkg-config pkgconf pkgconf-bin 0 upgraded, 5 newly installed, 0 to remove and 0 not upgraded. Need to get 392 kB of archives. After this operation, 969 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian bookworm/main amd64 libpkgconf3 amd64 1.8.1-1 [36.1 kB] Get:2 http://deb.debian.org/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB] Get:3 http://deb.debian.org/debian bookworm/main amd64 pkgconf-bin amd64 1.8.1-1 [29.5 kB] Get:4 http://deb.debian.org/debian bookworm/main amd64 pkgconf amd64 1.8.1-1 [25.9 kB] Get:5 http://deb.debian.org/debian bookworm/main amd64 pkg-config amd64 1.8.1-1 [13.7 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 392 kB in 0s (7516 kB/s) Selecting previously unselected package libpkgconf3:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 18733 files and directories currently installed.) Preparing to unpack .../libpkgconf3_1.8.1-1_amd64.deb ... Unpacking libpkgconf3:amd64 (1.8.1-1) ... Selecting previously unselected package m4. Preparing to unpack .../archives/m4_1.4.19-3_amd64.deb ... Unpacking m4 (1.4.19-3) ... Selecting previously unselected package pkgconf-bin. Preparing to unpack .../pkgconf-bin_1.8.1-1_amd64.deb ... Unpacking pkgconf-bin (1.8.1-1) ... Selecting previously unselected package pkgconf:amd64. Preparing to unpack .../pkgconf_1.8.1-1_amd64.deb ... Unpacking pkgconf:amd64 (1.8.1-1) ... Selecting previously unselected package pkg-config:amd64. Preparing to unpack .../pkg-config_1.8.1-1_amd64.deb ... Unpacking pkg-config:amd64 (1.8.1-1) ... Setting up m4 (1.4.19-3) ... Setting up libpkgconf3:amd64 (1.8.1-1) ... Setting up pkgconf-bin (1.8.1-1) ... Setting up pkgconf:amd64 (1.8.1-1) ... Setting up pkg-config:amd64 (1.8.1-1) ... Processing triggers for libc-bin (2.36-9+deb12u8) ... 2024-09-12 20:52.07 ---> using "64027e071d7f4bb79a519ab4cf43cd8d13e54fe5188051a605e9293619bec9b3" from cache /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam pin -ny https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 && opam depext -iy voodoo-prep")) [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 This will pin the following packages: voodoo-prep, voodoo-lib, voodoo-gen, voodoo-do. Continue? [Y/n] y Package voodoo-prep does not exist, create as a NEW package? [Y/n] y [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-prep is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-lib does not exist, create as a NEW package? [Y/n] y [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-lib is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-gen does not exist, create as a NEW package? [Y/n] y [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-gen is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-do does not exist, create as a NEW package? [Y/n] y [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-do is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # No extra OS packages requirements found. # All required OS packages found. # Now letting opam install the packages <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [voodoo-prep.~dev] no changes from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 The following actions will be performed: - install ocamlbuild 0.15.0 [required by bos] - install dune 3.16.0 [required by voodoo-prep] - install ocamlfind 1.9.6 [required by bos] - install cmdliner 1.3.0 [required by voodoo-prep] - install seq base [required by re] - install swhid_core 0.1 [required by opam-core] - install stdlib-shims 0.3.0 [required by ocamlgraph, sha] - install opam-file-format 2.1.6 [required by opam-format] - install topkg 1.0.7 [required by bos] - install re 1.12.0 [required by opam-format] - install sha 1.15.4 [required by opam-core] - install ocamlgraph 2.1.0 [required by opam-core] - install uutf 1.0.3 [required by opam-core] - install rresult 0.7.0 [required by bos] - install fmt 0.9.0 [required by bos] - install astring 0.8.5 [required by bos] - install jsonm 1.0.2 [required by opam-core] - install logs 0.7.0 [required by bos] - install fpath 0.7.3 [required by voodoo-prep] - install opam-core 2.2.1 [required by opam-format] - install bos 0.2.1 [required by voodoo-prep] - install opam-format 2.2.1 [required by voodoo-prep] - install voodoo-prep ~dev* ===== 23 to install ===== <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [astring.0.8.5] found in cache [bos.0.2.1] found in cache [cmdliner.1.3.0] found in cache [dune.3.16.0] found in cache [fmt.0.9.0] found in cache [fpath.0.7.3] found in cache [jsonm.1.0.2] found in cache [logs.0.7.0] found in cache [ocamlbuild.0.15.0] found in cache [ocamlfind.1.9.6] found in cache [ocamlgraph.2.1.0] found in cache [opam-core.2.2.1] found in cache [opam-file-format.2.1.6] found in cache [opam-format.2.2.1] found in cache [re.1.12.0] found in cache [rresult.0.7.0] found in cache [sha.1.15.4] found in cache [stdlib-shims.0.3.0] found in cache [swhid_core.0.1] found in cache [topkg.1.0.7] found in cache [uutf.1.0.3] found in cache [voodoo-prep.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed seq.base -> installed cmdliner.1.3.0 -> installed ocamlfind.1.9.6 -> installed ocamlbuild.0.15.0 -> installed topkg.1.0.7 -> installed rresult.0.7.0 -> installed uutf.1.0.3 -> installed fmt.0.9.0 -> installed astring.0.8.5 -> installed jsonm.1.0.2 -> installed fpath.0.7.3 -> installed logs.0.7.0 -> installed bos.0.2.1 -> installed dune.3.16.0 -> installed stdlib-shims.0.3.0 -> installed swhid_core.0.1 -> installed opam-file-format.2.1.6 -> installed re.1.12.0 -> installed sha.1.15.4 -> installed ocamlgraph.2.1.0 -> installed opam-core.2.2.1 -> installed opam-format.2.2.1 -> installed voodoo-prep.~dev Done. # Run eval $(opam env) to update the current shell environment 2024-09-12 20:52.07 ---> using "4b3eae20ee556ce466265d261fd5d7184b7506cfcf8217eea177582bdd289d8b" from cache /home/opam: (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")) 2024-09-12 20:52.07 ---> using "ff9243a4acf95fb20c4e62f411801f15f8ec3c4e6fcc150de31a9042ea281b68" from cache 2024-09-12 20:52.07 --> finished "tools" (from ocaml/opam:debian-12-ocaml-4.14@sha256:2135d0c56fc438ebc9377f99b020c06d4ecd43611be356b669914fea73ab2be1) 2024-09-12 20:52.07 ---> using "103a548bcf08062184789f8399ddfc3128a2d5d426168f6d2c8435f8ce1ce572" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-09-12 20:52.07 ---> using "b735425389b73ff0dbaabb86e65c55ba3d4affc0ec07062c4ba9fb8523aca05a" from cache /home/opam: (run (shell "sudo mkdir /src")) 2024-09-12 20:52.07 ---> using "589fc247a47cee4820aea953ca0c6137d5c05903e8d36d67782083bf9b53dcd0" from cache /home/opam: (copy (src packages) (dst /src/packages)) 2024-09-12 20:52.08 ---> using "4150bbdc39fd4b72d5cb348941371d2f28a81791b438494d1f00c97895915dbe" from cache /home/opam: (copy (src repo) (dst /src/repo)) 2024-09-12 20:52.08 ---> using "b2c95bfd88646949d3fac74cf644fbc1891e298b69a7444e4f848695c5eecca5" from cache /home/opam: (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) Configuring from /home/opam/.opamrc and then from built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted. You may want to back it up before going further. Continue? [Y/n] y Format upgrade done. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from file:///home/opam/opam-repository 2024-09-12 20:52.08 ---> using "4ba35a3855b13d84779ae4a92a387e9ddcbb6b9899e6f2dc853ec0b8121a42aa" from cache /home/opam: (run (shell "opam repo remove default && opam repo add opam /src")) Repositories removed from the selections of switch 4.14. Use '--all' to forget about them altogether. [opam] Initialised [NOTE] Repository opam has been added to the selections of switch 4.14 only. Run `opam repository add opam --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively. 2024-09-12 20:52.08 ---> using "af41b94cc56be01dc123f542d984137998f3f5fcf3a13399709e6622287d3250" from cache /home/opam: (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) 2024-09-12 20:52.08 ---> using "0fcf45369119ad02c4516f87d4e8702e30043e75073394285b98f7e2e1a54a9b" from cache /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam install dune.3.16.0")) The following actions will be performed: - install dune 3.16.0 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved dune.3.16.0 (cached) -> installed dune.3.16.0 Done. # Run eval $(opam env) to update the current shell environment 2024-09-12 20:52.08 ---> using "9fbe8e3318bee08063b72bdb637a004445163d200318c131fb0d7ff2066d6642" 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.15.0 menhirSdk.20240715 menhirLib.20240715 menhirCST.20240715 menhir.20240715 dune.3.16.0 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')")) WARNING: apt does not have a stable CLI interface. Use with caution in scripts. Hit:1 http://deb.debian.org/debian bookworm InRelease Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB] Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB] Get:4 http://deb.debian.org/debian bookworm-updates/main amd64 Packages.diff/Index [11.7 kB] Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-09-10-2011.55-F-2024-09-10-2011.55.pdiff [1116 B] Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-09-10-2011.55-F-2024-09-10-2011.55.pdiff [1116 B] Get:6 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [179 kB] Fetched 295 kB in 0s (933 kB/s) Reading package lists... Building dependency tree... Reading state information... All packages are up to date. Opam plugin "depext" may require upgrading/reinstalling. Reinstall the plugin on the current switch? [Y/n] y The following actions will be performed: - recompile opam-depext 1.2.3 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved opam-depext.1.2.3 (cached) -> removed opam-depext.1.2.3 -> installed opam-depext.1.2.3 Done. <><> opam-depext.1.2.3 installed successfully <><><><><><><><><><><><><><><><><> => opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead # Run eval $(opam env) to update the current shell environment <><> Carrying on to "opam depext -viy gadelac.0.6.1 ocamlbuild.0.15.0 menhirSdk.20240715 menhirLib.20240715 menhirCST.20240715 menhir.20240715 dune.3.16.0" 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. [NOTE] Package dune is already installed (current version is 3.16.0). The following actions will be performed: - install menhirLib 20240715 - install menhirCST 20240715 - install menhirSdk 20240715 - install ocamlbuild 0.15.0 - install menhir 20240715 - install gadelac 0.6.1 ===== 6 to install ===== <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/18: [gadelac.0.6.1: http] Processing 2/18: [gadelac.0.6.1: http] Processing 3/18: [gadelac.0.6.1: http] -> retrieved menhir.20240715 (cached) Processing 4/18: [gadelac.0.6.1: http] -> retrieved menhirCST.20240715 (cached) Processing 5/18: [gadelac.0.6.1: http] Processing 6/18: [gadelac.0.6.1: http] [menhirCST: dune build] Processing 6/18: [menhirCST: dune build] -> retrieved menhirLib.20240715 (cached) Processing 7/18: [menhirCST: dune build] Processing 8/18: [menhirCST: dune build] [menhirLib: dune build] -> retrieved menhirSdk.20240715 (cached) Processing 9/18: [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] -> retrieved gadelac.0.6.1 (https://bitbucket.org/Abdallah/gadelac/get/v0.6.1.tar.gz) -> retrieved ocamlbuild.0.15.0 (cached) Processing 10/18: [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocamlbuild: make configure.make] -> compiled menhirCST.20240715 Processing 10/18: [menhirLib: dune build] [menhirSdk: dune build] [ocamlbuild: make configure.make] -> installed menhirCST.20240715 Processing 11/18: [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.15.0"'; \ - ) > src/ocamlbuild_config.ml Processing 11/18: [menhirLib: dune build] [menhirSdk: dune build] [ocamlbuild: make check-if-preinstalled] -> compiled menhirSdk.20240715 Processing 11/18: [menhirLib: dune build] [ocamlbuild: make check-if-preinstalled] -> installed menhirSdk.20240715 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.20240715 Processing 12/18: [ocamlbuild: make check-if-preinstalled] -> installed menhirLib.20240715 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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.mli - ocamlc.opt -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.ml - ocamlc.opt -w @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 - 235 states, 1033 transitions, table size 5542 bytes - 4238 additional bytes used for bindings - ocamlc.opt -w @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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/exit_codes.cmo src/my_std.cmo src/ocamlbuild_executor.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/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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 -I +unix unix.cma src/ocamlbuild_pack.cmo plugin-lib/ocamlbuild_plugin.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_unix_plugin.cmo - ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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/exit_codes.cmx src/my_std.cmx src/ocamlbuild_executor.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/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 @14@29 -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 @14@29 -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 @14@29 -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 -I +unix unix.cmxa src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.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_unix_plugin.cmx - ocamlc.opt -I +unix unix.cma 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.15.0' - 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.15.0' - 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.15.0' - /usr/bin/make install-lib-opam - make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.15.0' - 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.15.0' - 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.15.0' - /usr/bin/make install-lib-byte-opam - make[3]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.15.0' - for lib in plugin-lib/ocamlbuildlib.cma bin/ocamlbuild.cmo src/ocamlbuild_pack.cmi plugin-lib/ocamlbuild_plugin.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.15.0' - /usr/bin/make install-lib-native-opam - make[3]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.15.0' - 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_unix_plugin.cmx plugin-lib/ocamlbuild_plugin.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.15.0' - echo ']' >> ocamlbuild.install - echo >> ocamlbuild.install - make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.15.0' - /usr/bin/make install-man-opam - make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.15.0' - 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.15.0' - /usr/bin/make install-doc-opam - make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.15.0' - 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.15.0' - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.15.0' -> compiled ocamlbuild.0.15.0 Processing 14/18: [menhir: dune build] -> installed ocamlbuild.0.15.0 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.20240715) - (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.20240715 -> installed menhir.20240715 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-09-12 20:53.43 ---> saved as "4a1243745130f55e53ee0482efbfa32da3deb7b07314b940fbd8ccaa2e55213a" /home/opam: (run (shell "opam exec -- ~/voodoo-prep -u gadelac:8b1c4048119b8b73852fcfbbd382aec1,menhirSdk:6cb2d5658864a6c9bc1fbc226141feed,menhirLib:6cb2d5658864a6c9bc1fbc226141feed,menhirCST:6cb2d5658864a6c9bc1fbc226141feed,menhir:d94be0a499709b0f514593d5acb0c22b")) 2024-09-12 20:53.45 ---> saved as "f6e0073e711898cb48a324d2658addaa4c20610fd68e692c609d0ea6b384c9a4" /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.996886') && (for DATA in prep/universes/d94be0a499709b0f514593d5acb0c22b/menhir/20240715,menhir.20240715-d94be0a499709b0f514593d5acb0c22b,menhir.20240715 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirCST/20240715,menhirCST.20240715-6cb2d5658864a6c9bc1fbc226141feed,menhirCST.20240715 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20240715,menhirLib.20240715-6cb2d5658864a6c9bc1fbc226141feed,menhirLib.20240715 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715,menhirSdk.20240715-6cb2d5658864a6c9bc1fbc226141feed,menhirSdk.20240715 prep/universes/8b1c4048119b8b73852fcfbbd382aec1/gadelac/0.6.1,gadelac.0.6.1-8b1c4048119b8b73852fcfbbd382aec1,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/d94be0a499709b0f514593d5acb0c22b/menhir/20240715,menhir.20240715-d94be0a499709b0f514593d5acb0c22b,menhir.20240715 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirCST/20240715,menhirCST.20240715-6cb2d5658864a6c9bc1fbc226141feed,menhirCST.20240715 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20240715,menhirLib.20240715-6cb2d5658864a6c9bc1fbc226141feed,menhirLib.20240715 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715,menhirSdk.20240715-6cb2d5658864a6c9bc1fbc226141feed,menhirSdk.20240715 prep/universes/8b1c4048119b8b73852fcfbbd382aec1/gadelac/0.6.1,gadelac.0.6.1-8b1c4048119b8b73852fcfbbd382aec1,gadelac.0.6.1; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/d94be0a499709b0f514593d5acb0c22b/menhir/20240715,menhir.20240715-d94be0a499709b0f514593d5acb0c22b,menhir.20240715 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirCST/20240715,menhirCST.20240715-6cb2d5658864a6c9bc1fbc226141feed,menhirCST.20240715 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20240715,menhirLib.20240715-6cb2d5658864a6c9bc1fbc226141feed,menhirLib.20240715 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715,menhirSdk.20240715-6cb2d5658864a6c9bc1fbc226141feed,menhirSdk.20240715 prep/universes/8b1c4048119b8b73852fcfbbd382aec1/gadelac/0.6.1,gadelac.0.6.1-8b1c4048119b8b73852fcfbbd382aec1,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.996886 prep/universes/d94be0a499709b0f514593d5acb0c22b/menhir/20240715/doc/ prep/universes/d94be0a499709b0f514593d5acb0c22b/menhir/20240715/doc/menhir/ prep/universes/d94be0a499709b0f514593d5acb0c22b/menhir/20240715/doc/menhir/LICENSE prep/universes/d94be0a499709b0f514593d5acb0c22b/menhir/20240715/doc/menhir/manual.html prep/universes/d94be0a499709b0f514593d5acb0c22b/menhir/20240715/doc/menhir/manual.pdf prep/universes/d94be0a499709b0f514593d5acb0c22b/menhir/20240715/doc/menhir/manual001.png prep/universes/d94be0a499709b0f514593d5acb0c22b/menhir/20240715/doc/menhir/manual002.png prep/universes/d94be0a499709b0f514593d5acb0c22b/menhir/20240715/doc/menhir/manual003.png prep/universes/d94be0a499709b0f514593d5acb0c22b/menhir/20240715/lib/ prep/universes/d94be0a499709b0f514593d5acb0c22b/menhir/20240715/lib/menhir/ prep/universes/d94be0a499709b0f514593d5acb0c22b/menhir/20240715/lib/menhir/META prep/universes/d94be0a499709b0f514593d5acb0c22b/menhir/20240715/lib/menhir/dune-package prep/universes/d94be0a499709b0f514593d5acb0c22b/menhir/20240715/opam prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirCST/20240715/doc/ prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirCST/20240715/doc/menhirCST/ prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirCST/20240715/doc/menhirCST/LICENSE prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirCST/20240715/lib/ prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirCST/20240715/lib/menhirCST/ prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirCST/20240715/lib/menhirCST/menhirCST.ocamlobjinfo prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirCST/20240715/lib/menhirCST/META prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirCST/20240715/lib/menhirCST/dune-package prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirCST/20240715/lib/menhirCST/menhirCST.cmi prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirCST/20240715/lib/menhirCST/menhirCST.cmt prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirCST/20240715/lib/menhirCST/menhirCST__Settle.cmi prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirCST/20240715/lib/menhirCST/menhirCST__Settle.cmt prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirCST/20240715/lib/menhirCST/menhirCST__Settle.cmti prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirCST/20240715/opam prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20240715/doc/ prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20240715/doc/menhirLib/ prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20240715/doc/menhirLib/LICENSE prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20240715/lib/ prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20240715/lib/menhirLib/ prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20240715/lib/menhirLib/menhirLib.ocamlobjinfo prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20240715/lib/menhirLib/META prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20240715/lib/menhirLib/dune-package prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20240715/lib/menhirLib/menhirLib.cmi prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20240715/lib/menhirLib/menhirLib.cmt prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20240715/lib/menhirLib/menhirLib.cmti prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20240715/opam prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715/doc/ prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715/doc/menhirSdk/ prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715/doc/menhirSdk/LICENSE prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715/lib/ prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715/lib/menhirSdk/ prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715/lib/menhirSdk/menhirSdk.ocamlobjinfo prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715/lib/menhirSdk/META prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715/lib/menhirSdk/dune-package prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715/lib/menhirSdk/menhirSdk.cmi prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715/lib/menhirSdk/menhirSdk.cmt prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715/lib/menhirSdk/menhirSdk__Cmly_api.cmi prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715/lib/menhirSdk/menhirSdk__Cmly_api.cmt prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715/lib/menhirSdk/menhirSdk__Cmly_format.cmi prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715/lib/menhirSdk/menhirSdk__Cmly_format.cmt prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715/lib/menhirSdk/menhirSdk__Cmly_read.cmi prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715/lib/menhirSdk/menhirSdk__Cmly_read.cmt prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715/lib/menhirSdk/menhirSdk__Cmly_read.cmti prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715/lib/menhirSdk/menhirSdk__Keyword.cmi prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715/lib/menhirSdk/menhirSdk__Keyword.cmt prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715/lib/menhirSdk/menhirSdk__Keyword.cmti prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715/lib/menhirSdk/menhirSdk__Version.cmi prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715/lib/menhirSdk/menhirSdk__Version.cmt prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20240715/opam prep/universes/8b1c4048119b8b73852fcfbbd382aec1/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.20240715-d94be0a499709b0f514593d5acb0c22b:6fdbd0a264f31f6e72186e60588c7b0556f325b0f44cd1c1b955e6b12b8a495b HASHES:menhirCST.20240715-6cb2d5658864a6c9bc1fbc226141feed:fb2064cc156fd46d45ab53238fcb465e59456cee598ff9c299713f9ee6e0a9ec HASHES:menhirLib.20240715-6cb2d5658864a6c9bc1fbc226141feed:70a0c5e74533cc43f094a70298a4f8d97a7cdff55aa1d24045b2cdb594c0bdfc HASHES:menhirSdk.20240715-6cb2d5658864a6c9bc1fbc226141feed:124fd02eec85e12993fde98e4b9fb3e0e12d37d25320dff3ef16a62fdaaf3920 HASHES:gadelac.0.6.1-8b1c4048119b8b73852fcfbbd382aec1:f0dc5ea251423b36c29939ce82028e86e72a033395be6400c6bed35959452707 2024-09-12 20:53.47 ---> saved as "ef20b08d72a4ad6de57f1d669807c2d4ee4dddff6c2bd595d7eda7ba35fa2dec" Job succeeded 2024-09-12 21:02.44: gadelac.0.6.1-8b1c4048119b8b73852fcfbbd382aec1 -> f0dc5ea251423b36c29939ce82028e86e72a033395be6400c6bed35959452707 2024-09-12 21:02.44: menhirSdk.20240715-6cb2d5658864a6c9bc1fbc226141feed -> 124fd02eec85e12993fde98e4b9fb3e0e12d37d25320dff3ef16a62fdaaf3920 2024-09-12 21:02.44: menhirLib.20240715-6cb2d5658864a6c9bc1fbc226141feed -> 70a0c5e74533cc43f094a70298a4f8d97a7cdff55aa1d24045b2cdb594c0bdfc 2024-09-12 21:02.44: menhirCST.20240715-6cb2d5658864a6c9bc1fbc226141feed -> fb2064cc156fd46d45ab53238fcb465e59456cee598ff9c299713f9ee6e0a9ec 2024-09-12 21:02.44: menhir.20240715-d94be0a499709b0f514593d5acb0c22b -> 6fdbd0a264f31f6e72186e60588c7b0556f325b0f44cd1c1b955e6b12b8a495b 2024-09-12 21:02.44: Job succeeded