Build:
- 0
2024-09-12 08:35.53: New job: Voodoo prep coccinelle.1.0.8; 07f70b2ac3a15f96b7d8270c01b50a91 2024-09-12 08:35.53: Waiting for resource in pool OCluster 2024-09-12 19:51.09: Waiting for worker… 2024-09-12 19:53.31: Got resource from pool OCluster 2024-09-12 19:53.31: Using cache hint "docs-universe-prep-4.14.2" To reproduce locally: cat > prep.spec <<'END-OF-SPEC' ((build tools ((from ocaml/opam:debian-12-ocaml-4.14@sha256:2135d0c56fc438ebc9377f99b020c06d4ecd43611be356b669914fea73ab2be1) (user (uid 1000) (gid 1000)) (workdir /home/opam) (run (shell "sudo chown opam:opam /home/opam")) (run (network host) (shell "sudo apt-get update && sudo apt-get install -yy m4 pkg-config")) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam pin -ny https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 && opam depext -iy voodoo-prep")) (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")))) (from ocaml/opam:debian-12-ocaml-4.14@sha256:2135d0c56fc438ebc9377f99b020c06d4ecd43611be356b669914fea73ab2be1) (user (uid 1000) (gid 1000)) (workdir /home/opam) (run (shell "sudo chown opam:opam /home/opam")) (run (shell "sudo mkdir /src")) (copy (src packages) (dst /src/packages)) (copy (src repo) (dst /src/repo)) (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) (run (shell "opam repo remove default && opam repo add opam /src")) (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam install dune.3.16.0 ocamlfind.1.9.6")) (env DUNE_CACHE enabled) (env DUNE_CACHE_TRANSPORT direct) (env DUNE_CACHE_DUPLICATION copy) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "(sudo apt update) && ((opam depext -viy coccinelle.1.0.8 stdcompat.19 pyml.20231101 pcre.7.5.0 parmap.1.2.5 ocamlfind.1.9.6 num.1.5-1 menhirSdk.20200211 menhirLib.20200211 menhir.20200211 host-arch-x86_64.1 dune-configurator.3.16.0 dune.3.16.0 csexp.1.5.2 conf-python-3-dev.1 conf-python-3.9.0.0 conf-pkg-config.3 conf-libpcre.1 conf-automake.1 conf-autoconf.0.2 conf-aclocal.2 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')")) (run (shell "opam exec -- ~/voodoo-prep -u coccinelle:07f70b2ac3a15f96b7d8270c01b50a91,menhirSdk:6cb2d5658864a6c9bc1fbc226141feed,menhirLib:6cb2d5658864a6c9bc1fbc226141feed,menhir:465d21a37549788fa83962aa1a6ea602")) (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.686232') && (for DATA in prep/universes/465d21a37549788fa83962aa1a6ea602/menhir/20200211,menhir.20200211-465d21a37549788fa83962aa1a6ea602,menhir.20200211 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20200211,menhirLib.20200211-6cb2d5658864a6c9bc1fbc226141feed,menhirLib.20200211 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211,menhirSdk.20200211-6cb2d5658864a6c9bc1fbc226141feed,menhirSdk.20200211 prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8,coccinelle.1.0.8-07f70b2ac3a15f96b7d8270c01b50a91,coccinelle.1.0.8; 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/465d21a37549788fa83962aa1a6ea602/menhir/20200211,menhir.20200211-465d21a37549788fa83962aa1a6ea602,menhir.20200211 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20200211,menhirLib.20200211-6cb2d5658864a6c9bc1fbc226141feed,menhirLib.20200211 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211,menhirSdk.20200211-6cb2d5658864a6c9bc1fbc226141feed,menhirSdk.20200211 prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8,coccinelle.1.0.8-07f70b2ac3a15f96b7d8270c01b50a91,coccinelle.1.0.8; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/465d21a37549788fa83962aa1a6ea602/menhir/20200211,menhir.20200211-465d21a37549788fa83962aa1a6ea602,menhir.20200211 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20200211,menhirLib.20200211-6cb2d5658864a6c9bc1fbc226141feed,menhirLib.20200211 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211,menhirSdk.20200211-6cb2d5658864a6c9bc1fbc226141feed,menhirSdk.20200211 prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8,coccinelle.1.0.8-07f70b2ac3a15f96b7d8270c01b50a91,coccinelle.1.0.8; 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 b8fca17f66769d2393cd15cf8185535a3b49751a --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 19:53.31: RETRYING: 2024-09-12/083553-voodoo-prep-73f221 Number of retries: 0 (retriable error condition) Building on doris.caelum.ci.dev All commits already cached Updating files: 66% (21329/32042) Updating files: 67% (21469/32042) Updating files: 68% (21789/32042) Updating files: 69% (22109/32042) Updating files: 70% (22430/32042) Updating files: 71% (22750/32042) Updating files: 72% (23071/32042) Updating files: 73% (23391/32042) Updating files: 74% (23712/32042) Updating files: 75% (24032/32042) Updating files: 76% (24352/32042) Updating files: 77% (24673/32042) Updating files: 78% (24993/32042) Updating files: 79% (25314/32042) Updating files: 80% (25634/32042) Updating files: 81% (25955/32042) Updating files: 82% (26275/32042) Updating files: 83% (26595/32042) Updating files: 84% (26916/32042) Updating files: 85% (27236/32042) Updating files: 86% (27557/32042) Updating files: 87% (27877/32042) Updating files: 88% (28197/32042) Updating files: 89% (28518/32042) Updating files: 90% (28838/32042) Updating files: 91% (29159/32042) Updating files: 92% (29479/32042) Updating files: 93% (29800/32042) Updating files: 94% (30120/32042) Updating files: 95% (30440/32042) Updating files: 96% (30761/32042) Updating files: 97% (31081/32042) Updating files: 98% (31402/32042) Updating files: 99% (31722/32042) Updating files: 100% (32042/32042) Updating files: 100% (32042/32042), done. HEAD is now at b8fca17f66 conf-automake: add cygwin support (build "tools" …) (from ocaml/opam:debian-12-ocaml-4.14@sha256:2135d0c56fc438ebc9377f99b020c06d4ecd43611be356b669914fea73ab2be1) 2024-09-12 19:46.29 ---> 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 19:46.29 ---> 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 19:46.29 ---> 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 19:46.29 ---> using "4b3eae20ee556ce466265d261fd5d7184b7506cfcf8217eea177582bdd289d8b" from cache /home/opam: (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")) 2024-09-12 19:46.29 ---> using "ff9243a4acf95fb20c4e62f411801f15f8ec3c4e6fcc150de31a9042ea281b68" from cache 2024-09-12 19:46.29 --> finished "tools" (from ocaml/opam:debian-12-ocaml-4.14@sha256:2135d0c56fc438ebc9377f99b020c06d4ecd43611be356b669914fea73ab2be1) 2024-09-12 19:46.29 ---> 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 19:46.29 ---> using "b735425389b73ff0dbaabb86e65c55ba3d4affc0ec07062c4ba9fb8523aca05a" from cache /home/opam: (run (shell "sudo mkdir /src")) 2024-09-12 19:46.29 ---> using "589fc247a47cee4820aea953ca0c6137d5c05903e8d36d67782083bf9b53dcd0" from cache /home/opam: (copy (src packages) (dst /src/packages)) 2024-09-12 19:46.30 ---> using "9a8297bb98e3495d87746d53e22de1d77143f521d8f8a84c70c2a419afa4f079" from cache /home/opam: (copy (src repo) (dst /src/repo)) 2024-09-12 19:46.30 ---> using "ca97e9fd32910d1a2e1ec23a95404e41f3ce36d2e7d217ee4e0226b5dac20626" 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 19:46.44 ---> saved as "0251c0c11cf56af6a573380a1054aea2699abb11016601b4332832e9a6f85003" /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 19:47.05 ---> saved as "54a4fa965abf9592041cdba7e3ba4f7fdb31600614873434640d6a9d0c520aae" /home/opam: (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) 2024-09-12 19:47.08 ---> saved as "69b29a5624e0ddd61b1ae6cec6a5328fb073380fa143d0f33ac215189a320140" /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam install dune.3.16.0 ocamlfind.1.9.6")) The following actions will be performed: - install dune 3.16.0 - install ocamlfind 1.9.6 ===== 2 to install ===== <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved ocamlfind.1.9.6 (cached) -> retrieved dune.3.16.0 (cached) -> installed ocamlfind.1.9.6 -> installed dune.3.16.0 Done. # Run eval $(opam env) to update the current shell environment 2024-09-12 19:47.43 ---> saved as "6c4ffd121cd1216d8fca6c4250452fe59f1301532542ec684ff040ab5722209e" /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 coccinelle.1.0.8 stdcompat.19 pyml.20231101 pcre.7.5.0 parmap.1.2.5 ocamlfind.1.9.6 num.1.5-1 menhirSdk.20200211 menhirLib.20200211 menhir.20200211 host-arch-x86_64.1 dune-configurator.3.16.0 dune.3.16.0 csexp.1.5.2 conf-python-3-dev.1 conf-python-3.9.0.0 conf-pkg-config.3 conf-libpcre.1 conf-automake.1 conf-autoconf.0.2 conf-aclocal.2 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 (847 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 coccinelle.1.0.8 stdcompat.19 pyml.20231101 pcre.7.5.0 parmap.1.2.5 ocamlfind.1.9.6 num.1.5-1 menhirSdk.20200211 menhirLib.20200211 menhir.20200211 host-arch-x86_64.1 dune-configurator.3.16.0 dune.3.16.0 csexp.1.5.2 conf-python-3-dev.1 conf-python-3.9.0.0 conf-pkg-config.3 conf-libpcre.1 conf-automake.1 conf-autoconf.0.2 conf-aclocal.2" Since version 2.1, opam now handles external dependencies alongside OCaml ones, and the `depext` plugin interface is provided for backwards compatibility only. Consider using your usual `opam install` command to install both OCaml and system dependencies, or `opam install <pkg> --depext-only` if you want to only install external dependencies. # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # The following system packages are needed: autoconf automake libpcre3-dev pkg-config python3 python3-dev [NOTE] Package dune is already installed (current version is 3.16.0). [NOTE] Package host-arch-x86_64 is already installed (current version is 1). [NOTE] Package ocamlfind is already installed (current version is 1.9.6). The following actions will be performed: - install conf-python-3 9.0.0 - install menhirLib 20200211 - install conf-pkg-config 3 - install conf-python-3-dev 1 - install num 1.5-1 - install conf-autoconf 0.2 - install csexp 1.5.2 - install menhirSdk 20200211 - install conf-libpcre 1 - install stdcompat 19 - install conf-automake 1 - install dune-configurator 3.16.0 - install menhir 20200211 - install pyml 20231101 - install conf-aclocal 2 - install pcre 7.5.0 - install parmap 1.2.5 - install coccinelle 1.0.8 ===== 18 to install ===== The following system packages will first need to be installed: autoconf automake libpcre3-dev pkg-config python3 python3-dev <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><> Let opam run your package manager to install the required system packages? (answer 'n' for other options) [Y/n] y + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "autoconf" "automake" "libpcre3-dev" "pkg-config" "python3" "python3-dev" - debconf: delaying package configuration, since apt-utils is not installed - Selecting previously unselected package libpython3.11-minimal: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 .../libpython3.11-minimal_3.11.2-6+deb12u3_amd64.deb ... - Unpacking libpython3.11-minimal:amd64 (3.11.2-6+deb12u3) ... - Selecting previously unselected package python3.11-minimal. - Preparing to unpack .../python3.11-minimal_3.11.2-6+deb12u3_amd64.deb ... - Unpacking python3.11-minimal (3.11.2-6+deb12u3) ... - Setting up libpython3.11-minimal:amd64 (3.11.2-6+deb12u3) ... - Setting up python3.11-minimal (3.11.2-6+deb12u3) ... - Selecting previously unselected package python3-minimal. - (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 ... 19040 files and directories currently installed.) - Preparing to unpack .../python3-minimal_3.11.2-1+b1_amd64.deb ... - Unpacking python3-minimal (3.11.2-1+b1) ... - Selecting previously unselected package media-types. - Preparing to unpack .../media-types_10.0.0_all.deb ... - Unpacking media-types (10.0.0) ... - Selecting previously unselected package libpython3.11-stdlib:amd64. - Preparing to unpack .../libpython3.11-stdlib_3.11.2-6+deb12u3_amd64.deb ... - Unpacking libpython3.11-stdlib:amd64 (3.11.2-6+deb12u3) ... - Selecting previously unselected package python3.11. - Preparing to unpack .../python3.11_3.11.2-6+deb12u3_amd64.deb ... - Unpacking python3.11 (3.11.2-6+deb12u3) ... - Selecting previously unselected package libpython3-stdlib:amd64. - Preparing to unpack .../libpython3-stdlib_3.11.2-1+b1_amd64.deb ... - Unpacking libpython3-stdlib:amd64 (3.11.2-1+b1) ... - Setting up python3-minimal (3.11.2-1+b1) ... - Selecting previously unselected package python3. - (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 ... 19450 files and directories currently installed.) - Preparing to unpack .../00-python3_3.11.2-1+b1_amd64.deb ... - Unpacking python3 (3.11.2-1+b1) ... - Selecting previously unselected package m4. - Preparing to unpack .../01-m4_1.4.19-3_amd64.deb ... - Unpacking m4 (1.4.19-3) ... - Selecting previously unselected package autoconf. - Preparing to unpack .../02-autoconf_2.71-3_all.deb ... - Unpacking autoconf (2.71-3) ... - Selecting previously unselected package autotools-dev. - Preparing to unpack .../03-autotools-dev_20220109.1_all.deb ... - Unpacking autotools-dev (20220109.1) ... - Selecting previously unselected package automake. - Preparing to unpack .../04-automake_1%3a1.16.5-1.3_all.deb ... - Unpacking automake (1:1.16.5-1.3) ... - Selecting previously unselected package javascript-common. - Preparing to unpack .../05-javascript-common_11+nmu1_all.deb ... - Unpacking javascript-common (11+nmu1) ... - Selecting previously unselected package libexpat1-dev:amd64. - Preparing to unpack .../06-libexpat1-dev_2.5.0-1_amd64.deb ... - Unpacking libexpat1-dev:amd64 (2.5.0-1) ... - Selecting previously unselected package libjs-jquery. - Preparing to unpack .../07-libjs-jquery_3.6.1+dfsg+~3.5.14-1_all.deb ... - Unpacking libjs-jquery (3.6.1+dfsg+~3.5.14-1) ... - Selecting previously unselected package libjs-underscore. - Preparing to unpack .../08-libjs-underscore_1.13.4~dfsg+~1.11.4-3_all.deb ... - Unpacking libjs-underscore (1.13.4~dfsg+~1.11.4-3) ... - Selecting previously unselected package libjs-sphinxdoc. - Preparing to unpack .../09-libjs-sphinxdoc_5.3.0-4_all.deb ... - Unpacking libjs-sphinxdoc (5.3.0-4) ... - Selecting previously unselected package libpcre16-3:amd64. - Preparing to unpack .../10-libpcre16-3_2%3a8.39-15_amd64.deb ... - Unpacking libpcre16-3:amd64 (2:8.39-15) ... - Selecting previously unselected package libpcre3:amd64. - Preparing to unpack .../11-libpcre3_2%3a8.39-15_amd64.deb ... - Unpacking libpcre3:amd64 (2:8.39-15) ... - Selecting previously unselected package libpcre32-3:amd64. - Preparing to unpack .../12-libpcre32-3_2%3a8.39-15_amd64.deb ... - Unpacking libpcre32-3:amd64 (2:8.39-15) ... - Selecting previously unselected package libpcrecpp0v5:amd64. - Preparing to unpack .../13-libpcrecpp0v5_2%3a8.39-15_amd64.deb ... - Unpacking libpcrecpp0v5:amd64 (2:8.39-15) ... - Selecting previously unselected package libpcre3-dev:amd64. - Preparing to unpack .../14-libpcre3-dev_2%3a8.39-15_amd64.deb ... - Unpacking libpcre3-dev:amd64 (2:8.39-15) ... - Selecting previously unselected package libpkgconf3:amd64. - Preparing to unpack .../15-libpkgconf3_1.8.1-1_amd64.deb ... - Unpacking libpkgconf3:amd64 (1.8.1-1) ... - Selecting previously unselected package libpython3.11:amd64. - Preparing to unpack .../16-libpython3.11_3.11.2-6+deb12u3_amd64.deb ... - Unpacking libpython3.11:amd64 (3.11.2-6+deb12u3) ... - Selecting previously unselected package zlib1g-dev:amd64. - Preparing to unpack .../17-zlib1g-dev_1%3a1.2.13.dfsg-1_amd64.deb ... - Unpacking zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ... - Selecting previously unselected package libpython3.11-dev:amd64. - Preparing to unpack .../18-libpython3.11-dev_3.11.2-6+deb12u3_amd64.deb ... - Unpacking libpython3.11-dev:amd64 (3.11.2-6+deb12u3) ... - Selecting previously unselected package libpython3-dev:amd64. - Preparing to unpack .../19-libpython3-dev_3.11.2-1+b1_amd64.deb ... - Unpacking libpython3-dev:amd64 (3.11.2-1+b1) ... - Selecting previously unselected package pkgconf-bin. - Preparing to unpack .../20-pkgconf-bin_1.8.1-1_amd64.deb ... - Unpacking pkgconf-bin (1.8.1-1) ... - Selecting previously unselected package pkgconf:amd64. - Preparing to unpack .../21-pkgconf_1.8.1-1_amd64.deb ... - Unpacking pkgconf:amd64 (1.8.1-1) ... - Selecting previously unselected package pkg-config:amd64. - Preparing to unpack .../22-pkg-config_1.8.1-1_amd64.deb ... - Unpacking pkg-config:amd64 (1.8.1-1) ... - Selecting previously unselected package python3.11-dev. - Preparing to unpack .../23-python3.11-dev_3.11.2-6+deb12u3_amd64.deb ... - Unpacking python3.11-dev (3.11.2-6+deb12u3) ... - Selecting previously unselected package python3-lib2to3. - Preparing to unpack .../24-python3-lib2to3_3.11.2-3_all.deb ... - Unpacking python3-lib2to3 (3.11.2-3) ... - Selecting previously unselected package python3-distutils. - Preparing to unpack .../25-python3-distutils_3.11.2-3_all.deb ... - Unpacking python3-distutils (3.11.2-3) ... - Selecting previously unselected package python3-dev. - Preparing to unpack .../26-python3-dev_3.11.2-1+b1_amd64.deb ... - Unpacking python3-dev (3.11.2-1+b1) ... - Setting up media-types (10.0.0) ... - Setting up javascript-common (11+nmu1) ... - Setting up libpcre16-3:amd64 (2:8.39-15) ... - Setting up libpython3.11-stdlib:amd64 (3.11.2-6+deb12u3) ... - Setting up m4 (1.4.19-3) ... - Setting up libpcre3:amd64 (2:8.39-15) ... - Setting up autotools-dev (20220109.1) ... - Setting up libpkgconf3:amd64 (1.8.1-1) ... - Setting up libexpat1-dev:amd64 (2.5.0-1) ... - Setting up libpcre32-3:amd64 (2:8.39-15) ... - Setting up pkgconf-bin (1.8.1-1) ... - Setting up autoconf (2.71-3) ... - Setting up zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ... - Setting up libjs-jquery (3.6.1+dfsg+~3.5.14-1) ... - Setting up libpython3-stdlib:amd64 (3.11.2-1+b1) ... - Setting up libjs-underscore (1.13.4~dfsg+~1.11.4-3) ... - Setting up automake (1:1.16.5-1.3) ... - update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode - Setting up libpcrecpp0v5:amd64 (2:8.39-15) ... - Setting up python3.11 (3.11.2-6+deb12u3) ... - Setting up libpython3.11:amd64 (3.11.2-6+deb12u3) ... - Setting up libpcre3-dev:amd64 (2:8.39-15) ... - Setting up python3 (3.11.2-1+b1) ... - running python rtupdate hooks for python3.11... - running python post-rtupdate hooks for python3.11... - Setting up pkgconf:amd64 (1.8.1-1) ... - Setting up libpython3.11-dev:amd64 (3.11.2-6+deb12u3) ... - Setting up pkg-config:amd64 (1.8.1-1) ... - Setting up libjs-sphinxdoc (5.3.0-4) ... - Setting up python3-lib2to3 (3.11.2-3) ... - Setting up python3-distutils (3.11.2-3) ... - Setting up libpython3-dev:amd64 (3.11.2-1+b1) ... - Setting up python3.11-dev (3.11.2-6+deb12u3) ... - Setting up python3-dev (3.11.2-1+b1) ... - Processing triggers for libc-bin (2.36-9+deb12u8) ... <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/54: Processing 2/54: Processing 3/54: Processing 4/54: Processing 5/54: Processing 6/54: -> retrieved conf-python-3.9.0.0 (cached) Processing 7/54: -> retrieved conf-python-3-dev.1 (cached) Processing 8/54: Processing 9/54: Processing 10/54: Processing 11/54: [conf-autoconf: autoconf] Processing 12/54: [conf-autoconf: autoconf] [conf-pkg-config: pkg-config] Processing 13/54: [conf-autoconf: autoconf] [conf-pkg-config: pkg-config] [conf-python-3: python3 test.py] Processing 14/54: [conf-autoconf: autoconf] [conf-pkg-config: pkg-config] [conf-python-3: python3 test.py] [conf-python-3-dev: make] -> retrieved coccinelle.1.0.8 (cached) Processing 15/54: [conf-autoconf: autoconf] [conf-pkg-config: pkg-config] [conf-python-3: python3 test.py] [conf-python-3-dev: make] -> retrieved csexp.1.5.2 (cached) Processing 16/54: [conf-autoconf: autoconf] [conf-pkg-config: pkg-config] [conf-python-3: python3 test.py] [conf-python-3-dev: make] Processing 17/54: [conf-autoconf: autoconf] [conf-pkg-config: pkg-config] [conf-python-3: python3 test.py] [conf-python-3-dev: make] [csexp: dune build] -> retrieved dune-configurator.3.16.0 (cached) Processing 18/54: [conf-autoconf: autoconf] [conf-pkg-config: pkg-config] [conf-python-3: python3 test.py] [conf-python-3-dev: make] [csexp: dune build] - autoconf (GNU Autoconf) 2.71 - Copyright (C) 2021 Free Software Foundation, Inc. - License GPLv3+/Autoconf: GNU GPL version 3 or later - <https://gnu.org/licenses/gpl.html>, <https://gnu.org/licenses/exceptions.html> - This is free software: you are free to change and redistribute it. - There is NO WARRANTY, to the extent permitted by law. - - Written by David J. MacKenzie and Akim Demaille. -> compiled conf-autoconf.0.2 Processing 18/54: [conf-pkg-config: pkg-config] [conf-python-3: python3 test.py] [conf-python-3-dev: make] [csexp: dune build] -> installed conf-autoconf.0.2 Processing 19/54: [conf-pkg-config: pkg-config] [conf-python-3: python3 test.py] [conf-python-3-dev: make] [csexp: dune build] Processing 20/54: [conf-automake: automake] [conf-pkg-config: pkg-config] [conf-python-3: python3 test.py] [conf-python-3-dev: make] [csexp: dune build] - usage: pkgconf [OPTIONS] [LIBRARIES] - - basic options: - - --help this message - --about print pkgconf version and license to stdout - --version print supported pkg-config version to stdout - --atleast-pkgconfig-version check whether or not pkgconf is compatible - with a specified pkg-config version - --errors-to-stdout print all errors on stdout instead of stderr - --print-errors ensure all errors are printed - --short-errors be less verbose about some errors - --silence-errors explicitly be silent about errors - --list-all list all known packages - --list-package-names list all known package names - --simulate simulate walking the calculated dependency graph - --no-cache do not cache already seen packages when - walking the dependency graph - --log-file=filename write an audit log to a specified file - --with-path=path adds a directory to the search path - --define-prefix override the prefix variable with one that is guessed based on - the location of the .pc file - --dont-define-prefix do not override the prefix variable under any circumstances - --prefix-variable=varname sets the name of the variable that pkgconf considers - to be the package prefix - --relocate=path relocates a path and exits (mostly for testsuite) - --dont-relocate-paths disables path relocation support - - cross-compilation personality support: - - --personality=triplet|filename sets the personality to 'triplet' or a file named 'filename' - --dump-personality dumps details concerning selected personality - - checking specific pkg-config database entries: - - --atleast-version require a specific version of a module - --exact-version require an exact version of a module - --max-version require a maximum version of a module - --exists check whether or not a module exists - --uninstalled check whether or not an uninstalled module will be used - --no-uninstalled never use uninstalled modules when satisfying dependencies - --no-provides do not use 'provides' rules to resolve dependencies - --maximum-traverse-depth maximum allowed depth for dependency graph - --static be more aggressive when computing dependency graph - (for static linking) - --shared use a simplified dependency graph (usually default) - --pure optimize a static dependency graph as if it were a normal - dependency graph - --env-only look only for package entries in PKG_CONFIG_PATH - --ignore-conflicts ignore 'conflicts' rules in modules - --validate validate specific .pc files for correctness - - querying specific pkg-config database fields: - - --define-variable=varname=value define variable 'varname' as 'value' - --variable=varname print specified variable entry to stdout - --cflags print required CFLAGS to stdout - --cflags-only-I print required include-dir CFLAGS to stdout - --cflags-only-other print required non-include-dir CFLAGS to stdout - --libs print required linker flags to stdout - --libs-only-L print required LDPATH linker flags to stdout - --libs-only-l print required LIBNAME linker flags to stdout - --libs-only-other print required other linker flags to stdout - --print-requires print required dependency frameworks to stdout - --print-requires-private print required dependency frameworks for static - linking to stdout - --print-provides print provided dependencies to stdout - --print-variables print all known variables in module to stdout - --digraph print entire dependency graph in graphviz 'dot' format - --keep-system-cflags keep -I/usr/include entries in cflags output - --keep-system-libs keep -L/lib:/lib/i386-linux-gnu:/lib/x86_64-linux-gnu:/lib/x86_64-linux-gnux32:/lib32:/libx32:/usr/lib:/usr/lib/i386-linux-gnu:/usr/lib/x86_64-linux-gnu:/usr/lib/x86_64-linux-gnux32:/usr/lib32:/usr/libx32 entries in libs output - --path show the exact filenames for any matching .pc files - --modversion print the specified module's version to stdout - --internal-cflags do not filter 'internal' cflags from output - - filtering output: - - --msvc-syntax print translatable fragments in MSVC syntax - --fragment-filter=types filter output fragments to the specified types - - report bugs to <https://github.com/pkgconf/pkgconf/issues/new>. -> compiled conf-pkg-config.3 Processing 20/54: [conf-automake: automake] [conf-python-3: python3 test.py] [conf-python-3-dev: make] [csexp: dune build] -> installed conf-pkg-config.3 Processing 21/54: [conf-automake: automake] [conf-python-3: python3 test.py] [conf-python-3-dev: make] [csexp: dune build] Processing 22/54: [conf-automake: automake] [conf-libpcre: pkg-config libpcre] [conf-python-3: python3 test.py] [conf-python-3-dev: make] [csexp: dune build] - python-3 OK -> compiled conf-python-3.9.0.0 Processing 22/54: [conf-automake: automake] [conf-libpcre: pkg-config libpcre] [conf-python-3-dev: make] [csexp: dune build] -> installed conf-python-3.9.0.0 Processing 23/54: [conf-automake: automake] [conf-libpcre: pkg-config libpcre] [conf-python-3-dev: make] [csexp: dune build] - cc `python3-config --includes` -o test test.c -> compiled conf-python-3-dev.1 Processing 23/54: [conf-automake: automake] [conf-libpcre: pkg-config libpcre] [csexp: dune build] -> installed conf-python-3-dev.1 Processing 24/54: [conf-automake: automake] [conf-libpcre: pkg-config libpcre] [csexp: dune build] -> retrieved menhir.20200211 (cached) Processing 25/54: [conf-automake: automake] [conf-libpcre: pkg-config libpcre] [csexp: dune build] -> retrieved menhirLib.20200211 (cached) Processing 26/54: [conf-automake: automake] [conf-libpcre: pkg-config libpcre] [csexp: dune build] Processing 27/54: [conf-automake: automake] [conf-libpcre: pkg-config libpcre] [csexp: dune build] [menhirLib: dune build] -> compiled csexp.1.5.2 Processing 27/54: [conf-automake: automake] [conf-libpcre: pkg-config libpcre] [menhirLib: dune build] -> installed csexp.1.5.2 Processing 28/54: [conf-automake: automake] [conf-libpcre: pkg-config libpcre] [menhirLib: dune build] Processing 29/54: [conf-automake: automake] [conf-libpcre: pkg-config libpcre] [dune-configurator: rm] [menhirLib: dune build] -> retrieved menhirSdk.20200211 (cached) Processing 30/54: [conf-automake: automake] [conf-libpcre: pkg-config libpcre] [dune-configurator: rm] [menhirLib: dune build] Processing 31/54: [conf-automake: automake] [conf-libpcre: pkg-config libpcre] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] - Usage: /usr/bin/automake [OPTION]... [Makefile]... - - Generate Makefile.in for configure from Makefile.am. - - Operation modes: - --help print this help, then exit - --version print version number, then exit - -v, --verbose verbosely list files processed - --no-force only update Makefile.in's that are out of date - -W, --warnings=CATEGORY report the warnings falling in CATEGORY - - Dependency tracking: - -i, --ignore-deps disable dependency tracking code - --include-deps enable dependency tracking code - - Flavors: - --foreign set strictness to foreign - --gnits set strictness to gnits - --gnu set strictness to gnu - - Library files: - -a, --add-missing add missing standard files to package - --libdir=DIR set directory storing library files - --print-libdir print directory storing library files - -c, --copy with -a, copy missing files (default is symlink) - -f, --force-missing force update of standard files - - Warning categories include: - cross cross compilation issues - gnu GNU coding standards (default in gnu and gnits modes) - obsolete obsolete features or constructions (default) - override user redefinitions of Automake rules or variables - portability portability issues (default in gnu and gnits modes) - portability-recursive nested Make variables (default with -Wportability) - extra-portability extra portability issues related to obscure tools - syntax dubious syntactic constructs (default) - unsupported unsupported or incomplete features (default) - all all the warnings - no-CATEGORY turn off warnings in CATEGORY - none turn off all the warnings - error treat warnings as errors - - Files automatically distributed if found (always): - ABOUT-GNU TODO install-sh mdate-sh - ABOUT-NLS ar-lib libversion.in missing - BACKLOG compile ltcf-c.sh mkinstalldirs - COPYING config.guess ltcf-cxx.sh py-compile - COPYING.DOC config.rpath ltcf-gcj.sh texinfo.tex - COPYING.LESSER config.sub ltconfig ylwrap - COPYING.LIB depcomp ltmain.sh - - Files automatically distributed if found (as .md if needed): - AUTHORS[.md] INSTALL[.md] README[.md] THANKS[.md] - ChangeLog[.md] NEWS[.md] - - Files automatically distributed if found (under certain conditions): - README-alpha[.md] config.h.bot configure configure.in - acconfig.h config.h.top configure.ac stamp-vti - aclocal.m4 - - Report bugs to <bug-automake@gnu.org>. - GNU Automake home page: <https://www.gnu.org/software/automake/>. - General help using GNU software: <https://www.gnu.org/gethelp/>. -> compiled conf-automake.1 Processing 31/54: [conf-libpcre: pkg-config libpcre] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] -> installed conf-automake.1 Processing 32/54: [conf-libpcre: pkg-config libpcre] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] Processing 33/54: [conf-aclocal: aclocal] [conf-libpcre: pkg-config libpcre] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] -> compiled conf-libpcre.1 Processing 33/54: [conf-aclocal: aclocal] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] -> installed conf-libpcre.1 Processing 34/54: [conf-aclocal: aclocal] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] -> retrieved num.1.5-1 (cached) Processing 35/54: [conf-aclocal: aclocal] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] [num: patch] applying num-in-findlib-dir.patch Processing 36/54: [conf-aclocal: aclocal] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] [num: patch] -> retrieved parmap.1.2.5 (cached) Processing 37/54: [conf-aclocal: aclocal] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] [num: patch] - (cd _build/default/lib/pack && ./pack.exe) - Creating menhirLib.ml... - Creating menhirLib.mli... -> compiled menhirLib.20200211 Processing 37/54: [conf-aclocal: aclocal] [dune-configurator: rm] [menhirSdk: dune build] [num: patch] -> installed menhirLib.20200211 Processing 38/54: [conf-aclocal: aclocal] [dune-configurator: rm] [menhirSdk: dune build] [num: patch] -> retrieved pcre.7.5.0 (cached) - aclocal (GNU automake) 1.16.5 - Copyright (C) 2021 Free Software Foundation, Inc. - License GPLv2+: GNU GPL version 2 or later <https://gnu.org/licenses/gpl-2.0.html> - This is free software: you are free to change and redistribute it. - There is NO WARRANTY, to the extent permitted by law. - - Written by Tom Tromey <tromey@redhat.com> - and Alexandre Duret-Lutz <adl@gnu.org>. -> compiled conf-aclocal.2 Processing 38/54: [dune-configurator: rm] [menhirSdk: dune build] [num: patch] -> installed conf-aclocal.2 Processing 39/54: [dune-configurator: rm] [menhirSdk: dune build] [num: patch] -> retrieved pyml.20231101 (cached) Processing 39/54: [dune-configurator: rm] [menhirSdk: dune build] [num: make opam-legacy] -> retrieved stdcompat.19 (cached) Processing 40/54: [dune-configurator: rm] [menhirSdk: dune build] [num: make opam-legacy] [stdcompat: dune build] Processing 40/54: [dune-configurator: dune build] [menhirSdk: dune build] [num: make opam-legacy] [stdcompat: dune build] -> compiled menhirSdk.20200211 Processing 40/54: [dune-configurator: dune build] [num: make opam-legacy] [stdcompat: dune build] -> installed menhirSdk.20200211 Processing 41/54: [dune-configurator: dune build] [num: make opam-legacy] [stdcompat: dune build] Processing 42/54: [dune-configurator: dune build] [menhir: dune build] [num: make opam-legacy] [stdcompat: dune build] -> compiled dune-configurator.3.16.0 Processing 42/54: [menhir: dune build] [num: make opam-legacy] [stdcompat: dune build] -> installed dune-configurator.3.16.0 Processing 43/54: [menhir: dune build] [num: make opam-legacy] [stdcompat: dune build] Processing 44/54: [menhir: dune build] [num: make opam-legacy] [parmap: dune build] [stdcompat: dune build] Processing 45/54: [menhir: dune build] [num: make opam-legacy] [parmap: dune build] [pcre: dune build] [stdcompat: dune build] - /usr/bin/make -C src all - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/num.1.5-1/src' - ocamlc -ccopt -DBNG_ARCH_amd64 -c bng.c - ocamlc -ccopt -DBNG_ARCH_amd64 -c nat_stubs.c - ocamlmklib -oc nums bng.o nat_stubs.o - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.ml - ocamlmklib -o nums -oc nums -linkall int_misc.cmo nat.cmo big_int.cmo arith_flags.cmo ratio.cmo num.cmo arith_status.cmo - cp ../toplevel/num_top_printers.mli ../toplevel/num_top.mli ../toplevel/num_top_printers.ml ../toplevel/num_top.ml . - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -a -o num_top.cma num_top_printers.cmo num_top.cmo - echo 'version = "1.6~dev"' > META.top - cat META.num-top.in >> META.top - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.ml - ocamlmklib -o nums -oc nums -linkall int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -I . -shared -o nums.cmxs nums.cmxa - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/num.1.5-1/src' - cp src/num-legacy.install num.install -> compiled num.1.5-1 Processing 45/54: [menhir: dune build] [parmap: dune build] [pcre: dune build] [stdcompat: dune build] -> installed num.1.5-1 Processing 46/54: [menhir: dune build] [parmap: dune build] [pcre: dune build] [stdcompat: dune build] -> compiled pcre.7.5.0 Processing 46/54: [menhir: dune build] [parmap: dune build] [stdcompat: dune build] -> installed pcre.7.5.0 Processing 47/54: [menhir: dune build] [parmap: dune build] [stdcompat: dune build] -> compiled parmap.1.2.5 Processing 47/54: [menhir: dune build] [stdcompat: dune build] -> installed parmap.1.2.5 Processing 48/54: [menhir: dune build] [stdcompat: dune build] - (cd _build/default/src/stage2 && .bin/menhir --no-pager --table --fixed-exception parser.mly --compare-errors parserMessages.auto.messages --compare-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.check - Read 101 sample input sentences and 101 error messages. - Read 101 sample input sentences and 48 error messages. - (cd _build/default && src/stage2/.bin/menhir --no-pager --table --fixed-exception --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 194 states. - The grammar is not SLR(1) -- 5 states have a conflict. - The construction mode is no-pager. - Built an LR(1) automaton with 298 states. - One shift/reduce conflict was silently solved. - Extra reductions on error were added in 40 states. - Priority played a role in 0 of these states. - 152 out of 298 states have a default reduction. - 102 out of 298 states are represented. - 44 out of 96 symbols keep track of their start position. - 48 out of 96 symbols keep track of their end position. - The action table is 11324 entries; 1610 non-zero; 1359 compressed. - The action table occupies roughly 2816 bytes. - The goto table is 16986 entries; 329 non-zero; 636 compressed. - The goto table occupies roughly 1368 bytes. - The error table occupies roughly 1448 bytes. - The default_reduction table occupies roughly 336 bytes. - The lhs table occupies roughly 168 bytes. - The trace table occupies roughly 8 bytes. - (cd _build/default/src/stage2 && .bin/menhir --no-pager --table --fixed-exception parser.mly --compile-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.ml - Read 101 sample input sentences and 48 error messages. -> compiled menhir.20200211 Processing 48/54: [stdcompat: dune build] -> installed menhir.20200211 Processing 49/54: [stdcompat: dune build] + /home/opam/.opam/4.14/bin/dune "build" "-p" "stdcompat" "-j" "39" (CWD=/home/opam/.opam/4.14/.opam-switch/build/stdcompat.19) - (cd _build/default && ./configure) - checking for a BSD-compatible install... /usr/bin/install -c - checking whether build environment is sane... yes - checking for a race-free mkdir -p... /usr/bin/mkdir -p - checking for gawk... no - checking for mawk... mawk - checking whether make sets $(MAKE)... yes - checking whether make supports nested variables... yes - checking for ocaml... ocaml - checking for ocamlc.opt... ocamlc.opt - checking OCaml version... 4.14.2 - checking for ocamlfind... ocamlfind - checking for ocamlfind package result... no - checking for ocamlfind package seq... no - checking for ocamlfind package uchar... no - checking whether make supports the include directive... yes (GNU style) - checking for gcc... gcc - checking whether the C compiler works... yes - checking for C compiler default output file name... a.out - checking for suffix of executables... - checking whether we are cross compiling... no - checking for suffix of object files... o - checking whether the compiler supports GNU C... yes - checking whether gcc accepts -g... yes - checking for gcc option to enable C11 features... none needed - checking whether gcc understands -c and -o together... yes - checking dependency style of gcc... none - checking for stdio.h... yes - checking for stdlib.h... yes - checking for string.h... yes - checking for inttypes.h... yes - checking for stdint.h... yes - checking for strings.h... yes - checking for sys/stat.h... yes - checking for sys/types.h... yes - checking for unistd.h... yes - checking whether byte ordering is bigendian... no - checking OCaml target OS type... Unix - checking for flambda2... false - checking that generated files are newer than configure... done - configure: creating ./config.status - config.status: creating META - config.status: creating Makefile - config.status: creating stdcompat__hashtbl_ext.mli - config.status: creating stdcompat__hashtbl_ext.ml - config.status: creating stdcompat__init.mli - config.status: creating stdcompat__init.ml - config.status: creating stdcompat__root.mli - config.status: creating stdcompat__root.ml - config.status: creating stdcompat__tools.mli - config.status: creating stdcompat__tools.ml - config.status: creating stdcompat__native.ml_byte - config.status: creating stdcompat__native.ml_native - config.status: creating stdcompat_tests.ml - config.status: creating stdcompat.h - config.status: creating stdcompat__stubs.c - config.status: creating stdcompat__pervasives_s.mli - config.status: creating stdcompat__arg_s.mli - config.status: creating stdcompat__array_s.mli - config.status: creating stdcompat__arrayLabels_s.mli - config.status: creating stdcompat__atomic_s.mli - config.status: creating stdcompat__bool_s.mli - config.status: creating stdcompat__buffer_s.mli - config.status: creating stdcompat__bytes_s.mli - config.status: creating stdcompat__bytesLabels_s.mli - config.status: creating stdcompat__char_s.mli - config.status: creating stdcompat__digest_s.mli - config.status: creating stdcompat__either_s.mli - config.status: creating stdcompat__ephemeron_s.mli - config.status: creating stdcompat__filename_s.mli - config.status: creating stdcompat__float_s.mli - config.status: creating stdcompat__format_s.mli - config.status: creating stdcompat__fun_s.mli - config.status: creating stdcompat__hashtbl_s.mli - config.status: creating stdcompat__in_channel_s.mli - config.status: creating stdcompat__int_s.mli - config.status: creating stdcompat__int32_s.mli - config.status: creating stdcompat__int64_s.mli - config.status: creating stdcompat__lazy_s.mli - config.status: creating stdcompat__lexing_s.mli - config.status: creating stdcompat__list_s.mli - config.status: creating stdcompat__listLabels_s.mli - config.status: creating stdcompat__map_s.mli - config.status: creating stdcompat__moreLabels_s.mli - config.status: creating stdcompat__nativeint_s.mli - config.status: creating stdcompat__option_s.mli - config.status: creating stdcompat__out_channel_s.mli - config.status: creating stdcompat__printexc_s.mli - config.status: creating stdcompat__printf_s.mli - config.status: creating stdcompat__queue_s.mli - config.status: creating stdcompat__random_s.mli - config.status: creating stdcompat__result_s.mli - config.status: creating stdcompat__seq_s.mli - config.status: creating stdcompat__set_s.mli - config.status: creating stdcompat__stack_s.mli - config.status: creating stdcompat__string_s.mli - config.status: creating stdcompat__stringLabels_s.mli - config.status: creating stdcompat__sys_s.mli - config.status: creating stdcompat__uchar_s.mli - config.status: creating stdcompat__weak_s.mli - config.status: creating stdcompat__unit_s.mli - config.status: creating stdcompat__stdlib_s.mli - config.status: creating stdcompat__pervasives_s.ml - config.status: creating stdcompat__arg_s.ml - config.status: creating stdcompat__array_s.ml - config.status: creating stdcompat__arrayLabels_s.ml - config.status: creating stdcompat__atomic_s.ml - config.status: creating stdcompat__bool_s.ml - config.status: creating stdcompat__buffer_s.ml - config.status: creating stdcompat__bytes_s.ml - config.status: creating stdcompat__bytesLabels_s.ml - config.status: creating stdcompat__char_s.ml - config.status: creating stdcompat__digest_s.ml - config.status: creating stdcompat__either_s.ml - config.status: creating stdcompat__ephemeron_s.ml - config.status: creating stdcompat__filename_s.ml - config.status: creating stdcompat__float_s.ml - config.status: creating stdcompat__format_s.ml - config.status: creating stdcompat__fun_s.ml - config.status: creating stdcompat__hashtbl_s.ml - config.status: creating stdcompat__int_s.ml - config.status: creating stdcompat__int32_s.ml - config.status: creating stdcompat__int64_s.ml - config.status: creating stdcompat__lazy_s.ml - config.status: creating stdcompat__lexing_s.ml - config.status: creating stdcompat__list_s.ml - config.status: creating stdcompat__listLabels_s.ml - config.status: creating stdcompat__map_s.ml - config.status: creating stdcompat__moreLabels_s.ml - config.status: creating stdcompat__nativeint_s.ml - config.status: creating stdcompat__option_s.ml - config.status: creating stdcompat__printexc_s.ml - config.status: creating stdcompat__printf_s.ml - config.status: creating stdcompat__queue_s.ml - config.status: creating stdcompat__random_s.ml - config.status: creating stdcompat__result_s.ml - config.status: creating stdcompat__seq_s.ml - config.status: creating stdcompat__set_s.ml - config.status: creating stdcompat__stack_s.ml - config.status: creating stdcompat__stdlib_s.ml - config.status: creating stdcompat__string_s.ml - config.status: creating stdcompat__stringLabels_s.ml - config.status: creating stdcompat__sys_s.ml - config.status: creating stdcompat__uchar_s.ml - config.status: creating stdcompat__weak_s.ml - config.status: creating stdcompat__in_channel_s.ml - config.status: creating stdcompat__out_channel_s.ml - config.status: creating stdcompat__unit_s.ml - config.status: creating stdcompat__pervasives.ml - config.status: creating stdcompat__arg.ml - config.status: creating stdcompat__array.ml - config.status: creating stdcompat__arrayLabels.ml - config.status: creating stdcompat__atomic.ml - config.status: creating stdcompat__bool.ml - config.status: creating stdcompat__buffer.ml - config.status: creating stdcompat__bytes.ml - config.status: creating stdcompat__bytesLabels.ml - config.status: creating stdcompat__char.ml - config.status: creating stdcompat__digest.ml - config.status: creating stdcompat__either.ml - config.status: creating stdcompat__ephemeron.ml - config.status: creating stdcompat__filename.ml - config.status: creating stdcompat__float.ml - config.status: creating stdcompat__format.ml - config.status: creating stdcompat__fun.ml - config.status: creating stdcompat__hashtbl.ml - config.status: creating stdcompat__int.ml - config.status: creating stdcompat__int32.ml - config.status: creating stdcompat__int64.ml - config.status: creating stdcompat__lazy.ml - config.status: creating stdcompat__lexing.ml - config.status: creating stdcompat__list.ml - config.status: creating stdcompat__listLabels.ml - config.status: creating stdcompat__map.ml - config.status: creating stdcompat__moreLabels.ml - config.status: creating stdcompat__nativeint.ml - config.status: creating stdcompat__option.ml - config.status: creating stdcompat__printexc.ml - config.status: creating stdcompat__printf.ml - config.status: creating stdcompat__queue.ml - config.status: creating stdcompat__random.ml - config.status: creating stdcompat__result.ml - config.status: creating stdcompat__seq.ml - config.status: creating stdcompat__set.ml - config.status: creating stdcompat__stack.ml - config.status: creating stdcompat__stdlib.ml - config.status: creating stdcompat__string.ml - config.status: creating stdcompat__stringLabels.ml - config.status: creating stdcompat__sys.ml - config.status: creating stdcompat__uchar.ml - config.status: creating stdcompat__weak.ml - config.status: creating stdcompat__in_channel.ml - config.status: creating stdcompat__out_channel.ml - config.status: creating stdcompat__unit.ml - config.status: creating stdcompat__pervasives.mli - config.status: creating stdcompat__arg.mli - config.status: creating stdcompat__array.mli - config.status: creating stdcompat__arrayLabels.mli - config.status: creating stdcompat__atomic.mli - config.status: creating stdcompat__bool.mli - config.status: creating stdcompat__buffer.mli - config.status: creating stdcompat__bytes.mli - config.status: creating stdcompat__bytesLabels.mli - config.status: creating stdcompat__char.mli - config.status: creating stdcompat__digest.mli - config.status: creating stdcompat__either.mli - config.status: creating stdcompat__ephemeron.mli - config.status: creating stdcompat__filename.mli - config.status: creating stdcompat__float.mli - config.status: creating stdcompat__format.mli - config.status: creating stdcompat__fun.mli - config.status: creating stdcompat__hashtbl.mli - config.status: creating stdcompat__int.mli - config.status: creating stdcompat__int32.mli - config.status: creating stdcompat__int64.mli - config.status: creating stdcompat__lazy.mli - config.status: creating stdcompat__lexing.mli - config.status: creating stdcompat__list.mli - config.status: creating stdcompat__listLabels.mli - config.status: creating stdcompat__map.mli - config.status: creating stdcompat__moreLabels.mli - config.status: creating stdcompat__nativeint.mli - config.status: creating stdcompat__option.mli - config.status: creating stdcompat__printexc.mli - config.status: creating stdcompat__printf.mli - config.status: creating stdcompat__queue.mli - config.status: creating stdcompat__random.mli - config.status: creating stdcompat__result.mli - config.status: creating stdcompat__seq.mli - config.status: creating stdcompat__set.mli - config.status: creating stdcompat__stack.mli - config.status: creating stdcompat__stdlib.mli - config.status: creating stdcompat__string.mli - config.status: creating stdcompat__stringLabels.mli - config.status: creating stdcompat__sys.mli - config.status: creating stdcompat__uchar.mli - config.status: creating stdcompat__weak.mli - config.status: creating stdcompat__in_channel.mli - config.status: creating stdcompat__out_channel.mli - config.status: creating stdcompat__unit.mli - config.status: creating stdcompat.mli - config.status: creating stdcompat.ml - config.status: creating config.h - config.status: executing depfiles commands - configure: OCaml version is 4.14.2 - configure: Obj.magic will be used in redefinition when possible - (add --disable-magic for pure redefinitions). -> compiled stdcompat.19 -> installed stdcompat.19 Processing 51/54: [pyml: dune build] + /home/opam/.opam/4.14/bin/dune "build" "-p" "pyml" "-j" "39" "@install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/pyml.20231101) -> compiled pyml.20231101 -> installed pyml.20231101 Processing 53/54: [coccinelle: ./autogen] + /home/opam/.opam/4.14/.opam-switch/build/coccinelle.1.0.8/./autogen (CWD=/home/opam/.opam/4.14/.opam-switch/build/coccinelle.1.0.8) - Makefile.am:108: warning: basename $<: non-POSIX variable name - Makefile.am:108: (probably a GNU make extension) Processing 53/54: [coccinelle: ./configure] + /home/opam/.opam/4.14/.opam-switch/build/coccinelle.1.0.8/./configure "--enable-release" "--enable-ocaml" "--prefix" "/home/opam/.opam/4.14" (CWD=/home/opam/.opam/4.14/.opam-switch/build/coccinelle.1.0.8) - configure: WARNING: unrecognized options: --enable-release - configure: configuring coccinelle 1.0.8 in /home/opam/.opam/4.14/.opam-switch/build/coccinelle.1.0.8 - checking for a BSD-compatible install... /usr/bin/install -c - checking whether build environment is sane... yes - checking for a race-free mkdir -p... /usr/bin/mkdir -p - checking for gawk... no - checking for mawk... mawk - checking whether make sets $(MAKE)... yes - checking whether make supports nested variables... yes - configure: determining version suffix - checking for date... /usr/bin/date - configure: version suffix set to Thu, 12 Sep 2024 20:49:21 +0100 - configure: this configure program uses pkg-config m4 macros - configure: this configure program uses ocaml m4 macros (see setup/ocaml.m4) - configure: this configure program uses custom m4 macros (see setup/cocci.m4) - configure: some fake substitutions for required but unavailable programs may be used (see setup/fake*) - configure: verifying basic tools - checking whether make supports the include directive... yes (GNU style) - checking for gcc... gcc - checking whether the C compiler works... yes - checking for C compiler default output file name... a.out - checking for suffix of executables... - checking whether we are cross compiling... no - checking for suffix of object files... o - checking whether the compiler supports GNU C... yes - checking whether gcc accepts -g... yes - checking for gcc option to enable C11 features... none needed - checking whether gcc understands -c and -o together... yes - checking dependency style of gcc... none - checking how to run the C preprocessor... gcc -E - checking for bash... /bin/bash - checking for tar... /usr/bin/tar - checking for patch... /usr/bin/patch - checking for echo... /usr/bin/echo - checking for patchelf... no - checking for pkg-config... /usr/bin/pkg-config - checking pkg-config is at least version 0.9.0... yes - checking for ocamlc... /home/opam/.opam/4.14/bin/ocamlc - OCaml version is 4.14.2 - OCaml library path is /home/opam/.opam/4.14/lib/ocaml - checking for ocamlopt... /home/opam/.opam/4.14/bin/ocamlopt - checking for ocamlc.opt... /home/opam/.opam/4.14/bin/ocamlc.opt - checking for ocamlopt.opt... /home/opam/.opam/4.14/bin/ocamlopt.opt - checking for ocaml... /home/opam/.opam/4.14/bin/ocaml - checking for ocamldep... /home/opam/.opam/4.14/bin/ocamldep - checking for ocamlmktop... /home/opam/.opam/4.14/bin/ocamlmktop - checking for ocamlmklib... /home/opam/.opam/4.14/bin/ocamlmklib - checking for ocamldoc... /home/opam/.opam/4.14/bin/ocamldoc - checking that the OCaml version is at least 3.12... yes - checking that the OCaml version is at least 4.02... yes - checking that the OCaml version is at least 4.03... yes - checking for ocamllex... /home/opam/.opam/4.14/bin/ocamllex - checking for ocamllex.opt... /home/opam/.opam/4.14/bin/ocamllex.opt - checking for ocamlyacc... /home/opam/.opam/4.14/bin/ocamlyacc - checking for ocamlfind... /home/opam/.opam/4.14/bin/ocamlfind - checking for ocamlprof... /home/opam/.opam/4.14/bin/ocamlprof - configure: verifying basic ocaml modules - configure: coccinelle may use external ocaml libraries in /home/opam/.opam/4.14/.opam-switch/build/coccinelle.1.0.8/bundles - configure: the following OCaml packages should be provided by your ocaml installation - checking for OCaml findlib package unix... found - checking for OCaml findlib package bigarray... found - checking for OCaml findlib package str... found - configure: configuring package dynlink - checking for OCaml findlib package dynlink... found - configure: configuring package parmap - checking for OCaml findlib package parmap... found - configure: configuring package stdcompat - checking for OCaml findlib package stdcompat... found - configure: verifying optional features - checking for menhir... /home/opam/.opam/4.14/bin/menhir - configure: system menhir will be used - configure: system menhir will be used - configure: configuring package pyml - checking for OCaml findlib package pyml... found - checking for libpcre... yes - configure: configuring package pcre - checking for OCaml findlib package pcre... found - checking if pcre depends on bytes... no - configure: support for pcre syntax is enabled - checking for pdflatex... no - configure: pdflatex not found. Trying substitute /home/opam/.opam/4.14/.opam-switch/build/coccinelle.1.0.8/setup/fake-pdflatex.sh pdflatex. - checking for pdflatex... /home/opam/.opam/4.14/.opam-switch/build/coccinelle.1.0.8/setup/fake-pdflatex.sh pdflatex - checking that generated files are newer than configure... - done - configure: creating ./config.status - config.status: creating Makefile.config - config.status: creating version.ml - config.status: creating commons/commands.ml - config.status: creating globals/config.ml - config.status: creating globals/regexp.ml - config.status: creating python/pycocci.ml - config.status: creating ocaml/prepare_ocamlcocci.ml - config.status: creating scripts/spatch.sh - config.status: creating tools/spgen/scripts/spgen.sh - config.status: creating docs/spatch.1 - config.status: creating setup/Makefile - config.status: executing depfiles commands - configure: WARNING: unrecognized options: --enable-release - configure: configuration completed - ------------------------------------------------------------------------------ - Summary - - configure flags: --enable-release --enable-ocaml --prefix /home/opam/.opam/4.14 - findlib: /home/opam/.opam/4.14/bin/ocamlfind (an actual version is strongly recommended) - menhir: /home/opam/.opam/4.14/bin/menhir - (for local package use --without-menhir, - install the menhir package otherwise) - - ocaml scripting: yes (overridable with --enable-ocaml) - python scripting: yes (overridable with --enable-python) - - pcre regexes: (overridable with --enable-pcre-syntax) - pcre module: yes (for local package use --disable-pcre) - pcre library: yes (requires the libpcre-ocaml-dev package) - - optimized spatch: yes (overridable with --disable-opt) - - bash-completion: ${prefix}/share/bash-completion/completions - (overridable with --with-bash-completion) - - ------------------------------------------------------------------------------ - Coccinelle can now be compiled and installed. - - - If you compile coccinelle again after source code changes or - configuration changes, you may need to run first: - $ make clean - - To compile coccinelle, run: - $ make - - To install coccinelle, run: - $ make install - - Then, to test coccinelle, run for example: - $ spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c - - Or when coccinelle is not installed yet: - $ COCCINELLE_HOME=/home/opam/.opam/4.14/.opam-switch/build/coccinelle.1.0.8 ./scripts/spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c - ------------------------------------------------------------------------------ - You may need to set some environment variables so that the python - libraries are found. The frontend 'spatch' sets the following variables: - - $ export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/home/opam/.opam/4.14/lib - $ export PYTHONPATH=$PYTHONPATH:${exec_prefix}/lib/coccinelle/python - - ------------------------------------------------------------------------------ Processing 53/54: [coccinelle: make clean] + /usr/bin/make "clean" (CWD=/home/opam/.opam/4.14/.opam-switch/build/coccinelle.1.0.8) - /usr/bin/make -C bundles/stdcompat clean - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/coccinelle.1.0.8/bundles/stdcompat' - rm -f *.mli *.cmi *.cmo *.cmt *.cmti *.cmx *.cma *.cmxa *.a - cd stdcompat-current && \ - rm -f *.cmi *.cmo *.cmx *.cmt *.cmti *.cma *.cmxa *.a *.cmxs - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/coccinelle.1.0.8/bundles/stdcompat' - /usr/bin/make -C bundles/menhirLib clean - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/coccinelle.1.0.8/bundles/menhirLib' - rm -f .depend \ - menhir menhirLib.cmi menhirLib.cmx menhirLib.o \ - menhirLib.cmo \ - menhirLib.ml menhirLib.mli syntax.cmi menhir-20181113/src/parser.mly menhir-20181113/src/menhir menhir-20181113/src/installation.ml \ - menhir-20181113/src/chopInlined.mli menhir-20181113/src/lexer.mli menhir-20181113/src/lexdep.mli menhir-20181113/src/lexmli.mli menhir-20181113/src/parser.mli menhir-20181113/src/sentenceLexer.mli menhir-20181113/src/sentenceParser.mli menhir-20181113/src/lexpointfree.mli menhir-20181113/src/lineCount.mli menhir-20181113/src/segment.mli \ - menhir-20181113/src/chopInlined.ml menhir-20181113/src/lexer.ml menhir-20181113/src/lexdep.ml menhir-20181113/src/lexmli.ml menhir-20181113/src/parser.ml menhir-20181113/src/sentenceLexer.ml menhir-20181113/src/sentenceParser.ml menhir-20181113/src/lexpointfree.ml menhir-20181113/src/lineCount.ml menhir-20181113/src/segment.ml standard.mly \ - \ - \ - \ - \ - menhir-20181113/src/Fix.o menhir-20181113/src/IO.o menhir-20181113/src/installation.o menhir-20181113/src/keyword.o menhir-20181113/src/lineCount.o menhir-20181113/src/positions.o menhir-20181113/src/stringSet.o menhir-20181113/src/version.o menhir-20181113/src/settings.o menhir-20181113/src/printer.o menhir-20181113/src/codeBits.o menhir-20181113/src/action.o menhir-20181113/src/mark.o menhir-20181113/src/stringMap.o menhir-20181113/src/menhirLib.o menhir-20181113/src/error.o menhir-20181113/src/misc.o menhir-20181113/src/codeBits.o menhir-20181113/src/gSet.o menhir-20181113/src/compressedBitSet.o menhir-20181113/src/option.o menhir-20181113/src/dot.o menhir-20181113/src/InputFile.o menhir-20181113/src/parameters.o menhir-20181113/src/InputFile.o menhir-20181113/src/lexpointfree.o menhir-20181113/src/parserAux.o menhir-20181113/src/parser.o menhir-20181113/src/lexer.o menhir-20181113/src/tarjan.o menhir-20181113/src/unionFind.o menhir-20181113/src/expandTokenAliases.o menhir-20181113/src/partialGrammar.o menhir-20181113/src/time.o menhir-20181113/src/unparameterizedSyntax.o menhir-20181113/src/tokenType.o menhir-20181113/src/nonterminalType.o menhir-20181113/src/interface.o menhir-20181113/src/lexdep.o menhir-20181113/src/lexmli.o menhir-20181113/src/infer.o menhir-20181113/src/listMonad.o menhir-20181113/src/chopInlined.o menhir-20181113/src/sequence.o menhir-20181113/src/CompletedNatWitness.o menhir-20181113/src/Unifier.o menhir-20181113/src/Memoize.o menhir-20181113/src/SortUnification.o menhir-20181113/src/SortInference.o menhir-20181113/src/GroundSort.o menhir-20181113/src/SelectiveExpansion.o menhir-20181113/src/syntax.o menhir-20181113/src/Drop.o menhir-20181113/src/CheckSafeParameterizedGrammar.o menhir-20181113/src/nonTerminalDefinitionInlining.o menhir-20181113/src/reachability.o menhir-20181113/src/unparameterizedPrinter.o menhir-20181113/src/FixSolver.o menhir-20181113/src/Boolean.o menhir-20181113/src/Maps.o menhir-20181113/src/patricia.o menhir-20181113/src/grammarFunctor.o menhir-20181113/src/keywordExpansion.o menhir-20181113/src/anonymous.o menhir-20181113/src/Driver.o menhir-20181113/src/front.o menhir-20181113/src/gMap.o menhir-20181113/src/grammar.o menhir-20181113/src/codePieces.o menhir-20181113/src/item.o menhir-20181113/src/derivation.o menhir-20181113/src/lr0.o menhir-20181113/src/slr.o menhir-20181113/src/lr1.o menhir-20181113/src/DependencyGraph.o menhir-20181113/src/lr1partial.o menhir-20181113/src/conflict.o menhir-20181113/src/invariant.o menhir-20181113/src/default.o menhir-20181113/src/Trie.o menhir-20181113/src/MySet.o menhir-20181113/src/resizableArray.o menhir-20181113/src/LowIntegerPriorityQueue.o menhir-20181113/src/LRijkstraCore.o menhir-20181113/src/codeBackend.o menhir-20181113/src/coqBackend.o menhir-20181113/src/pprint.o menhir-20181113/src/cst.o menhir-20181113/src/traverse.o menhir-20181113/src/inliner.o menhir-20181113/src/referenceInterpreter.o menhir-20181113/src/sentenceParser.o menhir-20181113/src/sentenceLexer.o menhir-20181113/src/segment.o menhir-20181113/src/sentenceParserAux.o menhir-20181113/src/interpret.o menhir-20181113/src/tableBackend.o menhir-20181113/src/astar.o menhir-20181113/src/LRijkstra.o menhir-20181113/src/cmly_api.o menhir-20181113/src/cmly_format.o menhir-20181113/src/cmly_read.o menhir-20181113/src/cmly_write.o menhir-20181113/src/back.o menhir-20181113/src/menhir.o menhir-20181113/src/General.o menhir-20181113/src/IncrementalEngine.o menhir-20181113/src/InfiniteArray.o menhir-20181113/src/PackedIntArray.o menhir-20181113/src/LinearizedArray.o menhir-20181113/src/RowDisplacement.o menhir-20181113/src/EngineTypes.o menhir-20181113/src/Engine.o menhir-20181113/src/TableFormat.o menhir-20181113/src/TableInterpreter.o menhir-20181113/src/Convert.o \ - menhir-20181113/src/Fix.cmi menhir-20181113/src/IO.cmi menhir-20181113/src/installation.cmi menhir-20181113/src/keyword.cmi menhir-20181113/src/lineCount.cmi menhir-20181113/src/positions.cmi menhir-20181113/src/stringSet.cmi menhir-20181113/src/version.cmi menhir-20181113/src/settings.cmi menhir-20181113/src/printer.cmi menhir-20181113/src/codeBits.cmi menhir-20181113/src/action.cmi menhir-20181113/src/mark.cmi menhir-20181113/src/stringMap.cmi menhir-20181113/src/menhirLib.cmi menhir-20181113/src/error.cmi menhir-20181113/src/misc.cmi menhir-20181113/src/codeBits.cmi menhir-20181113/src/gSet.cmi menhir-20181113/src/compressedBitSet.cmi menhir-20181113/src/option.cmi menhir-20181113/src/dot.cmi menhir-20181113/src/InputFile.cmi menhir-20181113/src/parameters.cmi menhir-20181113/src/InputFile.cmi menhir-20181113/src/lexpointfree.cmi menhir-20181113/src/parserAux.cmi menhir-20181113/src/parser.cmi menhir-20181113/src/lexer.cmi menhir-20181113/src/tarjan.cmi menhir-20181113/src/unionFind.cmi menhir-20181113/src/expandTokenAliases.cmi menhir-20181113/src/partialGrammar.cmi menhir-20181113/src/time.cmi menhir-20181113/src/unparameterizedSyntax.cmi menhir-20181113/src/tokenType.cmi menhir-20181113/src/nonterminalType.cmi menhir-20181113/src/interface.cmi menhir-20181113/src/lexdep.cmi menhir-20181113/src/lexmli.cmi menhir-20181113/src/infer.cmi menhir-20181113/src/listMonad.cmi menhir-20181113/src/chopInlined.cmi menhir-20181113/src/sequence.cmi menhir-20181113/src/CompletedNatWitness.cmi menhir-20181113/src/Unifier.cmi menhir-20181113/src/Memoize.cmi menhir-20181113/src/SortUnification.cmi menhir-20181113/src/SortInference.cmi menhir-20181113/src/GroundSort.cmi menhir-20181113/src/SelectiveExpansion.cmi menhir-20181113/src/syntax.cmi menhir-20181113/src/Drop.cmi menhir-20181113/src/CheckSafeParameterizedGrammar.cmi menhir-20181113/src/nonTerminalDefinitionInlining.cmi menhir-20181113/src/reachability.cmi menhir-20181113/src/unparameterizedPrinter.cmi menhir-20181113/src/FixSolver.cmi menhir-20181113/src/Boolean.cmi menhir-20181113/src/Maps.cmi menhir-20181113/src/patricia.cmi menhir-20181113/src/grammarFunctor.cmi menhir-20181113/src/keywordExpansion.cmi menhir-20181113/src/anonymous.cmi menhir-20181113/src/Driver.cmi menhir-20181113/src/front.cmi menhir-20181113/src/gMap.cmi menhir-20181113/src/grammar.cmi menhir-20181113/src/codePieces.cmi menhir-20181113/src/item.cmi menhir-20181113/src/derivation.cmi menhir-20181113/src/lr0.cmi menhir-20181113/src/slr.cmi menhir-20181113/src/lr1.cmi menhir-20181113/src/DependencyGraph.cmi menhir-20181113/src/lr1partial.cmi menhir-20181113/src/conflict.cmi menhir-20181113/src/invariant.cmi menhir-20181113/src/default.cmi menhir-20181113/src/Trie.cmi menhir-20181113/src/MySet.cmi menhir-20181113/src/resizableArray.cmi menhir-20181113/src/LowIntegerPriorityQueue.cmi menhir-20181113/src/LRijkstraCore.cmi menhir-20181113/src/codeBackend.cmi menhir-20181113/src/coqBackend.cmi menhir-20181113/src/pprint.cmi menhir-20181113/src/cst.cmi menhir-20181113/src/traverse.cmi menhir-20181113/src/inliner.cmi menhir-20181113/src/referenceInterpreter.cmi menhir-20181113/src/sentenceParser.cmi menhir-20181113/src/sentenceLexer.cmi menhir-20181113/src/segment.cmi menhir-20181113/src/sentenceParserAux.cmi menhir-20181113/src/interpret.cmi menhir-20181113/src/tableBackend.cmi menhir-20181113/src/astar.cmi menhir-20181113/src/LRijkstra.cmi menhir-20181113/src/cmly_api.cmi menhir-20181113/src/cmly_format.cmi menhir-20181113/src/cmly_read.cmi menhir-20181113/src/cmly_write.cmi menhir-20181113/src/back.cmi menhir-20181113/src/menhir.cmi menhir-20181113/src/General.cmi menhir-20181113/src/IncrementalEngine.cmi menhir-20181113/src/InfiniteArray.cmi menhir-20181113/src/PackedIntArray.cmi menhir-20181113/src/LinearizedArray.cmi menhir-20181113/src/RowDisplacement.cmi menhir-20181113/src/EngineTypes.cmi menhir-20181113/src/Engine.cmi menhir-20181113/src/TableFormat.cmi menhir-20181113/src/TableInterpreter.cmi menhir-20181113/src/Convert.cmi \ - menhir-20181113/src/Fix.cmx menhir-20181113/src/IO.cmx menhir-20181113/src/installation.cmx menhir-20181113/src/keyword.cmx menhir-20181113/src/lineCount.cmx menhir-20181113/src/positions.cmx menhir-20181113/src/stringSet.cmx menhir-20181113/src/version.cmx menhir-20181113/src/settings.cmx menhir-20181113/src/printer.cmx menhir-20181113/src/codeBits.cmx menhir-20181113/src/action.cmx menhir-20181113/src/mark.cmx menhir-20181113/src/stringMap.cmx menhir-20181113/src/menhirLib.cmx menhir-20181113/src/error.cmx menhir-20181113/src/misc.cmx menhir-20181113/src/codeBits.cmx menhir-20181113/src/gSet.cmx menhir-20181113/src/compressedBitSet.cmx menhir-20181113/src/option.cmx menhir-20181113/src/dot.cmx menhir-20181113/src/InputFile.cmx menhir-20181113/src/parameters.cmx menhir-20181113/src/InputFile.cmx menhir-20181113/src/lexpointfree.cmx menhir-20181113/src/parserAux.cmx menhir-20181113/src/parser.cmx menhir-20181113/src/lexer.cmx menhir-20181113/src/tarjan.cmx menhir-20181113/src/unionFind.cmx menhir-20181113/src/expandTokenAliases.cmx menhir-20181113/src/partialGrammar.cmx menhir-20181113/src/time.cmx menhir-20181113/src/unparameterizedSyntax.cmx menhir-20181113/src/tokenType.cmx menhir-20181113/src/nonterminalType.cmx menhir-20181113/src/interface.cmx menhir-20181113/src/lexdep.cmx menhir-20181113/src/lexmli.cmx menhir-20181113/src/infer.cmx menhir-20181113/src/listMonad.cmx menhir-20181113/src/chopInlined.cmx menhir-20181113/src/sequence.cmx menhir-20181113/src/CompletedNatWitness.cmx menhir-20181113/src/Unifier.cmx menhir-20181113/src/Memoize.cmx menhir-20181113/src/SortUnification.cmx menhir-20181113/src/SortInference.cmx menhir-20181113/src/GroundSort.cmx menhir-20181113/src/SelectiveExpansion.cmx menhir-20181113/src/syntax.cmx menhir-20181113/src/Drop.cmx menhir-20181113/src/CheckSafeParameterizedGrammar.cmx menhir-20181113/src/nonTerminalDefinitionInlining.cmx menhir-20181113/src/reachability.cmx menhir-20181113/src/unparameterizedPrinter.cmx menhir-20181113/src/FixSolver.cmx menhir-20181113/src/Boolean.cmx menhir-20181113/src/Maps.cmx menhir-20181113/src/patricia.cmx menhir-20181113/src/grammarFunctor.cmx menhir-20181113/src/keywordExpansion.cmx menhir-20181113/src/anonymous.cmx menhir-20181113/src/Driver.cmx menhir-20181113/src/front.cmx menhir-20181113/src/gMap.cmx menhir-20181113/src/grammar.cmx menhir-20181113/src/codePieces.cmx menhir-20181113/src/item.cmx menhir-20181113/src/derivation.cmx menhir-20181113/src/lr0.cmx menhir-20181113/src/slr.cmx menhir-20181113/src/lr1.cmx menhir-20181113/src/DependencyGraph.cmx menhir-20181113/src/lr1partial.cmx menhir-20181113/src/conflict.cmx menhir-20181113/src/invariant.cmx menhir-20181113/src/default.cmx menhir-20181113/src/Trie.cmx menhir-20181113/src/MySet.cmx menhir-20181113/src/resizableArray.cmx menhir-20181113/src/LowIntegerPriorityQueue.cmx menhir-20181113/src/LRijkstraCore.cmx menhir-20181113/src/codeBackend.cmx menhir-20181113/src/coqBackend.cmx menhir-20181113/src/pprint.cmx menhir-20181113/src/cst.cmx menhir-20181113/src/traverse.cmx menhir-20181113/src/inliner.cmx menhir-20181113/src/referenceInterpreter.cmx menhir-20181113/src/sentenceParser.cmx menhir-20181113/src/sentenceLexer.cmx menhir-20181113/src/segment.cmx menhir-20181113/src/sentenceParserAux.cmx menhir-20181113/src/interpret.cmx menhir-20181113/src/tableBackend.cmx menhir-20181113/src/astar.cmx menhir-20181113/src/LRijkstra.cmx menhir-20181113/src/cmly_api.cmx menhir-20181113/src/cmly_format.cmx menhir-20181113/src/cmly_read.cmx menhir-20181113/src/cmly_write.cmx menhir-20181113/src/back.cmx menhir-20181113/src/menhir.cmx menhir-20181113/src/General.cmx menhir-20181113/src/IncrementalEngine.cmx menhir-20181113/src/InfiniteArray.cmx menhir-20181113/src/PackedIntArray.cmx menhir-20181113/src/LinearizedArray.cmx menhir-20181113/src/RowDisplacement.cmx menhir-20181113/src/EngineTypes.cmx menhir-20181113/src/Engine.cmx menhir-20181113/src/TableFormat.cmx menhir-20181113/src/TableInterpreter.cmx menhir-20181113/src/Convert.cmx \ - menhir-20181113/src/Fix.cmo menhir-20181113/src/IO.cmo menhir-20181113/src/installation.cmo menhir-20181113/src/keyword.cmo menhir-20181113/src/lineCount.cmo menhir-20181113/src/positions.cmo menhir-20181113/src/stringSet.cmo menhir-20181113/src/version.cmo menhir-20181113/src/settings.cmo menhir-20181113/src/printer.cmo menhir-20181113/src/codeBits.cmo menhir-20181113/src/action.cmo menhir-20181113/src/mark.cmo menhir-20181113/src/stringMap.cmo menhir-20181113/src/menhirLib.cmo menhir-20181113/src/error.cmo menhir-20181113/src/misc.cmo menhir-20181113/src/codeBits.cmo menhir-20181113/src/gSet.cmo menhir-20181113/src/compressedBitSet.cmo menhir-20181113/src/option.cmo menhir-20181113/src/dot.cmo menhir-20181113/src/InputFile.cmo menhir-20181113/src/parameters.cmo menhir-20181113/src/InputFile.cmo menhir-20181113/src/lexpointfree.cmo menhir-20181113/src/parserAux.cmo menhir-20181113/src/parser.cmo menhir-20181113/src/lexer.cmo menhir-20181113/src/tarjan.cmo menhir-20181113/src/unionFind.cmo menhir-20181113/src/expandTokenAliases.cmo menhir-20181113/src/partialGrammar.cmo menhir-20181113/src/time.cmo menhir-20181113/src/unparameterizedSyntax.cmo menhir-20181113/src/tokenType.cmo menhir-20181113/src/nonterminalType.cmo menhir-20181113/src/interface.cmo menhir-20181113/src/lexdep.cmo menhir-20181113/src/lexmli.cmo menhir-20181113/src/infer.cmo menhir-20181113/src/listMonad.cmo menhir-20181113/src/chopInlined.cmo menhir-20181113/src/sequence.cmo menhir-20181113/src/CompletedNatWitness.cmo menhir-20181113/src/Unifier.cmo menhir-20181113/src/Memoize.cmo menhir-20181113/src/SortUnification.cmo menhir-20181113/src/SortInference.cmo menhir-20181113/src/GroundSort.cmo menhir-20181113/src/SelectiveExpansion.cmo menhir-20181113/src/syntax.cmo menhir-20181113/src/Drop.cmo menhir-20181113/src/CheckSafeParameterizedGrammar.cmo menhir-20181113/src/nonTerminalDefinitionInlining.cmo menhir-20181113/src/reachability.cmo menhir-20181113/src/unparameterizedPrinter.cmo menhir-20181113/src/FixSolver.cmo menhir-20181113/src/Boolean.cmo menhir-20181113/src/Maps.cmo menhir-20181113/src/patricia.cmo menhir-20181113/src/grammarFunctor.cmo menhir-20181113/src/keywordExpansion.cmo menhir-20181113/src/anonymous.cmo menhir-20181113/src/Driver.cmo menhir-20181113/src/front.cmo menhir-20181113/src/gMap.cmo menhir-20181113/src/grammar.cmo menhir-20181113/src/codePieces.cmo menhir-20181113/src/item.cmo menhir-20181113/src/derivation.cmo menhir-20181113/src/lr0.cmo menhir-20181113/src/slr.cmo menhir-20181113/src/lr1.cmo menhir-20181113/src/DependencyGraph.cmo menhir-20181113/src/lr1partial.cmo menhir-20181113/src/conflict.cmo menhir-20181113/src/invariant.cmo menhir-20181113/src/default.cmo menhir-20181113/src/Trie.cmo menhir-20181113/src/MySet.cmo menhir-20181113/src/resizableArray.cmo menhir-20181113/src/LowIntegerPriorityQueue.cmo menhir-20181113/src/LRijkstraCore.cmo menhir-20181113/src/codeBackend.cmo menhir-20181113/src/coqBackend.cmo menhir-20181113/src/pprint.cmo menhir-20181113/src/cst.cmo menhir-20181113/src/traverse.cmo menhir-20181113/src/inliner.cmo menhir-20181113/src/referenceInterpreter.cmo menhir-20181113/src/sentenceParser.cmo menhir-20181113/src/sentenceLexer.cmo menhir-20181113/src/segment.cmo menhir-20181113/src/sentenceParserAux.cmo menhir-20181113/src/interpret.cmo menhir-20181113/src/tableBackend.cmo menhir-20181113/src/astar.cmo menhir-20181113/src/LRijkstra.cmo menhir-20181113/src/cmly_api.cmo menhir-20181113/src/cmly_format.cmo menhir-20181113/src/cmly_read.cmo menhir-20181113/src/cmly_write.cmo menhir-20181113/src/back.cmo menhir-20181113/src/menhir.cmo menhir-20181113/src/General.cmo menhir-20181113/src/IncrementalEngine.cmo menhir-20181113/src/InfiniteArray.cmo menhir-20181113/src/PackedIntArray.cmo menhir-20181113/src/LinearizedArray.cmo menhir-20181113/src/RowDisplacement.cmo menhir-20181113/src/EngineTypes.cmo menhir-20181113/src/Engine.cmo menhir-20181113/src/TableFormat.cmo menhir-20181113/src/TableInterpreter.cmo menhir-20181113/src/Convert.cmo \ - menhir-20181113/src/Fix.cmt menhir-20181113/src/IO.cmt menhir-20181113/src/installation.cmt menhir-20181113/src/keyword.cmt menhir-20181113/src/lineCount.cmt menhir-20181113/src/positions.cmt menhir-20181113/src/stringSet.cmt menhir-20181113/src/version.cmt menhir-20181113/src/settings.cmt menhir-20181113/src/printer.cmt menhir-20181113/src/codeBits.cmt menhir-20181113/src/action.cmt menhir-20181113/src/mark.cmt menhir-20181113/src/stringMap.cmt menhir-20181113/src/menhirLib.cmt menhir-20181113/src/error.cmt menhir-20181113/src/misc.cmt menhir-20181113/src/codeBits.cmt menhir-20181113/src/gSet.cmt menhir-20181113/src/compressedBitSet.cmt menhir-20181113/src/option.cmt menhir-20181113/src/dot.cmt menhir-20181113/src/InputFile.cmt menhir-20181113/src/parameters.cmt menhir-20181113/src/InputFile.cmt menhir-20181113/src/lexpointfree.cmt menhir-20181113/src/parserAux.cmt menhir-20181113/src/parser.cmt menhir-20181113/src/lexer.cmt menhir-20181113/src/tarjan.cmt menhir-20181113/src/unionFind.cmt menhir-20181113/src/expandTokenAliases.cmt menhir-20181113/src/partialGrammar.cmt menhir-20181113/src/time.cmt menhir-20181113/src/unparameterizedSyntax.cmt menhir-20181113/src/tokenType.cmt menhir-20181113/src/nonterminalType.cmt menhir-20181113/src/interface.cmt menhir-20181113/src/lexdep.cmt menhir-20181113/src/lexmli.cmt menhir-20181113/src/infer.cmt menhir-20181113/src/listMonad.cmt menhir-20181113/src/chopInlined.cmt menhir-20181113/src/sequence.cmt menhir-20181113/src/CompletedNatWitness.cmt menhir-20181113/src/Unifier.cmt menhir-20181113/src/Memoize.cmt menhir-20181113/src/SortUnification.cmt menhir-20181113/src/SortInference.cmt menhir-20181113/src/GroundSort.cmt menhir-20181113/src/SelectiveExpansion.cmt menhir-20181113/src/syntax.cmt menhir-20181113/src/Drop.cmt menhir-20181113/src/CheckSafeParameterizedGrammar.cmt menhir-20181113/src/nonTerminalDefinitionInlining.cmt menhir-20181113/src/reachability.cmt menhir-20181113/src/unparameterizedPrinter.cmt menhir-20181113/src/FixSolver.cmt menhir-20181113/src/Boolean.cmt menhir-20181113/src/Maps.cmt menhir-20181113/src/patricia.cmt menhir-20181113/src/grammarFunctor.cmt menhir-20181113/src/keywordExpansion.cmt menhir-20181113/src/anonymous.cmt menhir-20181113/src/Driver.cmt menhir-20181113/src/front.cmt menhir-20181113/src/gMap.cmt menhir-20181113/src/grammar.cmt menhir-20181113/src/codePieces.cmt menhir-20181113/src/item.cmt menhir-20181113/src/derivation.cmt menhir-20181113/src/lr0.cmt menhir-20181113/src/slr.cmt menhir-20181113/src/lr1.cmt menhir-20181113/src/DependencyGraph.cmt menhir-20181113/src/lr1partial.cmt menhir-20181113/src/conflict.cmt menhir-20181113/src/invariant.cmt menhir-20181113/src/default.cmt menhir-20181113/src/Trie.cmt menhir-20181113/src/MySet.cmt menhir-20181113/src/resizableArray.cmt menhir-20181113/src/LowIntegerPriorityQueue.cmt menhir-20181113/src/LRijkstraCore.cmt menhir-20181113/src/codeBackend.cmt menhir-20181113/src/coqBackend.cmt menhir-20181113/src/pprint.cmt menhir-20181113/src/cst.cmt menhir-20181113/src/traverse.cmt menhir-20181113/src/inliner.cmt menhir-20181113/src/referenceInterpreter.cmt menhir-20181113/src/sentenceParser.cmt menhir-20181113/src/sentenceLexer.cmt menhir-20181113/src/segment.cmt menhir-20181113/src/sentenceParserAux.cmt menhir-20181113/src/interpret.cmt menhir-20181113/src/tableBackend.cmt menhir-20181113/src/astar.cmt menhir-20181113/src/LRijkstra.cmt menhir-20181113/src/cmly_api.cmt menhir-20181113/src/cmly_format.cmt menhir-20181113/src/cmly_read.cmt menhir-20181113/src/cmly_write.cmt menhir-20181113/src/back.cmt menhir-20181113/src/menhir.cmt menhir-20181113/src/General.cmt menhir-20181113/src/IncrementalEngine.cmt menhir-20181113/src/InfiniteArray.cmt menhir-20181113/src/PackedIntArray.cmt menhir-20181113/src/LinearizedArray.cmt menhir-20181113/src/RowDisplacement.cmt menhir-20181113/src/EngineTypes.cmt menhir-20181113/src/Engine.cmt menhir-20181113/src/TableFormat.cmt menhir-20181113/src/TableInterpreter.cmt menhir-20181113/src/Convert.cmt \ - menhir-20181113/src/Fix.cmti menhir-20181113/src/IO.cmti menhir-20181113/src/installation.cmti menhir-20181113/src/keyword.cmti menhir-20181113/src/lineCount.cmti menhir-20181113/src/positions.cmti menhir-20181113/src/stringSet.cmti menhir-20181113/src/version.cmti menhir-20181113/src/settings.cmti menhir-20181113/src/printer.cmti menhir-20181113/src/codeBits.cmti menhir-20181113/src/action.cmti menhir-20181113/src/mark.cmti menhir-20181113/src/stringMap.cmti menhir-20181113/src/menhirLib.cmti menhir-20181113/src/error.cmti menhir-20181113/src/misc.cmti menhir-20181113/src/codeBits.cmti menhir-20181113/src/gSet.cmti menhir-20181113/src/compressedBitSet.cmti menhir-20181113/src/option.cmti menhir-20181113/src/dot.cmti menhir-20181113/src/InputFile.cmti menhir-20181113/src/parameters.cmti menhir-20181113/src/InputFile.cmti menhir-20181113/src/lexpointfree.cmti menhir-20181113/src/parserAux.cmti menhir-20181113/src/parser.cmti menhir-20181113/src/lexer.cmti menhir-20181113/src/tarjan.cmti menhir-20181113/src/unionFind.cmti menhir-20181113/src/expandTokenAliases.cmti menhir-20181113/src/partialGrammar.cmti menhir-20181113/src/time.cmti menhir-20181113/src/unparameterizedSyntax.cmti menhir-20181113/src/tokenType.cmti menhir-20181113/src/nonterminalType.cmti menhir-20181113/src/interface.cmti menhir-20181113/src/lexdep.cmti menhir-20181113/src/lexmli.cmti menhir-20181113/src/infer.cmti menhir-20181113/src/listMonad.cmti menhir-20181113/src/chopInlined.cmti menhir-20181113/src/sequence.cmti menhir-20181113/src/CompletedNatWitness.cmti menhir-20181113/src/Unifier.cmti menhir-20181113/src/Memoize.cmti menhir-20181113/src/SortUnification.cmti menhir-20181113/src/SortInference.cmti menhir-20181113/src/GroundSort.cmti menhir-20181113/src/SelectiveExpansion.cmti menhir-20181113/src/syntax.cmti menhir-20181113/src/Drop.cmti menhir-20181113/src/CheckSafeParameterizedGrammar.cmti menhir-20181113/src/nonTerminalDefinitionInlining.cmti menhir-20181113/src/reachability.cmti menhir-20181113/src/unparameterizedPrinter.cmti menhir-20181113/src/FixSolver.cmti menhir-20181113/src/Boolean.cmti menhir-20181113/src/Maps.cmti menhir-20181113/src/patricia.cmti menhir-20181113/src/grammarFunctor.cmti menhir-20181113/src/keywordExpansion.cmti menhir-20181113/src/anonymous.cmti menhir-20181113/src/Driver.cmti menhir-20181113/src/front.cmti menhir-20181113/src/gMap.cmti menhir-20181113/src/grammar.cmti menhir-20181113/src/codePieces.cmti menhir-20181113/src/item.cmti menhir-20181113/src/derivation.cmti menhir-20181113/src/lr0.cmti menhir-20181113/src/slr.cmti menhir-20181113/src/lr1.cmti menhir-20181113/src/DependencyGraph.cmti menhir-20181113/src/lr1partial.cmti menhir-20181113/src/conflict.cmti menhir-20181113/src/invariant.cmti menhir-20181113/src/default.cmti menhir-20181113/src/Trie.cmti menhir-20181113/src/MySet.cmti menhir-20181113/src/resizableArray.cmti menhir-20181113/src/LowIntegerPriorityQueue.cmti menhir-20181113/src/LRijkstraCore.cmti menhir-20181113/src/codeBackend.cmti menhir-20181113/src/coqBackend.cmti menhir-20181113/src/pprint.cmti menhir-20181113/src/cst.cmti menhir-20181113/src/traverse.cmti menhir-20181113/src/inliner.cmti menhir-20181113/src/referenceInterpreter.cmti menhir-20181113/src/sentenceParser.cmti menhir-20181113/src/sentenceLexer.cmti menhir-20181113/src/segment.cmti menhir-20181113/src/sentenceParserAux.cmti menhir-20181113/src/interpret.cmti menhir-20181113/src/tableBackend.cmti menhir-20181113/src/astar.cmti menhir-20181113/src/LRijkstra.cmti menhir-20181113/src/cmly_api.cmti menhir-20181113/src/cmly_format.cmti menhir-20181113/src/cmly_read.cmti menhir-20181113/src/cmly_write.cmti menhir-20181113/src/back.cmti menhir-20181113/src/menhir.cmti menhir-20181113/src/General.cmti menhir-20181113/src/IncrementalEngine.cmti menhir-20181113/src/InfiniteArray.cmti menhir-20181113/src/PackedIntArray.cmti menhir-20181113/src/LinearizedArray.cmti menhir-20181113/src/RowDisplacement.cmti menhir-20181113/src/EngineTypes.cmti menhir-20181113/src/Engine.cmti menhir-20181113/src/TableFormat.cmti menhir-20181113/src/TableInterpreter.cmti menhir-20181113/src/Convert.cmti \ - \ - \ - menhir-20181113/src/stretch.cmi menhir-20181113/src/IL.cmi menhir-20181113/src/lookahead.cmi \ - menhir-20181113/src/stretch.cmti menhir-20181113/src/IL.cmti menhir-20181113/src/lookahead.cmti - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/coccinelle.1.0.8/bundles/menhirLib' - /usr/bin/make -C bundles/pcre clean - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/coccinelle.1.0.8/bundles/pcre' - rm -f .depend pcre.cma pcre.cmxa \ - pcre.cmi libpcre_stubs.a \ - \ - pcre.cmx pcre.a \ - \ - \ - dllpcre_stubs.so \ - pcre-ocaml/src/dllpcre_stubs.so \ - pcre-ocaml/src/pcre.a \ - pcre-ocaml/src/libpcre_stubs.a \ - pcre-ocaml/src/pcre.o \ - pcre-ocaml/src/pcre.cmi \ - pcre-ocaml/src/pcre.cmx \ - pcre-ocaml/src/pcre.cmo \ - pcre-ocaml/src/pcre.cmt \ - pcre-ocaml/src/pcre.cmti \ - pcre-ocaml/src/pcre.cma \ - pcre-ocaml/src/pcre.cmxa \ - \ - - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/coccinelle.1.0.8/bundles/pcre' - /usr/bin/make -C bundles/parmap clean - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/coccinelle.1.0.8/bundles/parmap' - rm -f .depend parmap.cma parmap.cmxa \ - bytearray.cmi parmap_utils.cmi setcore.cmi parmap.cmi libparmap_stubs.a \ - \ - bytearray.cmx parmap_utils.cmx setcore.cmx parmap.cmx parmap.a \ - \ - \ - dllparmap_stubs.so \ - parmap/dllparmap_stubs.so \ - parmap/parmap.a \ - parmap/libparmap_stubs.a \ - parmap/bytearray.o parmap/parmap_utils.o parmap/setcore.o parmap/parmap.o \ - parmap/bytearray.cmi parmap/parmap_utils.cmi parmap/setcore.cmi parmap/parmap.cmi \ - parmap/bytearray.cmx parmap/parmap_utils.cmx parmap/setcore.cmx parmap/parmap.cmx \ - parmap/bytearray.cmo parmap/parmap_utils.cmo parmap/setcore.cmo parmap/parmap.cmo \ - parmap/bytearray.cmt parmap/parmap_utils.cmt parmap/setcore.cmt parmap/parmap.cmt \ - parmap/bytearray.cmti parmap/parmap_utils.cmti parmap/setcore.cmti parmap/parmap.cmti \ - parmap/parmap.cma \ - parmap/parmap.cmxa \ - \ - - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/coccinelle.1.0.8/bundles/parmap' - /usr/bin/make -C bundles/pyml clean - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/coccinelle.1.0.8/bundles/pyml' - rm -f .depend pyml.cma pyml.cmxa \ - pywrappers.cmi py.cmi pycaml.cmi libpyml_stubs.a \ - \ - pywrappers.cmx py.cmx pycaml.cmx pyml.a pyml-current/generate pyml-current/generate.cmi pyml-current/generate.cmx pyml-current/generate.cmo pyml-current/generate.cmt pyml-current/generate.cmti pyml-current/generate.o pyml-current/pyml.a pyml-current/pyml.cma pyml-current/pyml.cmxa pyml-current/dllpyml_stubs.so \ - \ - pyml-current/pyml_arch.ml \ - dllpyml_stubs.so \ - pyml-current/dllpyml_stubs.so \ - pyml-current/pyml.a \ - pyml-current/libpyml_stubs.a \ - pyml-current/pyml_arch.o pyml-current/pyutils.o pyml-current/pytypes.o pyml-current/pywrappers.o pyml-current/py.o pyml-current/pycaml.o \ - pyml-current/pyml_arch.cmi pyml-current/pyutils.cmi pyml-current/pytypes.cmi pyml-current/pywrappers.cmi pyml-current/py.cmi pyml-current/pycaml.cmi \ - pyml-current/pyml_arch.cmx pyml-current/pyutils.cmx pyml-current/pytypes.cmx pyml-current/pywrappers.cmx pyml-current/py.cmx pyml-current/pycaml.cmx \ - pyml-current/pyml_arch.cmo pyml-current/pyutils.cmo pyml-current/pytypes.cmo pyml-current/pywrappers.cmo pyml-current/py.cmo pyml-current/pycaml.cmo \ - pyml-current/pyml_arch.cmt pyml-current/pyutils.cmt pyml-current/pytypes.cmt pyml-current/pywrappers.cmt pyml-current/py.cmt pyml-current/pycaml.cmt \ - pyml-current/pyml_arch.cmti pyml-current/pyutils.cmti pyml-current/pytypes.cmti pyml-current/pywrappers.cmti pyml-current/py.cmti pyml-current/pycaml.cmti \ - pyml-current/pyml.cma \ - pyml-current/pyml.cmxa \ - \ - - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/coccinelle.1.0.8/bundles/pyml' - CLEAN commons - CLEAN globals - CLEAN parsing_cocci - CLEAN parsing_c - CLEAN ctl - CLEAN ocaml - CLEAN python - CLEAN engine - CLEAN popl09 - CLEAN extra - CLEAN spatch - CLEAN spgen - CLEAN exposed-module - rm -f coccinelle.cma coccinelle.cmxa coccinelle.a \ - coccinelle.cmo coccinelle.cmx coccinelle.o \ - coccinelle_modules.cmi coccinelle_modules.cmo \ - coccinelle_modules.o coccinelle_modules.cmx - CLEAN .depend Processing 53/54: [coccinelle: make all.opt] + /usr/bin/make "all.opt" (CWD=/home/opam/.opam/4.14/.opam-switch/build/coccinelle.1.0.8) - /home/opam/.opam/4.14/bin/menhir --ocamldep "/home/opam/.opam/4.14/bin/ocamldep -I commons/ocamlextra -I commons -I globals -I parsing_cocci -I parsing_c -I ctl -I ocaml -I python -I engine -I popl09 -I extra -I tools/spgen/source/ -I /home/opam/.opam/4.14/lib/pcre -I /home/opam/.opam/4.14/lib/pyml -I /home/opam/.opam/4.14/lib/parmap -I /home/opam/.opam/4.14/lib/stdcompat -ml-synonym .mll -ml-synonym .mly -mli-synonym .ml -mli-synonym .mll -mli-synonym .mly" --depend parsing_cocci/parser_cocci_menhir.mly >parsing_cocci/parser_cocci_menhir.mly.d || (rm parsing_cocci/parser_cocci_menhir.mly.d; false) - MENHIR parsing_cocci/parser_cocci_menhir.mly - File "parsing_cocci/parser_cocci_menhir.mly", line 237, characters 7-15: - Error: Unbound module Data - OCAMLYACC parsing_c/parser_c.mly - OCAMLDEP parsing_c/parser_c.mli - OCAMLDEP tools/spgen/source/spgen_lexer.mli - OCAMLDEP parsing_c/lexer_c.mli - OCAMLDEP parsing_cocci/lexer_script.mli - OCAMLDEP parsing_cocci/lexer_cli.mli - OCAMLDEP parsing_cocci/lexer_cocci.mli - OCAMLDEP tools/spgen/source/main.mli - OCAMLDEP tools/spgen/source/spgen_test.mli - OCAMLDEP tools/spgen/source/spgen.mli - OCAMLDEP tools/spgen/source/spgen_config.mli - OCAMLDEP tools/spgen/source/spgen_interactive.mli - OCAMLDEP tools/spgen/source/file_transform.mli - OCAMLDEP tools/spgen/source/script_rule.mli - OCAMLDEP tools/spgen/source/context_rule.mli - OCAMLDEP tools/spgen/source/rule_header.mli - OCAMLDEP tools/spgen/source/rule_body.mli - OCAMLDEP tools/spgen/source/disj_generator.mli - OCAMLDEP tools/spgen/source/position_generator.mli - OCAMLDEP tools/spgen/source/user_input.mli - OCAMLDEP tools/spgen/source/snapshot.mli - OCAMLDEP tools/spgen/source/meta_variable.mli - OCAMLDEP tools/spgen/source/detect_patch.mli - OCAMLDEP tools/spgen/source/ast_tostring.mli - OCAMLDEP tools/spgen/source/globals.mli - OCAMLDEP main.mli - OCAMLDEP enter.mli - OCAMLDEP read_options.mli - OCAMLDEP testing.mli - OCAMLDEP cocci.mli - OCAMLDEP flag_cocci.mli - OCAMLDEP extra/maintainers.mli - OCAMLDEP extra/kbuild.mli - OCAMLDEP extra/classic_patch.mli - OCAMLDEP popl09/popl.mli - OCAMLDEP popl09/popltoctl.mli - OCAMLDEP popl09/flag_popl.mli - OCAMLDEP popl09/pretty_print_popl.mli - OCAMLDEP popl09/insert_quantifiers.mli - OCAMLDEP popl09/asttopopl.mli - OCAMLDEP popl09/ast_popl.mli - OCAMLDEP engine/ctlcocci_integration.mli - OCAMLDEP engine/postprocess_transinfo.mli - OCAMLDEP engine/ctltotex.mli - OCAMLDEP engine/asttoctl2.mli - OCAMLDEP engine/asttomember.mli - OCAMLDEP engine/transformation_c.mli - OCAMLDEP engine/pattern_c.mli - OCAMLDEP engine/cocci_vs_c.mli - OCAMLDEP engine/isomorphisms_c_c.mli - OCAMLDEP engine/c_vs_c.mli - OCAMLDEP engine/check_reachability.mli - OCAMLDEP engine/check_exhaustive_pattern.mli - OCAMLDEP engine/pretty_print_engine.mli - OCAMLDEP engine/lib_engine.mli - OCAMLDEP engine/flag_matcher.mli - OCAMLDEP python/pycocci.mli - OCAMLDEP python/yes_pycocci.mli - OCAMLDEP python/pycocci_aux.mli - OCAMLDEP ocaml/run_ocamlcocci.mli - OCAMLDEP ocaml/prepare_ocamlcocci.mli - OCAMLDEP ocaml/yes_prepare_ocamlcocci.mli - OCAMLDEP ocaml/ocamlcocci_aux.mli - OCAMLDEP ocaml/coccilib.mli - OCAMLDEP ocaml/exposed_modules.mli - OCAMLDEP ocaml/externalanalysis.mli - OCAMLDEP ctl/wrapper_ctl.mli - OCAMLDEP ctl/ctl_engine.mli - OCAMLDEP ctl/pretty_print_ctl.mli - OCAMLDEP ctl/ast_ctl.mli - OCAMLDEP ctl/flag_ctl.mli - OCAMLDEP parsing_c/test_parsing_c.mli - OCAMLDEP parsing_c/compare_c.mli - OCAMLDEP parsing_c/comment_annotater_c.mli - OCAMLDEP parsing_c/type_annoter_c.mli - OCAMLDEP parsing_c/cpp_ast_c.mli - OCAMLDEP parsing_c/type_c.mli - OCAMLDEP parsing_c/unparse_hrule.mli - OCAMLDEP parsing_c/unparse_c.mli - OCAMLDEP parsing_c/parse_c.mli - OCAMLDEP parsing_c/danger.mli - OCAMLDEP parsing_c/parsing_consistency_c.mli - OCAMLDEP parsing_c/parsing_recovery_c.mli - OCAMLDEP parsing_c/unparse_cocci.mli - OCAMLDEP parsing_c/cpp_analysis_c.mli - OCAMLDEP parsing_c/parsing_hacks.mli - OCAMLDEP parsing_c/cpp_token_c.mli - OCAMLDEP parsing_c/token_views_c.mli - OCAMLDEP parsing_c/token_helpers.mli - OCAMLDEP parsing_c/parse_string_c.mli - OCAMLDEP parsing_c/lexer_parser.mli - OCAMLDEP parsing_c/semantic_c.mli - OCAMLDEP parsing_c/pretty_print_c.mli - OCAMLDEP parsing_c/control_flow_c_build.mli - OCAMLDEP parsing_c/lib_parsing_c.mli - OCAMLDEP parsing_c/visitor_c.mli - OCAMLDEP parsing_c/control_flow_c.mli - OCAMLDEP parsing_c/includes.mli - OCAMLDEP parsing_c/ast_c.mli - OCAMLDEP parsing_c/token_c.mli - OCAMLDEP parsing_c/parsing_stat.mli - OCAMLDEP parsing_c/flag_parsing_c.mli - OCAMLDEP parsing_c/token_annot.mli - OCAMLDEP parsing_cocci/command_line.mli - OCAMLDEP parsing_cocci/parse_cocci.mli - OCAMLDEP parsing_cocci/re_constraints.mli - OCAMLDEP parsing_cocci/commas_on_lists.mli - OCAMLDEP parsing_cocci/adjacency.mli - OCAMLDEP parsing_cocci/git_grep.mli - OCAMLDEP parsing_cocci/id_utils.mli - OCAMLDEP parsing_cocci/get_constants2.mli - OCAMLDEP parsing_cocci/dpll.mli - OCAMLDEP parsing_cocci/cocci_grep.mli - OCAMLDEP parsing_cocci/disjdistr.mli - OCAMLDEP parsing_cocci/cleanup_rules.mli - OCAMLDEP parsing_cocci/parse_aux.mli - OCAMLDEP parsing_cocci/parse_printf.mli - OCAMLDEP parsing_cocci/safe_for_multi_decls.mli - OCAMLDEP parsing_cocci/free_vars.mli - OCAMLDEP parsing_cocci/data.mli - OCAMLDEP parsing_cocci/semantic_cocci.mli - OCAMLDEP parsing_cocci/function_prototypes.mli - OCAMLDEP parsing_cocci/insert_plus.mli - OCAMLDEP parsing_cocci/adjust_pragmas.mli - OCAMLDEP parsing_cocci/context_neg.mli - OCAMLDEP parsing_cocci/index.mli - OCAMLDEP parsing_cocci/arity.mli - OCAMLDEP parsing_cocci/unitary_ast0.mli - OCAMLDEP parsing_cocci/test_exps.mli - OCAMLDEP parsing_cocci/type_infer.mli - OCAMLDEP parsing_cocci/top_level.mli - OCAMLDEP parsing_cocci/check_meta.mli - OCAMLDEP parsing_cocci/stmtlist.mli - OCAMLDEP parsing_cocci/get_metas.mli - OCAMLDEP parsing_cocci/simple_assignments.mli - OCAMLDEP parsing_cocci/single_statement.mli - OCAMLDEP parsing_cocci/iso_compile.mli - OCAMLDEP parsing_cocci/comm_assoc.mli - OCAMLDEP parsing_cocci/iso_pattern.mli - OCAMLDEP parsing_cocci/compute_lines.mli - OCAMLDEP parsing_cocci/unify_ast.mli - OCAMLDEP parsing_cocci/unparse_ast0.mli - OCAMLDEP parsing_cocci/ast0toast.mli - OCAMLDEP parsing_cocci/visitor_ast0.mli - OCAMLDEP parsing_cocci/visitor_ast.mli - OCAMLDEP parsing_cocci/visitor_ast0_types.mli - OCAMLDEP parsing_cocci/pretty_print_cocci.mli - OCAMLDEP parsing_cocci/ast0_cocci.mli - OCAMLDEP parsing_cocci/ast_cocci.mli - OCAMLDEP parsing_cocci/flag_parsing_cocci.mli - OCAMLDEP globals/regexp.mli - OCAMLDEP globals/regexp_pcre.mli - OCAMLDEP globals/iteration.mli - OCAMLDEP globals/flag.mli - OCAMLDEP globals/config.mli - OCAMLDEP commons/ograph_extended.mli - OCAMLDEP commons/ograph_simple.mli - OCAMLDEP commons/common.mli - OCAMLDEP commons/commands.mli - OCAMLDEP commons/ocamlextra/dumper.mli - OCAMLDEP parsing_c/parser_c.ml - OCAMLLEX tools/spgen/source/spgen_lexer.mll - 143 states, 8123 transitions, table size 33350 bytes - 23641 additional bytes used for bindings - OCAMLDEP tools/spgen/source/spgen_lexer.ml - OCAMLLEX parsing_c/lexer_c.mll - 556 states, 26383 transitions, table size 108868 bytes - 16787 additional bytes used for bindings - OCAMLDEP parsing_c/lexer_c.ml - OCAMLLEX parsing_cocci/lexer_script.mll - 25 states, 314 transitions, table size 1406 bytes - OCAMLDEP parsing_cocci/lexer_script.ml - OCAMLLEX parsing_cocci/lexer_cli.mll - 14 states, 681 transitions, table size 2808 bytes - OCAMLDEP parsing_cocci/lexer_cli.ml - OCAMLLEX parsing_cocci/lexer_cocci.mll - 382 states, 7292 transitions, table size 31460 bytes - 3992 additional bytes used for bindings - OCAMLDEP parsing_cocci/lexer_cocci.ml - OCAMLDEP tools/spgen/source/main.ml - OCAMLDEP tools/spgen/source/spgen_test.ml - OCAMLDEP tools/spgen/source/spgen.ml - OCAMLDEP tools/spgen/source/spgen_config.ml - OCAMLDEP tools/spgen/source/spgen_interactive.ml - OCAMLDEP tools/spgen/source/file_transform.ml - OCAMLDEP tools/spgen/source/script_rule.ml - OCAMLDEP tools/spgen/source/context_rule.ml - OCAMLDEP tools/spgen/source/rule_header.ml - OCAMLDEP tools/spgen/source/rule_body.ml - OCAMLDEP tools/spgen/source/disj_generator.ml - OCAMLDEP tools/spgen/source/position_generator.ml - OCAMLDEP tools/spgen/source/user_input.ml - OCAMLDEP tools/spgen/source/snapshot.ml - OCAMLDEP tools/spgen/source/meta_variable.ml - OCAMLDEP tools/spgen/source/detect_patch.ml - OCAMLDEP tools/spgen/source/ast_tostring.ml - OCAMLDEP tools/spgen/source/globals.ml - OCAMLDEP main.ml - OCAMLDEP enter.ml - OCAMLDEP read_options.ml - OCAMLDEP testing.ml - OCAMLDEP cocci.ml - OCAMLDEP flag_cocci.ml - OCAMLDEP extra/maintainers.ml - OCAMLDEP extra/kbuild.ml - OCAMLDEP extra/classic_patch.ml - OCAMLDEP popl09/popl.ml - OCAMLDEP popl09/popltoctl.ml - OCAMLDEP popl09/flag_popl.ml - OCAMLDEP popl09/pretty_print_popl.ml - OCAMLDEP popl09/insert_quantifiers.ml - OCAMLDEP popl09/asttopopl.ml - OCAMLDEP popl09/ast_popl.ml - OCAMLDEP engine/ctlcocci_integration.ml - OCAMLDEP engine/postprocess_transinfo.ml - OCAMLDEP engine/ctltotex.ml - OCAMLDEP engine/asttoctl2.ml - OCAMLDEP engine/asttomember.ml - OCAMLDEP engine/transformation_c.ml - OCAMLDEP engine/pattern_c.ml - OCAMLDEP engine/cocci_vs_c.ml - OCAMLDEP engine/isomorphisms_c_c.ml - OCAMLDEP engine/c_vs_c.ml - OCAMLDEP engine/check_reachability.ml - OCAMLDEP engine/check_exhaustive_pattern.ml - OCAMLDEP engine/pretty_print_engine.ml - OCAMLDEP engine/lib_engine.ml - OCAMLDEP engine/flag_matcher.ml - OCAMLDEP python/pycocci.ml - OCAMLDEP python/yes_pycocci.ml - OCAMLDEP python/pycocci_aux.ml - OCAMLDEP ocaml/run_ocamlcocci.ml - OCAMLDEP ocaml/prepare_ocamlcocci.ml - OCAMLDEP ocaml/yes_prepare_ocamlcocci.ml - OCAMLDEP ocaml/ocamlcocci_aux.ml - OCAMLDEP ocaml/coccilib.ml - OCAMLDEP ocaml/exposed_modules.ml - OCAMLDEP ocaml/externalanalysis.ml - OCAMLDEP ctl/wrapper_ctl.ml - OCAMLDEP ctl/ctl_engine.ml - OCAMLDEP ctl/pretty_print_ctl.ml - OCAMLDEP ctl/ast_ctl.ml - OCAMLDEP ctl/flag_ctl.ml - OCAMLDEP parsing_c/test_parsing_c.ml - OCAMLDEP parsing_c/compare_c.ml - OCAMLDEP parsing_c/comment_annotater_c.ml - OCAMLDEP parsing_c/type_annoter_c.ml - OCAMLDEP parsing_c/cpp_ast_c.ml - OCAMLDEP parsing_c/type_c.ml - OCAMLDEP parsing_c/unparse_hrule.ml - OCAMLDEP parsing_c/unparse_c.ml - OCAMLDEP parsing_c/parse_c.ml - OCAMLDEP parsing_c/danger.ml - OCAMLDEP parsing_c/parsing_consistency_c.ml - OCAMLDEP parsing_c/parsing_recovery_c.ml - OCAMLDEP parsing_c/unparse_cocci.ml - OCAMLDEP parsing_c/cpp_analysis_c.ml - OCAMLDEP parsing_c/parsing_hacks.ml - OCAMLDEP parsing_c/cpp_token_c.ml - OCAMLDEP parsing_c/token_views_c.ml - OCAMLDEP parsing_c/token_helpers.ml - OCAMLDEP parsing_c/parse_string_c.ml - OCAMLDEP parsing_c/lexer_parser.ml - OCAMLDEP parsing_c/semantic_c.ml - OCAMLDEP parsing_c/pretty_print_c.ml - OCAMLDEP parsing_c/control_flow_c_build.ml - OCAMLDEP parsing_c/lib_parsing_c.ml - OCAMLDEP parsing_c/visitor_c.ml - OCAMLDEP parsing_c/control_flow_c.ml - OCAMLDEP parsing_c/includes.ml - OCAMLDEP parsing_c/ast_c.ml - OCAMLDEP parsing_c/token_c.ml - OCAMLDEP parsing_c/parsing_stat.ml - OCAMLDEP parsing_c/flag_parsing_c.ml - OCAMLDEP parsing_c/token_annot.ml - OCAMLDEP parsing_cocci/command_line.ml - OCAMLDEP parsing_cocci/parse_cocci.ml - OCAMLDEP parsing_cocci/re_constraints.ml - OCAMLDEP parsing_cocci/commas_on_lists.ml - OCAMLDEP parsing_cocci/adjacency.ml - OCAMLDEP parsing_cocci/git_grep.ml - OCAMLDEP parsing_cocci/id_utils.ml - OCAMLDEP parsing_cocci/get_constants2.ml - OCAMLDEP parsing_cocci/dpll.ml - OCAMLDEP parsing_cocci/cocci_grep.ml - OCAMLDEP parsing_cocci/disjdistr.ml - OCAMLDEP parsing_cocci/cleanup_rules.ml - OCAMLDEP parsing_cocci/parse_aux.ml - OCAMLDEP parsing_cocci/parse_printf.ml - OCAMLDEP parsing_cocci/safe_for_multi_decls.ml - OCAMLDEP parsing_cocci/free_vars.ml - OCAMLDEP parsing_cocci/data.ml - OCAMLDEP parsing_cocci/semantic_cocci.ml - OCAMLDEP parsing_cocci/function_prototypes.ml - OCAMLDEP parsing_cocci/insert_plus.ml - OCAMLDEP parsing_cocci/adjust_pragmas.ml - OCAMLDEP parsing_cocci/context_neg.ml - OCAMLDEP parsing_cocci/index.ml - OCAMLDEP parsing_cocci/arity.ml - OCAMLDEP parsing_cocci/unitary_ast0.ml - OCAMLDEP parsing_cocci/test_exps.ml - OCAMLDEP parsing_cocci/type_infer.ml - OCAMLDEP parsing_cocci/top_level.ml - OCAMLDEP parsing_cocci/check_meta.ml - OCAMLDEP parsing_cocci/stmtlist.ml - OCAMLDEP parsing_cocci/get_metas.ml - OCAMLDEP parsing_cocci/simple_assignments.ml - OCAMLDEP parsing_cocci/single_statement.ml - OCAMLDEP parsing_cocci/iso_compile.ml - OCAMLDEP parsing_cocci/comm_assoc.ml - OCAMLDEP parsing_cocci/iso_pattern.ml - OCAMLDEP parsing_cocci/compute_lines.ml - OCAMLDEP parsing_cocci/unify_ast.ml - OCAMLDEP parsing_cocci/unparse_ast0.ml - OCAMLDEP parsing_cocci/ast0toast.ml - OCAMLDEP parsing_cocci/visitor_ast0.ml - OCAMLDEP parsing_cocci/visitor_ast.ml - OCAMLDEP parsing_cocci/visitor_ast0_types.ml - OCAMLDEP parsing_cocci/pretty_print_cocci.ml - OCAMLDEP parsing_cocci/ast0_cocci.ml - OCAMLDEP parsing_cocci/ast_cocci.ml - OCAMLDEP parsing_cocci/flag_parsing_cocci.ml - OCAMLDEP globals/regexp.ml - OCAMLDEP globals/regexp_pcre.ml - OCAMLDEP globals/iteration.ml - OCAMLDEP globals/flag.ml - OCAMLDEP globals/config.ml - OCAMLDEP commons/ograph_extended.ml - OCAMLDEP commons/ograph_simple.ml - OCAMLDEP commons/common.ml - OCAMLDEP commons/commands.ml - OCAMLDEP commons/ocamlextra/dumper.ml - OCAMLC globals/regexp.mli - OCAMLC parsing_cocci/ast_cocci.mli - OCAMLC parsing_cocci/ast0_cocci.mli - OCAMLC parsing_cocci/ast0toast.mli - OCAMLC commons/common.mli - OCAMLC parsing_cocci/data.mli - OCAMLC globals/flag.mli - OCAMLC parsing_cocci/flag_parsing_cocci.mli - OCAMLC globals/iteration.mli - OCAMLC parsing_cocci/parse_aux.mli - OCAMLC parsing_cocci/semantic_cocci.mli - OCAMLC parsing_cocci/unparse_ast0.mli - MENHIR parsing_cocci/parser_cocci_menhir.mly - OCAMLDEP parsing_cocci/parser_cocci_menhir.mli - OCAMLDEP parsing_cocci/parser_cocci_menhir.ml - OCAMLC commons/ocamlextra/dumper.mli - OCAMLOPT commons/ocamlextra/dumper.ml - OCAMLC commons/commands.mli - OCAMLOPT commons/commands.ml - OCAMLOPT commons/common.ml - File "commons/common.ml", line 4645, characters 40-58: - 4645 | let compare (x : int) (y : int) = Pervasives.compare x y - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "commons/common.ml", line 4654, characters 13-31: - 4654 | let cmp_x = Pervasives.compare x1 x2 in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "commons/common.ml", line 4658, characters 3-21: - 4658 | Pervasives.compare y1 y2 - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "commons/common.ml", line 5304, characters 4-14: - 5304 | write_file file1 (unwords xs); - ^^^^^^^^^^ - Warning 6 [labels-omitted]: label file was omitted in the application of this function. - File "commons/common.ml", line 5305, characters 4-14: - 5305 | write_file file2 (unwords ys); - ^^^^^^^^^^ - Warning 6 [labels-omitted]: label file was omitted in the application of this function. - File "commons/common.ml", line 5332, characters 4-14: - 5332 | write_file "/tmp/diff1" xstr; - ^^^^^^^^^^ - Warning 6 [labels-omitted]: label file was omitted in the application of this function. - File "commons/common.ml", line 5333, characters 4-14: - 5333 | write_file "/tmp/diff2" ystr; - ^^^^^^^^^^ - Warning 6 [labels-omitted]: label file was omitted in the application of this function. - OCAMLC commons/ograph_simple.mli - OCAMLOPT commons/ograph_simple.ml - OCAMLC commons/ograph_extended.mli - OCAMLOPT commons/ograph_extended.ml - OCAMLOPT -o commons/commons.cmxa - OCAMLC globals/config.mli - OCAMLOPT globals/config.ml - OCAMLOPT globals/flag.ml - OCAMLOPT globals/iteration.ml - OCAMLC globals/regexp_pcre.mli - OCAMLOPT globals/regexp_pcre.ml - OCAMLOPT globals/regexp.ml - OCAMLOPT -o globals/globals.cmxa - OCAMLOPT parsing_cocci/flag_parsing_cocci.ml - OCAMLOPT parsing_cocci/ast_cocci.ml - OCAMLOPT parsing_cocci/ast0_cocci.ml - OCAMLC parsing_cocci/pretty_print_cocci.mli - OCAMLOPT parsing_cocci/pretty_print_cocci.ml - OCAMLC parsing_cocci/visitor_ast0_types.mli - OCAMLOPT parsing_cocci/visitor_ast0_types.ml - OCAMLC parsing_cocci/visitor_ast.mli - OCAMLOPT parsing_cocci/visitor_ast.ml - OCAMLC parsing_cocci/visitor_ast0.mli - OCAMLOPT parsing_cocci/visitor_ast0.ml - OCAMLOPT parsing_cocci/ast0toast.ml - OCAMLOPT parsing_cocci/unparse_ast0.ml - OCAMLC parsing_cocci/unify_ast.mli - OCAMLOPT parsing_cocci/unify_ast.ml - OCAMLC parsing_cocci/compute_lines.mli - OCAMLOPT parsing_cocci/compute_lines.ml - OCAMLC parsing_cocci/iso_pattern.mli - OCAMLOPT parsing_cocci/iso_pattern.ml - OCAMLC parsing_cocci/comm_assoc.mli - OCAMLOPT parsing_cocci/comm_assoc.ml - OCAMLC parsing_cocci/iso_compile.mli - OCAMLOPT parsing_cocci/iso_compile.ml - OCAMLC parsing_cocci/single_statement.mli - OCAMLOPT parsing_cocci/single_statement.ml - OCAMLC parsing_cocci/simple_assignments.mli - OCAMLOPT parsing_cocci/simple_assignments.ml - OCAMLC parsing_cocci/get_metas.mli - OCAMLOPT parsing_cocci/get_metas.ml - OCAMLC parsing_cocci/stmtlist.mli - OCAMLOPT parsing_cocci/stmtlist.ml - OCAMLC parsing_cocci/check_meta.mli - OCAMLOPT parsing_cocci/check_meta.ml - OCAMLC parsing_cocci/top_level.mli - OCAMLOPT parsing_cocci/top_level.ml - OCAMLC parsing_cocci/type_infer.mli - OCAMLOPT parsing_cocci/type_infer.ml - OCAMLC parsing_cocci/test_exps.mli - OCAMLOPT parsing_cocci/test_exps.ml - OCAMLC parsing_cocci/unitary_ast0.mli - OCAMLOPT parsing_cocci/unitary_ast0.ml - OCAMLC parsing_cocci/arity.mli - OCAMLOPT parsing_cocci/arity.ml - OCAMLC parsing_cocci/index.mli - OCAMLOPT parsing_cocci/index.ml - OCAMLC parsing_cocci/context_neg.mli - OCAMLOPT parsing_cocci/context_neg.ml - OCAMLC parsing_cocci/adjust_pragmas.mli - OCAMLOPT parsing_cocci/adjust_pragmas.ml - OCAMLC parsing_cocci/insert_plus.mli - OCAMLOPT parsing_cocci/insert_plus.ml - OCAMLC parsing_cocci/function_prototypes.mli - OCAMLOPT parsing_cocci/function_prototypes.ml - OCAMLOPT parsing_cocci/semantic_cocci.ml - OCAMLOPT parsing_cocci/data.ml - OCAMLC parsing_cocci/free_vars.mli - OCAMLOPT parsing_cocci/free_vars.ml - OCAMLC parsing_cocci/safe_for_multi_decls.mli - OCAMLOPT parsing_cocci/safe_for_multi_decls.ml - OCAMLC parsing_cocci/parse_printf.mli - OCAMLOPT parsing_cocci/parse_printf.ml - OCAMLOPT parsing_cocci/parse_aux.ml - OCAMLC parsing_cocci/cleanup_rules.mli - OCAMLOPT parsing_cocci/cleanup_rules.ml - OCAMLC parsing_cocci/disjdistr.mli - OCAMLOPT parsing_cocci/disjdistr.ml - OCAMLC parsing_cocci/parser_cocci_menhir.mli - OCAMLOPT parsing_cocci/parser_cocci_menhir.ml - OCAMLC parsing_cocci/lexer_cocci.mli - OCAMLOPT parsing_cocci/lexer_cocci.ml - OCAMLC parsing_cocci/lexer_cli.mli - OCAMLOPT parsing_cocci/lexer_cli.ml - OCAMLC parsing_cocci/lexer_script.mli - OCAMLOPT parsing_cocci/lexer_script.ml - OCAMLC parsing_cocci/cocci_grep.mli - OCAMLOPT parsing_cocci/cocci_grep.ml - OCAMLC parsing_cocci/dpll.mli - OCAMLOPT parsing_cocci/dpll.ml - OCAMLC parsing_cocci/get_constants2.mli - OCAMLOPT parsing_cocci/get_constants2.ml - OCAMLC parsing_cocci/id_utils.mli - OCAMLOPT parsing_cocci/id_utils.ml - OCAMLC parsing_cocci/git_grep.mli - OCAMLOPT parsing_cocci/git_grep.ml - OCAMLC parsing_cocci/adjacency.mli - OCAMLOPT parsing_cocci/adjacency.ml - OCAMLC parsing_cocci/commas_on_lists.mli - OCAMLOPT parsing_cocci/commas_on_lists.ml - OCAMLC parsing_cocci/re_constraints.mli - OCAMLOPT parsing_cocci/re_constraints.ml - OCAMLC parsing_cocci/parse_cocci.mli - OCAMLOPT parsing_cocci/parse_cocci.ml - OCAMLC parsing_cocci/command_line.mli - OCAMLOPT parsing_cocci/command_line.ml - OCAMLOPT -o parsing_cocci/parsing_cocci.cmxa - OCAMLC parsing_c/token_annot.mli - OCAMLOPT parsing_c/token_annot.ml - OCAMLC parsing_c/flag_parsing_c.mli - OCAMLOPT parsing_c/flag_parsing_c.ml - OCAMLC parsing_c/parsing_stat.mli - OCAMLOPT parsing_c/parsing_stat.ml - OCAMLC parsing_c/token_c.mli - OCAMLOPT parsing_c/token_c.ml - OCAMLC parsing_c/ast_c.mli - OCAMLOPT parsing_c/ast_c.ml - OCAMLC parsing_c/includes.mli - OCAMLOPT parsing_c/includes.ml - OCAMLC parsing_c/control_flow_c.mli - OCAMLOPT parsing_c/control_flow_c.ml - OCAMLC parsing_c/visitor_c.mli - OCAMLOPT parsing_c/visitor_c.ml - OCAMLC parsing_c/lib_parsing_c.mli - OCAMLOPT parsing_c/lib_parsing_c.ml - OCAMLC parsing_c/control_flow_c_build.mli - OCAMLOPT parsing_c/control_flow_c_build.ml - OCAMLC parsing_c/pretty_print_c.mli - OCAMLOPT parsing_c/pretty_print_c.ml - File "parsing_c/pretty_print_c.ml", line 1581, characters 3-13: - 1581 | (pp_elem_sp pr_elem pr_space).expression - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1584, characters 3-13: - 1584 | (pp_elem_sp pr_elem pr_space).assignOp - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1587, characters 3-13: - 1587 | (pp_elem_sp pr_elem pr_space).binaryOp - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1590, characters 3-13: - 1590 | (pp_elem_sp pr_elem pr_space).arg_list - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1593, characters 3-13: - 1593 | (pp_elem_sp pr_elem pr_space).arg - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1596, characters 3-13: - 1596 | (pp_elem_sp pr_elem pr_space).statement - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1599, characters 3-13: - 1599 | (pp_elem_sp pr_elem pr_space).statement_seq_list - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1602, characters 3-13: - 1602 | (pp_elem_sp pr_elem pr_space).decl - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1605, characters 3-13: - 1605 | (pp_elem_sp pr_elem pr_space).field - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1608, characters 3-13: - 1608 | (pp_elem_sp pr_elem pr_space).field_list - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1611, characters 3-13: - 1611 | (pp_elem_sp pr_elem pr_space).init - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1614, characters 3-13: - 1614 | (pp_elem_sp pr_elem pr_space).init_list - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1617, characters 3-13: - 1617 | (pp_elem_sp pr_elem pr_space).param - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1620, characters 3-13: - 1620 | (pp_elem_sp pr_elem pr_space).paramlist - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1623, characters 3-13: - 1623 | (pp_elem_sp pr_elem pr_space).dparamlist - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1626, characters 3-13: - 1626 | (pp_elem_sp pr_elem pr_space).ty - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1629, characters 3-13: - 1629 | (pp_elem_sp pr_elem pr_space).type_with_ident - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1632, characters 3-13: - 1632 | (pp_elem_sp pr_elem pr_space).fragment_list - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1635, characters 3-13: - 1635 | (pp_elem_sp pr_elem pr_space).format - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1638, characters 3-13: - 1638 | (pp_elem_sp pr_elem pr_space).toplevel - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - OCAMLC parsing_c/semantic_c.mli - OCAMLOPT parsing_c/semantic_c.ml - OCAMLC parsing_c/lexer_parser.mli - OCAMLOPT parsing_c/lexer_parser.ml - OCAMLC parsing_c/parser_c.mli - OCAMLOPT parsing_c/parser_c.ml - OCAMLC parsing_c/lexer_c.mli - OCAMLOPT parsing_c/lexer_c.ml - OCAMLC parsing_c/parse_string_c.mli - OCAMLOPT parsing_c/parse_string_c.ml - OCAMLC parsing_c/token_helpers.mli - OCAMLOPT parsing_c/token_helpers.ml - OCAMLC parsing_c/token_views_c.mli - OCAMLOPT parsing_c/token_views_c.ml - OCAMLC parsing_c/cpp_token_c.mli - OCAMLOPT parsing_c/cpp_token_c.ml - OCAMLC parsing_c/parsing_hacks.mli - OCAMLOPT parsing_c/parsing_hacks.ml - OCAMLC parsing_c/cpp_analysis_c.mli - OCAMLOPT parsing_c/cpp_analysis_c.ml - OCAMLC parsing_c/unparse_cocci.mli - OCAMLOPT parsing_c/unparse_cocci.ml - File "parsing_c/unparse_cocci.ml", line 91, characters 2-35: - 91 | Pretty_print_c.mk_pretty_printers pr_celem pr_cspace - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space, pr_nl, pr_indent, pr_outdent, pr_unindent were omitted in the application of this function. - OCAMLC parsing_c/parsing_recovery_c.mli - OCAMLOPT parsing_c/parsing_recovery_c.ml - OCAMLC parsing_c/parsing_consistency_c.mli - OCAMLOPT parsing_c/parsing_consistency_c.ml - OCAMLC parsing_c/danger.mli - OCAMLOPT parsing_c/danger.ml - OCAMLC parsing_c/parse_c.mli - OCAMLOPT parsing_c/parse_c.ml - File "parsing_c/parse_c.ml", line 671, characters 1-37: - 671 | Parsing_recovery_c.find_next_synchro tr.rest tr.passed in - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: labels next, already_passed were omitted in the application of this function. - File "parsing_c/parse_c.ml", line 1370, characters 2-19: - 1370 | Common.write_file tmpfile ("void main() { \n" ^ s ^ "\n}"); - ^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label file was omitted in the application of this function. - File "parsing_c/parse_c.ml", line 1381, characters 2-19: - 1381 | Common.write_file tmpfile ("void main() { \n" ^ s ^ ";\n}"); - ^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label file was omitted in the application of this function. - OCAMLC parsing_c/unparse_c.mli - OCAMLOPT parsing_c/unparse_c.ml - File "parsing_c/unparse_c.ml", line 275, characters 2-31: - 275 | Pretty_print_c.pp_program_gen pr_get_elem pr_space celem; - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - OCAMLC parsing_c/unparse_hrule.mli - OCAMLOPT parsing_c/unparse_hrule.ml - File "parsing_c/unparse_hrule.ml", line 202, characters 6-33: - 202 | Pretty_print_c.pp_param_gen - ^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/unparse_hrule.ml", line 334, characters 5-31: - 334 | Pretty_print_c.pp_type_gen - ^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - OCAMLC parsing_c/type_c.mli - OCAMLOPT parsing_c/type_c.ml - OCAMLC parsing_c/cpp_ast_c.mli - OCAMLOPT parsing_c/cpp_ast_c.ml - OCAMLC parsing_c/type_annoter_c.mli - OCAMLOPT parsing_c/type_annoter_c.ml - OCAMLC parsing_c/comment_annotater_c.mli - OCAMLOPT parsing_c/comment_annotater_c.ml - OCAMLC parsing_c/compare_c.mli - OCAMLOPT parsing_c/compare_c.ml - OCAMLC parsing_c/test_parsing_c.mli - OCAMLOPT parsing_c/test_parsing_c.ml - OCAMLOPT -o parsing_c/parsing_c.cmxa - OCAMLC ctl/flag_ctl.mli - OCAMLOPT ctl/flag_ctl.ml - OCAMLC ctl/ast_ctl.mli - OCAMLOPT ctl/ast_ctl.ml - OCAMLC ctl/pretty_print_ctl.mli - OCAMLOPT ctl/pretty_print_ctl.ml - OCAMLC ctl/ctl_engine.mli - OCAMLOPT ctl/ctl_engine.ml - OCAMLC ctl/wrapper_ctl.mli - OCAMLOPT ctl/wrapper_ctl.ml - OCAMLOPT -o ctl/ctl.cmxa - OCAMLC ocaml/externalanalysis.mli - OCAMLOPT ocaml/externalanalysis.ml - OCAMLC ocaml/exposed_modules.mli - OCAMLOPT ocaml/exposed_modules.ml - OCAMLC ocaml/coccilib.mli - OCAMLOPT ocaml/coccilib.ml - File "ocaml/coccilib.ml", line 107, characters 2-19: - 107 | Common.write_file tmpfile (Printf.sprintf "void main() {\n%s\n%s\n}" env s); - ^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label file was omitted in the application of this function. - File "ocaml/coccilib.ml", line 125, characters 2-19: - 125 | Common.write_file tmpfile (Printf.sprintf "void main() {\n%s\n%s;\n}" env s); - ^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label file was omitted in the application of this function. - OCAMLC ocaml/ocamlcocci_aux.mli - OCAMLOPT ocaml/ocamlcocci_aux.ml - OCAMLC ocaml/yes_prepare_ocamlcocci.mli - OCAMLOPT ocaml/yes_prepare_ocamlcocci.ml - OCAMLC ocaml/prepare_ocamlcocci.mli - OCAMLOPT ocaml/prepare_ocamlcocci.ml - OCAMLC ocaml/run_ocamlcocci.mli - OCAMLOPT ocaml/run_ocamlcocci.ml - OCAMLOPT -o ocaml/ocaml.cmxa - OCAMLC python/pycocci_aux.mli - OCAMLOPT python/pycocci_aux.ml - OCAMLC python/yes_pycocci.mli - OCAMLOPT python/yes_pycocci.ml - OCAMLC python/pycocci.mli - OCAMLOPT python/pycocci.ml - OCAMLOPT -o python/python.cmxa - OCAMLC engine/flag_matcher.mli - OCAMLOPT engine/flag_matcher.ml - OCAMLC engine/lib_engine.mli - OCAMLOPT engine/lib_engine.ml - OCAMLC engine/pretty_print_engine.mli - OCAMLOPT engine/pretty_print_engine.ml - OCAMLC engine/check_exhaustive_pattern.mli - OCAMLOPT engine/check_exhaustive_pattern.ml - OCAMLC engine/check_reachability.mli - OCAMLOPT engine/check_reachability.ml - OCAMLC engine/c_vs_c.mli - OCAMLOPT engine/c_vs_c.ml - OCAMLC engine/isomorphisms_c_c.mli - OCAMLOPT engine/isomorphisms_c_c.ml - OCAMLC engine/cocci_vs_c.mli - OCAMLOPT engine/cocci_vs_c.ml - OCAMLC engine/pattern_c.mli - OCAMLOPT engine/pattern_c.ml - OCAMLC engine/transformation_c.mli - OCAMLOPT engine/transformation_c.ml - OCAMLC engine/asttomember.mli - OCAMLOPT engine/asttomember.ml - OCAMLC engine/asttoctl2.mli - OCAMLOPT engine/asttoctl2.ml - OCAMLC engine/ctltotex.mli - OCAMLOPT engine/ctltotex.ml - OCAMLC engine/postprocess_transinfo.mli - OCAMLOPT engine/postprocess_transinfo.ml - OCAMLC engine/ctlcocci_integration.mli - OCAMLOPT engine/ctlcocci_integration.ml - OCAMLOPT -o engine/engine.cmxa - OCAMLC popl09/ast_popl.mli - OCAMLOPT popl09/ast_popl.ml - OCAMLC popl09/asttopopl.mli - OCAMLOPT popl09/asttopopl.ml - OCAMLC popl09/insert_quantifiers.mli - OCAMLOPT popl09/insert_quantifiers.ml - OCAMLC popl09/pretty_print_popl.mli - OCAMLOPT popl09/pretty_print_popl.ml - OCAMLC popl09/flag_popl.mli - OCAMLOPT popl09/flag_popl.ml - OCAMLC popl09/popltoctl.mli - OCAMLOPT popl09/popltoctl.ml - OCAMLC popl09/popl.mli - OCAMLOPT popl09/popl.ml - OCAMLOPT -o popl09/popl09.cmxa - OCAMLC extra/classic_patch.mli - OCAMLOPT extra/classic_patch.ml - OCAMLC extra/kbuild.mli - OCAMLOPT extra/kbuild.ml - OCAMLC extra/maintainers.mli - OCAMLOPT extra/maintainers.ml - OCAMLOPT -o extra/extra.cmxa - OCAMLC flag_cocci.mli - OCAMLOPT flag_cocci.ml - OCAMLC cocci.mli - OCAMLOPT cocci.ml - OCAMLC testing.mli - OCAMLOPT testing.ml - OCAMLC read_options.mli - OCAMLOPT read_options.ml - OCAMLC enter.mli - OCAMLOPT enter.ml - File "enter.ml", line 826, characters 2-20: - 826 | Common.short_usage usage_msg short_options; - ^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label short_opt was omitted in the application of this function. - File "enter.ml", line 835, characters 2-19: - 835 | Common.long_usage usage_msg short_options other_options - ^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: labels short_opt, long_opt were omitted in the application of this function. - OCAMLC main.mli - OCAMLOPT main.ml - OCAMLOPT -o spatch.opt - OCAMLC tools/spgen/source/globals.mli - OCAMLOPT tools/spgen/source/globals.ml - OCAMLC tools/spgen/source/ast_tostring.mli - OCAMLOPT tools/spgen/source/ast_tostring.ml - OCAMLC tools/spgen/source/detect_patch.mli - OCAMLOPT tools/spgen/source/detect_patch.ml - OCAMLC tools/spgen/source/meta_variable.mli - OCAMLOPT tools/spgen/source/meta_variable.ml - File "tools/spgen/source/meta_variable.ml", line 561, characters 25-36: - 561 | let constr = constraints rn idconstr in - ^^^^^^^^^^^ - Warning 6 [labels-omitted]: label rn was omitted in the application of this function. - OCAMLC tools/spgen/source/snapshot.mli - OCAMLOPT tools/spgen/source/snapshot.ml - File "tools/spgen/source/snapshot.ml", line 130, characters 37-53: - 130 | let inc_line snp = inc_current_line (set_mode_context Ast0.NONE snp) - ^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label arity was omitted in the application of this function. - OCAMLC tools/spgen/source/user_input.mli - OCAMLOPT tools/spgen/source/user_input.ml - OCAMLC tools/spgen/source/position_generator.mli - OCAMLOPT tools/spgen/source/position_generator.ml - OCAMLC tools/spgen/source/disj_generator.mli - OCAMLOPT tools/spgen/source/disj_generator.ml - OCAMLC tools/spgen/source/rule_body.mli - OCAMLOPT tools/spgen/source/rule_body.ml - OCAMLC tools/spgen/source/rule_header.mli - OCAMLOPT tools/spgen/source/rule_header.ml - OCAMLC tools/spgen/source/context_rule.mli - OCAMLOPT tools/spgen/source/context_rule.ml - OCAMLC tools/spgen/source/script_rule.mli - OCAMLOPT tools/spgen/source/script_rule.ml - OCAMLC tools/spgen/source/file_transform.mli - OCAMLOPT tools/spgen/source/file_transform.ml - OCAMLC tools/spgen/source/spgen_interactive.mli - OCAMLOPT tools/spgen/source/spgen_interactive.ml - OCAMLC tools/spgen/source/spgen_lexer.mli - OCAMLOPT tools/spgen/source/spgen_lexer.ml - OCAMLC tools/spgen/source/spgen_config.mli - OCAMLOPT tools/spgen/source/spgen_config.ml - OCAMLC tools/spgen/source/spgen.mli - OCAMLOPT tools/spgen/source/spgen.ml - OCAMLC tools/spgen/source/spgen_test.mli - OCAMLOPT tools/spgen/source/spgen_test.ml - OCAMLC tools/spgen/source/main.mli - OCAMLOPT tools/spgen/source/main.ml - OCAMLOPT -o tools/spgen/source/spgen.opt - cp parsing_c/token_c.cmi ocaml/token_c.cmi - cp parsing_c/ast_c.cmi ocaml/ast_c.cmi - cp parsing_c/parse_c.cmi ocaml/parse_c.cmi - cp parsing_c/parser_c.cmi ocaml/parser_c.cmi - cp parsing_c/lexer_c.cmi ocaml/lexer_c.cmi - cp parsing_c/pretty_print_c.cmi ocaml/pretty_print_c.cmi - cp parsing_c/lib_parsing_c.cmi ocaml/lib_parsing_c.cmi - cp parsing_c/visitor_c.cmi ocaml/visitor_c.cmi - cp globals/regexp.cmi ocaml/regexp.cmi - cp globals/config.cmi ocaml/config.cmi - cp globals/flag.cmi ocaml/flag.cmi - cp parsing_c/flag_parsing_c.cmi ocaml/flag_parsing_c.cmi - cp globals/iteration.cmi ocaml/iteration.cmi - cp commons/commands.cmi ocaml/commands.cmi - cp commons/common.cmi ocaml/common.cmi - cp parsing_cocci/ast_cocci.cmi ocaml/ast_cocci.cmi - cp parsing_cocci/ast0_cocci.cmi ocaml/ast0_cocci.cmi - cp commons/ocamlextra/dumper.cmi ocaml/dumper.cmi - OCAMLC parsing_c/token_c.ml - cp parsing_c/token_c.cmo ocaml/token_c.cmo - OCAMLC parsing_c/ast_c.ml - cp parsing_c/ast_c.cmo ocaml/ast_c.cmo - OCAMLC parsing_c/parse_c.ml - File "parsing_c/parse_c.ml", line 671, characters 1-37: - 671 | Parsing_recovery_c.find_next_synchro tr.rest tr.passed in - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: labels next, already_passed were omitted in the application of this function. - File "parsing_c/parse_c.ml", line 1370, characters 2-19: - 1370 | Common.write_file tmpfile ("void main() { \n" ^ s ^ "\n}"); - ^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label file was omitted in the application of this function. - File "parsing_c/parse_c.ml", line 1381, characters 2-19: - 1381 | Common.write_file tmpfile ("void main() { \n" ^ s ^ ";\n}"); - ^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label file was omitted in the application of this function. - cp parsing_c/parse_c.cmo ocaml/parse_c.cmo - OCAMLC parsing_c/parser_c.ml - cp parsing_c/parser_c.cmo ocaml/parser_c.cmo - OCAMLC parsing_c/lexer_c.ml - cp parsing_c/lexer_c.cmo ocaml/lexer_c.cmo - OCAMLC parsing_c/pretty_print_c.ml - File "parsing_c/pretty_print_c.ml", line 1581, characters 3-13: - 1581 | (pp_elem_sp pr_elem pr_space).expression - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1584, characters 3-13: - 1584 | (pp_elem_sp pr_elem pr_space).assignOp - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1587, characters 3-13: - 1587 | (pp_elem_sp pr_elem pr_space).binaryOp - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1590, characters 3-13: - 1590 | (pp_elem_sp pr_elem pr_space).arg_list - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1593, characters 3-13: - 1593 | (pp_elem_sp pr_elem pr_space).arg - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1596, characters 3-13: - 1596 | (pp_elem_sp pr_elem pr_space).statement - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1599, characters 3-13: - 1599 | (pp_elem_sp pr_elem pr_space).statement_seq_list - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1602, characters 3-13: - 1602 | (pp_elem_sp pr_elem pr_space).decl - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1605, characters 3-13: - 1605 | (pp_elem_sp pr_elem pr_space).field - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1608, characters 3-13: - 1608 | (pp_elem_sp pr_elem pr_space).field_list - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1611, characters 3-13: - 1611 | (pp_elem_sp pr_elem pr_space).init - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1614, characters 3-13: - 1614 | (pp_elem_sp pr_elem pr_space).init_list - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1617, characters 3-13: - 1617 | (pp_elem_sp pr_elem pr_space).param - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1620, characters 3-13: - 1620 | (pp_elem_sp pr_elem pr_space).paramlist - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1623, characters 3-13: - 1623 | (pp_elem_sp pr_elem pr_space).dparamlist - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1626, characters 3-13: - 1626 | (pp_elem_sp pr_elem pr_space).ty - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1629, characters 3-13: - 1629 | (pp_elem_sp pr_elem pr_space).type_with_ident - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1632, characters 3-13: - 1632 | (pp_elem_sp pr_elem pr_space).fragment_list - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1635, characters 3-13: - 1635 | (pp_elem_sp pr_elem pr_space).format - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - File "parsing_c/pretty_print_c.ml", line 1638, characters 3-13: - 1638 | (pp_elem_sp pr_elem pr_space).toplevel - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. - cp parsing_c/pretty_print_c.cmo ocaml/pretty_print_c.cmo - OCAMLC parsing_c/lib_parsing_c.ml - cp parsing_c/lib_parsing_c.cmo ocaml/lib_parsing_c.cmo - OCAMLC parsing_c/visitor_c.ml - cp parsing_c/visitor_c.cmo ocaml/visitor_c.cmo - OCAMLC globals/regexp.ml - cp globals/regexp.cmo ocaml/regexp.cmo - OCAMLC globals/config.ml - cp globals/config.cmo ocaml/config.cmo - OCAMLC globals/flag.ml - cp globals/flag.cmo ocaml/flag.cmo - OCAMLC parsing_c/flag_parsing_c.ml - cp parsing_c/flag_parsing_c.cmo ocaml/flag_parsing_c.cmo - OCAMLC globals/iteration.ml - cp globals/iteration.cmo ocaml/iteration.cmo - OCAMLC commons/commands.ml - cp commons/commands.cmo ocaml/commands.cmo - OCAMLC commons/common.ml - File "commons/common.ml", line 4645, characters 40-58: - 4645 | let compare (x : int) (y : int) = Pervasives.compare x y - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "commons/common.ml", line 4654, characters 13-31: - 4654 | let cmp_x = Pervasives.compare x1 x2 in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "commons/common.ml", line 4658, characters 3-21: - 4658 | Pervasives.compare y1 y2 - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "commons/common.ml", line 5304, characters 4-14: - 5304 | write_file file1 (unwords xs); - ^^^^^^^^^^ - Warning 6 [labels-omitted]: label file was omitted in the application of this function. - File "commons/common.ml", line 5305, characters 4-14: - 5305 | write_file file2 (unwords ys); - ^^^^^^^^^^ - Warning 6 [labels-omitted]: label file was omitted in the application of this function. - File "commons/common.ml", line 5332, characters 4-14: - 5332 | write_file "/tmp/diff1" xstr; - ^^^^^^^^^^ - Warning 6 [labels-omitted]: label file was omitted in the application of this function. - File "commons/common.ml", line 5333, characters 4-14: - 5333 | write_file "/tmp/diff2" ystr; - ^^^^^^^^^^ - Warning 6 [labels-omitted]: label file was omitted in the application of this function. - cp commons/common.cmo ocaml/common.cmo - OCAMLC parsing_cocci/ast_cocci.ml - cp parsing_cocci/ast_cocci.cmo ocaml/ast_cocci.cmo - OCAMLC parsing_cocci/ast0_cocci.ml - cp parsing_cocci/ast0_cocci.cmo ocaml/ast0_cocci.cmo - OCAMLC commons/ocamlextra/dumper.ml - cp commons/ocamlextra/dumper.cmo ocaml/dumper.cmo - cp parsing_c/token_c.cmx ocaml/token_c.cmx - cp parsing_c/ast_c.cmx ocaml/ast_c.cmx - cp parsing_c/parse_c.cmx ocaml/parse_c.cmx - cp parsing_c/parser_c.cmx ocaml/parser_c.cmx - cp parsing_c/lexer_c.cmx ocaml/lexer_c.cmx - cp parsing_c/pretty_print_c.cmx ocaml/pretty_print_c.cmx - cp parsing_c/lib_parsing_c.cmx ocaml/lib_parsing_c.cmx - cp parsing_c/visitor_c.cmx ocaml/visitor_c.cmx - cp globals/regexp.cmx ocaml/regexp.cmx - cp globals/config.cmx ocaml/config.cmx - cp globals/flag.cmx ocaml/flag.cmx - cp parsing_c/flag_parsing_c.cmx ocaml/flag_parsing_c.cmx - cp globals/iteration.cmx ocaml/iteration.cmx - cp commons/commands.cmx ocaml/commands.cmx - cp commons/common.cmx ocaml/common.cmx - cp parsing_cocci/ast_cocci.cmx ocaml/ast_cocci.cmx - cp parsing_cocci/ast0_cocci.cmx ocaml/ast0_cocci.cmx - cp commons/ocamlextra/dumper.cmx ocaml/dumper.cmx - cp /home/opam/.opam/4.14/lib/parmap/parmap.cmi ocaml/parmap.cmi - if test -f /home/opam/.opam/4.14/lib/parmap/parmap.cmx; then \ - cp /home/opam/.opam/4.14/lib/parmap/parmap.cmx ocaml/parmap.cmx; \ - fi -> compiled coccinelle.1.0.8 Processing 54/54: [coccinelle: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/coccinelle.1.0.8) - mkdir -p /home/opam/.opam/4.14/bin /home/opam/.opam/4.14/lib/coccinelle - mkdir -p /home/opam/.opam/4.14/lib/coccinelle/ocaml - if test -f bundles/pyml/dllpyml_stubs.so; then \ - /usr/bin/install -c -m 755 bundles/pyml/dllpyml_stubs.so \ - /home/opam/.opam/4.14/lib/coccinelle; \ - fi - if test -f bundles/pcre/dllpcre_stubs.so; then \ - /usr/bin/install -c -m 755 bundles/pcre/dllpcre_stubs.so \ - /home/opam/.opam/4.14/lib/coccinelle; \ - fi - /usr/bin/install -c -m 755 spatch.opt /home/opam/.opam/4.14/bin/spatch - /usr/bin/install -c -m 644 standard.h /home/opam/.opam/4.14/lib/coccinelle - /usr/bin/install -c -m 644 standard.iso /home/opam/.opam/4.14/lib/coccinelle - /usr/bin/install -c -m 644 ocaml/*.cmi /home/opam/.opam/4.14/lib/coccinelle/ocaml/ - /usr/bin/install -c -m 644 ocaml/*.cmx /home/opam/.opam/4.14/lib/coccinelle/ocaml/ - /usr/bin/install -c -m 755 tools/spgen/source/spgen.opt \ - /home/opam/.opam/4.14/bin/spgen - mkdir -p /home/opam/.opam/4.14/lib/coccinelle/python/coccilib/coccigui - /usr/bin/install -c -m 644 python/coccilib/*.py \ - /home/opam/.opam/4.14/lib/coccinelle/python/coccilib - /usr/bin/install -c -m 644 python/coccilib/coccigui/*.py \ - /home/opam/.opam/4.14/lib/coccinelle/python/coccilib/coccigui - /usr/bin/install -c -m 644 python/coccilib/coccigui/pygui.glade \ - /home/opam/.opam/4.14/lib/coccinelle/python/coccilib/coccigui - /usr/bin/install -c -m 644 python/coccilib/coccigui/pygui.gladep \ - /home/opam/.opam/4.14/lib/coccinelle/python/coccilib/coccigui - if test "x/home/opam/.opam/4.14/share/bash-completion/completions" != "xno"; then \ - mkdir -p /home/opam/.opam/4.14/share/bash-completion/completions; \ - /usr/bin/install -c -m 644 scripts/spatch.bash_completion \ - /home/opam/.opam/4.14/share/bash-completion/completions/spatch; \ - fi - mkdir -p /home/opam/.opam/4.14/share/man/man1 - mkdir -p /home/opam/.opam/4.14/share/man/man3 - /usr/bin/install -c -m 644 docs/spatch.1 /home/opam/.opam/4.14/share/man/man1/ - /usr/bin/install -c -m 644 docs/pycocci.1 /home/opam/.opam/4.14/share/man/man1/ - /usr/bin/install -c -m 644 docs/spgen.1 /home/opam/.opam/4.14/share/man/man1/ - /usr/bin/install -c -m 644 docs/Coccilib.3cocci /home/opam/.opam/4.14/share/man/man3/ -> installed coccinelle.1.0.8 Done. # Run eval $(opam env) to update the current shell environment 2024-09-12 19:50.12 ---> saved as "6daaa4bfec4b664f810dc00989d5587f1f75a9ec149fb3edf467e05e83453a82" /home/opam: (run (shell "opam exec -- ~/voodoo-prep -u coccinelle:07f70b2ac3a15f96b7d8270c01b50a91,menhirSdk:6cb2d5658864a6c9bc1fbc226141feed,menhirLib:6cb2d5658864a6c9bc1fbc226141feed,menhir:465d21a37549788fa83962aa1a6ea602")) 2024-09-12 19:50.14 ---> saved as "7bac3ef49394a96b6c2a8d77944f16bcecd544a32b7a8a5a2e704d8ef232a067" /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.686232') && (for DATA in prep/universes/465d21a37549788fa83962aa1a6ea602/menhir/20200211,menhir.20200211-465d21a37549788fa83962aa1a6ea602,menhir.20200211 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20200211,menhirLib.20200211-6cb2d5658864a6c9bc1fbc226141feed,menhirLib.20200211 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211,menhirSdk.20200211-6cb2d5658864a6c9bc1fbc226141feed,menhirSdk.20200211 prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8,coccinelle.1.0.8-07f70b2ac3a15f96b7d8270c01b50a91,coccinelle.1.0.8; 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/465d21a37549788fa83962aa1a6ea602/menhir/20200211,menhir.20200211-465d21a37549788fa83962aa1a6ea602,menhir.20200211 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20200211,menhirLib.20200211-6cb2d5658864a6c9bc1fbc226141feed,menhirLib.20200211 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211,menhirSdk.20200211-6cb2d5658864a6c9bc1fbc226141feed,menhirSdk.20200211 prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8,coccinelle.1.0.8-07f70b2ac3a15f96b7d8270c01b50a91,coccinelle.1.0.8; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/465d21a37549788fa83962aa1a6ea602/menhir/20200211,menhir.20200211-465d21a37549788fa83962aa1a6ea602,menhir.20200211 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20200211,menhirLib.20200211-6cb2d5658864a6c9bc1fbc226141feed,menhirLib.20200211 prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211,menhirSdk.20200211-6cb2d5658864a6c9bc1fbc226141feed,menhirSdk.20200211 prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8,coccinelle.1.0.8-07f70b2ac3a15f96b7d8270c01b50a91,coccinelle.1.0.8; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)")) 0.686232 prep/universes/465d21a37549788fa83962aa1a6ea602/menhir/20200211/doc/ prep/universes/465d21a37549788fa83962aa1a6ea602/menhir/20200211/doc/menhir/ prep/universes/465d21a37549788fa83962aa1a6ea602/menhir/20200211/doc/menhir/CHANGES.md prep/universes/465d21a37549788fa83962aa1a6ea602/menhir/20200211/doc/menhir/LICENSE prep/universes/465d21a37549788fa83962aa1a6ea602/menhir/20200211/doc/menhir/README.md prep/universes/465d21a37549788fa83962aa1a6ea602/menhir/20200211/doc/menhir/manual.html prep/universes/465d21a37549788fa83962aa1a6ea602/menhir/20200211/doc/menhir/manual.pdf prep/universes/465d21a37549788fa83962aa1a6ea602/menhir/20200211/doc/menhir/manual001.png prep/universes/465d21a37549788fa83962aa1a6ea602/menhir/20200211/doc/menhir/manual002.png prep/universes/465d21a37549788fa83962aa1a6ea602/menhir/20200211/doc/menhir/manual003.png prep/universes/465d21a37549788fa83962aa1a6ea602/menhir/20200211/lib/ prep/universes/465d21a37549788fa83962aa1a6ea602/menhir/20200211/lib/menhir/ prep/universes/465d21a37549788fa83962aa1a6ea602/menhir/20200211/lib/menhir/META prep/universes/465d21a37549788fa83962aa1a6ea602/menhir/20200211/lib/menhir/dune-package prep/universes/465d21a37549788fa83962aa1a6ea602/menhir/20200211/opam prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20200211/doc/ prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20200211/doc/menhirLib/ prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20200211/doc/menhirLib/CHANGES.md prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20200211/doc/menhirLib/LICENSE prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20200211/doc/menhirLib/README.md prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20200211/lib/ prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20200211/lib/menhirLib/ prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20200211/lib/menhirLib/menhirLib.ocamlobjinfo prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20200211/lib/menhirLib/META prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20200211/lib/menhirLib/dune-package prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20200211/lib/menhirLib/menhirLib.cmi prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20200211/lib/menhirLib/menhirLib.cmt prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20200211/lib/menhirLib/menhirLib.cmti prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirLib/20200211/opam prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/doc/ prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/doc/menhirSdk/ prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/doc/menhirSdk/CHANGES.md prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/doc/menhirSdk/LICENSE prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/doc/menhirSdk/README.md prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/lib/ prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/lib/menhirSdk/ prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/lib/menhirSdk/menhirSdk.ocamlobjinfo prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/lib/menhirSdk/META prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/lib/menhirSdk/dune-package prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/lib/menhirSdk/menhirSdk.cmi prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/lib/menhirSdk/menhirSdk.cmt prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/lib/menhirSdk/menhirSdk__Cmly_api.cmi prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/lib/menhirSdk/menhirSdk__Cmly_api.cmt prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/lib/menhirSdk/menhirSdk__Cmly_format.cmi prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/lib/menhirSdk/menhirSdk__Cmly_format.cmt prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/lib/menhirSdk/menhirSdk__Cmly_read.cmi prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/lib/menhirSdk/menhirSdk__Cmly_read.cmt prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/lib/menhirSdk/menhirSdk__Cmly_read.cmti prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/lib/menhirSdk/menhirSdk__Keyword.cmi prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/lib/menhirSdk/menhirSdk__Keyword.cmt prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/lib/menhirSdk/menhirSdk__Keyword.cmti prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/lib/menhirSdk/menhirSdk__Version.cmi prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/lib/menhirSdk/menhirSdk__Version.cmt prep/universes/6cb2d5658864a6c9bc1fbc226141feed/menhirSdk/20200211/opam prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/ prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/ prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/ast0_cocci.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/ast_c.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/ast_cocci.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/coccilib.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/commands.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/common.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/config.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/dumper.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/exposed_modules.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/externalanalysis.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/flag.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/flag_parsing_c.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/iteration.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/lexer_c.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/lib_parsing_c.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/ocamlcocci_aux.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/parmap.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/parse_c.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/parser_c.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/prepare_ocamlcocci.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/pretty_print_c.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/regexp.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/run_ocamlcocci.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/token_c.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/visitor_c.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/lib/coccinelle/ocaml/yes_prepare_ocamlcocci.cmi prep/universes/07f70b2ac3a15f96b7d8270c01b50a91/coccinelle/1.0.8/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. HASHES:menhir.20200211-465d21a37549788fa83962aa1a6ea602:c54088a77a430630ec55e6202dd3db9d82a22eb85d4002da8556b48eeb02b08c HASHES:menhirLib.20200211-6cb2d5658864a6c9bc1fbc226141feed:9effdb4b5395252ebcc6dc825ee872189e8bdb6592c0bcfeca74b911686e9682 HASHES:menhirSdk.20200211-6cb2d5658864a6c9bc1fbc226141feed:1c3f93d36ab9cfcd814fd1da8f0992b786ffe3b8d8fbc272ad67d4be89e1f7d3 HASHES:coccinelle.1.0.8-07f70b2ac3a15f96b7d8270c01b50a91:1f3e5655e41eeed7c4249ee0c6a1a26652ecbd47bd271abea1a78f1dc34cb357 2024-09-12 19:50.16 ---> saved as "1f0f96966d847b0bd098ffe7e6a3094adf972d3a162a7e2a253e309059f07f75" Job succeeded 2024-09-12 19:59.01: coccinelle.1.0.8-07f70b2ac3a15f96b7d8270c01b50a91 -> 1f3e5655e41eeed7c4249ee0c6a1a26652ecbd47bd271abea1a78f1dc34cb357 2024-09-12 19:59.01: menhirSdk.20200211-6cb2d5658864a6c9bc1fbc226141feed -> 1c3f93d36ab9cfcd814fd1da8f0992b786ffe3b8d8fbc272ad67d4be89e1f7d3 2024-09-12 19:59.01: menhirLib.20200211-6cb2d5658864a6c9bc1fbc226141feed -> 9effdb4b5395252ebcc6dc825ee872189e8bdb6592c0bcfeca74b911686e9682 2024-09-12 19:59.01: menhir.20200211-465d21a37549788fa83962aa1a6ea602 -> c54088a77a430630ec55e6202dd3db9d82a22eb85d4002da8556b48eeb02b08c 2024-09-12 19:59.01: Job succeeded