Build:
- 0
2024-01-29 15:19.06: New job: Voodoo prep menhir.20160825; 7a30baf060c27165ee7826db11db1664 2024-01-29 15:19.06: Waiting for resource in pool OCluster 2024-01-29 19:28.54: Waiting for worker… 2024-01-29 19:28.54: Got resource from pool OCluster 2024-01-29 19:28.54: Using cache hint "docs-universe-prep-4.14.1" To reproduce locally: cat > prep.spec <<'END-OF-SPEC' ((build tools ((from ocaml/opam:debian-12-ocaml-4.14@sha256:8e390dbf29f7a115e5c8098ffb1a3c7234a873cf738a5ae22f3a4846122db9ef) (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:8e390dbf29f7a115e5c8098ffb1a3c7234a873cf738a5ae22f3a4846122db9ef) (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 ocamlfind.1.9.6")) (env DUNE_CACHE disabled) (env DUNE_CACHE_TRANSPORT direct) (env DUNE_CACHE_DUPLICATION copy) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "(sudo apt update) && ((opam depext -viy menhir.20160825 ocamlfind.1.9.6 ocamlbuild.0.14.3 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')")) (run (shell "opam exec -- ~/voodoo-prep -u menhir:7a30baf060c27165ee7826db11db1664")) (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.936383') && (for DATA in prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825,menhir.20160825-7a30baf060c27165ee7826db11db1664,menhir.20160825; 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/7a30baf060c27165ee7826db11db1664/menhir/20160825,menhir.20160825-7a30baf060c27165ee7826db11db1664,menhir.20160825; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825,menhir.20160825-7a30baf060c27165ee7826db11db1664,menhir.20160825; 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 7b9230f4e0f16686158b9465bda04972358c4375 --local-file prep.spec \ --pool linux-x86_64 --connect ocluster-submission.cap --cache-hint docs-universe-prep-4.14.1 \ --secret ssh_privkey:id_rsa --secret ssh_pubkey:id_rsa.pub--secret ssh_config:ssh_config 2024-01-29 19:28.54: RETRYING: 2024-01-29/151906-voodoo-prep-82c836 Number of retries: 0 (retriable error condition) Building on iphito.caelum.ci.dev All commits already cached HEAD is now at 7b9230f4e0 Mark ocamlbuild.0.14.3 as not available on Windows (build "tools" …) (from ocaml/opam:debian-12-ocaml-4.14@sha256:8e390dbf29f7a115e5c8098ffb1a3c7234a873cf738a5ae22f3a4846122db9ef) Unable to find image 'ocaml/opam:debian-12-ocaml-4.14@sha256:8e390dbf29f7a115e5c8098ffb1a3c7234a873cf738a5ae22f3a4846122db9ef' locally docker.io/ocaml/opam@sha256:8e390dbf29f7a115e5c8098ffb1a3c7234a873cf738a5ae22f3a4846122db9ef: Pulling from ocaml/opam 82e8c0c7d92b: Pulling fs layer 82e8c0c7d92b: Verifying Checksum 82e8c0c7d92b: Download complete 82e8c0c7d92b: Pull complete Digest: sha256:8e390dbf29f7a115e5c8098ffb1a3c7234a873cf738a5ae22f3a4846122db9ef Status: Downloaded newer image for ocaml/opam@sha256:8e390dbf29f7a115e5c8098ffb1a3c7234a873cf738a5ae22f3a4846122db9ef 2024-01-29 19:24.01 ---> using "1f16aa8fbc1a229ca02cdf7d8b4234eb4608a9074cec5292a9e72517b48fb577" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-01-29 19:24.01 ---> using "258ae3900365106d3b475f7327e1977f1a9ae54d4b6cd6e024f1ed5ef4f3381c" 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 [52.1 kB] Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB] Get:4 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [134 kB] Fetched 234 kB in 0s (827 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 (6099 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 ... 18743 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+deb12u3) ... 2024-01-29 19:24.01 ---> using "d64ddc7053307a6e5bac376e2af0af138c2728532db1941a0e2c7ed3dcb6923f" from cache /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam pin -ny https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 && opam depext -iy voodoo-prep")) [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 This will pin the following packages: voodoo-prep, voodoo-lib, voodoo-gen, voodoo-do. Continue? [Y/n] y Package voodoo-prep does not exist, create as a NEW package? [Y/n] y [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-prep is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-lib does not exist, create as a NEW package? [Y/n] y [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-lib is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-gen does not exist, create as a NEW package? [Y/n] y [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-gen is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-do does not exist, create as a NEW package? [Y/n] y [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-do is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # No extra OS packages requirements found. # All required OS packages found. # Now letting opam install the packages <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [voodoo-prep.~dev] no changes from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 The following actions will be performed: - install ocamlbuild 0.14.3 [required by bos] - install cmdliner 1.2.0 [required by voodoo-prep] - install dune 3.13.0 [required by voodoo-prep] - install ocamlfind 1.9.6 [required by bos] - install seq base [required by re] - install stdlib-shims 0.3.0 [required by ocamlgraph] - install opam-file-format 2.1.6 [required by opam-format] - install cppo 1.6.9 [required by opam-core] - install topkg 1.0.7 [required by bos] - install re 1.11.0 [required by opam-format] - install ocamlgraph 2.1.0 [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 opam-core 2.1.5 [required by opam-format] - install logs 0.7.0 [required by bos] - install fpath 0.7.3 [required by voodoo-prep] - install opam-format 2.1.5 [required by voodoo-prep] - install bos 0.2.1 [required by voodoo-prep] - install voodoo-prep ~dev* ===== 20 to install ===== <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [astring.0.8.5] found in cache [bos.0.2.1] found in cache [cmdliner.1.2.0] found in cache [cppo.1.6.9] found in cache [dune.3.13.0] found in cache [fmt.0.9.0] found in cache [fpath.0.7.3] found in cache [logs.0.7.0] found in cache [ocamlbuild.0.14.3] found in cache [ocamlfind.1.9.6] found in cache [ocamlgraph.2.1.0] found in cache [opam-core.2.1.5] found in cache [opam-file-format.2.1.6] found in cache [opam-format.2.1.5] found in cache [re.1.11.0] found in cache [rresult.0.7.0] found in cache [stdlib-shims.0.3.0] found in cache [topkg.1.0.7] found in cache [voodoo-prep.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed seq.base -> installed cmdliner.1.2.0 -> installed ocamlfind.1.9.6 -> installed ocamlbuild.0.14.3 -> installed topkg.1.0.7 -> installed rresult.0.7.0 -> installed fmt.0.9.0 -> installed astring.0.8.5 -> installed fpath.0.7.3 -> installed logs.0.7.0 -> installed bos.0.2.1 -> installed dune.3.13.0 -> installed stdlib-shims.0.3.0 -> installed opam-file-format.2.1.6 -> installed re.1.11.0 -> installed cppo.1.6.9 -> installed ocamlgraph.2.1.0 -> installed opam-core.2.1.5 -> installed opam-format.2.1.5 -> installed voodoo-prep.~dev Done. # Run eval $(opam env) to update the current shell environment 2024-01-29 19:24.01 ---> using "d95d2426ec6638d4946232810cc7377b78e0b12578cf93755f6aecdc254fcd78" from cache /home/opam: (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")) 2024-01-29 19:24.01 ---> using "200b9dc9bbc6b05727626f4e73227cdcfa87e5df3b69dfe480b404d6323d60f8" from cache 2024-01-29 19:24.01 --> finished "tools" (from ocaml/opam:debian-12-ocaml-4.14@sha256:8e390dbf29f7a115e5c8098ffb1a3c7234a873cf738a5ae22f3a4846122db9ef) Unable to find image 'ocaml/opam:debian-12-ocaml-4.14@sha256:8e390dbf29f7a115e5c8098ffb1a3c7234a873cf738a5ae22f3a4846122db9ef' locally docker.io/ocaml/opam@sha256:8e390dbf29f7a115e5c8098ffb1a3c7234a873cf738a5ae22f3a4846122db9ef: Pulling from ocaml/opam 82e8c0c7d92b: Pulling fs layer 82e8c0c7d92b: Verifying Checksum 82e8c0c7d92b: Download complete 82e8c0c7d92b: Pull complete Digest: sha256:8e390dbf29f7a115e5c8098ffb1a3c7234a873cf738a5ae22f3a4846122db9ef Status: Downloaded newer image for ocaml/opam@sha256:8e390dbf29f7a115e5c8098ffb1a3c7234a873cf738a5ae22f3a4846122db9ef 2024-01-29 19:24.01 ---> using "1f16aa8fbc1a229ca02cdf7d8b4234eb4608a9074cec5292a9e72517b48fb577" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-01-29 19:24.01 ---> using "258ae3900365106d3b475f7327e1977f1a9ae54d4b6cd6e024f1ed5ef4f3381c" from cache /home/opam: (run (shell "sudo mkdir /src")) 2024-01-29 19:24.01 ---> using "50a061015e57b489daec5893a083c81b93ec0b29b89dbcf9b55da6d4003431c6" from cache /home/opam: (copy (src packages) (dst /src/packages)) 2024-01-29 19:24.02 ---> using "4f0d64dce57d310708ac2d937b83c61b05bbe55ccf21e55fd51a37cc93c27304" from cache /home/opam: (copy (src repo) (dst /src/repo)) 2024-01-29 19:24.02 ---> using "2c7d1dc98a55a8bb1690327d76caa41e396f066dfa3cc9b1ede55343da69e288" from cache /home/opam: (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) Configuring from /home/opam/.opamrc and then from built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted. You may want to back it up before going further. Continue? [Y/n] y Format upgrade done. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from file:///home/opam/opam-repository 2024-01-29 19:24.02 ---> using "0b8074ff82fafa3254f631228dfde0b8e30321747b4c23367cf225304671f3f8" from cache /home/opam: (run (shell "opam repo remove default && opam repo add opam /src")) Repositories removed from the selections of switch 4.14. Use '--all' to forget about them altogether. [opam] Initialised [NOTE] Repository opam has been added to the selections of switch 4.14 only. Run `opam repository add opam --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively. 2024-01-29 19:24.02 ---> using "d495c28edfa35a412c5e1cef94f1d1d1d043413c999d4aa7a928d867e67cdef6" from cache /home/opam: (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) 2024-01-29 19:24.02 ---> using "126917995f66385af2dcc0f6472764d731e5fb2511391ebf04172841049b5181" from cache /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam install ocamlfind.1.9.6")) The following actions will be performed: - install ocamlfind 1.9.6 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved ocamlfind.1.9.6 (cached) -> installed ocamlfind.1.9.6 Done. # Run eval $(opam env) to update the current shell environment 2024-01-29 19:24.02 ---> using "7aa35894f1cbe2aa793dce14ace10404fe8f7f3d2bef64024854d5e6f4367e63" from cache /home/opam: (env DUNE_CACHE disabled) /home/opam: (env DUNE_CACHE_TRANSPORT direct) /home/opam: (env DUNE_CACHE_DUPLICATION copy) /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "(sudo apt update) && ((opam depext -viy menhir.20160825 ocamlfind.1.9.6 ocamlbuild.0.14.3 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')")) WARNING: apt does not have a stable CLI interface. Use with caution in scripts. Hit:1 http://deb.debian.org/debian bookworm InRelease Get:2 http://deb.debian.org/debian bookworm-updates InRelease [52.1 kB] Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB] Get:4 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [134 kB] Fetched 234 kB in 0s (872 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.1-1 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved opam-depext.1.2.1-1 (cached) -> removed opam-depext.1.2.1-1 -> installed opam-depext.1.2.1-1 Done. <><> opam-depext.1.2.1-1 installed successfully <><><><><><><><><><><><><><><><> => opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead # Run eval $(opam env) to update the current shell environment <><> Carrying on to "opam depext -viy menhir.20160825 ocamlfind.1.9.6 ocamlbuild.0.14.3" You are using opam 2.1+, where external dependency handling has been integrated: consider calling opam directly, the 'depext' plugin interface is provided for backwards compatibility only # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # No extra OS packages requirements found. [NOTE] Package ocamlfind is already installed (current version is 1.9.6). The following actions will be performed: - install ocamlbuild 0.14.3 - install menhir 20160825 ===== 2 to install ===== <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/6: Processing 2/6: -> retrieved menhir.20160825 (cached) -> retrieved ocamlbuild.0.14.3 (cached) Processing 3/6: [ocamlbuild: make configure.make] + /usr/bin/make "-f" "configure.make" "all" "OCAMLBUILD_PREFIX=/home/opam/.opam/4.14" "OCAMLBUILD_BINDIR=/home/opam/.opam/4.14/bin" "OCAMLBUILD_LIBDIR=/home/opam/.opam/4.14/lib" "OCAMLBUILD_MANDIR=/home/opam/.opam/4.14/man" "OCAML_NATIVE=true" "OCAML_NATIVE_TOOLS=true" (CWD=/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3) - (echo "# This file was generated from configure.make"; \ - echo ;\ - echo "OCAML_PREFIX="; \ - echo "OCAML_BINDIR=/home/opam/.opam/4.14/bin"; \ - echo "OCAML_LIBDIR=/home/opam/.opam/4.14/lib/ocaml"; \ - echo "OCAML_MANDIR=/home/opam/.opam/4.14/man"; \ - echo ;\ - echo "EXT_OBJ=.o"; \ - echo "EXT_ASM=.s"; \ - echo "EXT_LIB=.a"; \ - echo "EXT_DLL=.so"; \ - echo "EXE="; \ - echo ;\ - echo "OCAML_NATIVE=true"; \ - echo "OCAML_NATIVE_TOOLS=true"; \ - echo "NATDYNLINK=true"; \ - echo "SUPPORT_SHARED_LIBRARIES=true"; \ - echo ;\ - echo "PREFIX=/home/opam/.opam/4.14"; \ - echo "BINDIR=/home/opam/.opam/4.14/bin"; \ - echo "LIBDIR=/home/opam/.opam/4.14/lib"; \ - echo "MANDIR=/home/opam/.opam/4.14/man"; \ - ) > Makefile.config - (echo "(* This file was generated from ../configure.make *)"; \ - echo ;\ - echo 'let bindir = "/home/opam/.opam/4.14/bin"'; \ - echo 'let libdir = "/home/opam/.opam/4.14/lib"'; \ - echo 'let ocaml_libdir = "/home/opam/.opam/4.14/lib/ocaml"'; \ - echo 'let libdir_abs = "/home/opam/.opam/4.14/lib"'; \ - echo 'let ocaml_native = true'; \ - echo 'let ocaml_native_tools = true'; \ - echo 'let supports_shared_libraries = true';\ - echo 'let a = "a"'; \ - echo 'let o = "o"'; \ - echo 'let so = "so"'; \ - echo 'let ext_dll = ".so"'; \ - echo 'let exe = ""'; \ - echo 'let version = "0.14.3"'; \ - ) > src/ocamlbuild_config.ml Processing 3/6: [ocamlbuild: make check-if-preinstalled] + /usr/bin/make "check-if-preinstalled" "all" "opam-install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3) - if test -d /home/opam/.opam/4.14/lib/ocaml/ocamlbuild; then\ - >&2 echo "ERROR: Preinstalled ocamlbuild detected at"\ - "/home/opam/.opam/4.14/lib/ocaml/ocamlbuild";\ - >&2 echo "Installation aborted; if you want to bypass this"\ - "safety check, pass CHECK_IF_PREINSTALLED=false to make";\ - exit 2;\ - fi - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/const.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/signatures.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.ml - ocamllex.opt src/glob_lexer.mll - 55 states, 419 transitions, table size 2006 bytes - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.ml - ocamllex.opt src/lexers.mll - 251 states, 1051 transitions, table size 5710 bytes - 4334 additional bytes used for bindings - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml - mkdir -p tmp - ocamlc.opt -pack src/const.cmo src/loc.cmo src/discard_printf.cmo src/signatures.cmi src/my_std.cmo src/my_unix.cmo src/tags.cmo src/display.cmo src/log.cmo src/shell.cmo src/bool.cmo src/glob_ast.cmo src/glob_lexer.cmo src/glob.cmo src/lexers.cmo src/param_tags.cmo src/command.cmo src/ocamlbuild_config.cmo src/ocamlbuild_where.cmo src/slurp.cmo src/options.cmo src/pathname.cmo src/configuration.cmo src/flags.cmo src/hygiene.cmo src/digest_cache.cmo src/resource.cmo src/rule.cmo src/solver.cmo src/report.cmo src/tools.cmo src/fda.cmo src/findlib.cmo src/ocaml_arch.cmo src/ocaml_utils.cmo src/ocaml_dependencies.cmo src/ocaml_compiler.cmo src/ocaml_tools.cmo src/ocaml_specific.cmo src/exit_codes.cmo src/plugin.cmo src/hooks.cmo src/main.cmo -o tmp/ocamlbuild_pack.cmo - mv tmp/ocamlbuild_pack.cmi src/ocamlbuild_pack.cmi - mv tmp/ocamlbuild_pack.cmo src/ocamlbuild_pack.cmo - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.ml - ocamlc.opt -I +unix -I src -o ocamlbuild.byte unix.cma src/ocamlbuild_pack.cmo plugin-lib/ocamlbuild_plugin.cmo plugin-lib/ocamlbuild_executor.cmo plugin-lib/ocamlbuild_unix_plugin.cmo bin/ocamlbuild.cmo - ocamlc.opt -a -o plugin-lib/ocamlbuildlib.cma src/ocamlbuild_pack.cmo plugin-lib/ocamlbuild_plugin.cmo plugin-lib/ocamlbuild_executor.cmo plugin-lib/ocamlbuild_unix_plugin.cmo - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/const.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml - mkdir -p tmp - ocamlopt.opt -pack src/const.cmx src/loc.cmx src/discard_printf.cmx src/signatures.cmi src/my_std.cmx src/my_unix.cmx src/tags.cmx src/display.cmx src/log.cmx src/shell.cmx src/bool.cmx src/glob_ast.cmx src/glob_lexer.cmx src/glob.cmx src/lexers.cmx src/param_tags.cmx src/command.cmx src/ocamlbuild_config.cmx src/ocamlbuild_where.cmx src/slurp.cmx src/options.cmx src/pathname.cmx src/configuration.cmx src/flags.cmx src/hygiene.cmx src/digest_cache.cmx src/resource.cmx src/rule.cmx src/solver.cmx src/report.cmx src/tools.cmx src/fda.cmx src/findlib.cmx src/ocaml_arch.cmx src/ocaml_utils.cmx src/ocaml_dependencies.cmx src/ocaml_compiler.cmx src/ocaml_tools.cmx src/ocaml_specific.cmx src/exit_codes.cmx src/plugin.cmx src/hooks.cmx src/main.cmx -o tmp/ocamlbuild_pack.cmx - mv tmp/ocamlbuild_pack.cmx src/ocamlbuild_pack.cmx - mv tmp/ocamlbuild_pack.o src/ocamlbuild_pack.o - ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.ml - ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.ml - ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.ml - ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.ml - ocamlopt.opt -I +unix -I src -o ocamlbuild.native unix.cmxa src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx bin/ocamlbuild.cmx - ocamlopt.opt -a -o plugin-lib/ocamlbuildlib.cmxa src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx - ocamlc.opt src/ocamlbuild_pack.cmo -I src man/options_man.ml -o man/options_man.byte - ./man/options_man.byte > man/ocamlbuild.options.1 - cat man/ocamlbuild.header.1 man/ocamlbuild.options.1 man/ocamlbuild.footer.1 > man/ocamlbuild.1 - /usr/bin/make ocamlbuild.install - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - rm -f ocamlbuild.install - touch ocamlbuild.install - /usr/bin/make install-bin-opam - make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - echo 'bin: [' >> ocamlbuild.install - echo ' "ocamlbuild.byte" {"ocamlbuild.byte"}' >> ocamlbuild.install - echo ' "ocamlbuild.native" {"ocamlbuild.native"}' >> ocamlbuild.install - echo ' "ocamlbuild.native" {"ocamlbuild"}' >> ocamlbuild.install - echo ']' >> ocamlbuild.install - echo >> ocamlbuild.install - make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - /usr/bin/make install-lib-opam - make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - echo 'lib: [' >> ocamlbuild.install - /usr/bin/make install-lib-basics-opam - make[3]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - echo ' "ocamlbuild.opam" {"opam"}' >> ocamlbuild.install - echo ' "META"' >> ocamlbuild.install - for lib in src/signatures.mli src/signatures.cmi src/signatures.cmti; do \ - echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \ - done - make[3]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - /usr/bin/make install-lib-byte-opam - make[3]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - for lib in plugin-lib/ocamlbuildlib.cma bin/ocamlbuild.cmo src/ocamlbuild_pack.cmi plugin-lib/ocamlbuild_plugin.cmi plugin-lib/ocamlbuild_executor.cmi plugin-lib/ocamlbuild_unix_plugin.cmi; do \ - echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \ - done - make[3]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - /usr/bin/make install-lib-native-opam - make[3]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - for lib in plugin-lib/ocamlbuildlib.cmxa plugin-lib/ocamlbuildlib.a bin/ocamlbuild.cmx bin/ocamlbuild.o src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx plugin-lib/ocamlbuild_plugin.o plugin-lib/ocamlbuild_executor.o plugin-lib/ocamlbuild_unix_plugin.o; do \ - echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \ - done - make[3]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - echo ']' >> ocamlbuild.install - echo >> ocamlbuild.install - make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - /usr/bin/make install-man-opam - make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - echo 'man: [' >> ocamlbuild.install - echo ' "man/ocamlbuild.1" {"man1/ocamlbuild.1"}' >> ocamlbuild.install - echo ']' >> ocamlbuild.install - echo >> ocamlbuild.install - make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - /usr/bin/make install-doc-opam - make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - echo 'doc: [' >> ocamlbuild.install - echo ' "LICENSE"' >> ocamlbuild.install - echo ' "Changes"' >> ocamlbuild.install - echo ' "Readme.md"' >> ocamlbuild.install - echo ']' >> ocamlbuild.install - make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3' -> compiled ocamlbuild.0.14.3 -> installed ocamlbuild.0.14.3 Processing 5/6: [menhir: make Makefile] + /usr/bin/make "-f" "Makefile" "PREFIX=/home/opam/.opam/4.14" "USE_OCAMLFIND=true" "docdir=/home/opam/.opam/4.14/doc/menhir" "libdir=/home/opam/.opam/4.14/lib/menhir" "mandir=/home/opam/.opam/4.14/man/man1" (CWD=/home/opam/.opam/4.14/.opam-switch/build/menhir.20160825) - make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/menhir.20160825/src' - ocamlbuild -classic-display -j 0 -cflags "-safe-string -bin-annot" menhirLib.cmo menhirLib.cmx - /home/opam/.opam/4.14/bin/ocamlopt.opt unix.cmxa -I /home/opam/.opam/4.14/lib/ocamlbuild /home/opam/.opam/4.14/lib/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /home/opam/.opam/4.14/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild - /home/opam/.opam/4.14/bin/ocamldep.opt -modules General.mli > General.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o General.cmi General.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules General.ml > General.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Convert.mli > Convert.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o Convert.cmi Convert.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Convert.ml > Convert.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o IncrementalEngine.cmo IncrementalEngine.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Engine.mli > Engine.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o EngineTypes.cmo EngineTypes.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o Engine.cmi Engine.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Engine.ml > Engine.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o Printers.cmi Printers.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o InfiniteArray.cmi InfiniteArray.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o PackedIntArray.cmi PackedIntArray.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o RowDisplacement.cmi RowDisplacement.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o LinearizedArray.cmi LinearizedArray.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o InspectionTableFormat.cmo InspectionTableFormat.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o TableFormat.cmo TableFormat.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o TableInterpreter.cmi TableInterpreter.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o StaticVersion.cmi StaticVersion.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o General.cmo General.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o Convert.cmo Convert.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o Engine.cmo Engine.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o Printers.cmo Printers.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o InfiniteArray.cmo InfiniteArray.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o PackedIntArray.cmo PackedIntArray.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o RowDisplacement.cmo RowDisplacement.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o LinearizedArray.cmo LinearizedArray.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o TableInterpreter.cmo TableInterpreter.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o StaticVersion.cmo StaticVersion.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -pack -g General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o General.cmx General.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o EngineTypes.cmx EngineTypes.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o InfiniteArray.cmx InfiniteArray.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o PackedIntArray.cmx PackedIntArray.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o InspectionTableFormat.cmx InspectionTableFormat.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o TableFormat.cmx TableFormat.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o Engine.cmx Engine.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o RowDisplacement.cmx RowDisplacement.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o Convert.cmx Convert.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o Printers.cmx Printers.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o InspectionTableInterpreter.cmx InspectionTableInterpreter.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o TableInterpreter.cmx TableInterpreter.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o StaticVersion.cmx StaticVersion.ml - touch menhirLib.mli ; if /home/opam/.opam/4.14/bin/ocamlopt.opt -pack -g General.cmx Convert.cmx IncrementalEngine.cmx EngineTypes.cmx Engine.cmx Printers.cmx InfiniteArray.cmx PackedIntArray.cmx RowDisplacement.cmx LinearizedArray.cmx TableFormat.cmx InspectionTableFormat.cmx InspectionTableInterpreter.cmx TableInterpreter.cmx StaticVersion.cmx -o menhirLib.cmx ; then rm -f menhirLib.mli ; else rm -f menhirLib.mli ; exit 1; fi - # Parallel statistics: { count(total): 2(56), max: 11, min: 5, average(total): 8.000(1.250) } - Checking that OCaml is recent enough... - /home/opam/.opam/4.14/bin/ocamlopt.opt unix.cmxa -I /home/opam/.opam/4.14/lib/ocamlbuild /home/opam/.opam/4.14/lib/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /home/opam/.opam/4.14/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild - /home/opam/.opam/4.14/bin/ocamldep.opt -modules checkOCamlVersion.ml > checkOCamlVersion.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o checkOCamlVersion.cmo checkOCamlVersion.ml - /home/opam/.opam/4.14/bin/ocamlc.opt str.cma -g checkOCamlVersion.cmo -o checkOCamlVersion.byte - # No parallelism done - Version 4.14.1 is OK. - /home/opam/.opam/4.14/bin/ocamlopt.opt unix.cmxa -I /home/opam/.opam/4.14/lib/ocamlbuild /home/opam/.opam/4.14/lib/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /home/opam/.opam/4.14/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild - /home/opam/.opam/4.14/bin/ocamldep.opt -modules menhir.ml > menhir.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules back.mli > back.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o back.cmi back.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o menhir.cmo menhir.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules back.ml > back.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules IL.mli > IL.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules stretch.mli > stretch.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o keyword.cmi keyword.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o stretch.cmi stretch.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o IL.cmi IL.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o codeBackend.cmi codeBackend.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules action.ml > action.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules action.mli > action.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o action.cmi action.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules keyword.ml > keyword.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules printer.ml > printer.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules printer.mli > printer.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o printer.cmi printer.mli - /home/opam/.opam/4.14/bin/ocamllex.opt -q lineCount.mll - /home/opam/.opam/4.14/bin/ocamldep.opt -modules lineCount.ml > lineCount.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o lineCount.cmo lineCount.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules settings.ml > settings.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules settings.mli > settings.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules stringSet.mli > stringSet.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o stringSet.cmi stringSet.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o settings.cmi settings.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules installation.ml > installation.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules installation.mli > installation.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o installation.cmi installation.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules stringSet.ml > stringSet.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules version.ml > version.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o version.cmo version.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o installation.cmx installation.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o stringSet.cmx stringSet.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o version.cmx version.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o lineCount.cmx lineCount.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o settings.cmx settings.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o keyword.cmx keyword.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o printer.cmx printer.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules codeBits.ml > codeBits.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules codeBits.mli > codeBits.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o codeBits.cmi codeBits.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules codePieces.ml > codePieces.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules codePieces.mli > codePieces.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules grammar.ml > grammar.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules front.mli > front.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules unparameterizedSyntax.ml > unparameterizedSyntax.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules positions.mli > positions.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules syntax.mli > syntax.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules mark.mli > mark.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o positions.cmi positions.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o stringMap.cmi stringMap.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o mark.cmi mark.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o syntax.cmi syntax.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o unparameterizedSyntax.cmo unparameterizedSyntax.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules grammarFunctor.mli > grammarFunctor.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules gMap.ml > gMap.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules gSet.ml > gSet.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o gSet.cmo gSet.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o gMap.cmo gMap.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o front.cmi front.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o grammarFunctor.cmi grammarFunctor.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o grammar.cmo grammar.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o codePieces.cmi codePieces.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o codeBits.cmx codeBits.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules front.ml > front.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules anonymous.ml > anonymous.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules anonymous.mli > anonymous.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o anonymous.cmi anonymous.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules misc.ml > misc.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules misc.mli > misc.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o misc.cmi misc.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules General.mli > General.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o General.cmi General.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules General.ml > General.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Convert.mli > Convert.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o Convert.cmi Convert.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Convert.ml > Convert.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o IncrementalEngine.cmo IncrementalEngine.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Engine.mli > Engine.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o EngineTypes.cmo EngineTypes.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o Engine.cmi Engine.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Engine.ml > Engine.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o Printers.cmi Printers.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o InfiniteArray.cmi InfiniteArray.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o PackedIntArray.cmi PackedIntArray.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o RowDisplacement.cmi RowDisplacement.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o LinearizedArray.cmi LinearizedArray.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o InspectionTableFormat.cmo InspectionTableFormat.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o TableFormat.cmo TableFormat.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o TableInterpreter.cmi TableInterpreter.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o StaticVersion.cmi StaticVersion.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o General.cmo General.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o Convert.cmo Convert.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o Engine.cmo Engine.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o Printers.cmo Printers.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o InfiniteArray.cmo InfiniteArray.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o PackedIntArray.cmo PackedIntArray.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o RowDisplacement.cmo RowDisplacement.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o LinearizedArray.cmo LinearizedArray.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o TableInterpreter.cmo TableInterpreter.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o StaticVersion.cmo StaticVersion.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -pack -g General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o General.cmx General.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o EngineTypes.cmx EngineTypes.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o InfiniteArray.cmx InfiniteArray.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o PackedIntArray.cmx PackedIntArray.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o InspectionTableFormat.cmx InspectionTableFormat.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o TableFormat.cmx TableFormat.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o Engine.cmx Engine.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o RowDisplacement.cmx RowDisplacement.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o Convert.cmx Convert.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o Printers.cmx Printers.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o InspectionTableInterpreter.cmx InspectionTableInterpreter.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o TableInterpreter.cmx TableInterpreter.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o StaticVersion.cmx StaticVersion.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends - touch menhirLib.mli ; if /home/opam/.opam/4.14/bin/ocamlopt.opt -pack -g General.cmx Convert.cmx IncrementalEngine.cmx EngineTypes.cmx Engine.cmx Printers.cmx InfiniteArray.cmx PackedIntArray.cmx RowDisplacement.cmx LinearizedArray.cmx TableFormat.cmx InspectionTableFormat.cmx InspectionTableInterpreter.cmx TableInterpreter.cmx StaticVersion.cmx -o menhirLib.cmx ; then rm -f menhirLib.mli ; else rm -f menhirLib.mli ; exit 1; fi - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o stringMap.cmx stringMap.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o parameters.cmo parameters.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules positions.ml > positions.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o positions.cmx positions.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o action.cmx action.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules mark.ml > mark.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o mark.cmx mark.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o misc.cmx misc.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o parameters.cmx parameters.ml - cp -p yaccDriver.ml Driver.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Driver.ml > Driver.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Driver.mli > Driver.mli.depends - cp -p yacc-parser.mly parser.mly - /home/opam/.opam/4.14/bin/ocamlyacc parser.mly - /home/opam/.opam/4.14/bin/ocamldep.opt -modules parser.mli > parser.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o parser.cmi parser.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o Driver.cmi Driver.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules error.ml > error.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules error.mli > error.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o error.cmi error.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules parser.ml > parser.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules parserAux.ml > parserAux.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o parserAux.cmi parserAux.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o error.cmx error.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules option.ml > option.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules option.mli > option.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o option.cmi option.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o option.cmx option.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o parserAux.cmx parserAux.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o parser.cmx parser.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules IO.ml > IO.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules IO.mli > IO.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o IO.cmi IO.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules infer.ml > infer.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules infer.mli > infer.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o infer.cmi infer.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o IO.cmx IO.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules interface.ml > interface.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules interface.mli > interface.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o interface.cmi interface.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules nonterminalType.ml > nonterminalType.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules nonterminalType.mli > nonterminalType.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o nonterminalType.cmi nonterminalType.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o unparameterizedSyntax.cmx unparameterizedSyntax.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules tokenType.ml > tokenType.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules tokenType.mli > tokenType.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o tokenType.cmi tokenType.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o nonterminalType.cmx nonterminalType.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o tokenType.cmx tokenType.ml - /home/opam/.opam/4.14/bin/ocamllex.opt -q lexdep.mll - /home/opam/.opam/4.14/bin/ocamldep.opt -modules lexdep.ml > lexdep.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o lexdep.cmo lexdep.ml - /home/opam/.opam/4.14/bin/ocamllex.opt -q lexmli.mll - /home/opam/.opam/4.14/bin/ocamldep.opt -modules lexmli.ml > lexmli.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o lexmli.cmo lexmli.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o interface.cmx interface.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o lexdep.cmx lexdep.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o lexmli.cmx lexmli.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules keywordExpansion.ml > keywordExpansion.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules keywordExpansion.mli > keywordExpansion.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o keywordExpansion.cmi keywordExpansion.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules grammarFunctor.ml > grammarFunctor.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Boolean.ml > Boolean.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Boolean.mli > Boolean.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Fix.mli > Fix.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o Fix.cmi Fix.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o Boolean.cmi Boolean.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Fix.ml > Fix.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o Fix.cmx Fix.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules compressedBitSet.ml > compressedBitSet.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules compressedBitSet.mli > compressedBitSet.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o compressedBitSet.cmi compressedBitSet.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o gSet.cmx gSet.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules FixSolver.ml > FixSolver.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules FixSolver.mli > FixSolver.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o FixSolver.cmi FixSolver.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Maps.ml > Maps.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Maps.mli > Maps.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o Maps.cmi Maps.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules patricia.ml > patricia.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules patricia.mli > patricia.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o patricia.cmi patricia.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o gMap.cmx gMap.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules time.ml > time.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules time.mli > time.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o time.cmi time.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o Boolean.cmx Boolean.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o compressedBitSet.cmx compressedBitSet.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o FixSolver.cmx FixSolver.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o Maps.cmx Maps.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o patricia.cmx patricia.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o time.cmx time.ml - + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o patricia.cmx patricia.ml - File "patricia.ml", line 556, characters 20-38: - 556 | let c = Pervasives.compare key1 key2 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 "patricia.ml", line 929, characters 20-38: - 929 | let c = 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 - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o grammarFunctor.cmx grammarFunctor.ml - + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o grammarFunctor.cmx grammarFunctor.ml - File "grammarFunctor.ml", line 355, characters 6-24: - 355 | Pervasives.compare (decode i1) (decode i2) - ^^^^^^^^^^^^^^^^^^ - 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 - /home/opam/.opam/4.14/bin/ocamllex.opt -q lexer.mll - /home/opam/.opam/4.14/bin/ocamldep.opt -modules lexer.ml > lexer.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o lexer.cmo lexer.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules listMonad.ml > listMonad.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules listMonad.mli > listMonad.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o listMonad.cmi listMonad.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o listMonad.cmx listMonad.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules parameterizedGrammar.ml > parameterizedGrammar.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules parameterizedGrammar.mli > parameterizedGrammar.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o parameterizedGrammar.cmi parameterizedGrammar.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules tarjan.ml > tarjan.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules tarjan.mli > tarjan.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o tarjan.cmi tarjan.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules unionFind.ml > unionFind.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules unionFind.mli > unionFind.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o unionFind.cmi unionFind.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o tarjan.cmx tarjan.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o unionFind.cmx unionFind.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules partialGrammar.ml > partialGrammar.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules partialGrammar.mli > partialGrammar.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o partialGrammar.cmi partialGrammar.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules reachability.ml > reachability.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules reachability.mli > reachability.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o reachability.cmi reachability.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o unparameterizedPrinter.cmi unparameterizedPrinter.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o anonymous.cmx anonymous.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o Driver.cmx Driver.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o infer.cmx infer.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o keywordExpansion.cmx keywordExpansion.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o lexer.cmx lexer.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o parameterizedGrammar.cmx parameterizedGrammar.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o partialGrammar.cmx partialGrammar.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o reachability.cmx reachability.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o unparameterizedPrinter.cmx unparameterizedPrinter.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o front.cmx front.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o grammar.cmx grammar.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules invariant.ml > invariant.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules invariant.mli > invariant.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules lr1.mli > lr1.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules item.mli > item.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules lookahead.mli > lookahead.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o lookahead.cmi lookahead.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules lr0.mli > lr0.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o item.cmi item.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o lr0.cmi lr0.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o lr1.cmi lr1.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o invariant.cmi invariant.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules conflict.ml > conflict.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules conflict.mli > conflict.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o conflict.cmi conflict.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules DependencyGraph.ml > DependencyGraph.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules DependencyGraph.mli > DependencyGraph.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o DependencyGraph.cmi DependencyGraph.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules dot.ml > dot.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules dot.mli > dot.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o dot.cmi dot.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o dot.cmx dot.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules derivation.ml > derivation.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules derivation.mli > derivation.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o derivation.cmi derivation.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules item.ml > item.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o item.cmx item.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules lr0.ml > lr0.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules lr1.ml > lr1.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o lr0.cmx lr0.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules slr.ml > slr.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules slr.mli > slr.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o slr.cmi slr.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o slr.cmx slr.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o lr1partial.cmi lr1partial.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o lr1.cmx lr1.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o DependencyGraph.cmx DependencyGraph.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o derivation.cmx derivation.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o lr1partial.cmx lr1partial.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o conflict.cmx conflict.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o codePieces.cmx codePieces.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o invariant.cmx invariant.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules coqBackend.ml > coqBackend.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules coqBackend.mli > coqBackend.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o coqBackend.cmi coqBackend.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules inliner.ml > inliner.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules inliner.mli > inliner.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o inliner.cmi inliner.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules traverse.ml > traverse.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o traverse.cmo traverse.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o traverse.cmx traverse.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules interpret.ml > interpret.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules interpret.mli > interpret.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules cst.mli > cst.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o cst.cmi cst.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o referenceInterpreter.cmi referenceInterpreter.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o interpret.cmi interpret.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules cst.ml > cst.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules pprint.ml > pprint.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules pprint.mli > pprint.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o pprint.cmi pprint.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o pprint.cmx pprint.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o cst.cmx cst.ml - /home/opam/.opam/4.14/bin/ocamllex.opt -q segment.mll - /home/opam/.opam/4.14/bin/ocamldep.opt -modules segment.ml > segment.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o segment.cmo segment.ml - /home/opam/.opam/4.14/bin/ocamllex.opt -q sentenceLexer.mll - /home/opam/.opam/4.14/bin/ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends - /home/opam/.opam/4.14/bin/ocamlyacc sentenceParser.mly - /home/opam/.opam/4.14/bin/ocamldep.opt -modules sentenceParser.mli > sentenceParser.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules sentenceParserAux.ml > sentenceParserAux.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o sentenceParserAux.cmo sentenceParserAux.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o sentenceParser.cmi sentenceParser.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o sentenceLexer.cmo sentenceLexer.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules sentenceParser.ml > sentenceParser.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o sentenceParserAux.cmx sentenceParserAux.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o sentenceParser.cmx sentenceParser.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o referenceInterpreter.cmx referenceInterpreter.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o segment.cmx segment.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o sentenceLexer.cmx sentenceLexer.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules LRijkstra.ml > LRijkstra.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules LRijkstra.mli > LRijkstra.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -noassert -noassert -o LRijkstra.cmi LRijkstra.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules astar.ml > astar.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules astar.mli > astar.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o astar.cmi astar.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o interpret.cmx interpret.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules LowIntegerPriorityQueue.ml > LowIntegerPriorityQueue.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules LowIntegerPriorityQueue.mli > LowIntegerPriorityQueue.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o LowIntegerPriorityQueue.cmi LowIntegerPriorityQueue.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules resizableArray.ml > resizableArray.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules resizableArray.mli > resizableArray.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o resizableArray.cmi resizableArray.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o resizableArray.cmx resizableArray.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules MySet.ml > MySet.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules MySet.mli > MySet.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o MySet.cmi MySet.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o astar.cmx astar.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o LowIntegerPriorityQueue.cmx LowIntegerPriorityQueue.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o MySet.cmx MySet.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules tableBackend.ml > tableBackend.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules tableBackend.mli > tableBackend.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o tableBackend.cmi tableBackend.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o codeBackend.cmx codeBackend.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o coqBackend.cmx coqBackend.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o inliner.cmx inliner.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -noassert -noassert -o LRijkstra.cmx LRijkstra.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o tableBackend.cmx tableBackend.ml - + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -noassert -noassert -o LRijkstra.cmx LRijkstra.ml - File "LRijkstra.ml", line 436, characters 4-22: - 436 | Pervasives.compare t1.identity t2.identity - ^^^^^^^^^^^^^^^^^^ - 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 "LRijkstra.ml", line 741, characters 16-34: - 741 | let c = Pervasives.compare (identity fact1) (identity fact2) 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 - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o back.cmx back.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o menhir.cmx menhir.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt unix.cmxa -g Fix.cmx Boolean.cmx installation.cmx keyword.cmx lineCount.cmx stringSet.cmx version.cmx settings.cmx printer.cmx action.cmx mark.cmx positions.cmx error.cmx menhirLib.cmx stringMap.cmx misc.cmx option.cmx parameters.cmx parserAux.cmx parser.cmx Driver.cmx FixSolver.cmx IO.cmx Maps.cmx anonymous.cmx codeBits.cmx gSet.cmx compressedBitSet.cmx dot.cmx gMap.cmx patricia.cmx time.cmx unparameterizedSyntax.cmx grammarFunctor.cmx nonterminalType.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx keywordExpansion.cmx lexer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx tarjan.cmx unionFind.cmx parameterizedGrammar.cmx partialGrammar.cmx reachability.cmx unparameterizedPrinter.cmx front.cmx grammar.cmx DependencyGraph.cmx resizableArray.cmx LowIntegerPriorityQueue.cmx MySet.cmx astar.cmx item.cmx derivation.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx pprint.cmx cst.cmx invariant.cmx referenceInterpreter.cmx segment.cmx sentenceParserAux.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx LRijkstra.cmx codePieces.cmx codeBackend.cmx coqBackend.cmx traverse.cmx inliner.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native - # Parallel statistics: { count(total): 17(349), max: 11, min: 2, average(total): 3.882(1.140) } - /home/opam/.opam/4.14/bin/ocamlopt.opt unix.cmxa -I /home/opam/.opam/4.14/lib/ocamlbuild /home/opam/.opam/4.14/lib/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /home/opam/.opam/4.14/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild - /home/opam/.opam/4.14/bin/ocamldep.opt -modules menhir.ml > menhir.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules back.mli > back.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o back.cmi back.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o menhir.cmo menhir.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules back.ml > back.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules IL.mli > IL.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules stretch.mli > stretch.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o keyword.cmi keyword.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o stretch.cmi stretch.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o IL.cmi IL.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o codeBackend.cmi codeBackend.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules action.ml > action.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules action.mli > action.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o action.cmi action.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules keyword.ml > keyword.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules printer.ml > printer.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules printer.mli > printer.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o printer.cmi printer.mli - /home/opam/.opam/4.14/bin/ocamllex.opt -q lineCount.mll - /home/opam/.opam/4.14/bin/ocamldep.opt -modules lineCount.ml > lineCount.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o lineCount.cmo lineCount.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules settings.ml > settings.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules settings.mli > settings.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules stringSet.mli > stringSet.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o stringSet.cmi stringSet.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o settings.cmi settings.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules installation.ml > installation.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules installation.mli > installation.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o installation.cmi installation.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules stringSet.ml > stringSet.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules version.ml > version.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o version.cmo version.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o installation.cmx installation.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o stringSet.cmx stringSet.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o version.cmx version.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o lineCount.cmx lineCount.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o settings.cmx settings.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o keyword.cmx keyword.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o printer.cmx printer.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules codeBits.ml > codeBits.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules codeBits.mli > codeBits.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o codeBits.cmi codeBits.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules codePieces.ml > codePieces.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules codePieces.mli > codePieces.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules grammar.ml > grammar.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules front.mli > front.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules unparameterizedSyntax.ml > unparameterizedSyntax.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules positions.mli > positions.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules syntax.mli > syntax.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules mark.mli > mark.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o positions.cmi positions.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o stringMap.cmi stringMap.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o mark.cmi mark.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o syntax.cmi syntax.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o unparameterizedSyntax.cmo unparameterizedSyntax.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules grammarFunctor.mli > grammarFunctor.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules gMap.ml > gMap.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules gSet.ml > gSet.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o gSet.cmo gSet.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o gMap.cmo gMap.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o front.cmi front.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o grammarFunctor.cmi grammarFunctor.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o grammar.cmo grammar.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o codePieces.cmi codePieces.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o codeBits.cmx codeBits.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules front.ml > front.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules anonymous.ml > anonymous.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules anonymous.mli > anonymous.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o anonymous.cmi anonymous.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules misc.ml > misc.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules misc.mli > misc.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o misc.cmi misc.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules General.mli > General.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o General.cmi General.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules General.ml > General.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Convert.mli > Convert.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o Convert.cmi Convert.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Convert.ml > Convert.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o IncrementalEngine.cmo IncrementalEngine.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Engine.mli > Engine.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o EngineTypes.cmo EngineTypes.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o Engine.cmi Engine.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Engine.ml > Engine.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o Printers.cmi Printers.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o InfiniteArray.cmi InfiniteArray.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o PackedIntArray.cmi PackedIntArray.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o RowDisplacement.cmi RowDisplacement.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o LinearizedArray.cmi LinearizedArray.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o InspectionTableFormat.cmo InspectionTableFormat.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o TableFormat.cmo TableFormat.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o TableInterpreter.cmi TableInterpreter.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o StaticVersion.cmi StaticVersion.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o General.cmo General.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o Convert.cmo Convert.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o Engine.cmo Engine.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o Printers.cmo Printers.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o InfiniteArray.cmo InfiniteArray.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o PackedIntArray.cmo PackedIntArray.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o RowDisplacement.cmo RowDisplacement.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o LinearizedArray.cmo LinearizedArray.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o TableInterpreter.cmo TableInterpreter.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o StaticVersion.cmo StaticVersion.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -pack -g General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o General.cmx General.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o EngineTypes.cmx EngineTypes.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o InfiniteArray.cmx InfiniteArray.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o PackedIntArray.cmx PackedIntArray.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o InspectionTableFormat.cmx InspectionTableFormat.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o TableFormat.cmx TableFormat.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o Engine.cmx Engine.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o RowDisplacement.cmx RowDisplacement.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o Convert.cmx Convert.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o Printers.cmx Printers.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o InspectionTableInterpreter.cmx InspectionTableInterpreter.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o TableInterpreter.cmx TableInterpreter.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -for-pack MenhirLib -o StaticVersion.cmx StaticVersion.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends - touch menhirLib.mli ; if /home/opam/.opam/4.14/bin/ocamlopt.opt -pack -g General.cmx Convert.cmx IncrementalEngine.cmx EngineTypes.cmx Engine.cmx Printers.cmx InfiniteArray.cmx PackedIntArray.cmx RowDisplacement.cmx LinearizedArray.cmx TableFormat.cmx InspectionTableFormat.cmx InspectionTableInterpreter.cmx TableInterpreter.cmx StaticVersion.cmx -o menhirLib.cmx ; then rm -f menhirLib.mli ; else rm -f menhirLib.mli ; exit 1; fi - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o stringMap.cmx stringMap.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o parameters.cmo parameters.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules positions.ml > positions.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o positions.cmx positions.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o action.cmx action.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules mark.ml > mark.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o mark.cmx mark.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o misc.cmx misc.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o parameters.cmx parameters.ml - cp -p fancyDriver.ml Driver.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Driver.ml > Driver.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Driver.mli > Driver.mli.depends - cp -p fancy-parser.mly parser.mly - ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --raw-depend --ocamldep '/home/opam/.opam/4.14/bin/ocamldep.opt -modules' parser.mly > parser.mly.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules error.mli > error.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o error.cmi error.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o parserAux.cmi parserAux.mli - ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/home/opam/.opam/4.14/bin/ocamlc.opt -safe-string -bin-annot' --infer parser.mly - + ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/home/opam/.opam/4.14/bin/ocamlc.opt -safe-string -bin-annot' --infer parser.mly - Grammar has 32 nonterminal symbols, among which 1 start symbols. - Grammar has 27 terminal symbols. - Grammar has 77 productions. - Built an LR(0) automaton with 113 states. - The grammar is not SLR(1) -- 1 states have a conflict. - Built an LR(1) automaton with 159 states. - One shift/reduce conflict was silently solved. - 45 out of 159 states are represented. - 23 out of 62 symbols keep track of their start position. - 29 out of 62 symbols keep track of their end position. - 86 out of 159 states have a default reduction. - The action table is 4452 entries; 362 non-zero; 476 compressed. - The action table occupies roughly 1048 bytes. - The goto table is 5247 entries; 131 non-zero; 289 compressed. - The goto table occupies roughly 544 bytes. - The error table occupies roughly 592 bytes. - The default_reduction table occupies roughly 192 bytes. - The lhs table occupies roughly 112 bytes. - The trace table occupies roughly 8 bytes. - /home/opam/.opam/4.14/bin/ocamldep.opt -modules parser.mli > parser.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o parser.cmi parser.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o Driver.cmi Driver.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules error.ml > error.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules parser.ml > parser.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o error.cmx error.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules parserAux.ml > parserAux.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules option.ml > option.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules option.mli > option.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o option.cmi option.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o option.cmx option.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o parserAux.cmx parserAux.ml - ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --list-errors > parser.mly.auto.messages - + ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --list-errors > parser.mly.auto.messages - Grammar has 32 nonterminal symbols, among which 1 start symbols. - Grammar has 27 terminal symbols. - Grammar has 77 productions. - Built an LR(0) automaton with 113 states. - The grammar is not SLR(1) -- 1 states have a conflict. - Built an LR(1) automaton with 159 states. - One shift/reduce conflict was silently solved. - 45 out of 159 states are represented. - 23 out of 62 symbols keep track of their start position. - 29 out of 62 symbols keep track of their end position. - 86 out of 159 states have a default reduction. - ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --compare-errors parser.mly.auto.messages --compare-errors parserMessages.messages - + ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --compare-errors parser.mly.auto.messages --compare-errors parserMessages.messages - Grammar has 32 nonterminal symbols, among which 1 start symbols. - Grammar has 27 terminal symbols. - Grammar has 77 productions. - Built an LR(0) automaton with 113 states. - The grammar is not SLR(1) -- 1 states have a conflict. - Built an LR(1) automaton with 159 states. - One shift/reduce conflict was silently solved. - 45 out of 159 states are represented. - 23 out of 62 symbols keep track of their start position. - 29 out of 62 symbols keep track of their end position. - 86 out of 159 states have a default reduction. - Read 59 sample input sentences and 59 error messages. - Read 59 sample input sentences and 23 error messages. - ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --compile-errors parserMessages.messages > parserMessages.ml - + ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --compile-errors parserMessages.messages > parserMessages.ml - Grammar has 32 nonterminal symbols, among which 1 start symbols. - Grammar has 27 terminal symbols. - Grammar has 77 productions. - Built an LR(0) automaton with 113 states. - The grammar is not SLR(1) -- 1 states have a conflict. - Built an LR(1) automaton with 159 states. - One shift/reduce conflict was silently solved. - 45 out of 159 states are represented. - 23 out of 62 symbols keep track of their start position. - 29 out of 62 symbols keep track of their end position. - 86 out of 159 states have a default reduction. - Read 59 sample input sentences and 23 error messages. - /home/opam/.opam/4.14/bin/ocamldep.opt -modules parserMessages.ml > parserMessages.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o parserMessages.cmo parserMessages.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o parser.cmx parser.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o parserMessages.cmx parserMessages.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules IO.ml > IO.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules IO.mli > IO.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o IO.cmi IO.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules infer.ml > infer.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules infer.mli > infer.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o infer.cmi infer.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o IO.cmx IO.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules interface.ml > interface.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules interface.mli > interface.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o interface.cmi interface.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules nonterminalType.ml > nonterminalType.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules nonterminalType.mli > nonterminalType.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o nonterminalType.cmi nonterminalType.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o unparameterizedSyntax.cmx unparameterizedSyntax.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules tokenType.ml > tokenType.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules tokenType.mli > tokenType.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o tokenType.cmi tokenType.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o nonterminalType.cmx nonterminalType.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o tokenType.cmx tokenType.ml - /home/opam/.opam/4.14/bin/ocamllex.opt -q lexdep.mll - /home/opam/.opam/4.14/bin/ocamldep.opt -modules lexdep.ml > lexdep.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o lexdep.cmo lexdep.ml - /home/opam/.opam/4.14/bin/ocamllex.opt -q lexmli.mll - /home/opam/.opam/4.14/bin/ocamldep.opt -modules lexmli.ml > lexmli.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o lexmli.cmo lexmli.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o interface.cmx interface.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o lexdep.cmx lexdep.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o lexmli.cmx lexmli.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules keywordExpansion.ml > keywordExpansion.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules keywordExpansion.mli > keywordExpansion.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o keywordExpansion.cmi keywordExpansion.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules grammarFunctor.ml > grammarFunctor.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Boolean.ml > Boolean.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Boolean.mli > Boolean.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Fix.mli > Fix.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o Fix.cmi Fix.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o Boolean.cmi Boolean.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Fix.ml > Fix.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o Fix.cmx Fix.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules compressedBitSet.ml > compressedBitSet.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules compressedBitSet.mli > compressedBitSet.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o compressedBitSet.cmi compressedBitSet.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o gSet.cmx gSet.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules FixSolver.ml > FixSolver.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules FixSolver.mli > FixSolver.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o FixSolver.cmi FixSolver.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Maps.ml > Maps.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Maps.mli > Maps.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o Maps.cmi Maps.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules patricia.ml > patricia.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules patricia.mli > patricia.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o patricia.cmi patricia.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o gMap.cmx gMap.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules time.ml > time.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules time.mli > time.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o time.cmi time.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o Boolean.cmx Boolean.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o compressedBitSet.cmx compressedBitSet.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o FixSolver.cmx FixSolver.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o Maps.cmx Maps.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o patricia.cmx patricia.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o time.cmx time.ml - + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o patricia.cmx patricia.ml - File "patricia.ml", line 556, characters 20-38: - 556 | let c = Pervasives.compare key1 key2 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 "patricia.ml", line 929, characters 20-38: - 929 | let c = 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 - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o grammarFunctor.cmx grammarFunctor.ml - + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o grammarFunctor.cmx grammarFunctor.ml - File "grammarFunctor.ml", line 355, characters 6-24: - 355 | Pervasives.compare (decode i1) (decode i2) - ^^^^^^^^^^^^^^^^^^ - 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 - /home/opam/.opam/4.14/bin/ocamllex.opt -q lexer.mll - /home/opam/.opam/4.14/bin/ocamldep.opt -modules lexer.ml > lexer.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o lexer.cmo lexer.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules listMonad.ml > listMonad.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules listMonad.mli > listMonad.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o listMonad.cmi listMonad.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o listMonad.cmx listMonad.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules parameterizedGrammar.ml > parameterizedGrammar.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules parameterizedGrammar.mli > parameterizedGrammar.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o parameterizedGrammar.cmi parameterizedGrammar.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules tarjan.ml > tarjan.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules tarjan.mli > tarjan.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o tarjan.cmi tarjan.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules unionFind.ml > unionFind.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules unionFind.mli > unionFind.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o unionFind.cmi unionFind.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o tarjan.cmx tarjan.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o unionFind.cmx unionFind.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules partialGrammar.ml > partialGrammar.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules partialGrammar.mli > partialGrammar.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o partialGrammar.cmi partialGrammar.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules reachability.ml > reachability.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules reachability.mli > reachability.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o reachability.cmi reachability.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o unparameterizedPrinter.cmi unparameterizedPrinter.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o anonymous.cmx anonymous.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o Driver.cmx Driver.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o infer.cmx infer.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o keywordExpansion.cmx keywordExpansion.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o lexer.cmx lexer.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o parameterizedGrammar.cmx parameterizedGrammar.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o partialGrammar.cmx partialGrammar.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o reachability.cmx reachability.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o unparameterizedPrinter.cmx unparameterizedPrinter.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o front.cmx front.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o grammar.cmx grammar.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules invariant.ml > invariant.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules invariant.mli > invariant.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules lr1.mli > lr1.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules item.mli > item.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules lookahead.mli > lookahead.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o lookahead.cmi lookahead.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules lr0.mli > lr0.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o item.cmi item.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o lr0.cmi lr0.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o lr1.cmi lr1.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o invariant.cmi invariant.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules conflict.ml > conflict.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules conflict.mli > conflict.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o conflict.cmi conflict.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules DependencyGraph.ml > DependencyGraph.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules DependencyGraph.mli > DependencyGraph.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o DependencyGraph.cmi DependencyGraph.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules dot.ml > dot.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules dot.mli > dot.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o dot.cmi dot.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o dot.cmx dot.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules derivation.ml > derivation.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules derivation.mli > derivation.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o derivation.cmi derivation.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules item.ml > item.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o item.cmx item.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules lr0.ml > lr0.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules lr1.ml > lr1.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o lr0.cmx lr0.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules slr.ml > slr.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules slr.mli > slr.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o slr.cmi slr.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o slr.cmx slr.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o lr1partial.cmi lr1partial.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o lr1.cmx lr1.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o DependencyGraph.cmx DependencyGraph.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o derivation.cmx derivation.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o lr1partial.cmx lr1partial.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o conflict.cmx conflict.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o codePieces.cmx codePieces.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o invariant.cmx invariant.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules coqBackend.ml > coqBackend.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules coqBackend.mli > coqBackend.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o coqBackend.cmi coqBackend.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules inliner.ml > inliner.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules inliner.mli > inliner.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o inliner.cmi inliner.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules traverse.ml > traverse.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o traverse.cmo traverse.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o traverse.cmx traverse.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules interpret.ml > interpret.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules interpret.mli > interpret.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules cst.mli > cst.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o cst.cmi cst.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o referenceInterpreter.cmi referenceInterpreter.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o interpret.cmi interpret.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules cst.ml > cst.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules pprint.ml > pprint.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules pprint.mli > pprint.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o pprint.cmi pprint.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o pprint.cmx pprint.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o cst.cmx cst.ml - /home/opam/.opam/4.14/bin/ocamllex.opt -q segment.mll - /home/opam/.opam/4.14/bin/ocamldep.opt -modules segment.ml > segment.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o segment.cmo segment.ml - /home/opam/.opam/4.14/bin/ocamllex.opt -q sentenceLexer.mll - /home/opam/.opam/4.14/bin/ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends - ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --raw-depend --ocamldep '/home/opam/.opam/4.14/bin/ocamldep.opt -modules' sentenceParser.mly > sentenceParser.mly.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules sentenceParserAux.ml > sentenceParserAux.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o sentenceParserAux.cmo sentenceParserAux.ml - ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/home/opam/.opam/4.14/bin/ocamlc.opt -safe-string -bin-annot' --infer sentenceParser.mly - + ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/home/opam/.opam/4.14/bin/ocamlc.opt -safe-string -bin-annot' --infer sentenceParser.mly - Grammar has 6 nonterminal symbols, among which 2 start symbols. - Grammar has 6 terminal symbols. - Grammar has 11 productions. - Built an LR(0) automaton with 21 states. - The grammar is SLR(1). - Built an LR(1) automaton with 27 states. - 7 out of 27 states are represented. - 0 out of 16 symbols keep track of their start position. - 0 out of 16 symbols keep track of their end position. - 13 out of 27 states have a default reduction. - The action table is 189 entries; 32 non-zero; 43 compressed. - The action table occupies roughly 136 bytes. - The goto table is 216 entries; 19 non-zero; 46 compressed. - The goto table occupies roughly 144 bytes. - The error table occupies roughly 56 bytes. - The default_reduction table occupies roughly 48 bytes. - The lhs table occupies roughly 40 bytes. - The trace table occupies roughly 8 bytes. - /home/opam/.opam/4.14/bin/ocamldep.opt -modules sentenceParser.mli > sentenceParser.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o sentenceParser.cmi sentenceParser.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o sentenceLexer.cmo sentenceLexer.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules sentenceParser.ml > sentenceParser.ml.depends - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o sentenceParserAux.cmx sentenceParserAux.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o sentenceParser.cmx sentenceParser.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o referenceInterpreter.cmx referenceInterpreter.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o segment.cmx segment.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o sentenceLexer.cmx sentenceLexer.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules LRijkstra.ml > LRijkstra.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules LRijkstra.mli > LRijkstra.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -noassert -noassert -o LRijkstra.cmi LRijkstra.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules astar.ml > astar.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules astar.mli > astar.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o astar.cmi astar.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o interpret.cmx interpret.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules LowIntegerPriorityQueue.ml > LowIntegerPriorityQueue.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules LowIntegerPriorityQueue.mli > LowIntegerPriorityQueue.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o LowIntegerPriorityQueue.cmi LowIntegerPriorityQueue.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules resizableArray.ml > resizableArray.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules resizableArray.mli > resizableArray.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o resizableArray.cmi resizableArray.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o resizableArray.cmx resizableArray.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules MySet.ml > MySet.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules MySet.mli > MySet.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o MySet.cmi MySet.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o astar.cmx astar.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o LowIntegerPriorityQueue.cmx LowIntegerPriorityQueue.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o MySet.cmx MySet.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules tableBackend.ml > tableBackend.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules tableBackend.mli > tableBackend.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o tableBackend.cmi tableBackend.mli - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o codeBackend.cmx codeBackend.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o coqBackend.cmx coqBackend.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o inliner.cmx inliner.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -noassert -noassert -o LRijkstra.cmx LRijkstra.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o tableBackend.cmx tableBackend.ml - + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -noassert -noassert -o LRijkstra.cmx LRijkstra.ml - File "LRijkstra.ml", line 436, characters 4-22: - 436 | Pervasives.compare t1.identity t2.identity - ^^^^^^^^^^^^^^^^^^ - 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 "LRijkstra.ml", line 741, characters 16-34: - 741 | let c = Pervasives.compare (identity fact1) (identity fact2) 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 - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o back.cmx back.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt -c -safe-string -bin-annot -g -o menhir.cmx menhir.ml - /home/opam/.opam/4.14/bin/ocamlopt.opt unix.cmxa -g Fix.cmx Boolean.cmx installation.cmx keyword.cmx lineCount.cmx stringSet.cmx version.cmx settings.cmx printer.cmx action.cmx mark.cmx positions.cmx error.cmx menhirLib.cmx stringMap.cmx misc.cmx option.cmx parameters.cmx parserAux.cmx parser.cmx parserMessages.cmx Driver.cmx FixSolver.cmx IO.cmx Maps.cmx anonymous.cmx codeBits.cmx gSet.cmx compressedBitSet.cmx dot.cmx gMap.cmx patricia.cmx time.cmx unparameterizedSyntax.cmx grammarFunctor.cmx nonterminalType.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx keywordExpansion.cmx lexer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx tarjan.cmx unionFind.cmx parameterizedGrammar.cmx partialGrammar.cmx reachability.cmx unparameterizedPrinter.cmx front.cmx grammar.cmx DependencyGraph.cmx resizableArray.cmx LowIntegerPriorityQueue.cmx MySet.cmx astar.cmx item.cmx derivation.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx pprint.cmx cst.cmx invariant.cmx referenceInterpreter.cmx segment.cmx sentenceParserAux.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx LRijkstra.cmx codePieces.cmx codeBackend.cmx coqBackend.cmx traverse.cmx inliner.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native - # Parallel statistics: { count(total): 19(355), max: 11, min: 2, average(total): 3.684(1.144) } - /home/opam/.opam/4.14/bin/ocamlopt.opt unix.cmxa -I /home/opam/.opam/4.14/lib/ocamlbuild /home/opam/.opam/4.14/lib/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /home/opam/.opam/4.14/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild - cp -p fancy-parser.mly parser.mly - ../_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --raw-depend --ocamldep '/home/opam/.opam/4.14/bin/ocamldep.opt -modules' parser.mly > parser.mly.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules action.mli > action.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules IL.mli > IL.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules stretch.mli > stretch.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o keyword.cmi keyword.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o stretch.cmi stretch.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o IL.cmi IL.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules error.mli > error.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules mark.mli > mark.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules positions.mli > positions.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o mark.cmi mark.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o positions.cmi positions.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules misc.mli > misc.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules stringSet.mli > stringSet.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o stringSet.cmi stringSet.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o stringMap.cmi stringMap.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules syntax.mli > syntax.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o action.cmi action.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o syntax.cmi syntax.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules General.mli > General.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o General.cmi General.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules General.ml > General.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Convert.mli > Convert.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o Convert.cmi Convert.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Convert.ml > Convert.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o IncrementalEngine.cmo IncrementalEngine.ml - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Engine.mli > Engine.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o EngineTypes.cmo EngineTypes.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o Engine.cmi Engine.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Engine.ml > Engine.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o Printers.cmi Printers.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o InfiniteArray.cmi InfiniteArray.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o PackedIntArray.cmi PackedIntArray.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o RowDisplacement.cmi RowDisplacement.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o LinearizedArray.cmi LinearizedArray.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o InspectionTableFormat.cmo InspectionTableFormat.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o TableFormat.cmo TableFormat.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o TableInterpreter.cmi TableInterpreter.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends - /home/opam/.opam/4.14/bin/ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o StaticVersion.cmi StaticVersion.mli - /home/opam/.opam/4.14/bin/ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o General.cmo General.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o Convert.cmo Convert.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o Engine.cmo Engine.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o Printers.cmo Printers.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o InfiniteArray.cmo InfiniteArray.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o PackedIntArray.cmo PackedIntArray.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o RowDisplacement.cmo RowDisplacement.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o LinearizedArray.cmo LinearizedArray.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o TableInterpreter.cmo TableInterpreter.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o StaticVersion.cmo StaticVersion.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o error.cmi error.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o misc.cmi misc.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -g -o parameters.cmo parameters.ml - /home/opam/.opam/4.14/bin/ocamlc.opt -c -safe-string -bin-annot -o parserAux.cmi parserAux.mli - /home/opam/.opam/4.14/bin/ocamlc.opt -pack -g General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo - ../_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/home/opam/.opam/4.14/bin/ocamlc.opt -safe-string -bin-annot' --infer parser.mly - + ../_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/home/opam/.opam/4.14/bin/ocamlc.opt -safe-string -bin-annot' --infer parser.mly - Grammar has 32 nonterminal symbols, among which 1 start symbols. - Grammar has 27 terminal symbols. - Grammar has 77 productions. - Built an LR(0) automaton with 113 states. - The grammar is not SLR(1) -- 1 states have a conflict. - Built an LR(1) automaton with 159 states. - One shift/reduce conflict was silently solved. - 45 out of 159 states are represented. - 23 out of 62 symbols keep track of their start position. - 29 out of 62 symbols keep track of their end position. - 86 out of 159 states have a default reduction. - The action table is 4452 entries; 362 non-zero; 476 compressed. - The action table occupies roughly 1048 bytes. - The goto table is 5247 entries; 131 non-zero; 289 compressed. - The goto table occupies roughly 544 bytes. - The error table occupies roughly 592 bytes. - The default_reduction table occupies roughly 192 bytes. - The lhs table occupies roughly 112 bytes. - The trace table occupies roughly 8 bytes. - # Parallel statistics: { count(total): 3(68), max: 11, min: 2, average(total): 6.000(1.221) } - Bootstrap successful. - make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/menhir.20160825/src' - Creating menhirLib.ml - Creating menhirLib.mli -> compiled menhir.20160825 Processing 6/6: [menhir: make Makefile] + /usr/bin/make "-f" "Makefile" "install" "PREFIX=/home/opam/.opam/4.14" "docdir=/home/opam/.opam/4.14/doc/menhir" "libdir=/home/opam/.opam/4.14/lib/menhir" "mandir=/home/opam/.opam/4.14/man/man1" (CWD=/home/opam/.opam/4.14/.opam-switch/build/menhir.20160825) - mkdir -p /home/opam/.opam/4.14/bin - install src/_stage2/menhir.native /home/opam/.opam/4.14/bin/menhir - mkdir -p /home/opam/.opam/4.14/lib/menhir - install -m 644 src/standard.mly /home/opam/.opam/4.14/lib/menhir - Installing MenhirLib via ocamlfind. - Installed /home/opam/.opam/4.14/lib/menhirLib/menhirLib.o - Installed /home/opam/.opam/4.14/lib/menhirLib/menhirLib.cmx - Installed /home/opam/.opam/4.14/lib/menhirLib/menhirLib.cmo - Installed /home/opam/.opam/4.14/lib/menhirLib/menhirLib.cmi - Installed /home/opam/.opam/4.14/lib/menhirLib/menhirLib.ml - Installed /home/opam/.opam/4.14/lib/menhirLib/menhirLib.mli - Installed /home/opam/.opam/4.14/lib/menhirLib/META - if [ -f manual.pdf ] ; then \ - mkdir -p /home/opam/.opam/4.14/doc/menhir /home/opam/.opam/4.14/man/man1 && \ - cp -r manual.pdf demos /home/opam/.opam/4.14/doc/menhir && \ - cp -r menhir.1 /home/opam/.opam/4.14/man/man1 ; \ - fi -> installed menhir.20160825 Done. # Run eval $(opam env) to update the current shell environment 2024-01-29 19:25.22 ---> saved as "3777dd4239047555d2793967ee6bcd0889bac23e1aa1ef424ee54c3a3b11e3a5" /home/opam: (run (shell "opam exec -- ~/voodoo-prep -u menhir:7a30baf060c27165ee7826db11db1664")) 2024-01-29 19:25.24 ---> saved as "5d664aff076c64777f11f1aebcc4a050b86a6aee6e2b64b516f5fe4bb0ee97ce" /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.936383') && (for DATA in prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825,menhir.20160825-7a30baf060c27165ee7826db11db1664,menhir.20160825; 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/7a30baf060c27165ee7826db11db1664/menhir/20160825,menhir.20160825-7a30baf060c27165ee7826db11db1664,menhir.20160825; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825,menhir.20160825-7a30baf060c27165ee7826db11db1664,menhir.20160825; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)")) 0.936383 prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/ prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/ prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/ prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/Makefile prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-incremental/ prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-incremental/Makefile prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-incremental/README prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-incremental/calc.ml prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-incremental/lexer.mll prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-incremental/parser.mly prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-inspection/ prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-inspection/CalcErrorReporting.ml prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-inspection/CalcErrorReporting.mli prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-inspection/CalcPrinters.ml prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-inspection/CalcPrinters.mli prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-inspection/ErrorReporting.ml prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-inspection/ErrorReporting.mli prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-inspection/Makefile prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-inspection/README prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-inspection/calc.ml prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-inspection/lexer.mll prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-inspection/parser.mly prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-param/ prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-param/Makefile prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-param/README prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-param/_tags prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-param/calc.ml prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-param/lexer.mll prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-param/myocamlbuild.ml prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-param/parser.mly prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-param/parser.mlypack prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-param/tokens.mly prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-param/tokens.mlypack prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-two/ prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-two/Makefile prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-two/README prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-two/_tags prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-two/algebraic.mly prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-two/algebraic.mlypack prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-two/calc.ml prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-two/common.mly prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-two/lexer.mll prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-two/myocamlbuild.ml prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-two/reverse.mly prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-two/reverse.mlypack prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-two/tokens.mly prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc-two/tokens.mlypack prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc/ prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc/Makefile prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc/README prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc/calc.ml prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc/lexer.mll prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/calc/parser.mly prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/find-menhir.sh prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/obsolete/ prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/obsolete/Makefile.auto prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/obsolete/Makefile.calc-two prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/obsolete/Makefile.shared prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/demos/obsolete/ocamldep.wrapper prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/doc/menhir/manual.pdf prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/lib/ prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/lib/menhirLib/ prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/lib/menhirLib/META prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/lib/menhirLib/menhirLib.cmi prep/universes/7a30baf060c27165ee7826db11db1664/menhir/20160825/opam Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. HASHES:menhir.20160825-7a30baf060c27165ee7826db11db1664:a1a75dc3ebae04ae1eaeefee4fccc8f8e7ecae5149473892f4e19f1ec57efbcd 2024-01-29 19:25.25 ---> saved as "4fed13433ad7e26cd43cd8499c19f15d6ccc14c4b20dcdf873e320746e07c8a6" Job succeeded 2024-01-29 19:32.16: menhir.20160825-7a30baf060c27165ee7826db11db1664 -> a1a75dc3ebae04ae1eaeefee4fccc8f8e7ecae5149473892f4e19f1ec57efbcd 2024-01-29 19:32.16: Job succeeded