Build:
- 0
2024-01-29 15:19.04: New job: Voodoo prep fstar.0.9.3.0-beta1; 331134e56a4105bed4057c7849169934 2024-01-29 15:19.04: Waiting for resource in pool OCluster 2024-01-29 19:02.35: Waiting for worker… 2024-01-29 19:03.07: Got resource from pool OCluster 2024-01-29 19:03.07: Using cache hint "docs-universe-prep-4.05.0" To reproduce locally: cat > prep.spec <<'END-OF-SPEC' ((build tools ((from ocaml/opam:debian-12-ocaml-4.05@sha256:207166ddb5eb4fca496547a9dcf2a06d4f201e6684bb97f51d9e193a3369cb85) (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.05@sha256:207166ddb5eb4fca496547a9dcf2a06d4f201e6684bb97f51d9e193a3369cb85) (user (uid 1000) (gid 1000)) (workdir /home/opam) (run (shell "sudo chown opam:opam /home/opam")) (run (shell "sudo mkdir /src")) (copy (src packages) (dst /src/packages)) (copy (src repo) (dst /src/repo)) (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) (run (shell "opam repo remove default && opam repo add opam /src")) (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam install dune.3.13.0 ocamlfind.1.9.6")) (env DUNE_CACHE enabled) (env DUNE_CACHE_TRANSPORT direct) (env DUNE_CACHE_DUPLICATION copy) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "(sudo apt update) && ((opam depext -viy fstar.0.9.3.0-beta1 zarith.1.13 yojson.2.1.2 stdint.0.7.2 seq.0.3.1 ocamlfind.1.9.6 ocamlbuild.0.14.3 num.0 dune.3.13.0 cppo.1.6.9 conf-gmp.4 camlp-streams.5.0.1 batteries.3.7.2 base-num.base 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')")) (run (shell "opam exec -- ~/voodoo-prep -u fstar:331134e56a4105bed4057c7849169934,stdint:0f400f4cb2838e7b4c58fad51441dbbc")) (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.662028') && (for DATA in prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2,stdint.0.7.2-0f400f4cb2838e7b4c58fad51441dbbc,stdint.0.7.2 prep/universes/331134e56a4105bed4057c7849169934/fstar/0.9.3.0-beta1,fstar.0.9.3.0-beta1-331134e56a4105bed4057c7849169934,fstar.0.9.3.0-beta1; 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/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2,stdint.0.7.2-0f400f4cb2838e7b4c58fad51441dbbc,stdint.0.7.2 prep/universes/331134e56a4105bed4057c7849169934/fstar/0.9.3.0-beta1,fstar.0.9.3.0-beta1-331134e56a4105bed4057c7849169934,fstar.0.9.3.0-beta1; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2,stdint.0.7.2-0f400f4cb2838e7b4c58fad51441dbbc,stdint.0.7.2 prep/universes/331134e56a4105bed4057c7849169934/fstar/0.9.3.0-beta1,fstar.0.9.3.0-beta1-331134e56a4105bed4057c7849169934,fstar.0.9.3.0-beta1; 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 9fc3fa05d7b0bd182f65b5988f8caf2647c8f3fe --local-file prep.spec \ --pool linux-x86_64 --connect ocluster-submission.cap --cache-hint docs-universe-prep-4.05.0 \ --secret ssh_privkey:id_rsa --secret ssh_pubkey:id_rsa.pub--secret ssh_config:ssh_config 2024-01-29 19:03.07: RETRYING: 2024-01-29/151904-voodoo-prep-3054f3 Number of retries: 0 (retriable error condition) Building on marpe.caelum.ci.dev All commits already cached Updating files: 98% (32038/32633) Updating files: 99% (32307/32633) Updating files: 100% (32633/32633) Updating files: 100% (32633/32633), done. HEAD is now at 9fc3fa05d7 [new release] dune (15 packages) (3.13.0) (build "tools" …) (from ocaml/opam:debian-12-ocaml-4.05@sha256:207166ddb5eb4fca496547a9dcf2a06d4f201e6684bb97f51d9e193a3369cb85) Unable to find image 'ocaml/opam:debian-12-ocaml-4.05@sha256:207166ddb5eb4fca496547a9dcf2a06d4f201e6684bb97f51d9e193a3369cb85' locally docker.io/ocaml/opam@sha256:207166ddb5eb4fca496547a9dcf2a06d4f201e6684bb97f51d9e193a3369cb85: Pulling from ocaml/opam dbd5af0f204b: Pulling fs layer dbd5af0f204b: Verifying Checksum dbd5af0f204b: Download complete dbd5af0f204b: Pull complete Digest: sha256:207166ddb5eb4fca496547a9dcf2a06d4f201e6684bb97f51d9e193a3369cb85 Status: Downloaded newer image for ocaml/opam@sha256:207166ddb5eb4fca496547a9dcf2a06d4f201e6684bb97f51d9e193a3369cb85 2024-01-29 18:58.04 ---> using "b1e21d37cd49b6148620a316f1dc69cb8535bfcbe1ed382a11dd76411eef0ac6" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-01-29 18:58.04 ---> using "d6776737340caeb1cd54e01a0e8d80dcb50ea93a08aea20da4dc65c61981f591" 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 1s (451 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 (792 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 18:58.04 ---> using "49b3b286b358d7259d401e37eb99aa4c941901605954f155ad62f727d8f7c7f8" 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.0.4 [required by voodoo-prep] - install ocamlfind 1.9.6 [required by bos] - install topkg 1.0.7 [required by bos] - install ocamlfind-secondary 1.9.6 [required by dune] - install astring 0.8.5 [required by bos] - install dune 3.13.0 [required by voodoo-prep] - install fpath 0.7.3 [required by voodoo-prep] - install stdlib-shims 0.3.0 [required by fmt] - install seq 0.3.1 [required by fmt] - install result 1.5 [required by rresult] - install opam-file-format 2.1.6 [required by opam-format] - install cppo 1.6.9 [required by opam-core] - install ocamlgraph 2.0.0 [required by opam-core] - install re 1.11.0 [required by opam-format] - install fmt 0.8.9 [required by bos] - install rresult 0.6.0 [required by bos] - install opam-core 2.1.5 [required by opam-format] - install logs 0.7.0 [required by bos] - install opam-format 2.1.5 [required by voodoo-prep] - install bos 0.2.0 [required by voodoo-prep] - install voodoo-prep ~dev* ===== 22 to install ===== <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [astring.0.8.5] found in cache [bos.0.2.0] found in cache [cmdliner.1.0.4] found in cache [cppo.1.6.9] found in cache [dune.3.13.0] found in cache [fmt.0.8.9] 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 [ocamlfind-secondary.1.9.6] found in cache [ocamlgraph.2.0.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 [result.1.5] found in cache [rresult.0.6.0] found in cache [seq.0.3.1] 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 cmdliner.1.0.4 -> installed ocamlfind.1.9.6 -> installed ocamlbuild.0.14.3 -> installed ocamlfind-secondary.1.9.6 -> installed topkg.1.0.7 -> installed astring.0.8.5 -> installed fpath.0.7.3 -> installed dune.3.13.0 -> installed result.1.5 -> installed seq.0.3.1 -> installed stdlib-shims.0.3.0 -> installed opam-file-format.2.1.6 -> installed cppo.1.6.9 -> installed rresult.0.6.0 -> installed re.1.11.0 -> installed fmt.0.8.9 -> installed ocamlgraph.2.0.0 -> installed logs.0.7.0 -> installed bos.0.2.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 18:58.04 ---> using "eeb612487fd8dcd7dea2991932fe507ef16bd9a1345d4af6c7c19ccb634d66b8" from cache /home/opam: (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")) 2024-01-29 18:58.04 ---> using "f7c406d2a001e6c69d22a3aa0ce7f493680f6bf53adf0e96d0c267f2e91e4dde" from cache 2024-01-29 18:58.04 --> finished "tools" (from ocaml/opam:debian-12-ocaml-4.05@sha256:207166ddb5eb4fca496547a9dcf2a06d4f201e6684bb97f51d9e193a3369cb85) Unable to find image 'ocaml/opam:debian-12-ocaml-4.05@sha256:207166ddb5eb4fca496547a9dcf2a06d4f201e6684bb97f51d9e193a3369cb85' locally docker.io/ocaml/opam@sha256:207166ddb5eb4fca496547a9dcf2a06d4f201e6684bb97f51d9e193a3369cb85: Pulling from ocaml/opam dbd5af0f204b: Pulling fs layer dbd5af0f204b: Verifying Checksum dbd5af0f204b: Download complete dbd5af0f204b: Pull complete Digest: sha256:207166ddb5eb4fca496547a9dcf2a06d4f201e6684bb97f51d9e193a3369cb85 Status: Downloaded newer image for ocaml/opam@sha256:207166ddb5eb4fca496547a9dcf2a06d4f201e6684bb97f51d9e193a3369cb85 2024-01-29 18:58.04 ---> using "b1e21d37cd49b6148620a316f1dc69cb8535bfcbe1ed382a11dd76411eef0ac6" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-01-29 18:58.04 ---> using "d6776737340caeb1cd54e01a0e8d80dcb50ea93a08aea20da4dc65c61981f591" from cache /home/opam: (run (shell "sudo mkdir /src")) 2024-01-29 18:58.04 ---> using "6cc95500c50146d1591a1a51536c7023374f57661eaa67feeeaa365bc204f4ce" from cache /home/opam: (copy (src packages) (dst /src/packages)) 2024-01-29 18:58.05 ---> using "b9724e0af6ea809c96a36bd8dd7f947263cf066eaaaf3b27e70e454fae8959c7" from cache /home/opam: (copy (src repo) (dst /src/repo)) 2024-01-29 18:58.05 ---> using "eb64b1e8cb94d110551be710d449517fe7f90b552e85d431e71c95cfcb97bd21" 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 18:58.05 ---> using "11ebc521caf43db6250f6abc26f3a7b0133196b9729bab57bb90652aab429137" from cache /home/opam: (run (shell "opam repo remove default && opam repo add opam /src")) Repositories removed from the selections of switch 4.05. Use '--all' to forget about them altogether. [opam] Initialised [NOTE] Repository opam has been added to the selections of switch 4.05 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 18:58.05 ---> using "0718517bb54eadd62aa0f015ef3008667024892d9bbb1bb62f1357f040ce779a" from cache /home/opam: (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) 2024-01-29 18:58.05 ---> using "d81a477f6ce38d29ce5f05e3db014107d5b3dc89ecccc2c9d602da3c5e9c7317" from cache /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam install dune.3.13.0 ocamlfind.1.9.6")) The following actions will be performed: - install ocamlfind 1.9.6 - install ocamlfind-secondary 1.9.6 [required by dune] - install dune 3.13.0 ===== 3 to install ===== <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved ocamlfind.1.9.6 (cached) -> retrieved dune.3.13.0 (cached) -> retrieved ocamlfind-secondary.1.9.6 (cached) -> installed ocamlfind.1.9.6 -> installed ocamlfind-secondary.1.9.6 -> installed dune.3.13.0 Done. # Run eval $(opam env) to update the current shell environment 2024-01-29 18:58.05 ---> using "2bb3be710f2ecfd761a141117b9c630594bc0c408c80db7cd65fa0f46c3ee220" from cache /home/opam: (env DUNE_CACHE enabled) /home/opam: (env DUNE_CACHE_TRANSPORT direct) /home/opam: (env DUNE_CACHE_DUPLICATION copy) /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "(sudo apt update) && ((opam depext -viy fstar.0.9.3.0-beta1 zarith.1.13 yojson.2.1.2 stdint.0.7.2 seq.0.3.1 ocamlfind.1.9.6 ocamlbuild.0.14.3 num.0 dune.3.13.0 cppo.1.6.9 conf-gmp.4 camlp-streams.5.0.1 batteries.3.7.2 base-num.base 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 (958 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 fstar.0.9.3.0-beta1 zarith.1.13 yojson.2.1.2 stdint.0.7.2 seq.0.3.1 ocamlfind.1.9.6 ocamlbuild.0.14.3 num.0 dune.3.13.0 cppo.1.6.9 conf-gmp.4 camlp-streams.5.0.1 batteries.3.7.2 base-num.base" 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 # The following system packages are needed: libgmp-dev [NOTE] Package dune is already installed (current version is 3.13.0). [NOTE] Package ocamlfind is already installed (current version is 1.9.6). The following actions will be performed: - install cppo 1.6.9 - install stdint 0.7.2 - install base-num base - install ocamlbuild 0.14.3 - install seq 0.3.1 - install conf-gmp 4 - install camlp-streams 5.0.1 - install num 0 - install yojson 2.1.2 - install zarith 1.13 - install batteries 3.7.2 - install fstar 0.9.3.0-beta1 ===== 12 to install ===== The following system packages will first need to be installed: libgmp-dev <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><> Let opam run your package manager to install the required system packages? (answer 'n' for other options) [Y/n] y + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" - debconf: delaying package configuration, since apt-utils is not installed - Selecting previously unselected package libgmpxx4ldbl: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 .../libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_amd64.deb ... - Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ... - Selecting previously unselected package libgmp-dev:amd64. - Preparing to unpack .../libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ... - Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ... - Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ... - Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ... - Processing triggers for libc-bin (2.36-9+deb12u3) ... <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 2/36: Processing 3/36: Processing 4/36: Processing 5/36: Processing 6/36: Processing 7/36: [conf-gmp: sh] -> installed base-num.base Processing 8/36: [conf-gmp: sh] -> retrieved batteries.3.7.2 (cached) Processing 9/36: [fstar.0.9.3.0-beta1: http] [conf-gmp: sh] -> retrieved camlp-streams.5.0.1 (cached) Processing 10/36: [fstar.0.9.3.0-beta1: http] [conf-gmp: sh] Processing 11/36: [fstar.0.9.3.0-beta1: http] [conf-gmp: sh] Processing 12/36: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] [conf-gmp: sh] Processing 13/36: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] [conf-gmp: sh] -> installed num.0 Processing 14/36: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] [conf-gmp: sh] -> retrieved cppo.1.6.9 (cached) Processing 15/36: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] [conf-gmp: sh] Processing 16/36: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] [conf-gmp: sh] [cppo: dune build] - + cc -c -I/usr/local/include test.c -> compiled conf-gmp.4 Processing 16/36: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] [cppo: dune build] -> installed conf-gmp.4 Processing 17/36: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] [cppo: dune build] -> retrieved ocamlbuild.0.14.3 (cached) Processing 18/36: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] [cppo: dune build] Processing 19/36: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] [cppo: dune build] [ocamlbuild: make configure.make] -> retrieved seq.0.3.1 (cached) Processing 20/36: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] [cppo: dune build] [ocamlbuild: make configure.make] Processing 21/36: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] [cppo: dune build] [ocamlbuild: make configure.make] [seq: dune build] -> retrieved stdint.0.7.2 (cached) Processing 22/36: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] [cppo: dune build] [ocamlbuild: make configure.make] [seq: dune build] Processing 23/36: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] [cppo: dune build] [ocamlbuild: make configure.make] [seq: dune build] [stdint: dune build] - (echo "# This file was generated from configure.make"; \ - echo ;\ - echo "OCAML_PREFIX=/home/opam/.opam/4.05"; \ - echo "OCAML_BINDIR=/home/opam/.opam/4.05/bin"; \ - echo "OCAML_LIBDIR=/home/opam/.opam/4.05/lib/ocaml"; \ - echo "OCAML_MANDIR=/home/opam/.opam/4.05/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.05"; \ - echo "BINDIR=/home/opam/.opam/4.05/bin"; \ - echo "LIBDIR=/home/opam/.opam/4.05/lib"; \ - echo "MANDIR=/home/opam/.opam/4.05/man"; \ - ) > Makefile.config - (echo "(* This file was generated from ../configure.make *)"; \ - echo ;\ - echo 'let bindir = "/home/opam/.opam/4.05/bin"'; \ - echo 'let libdir = "/home/opam/.opam/4.05/lib"'; \ - echo 'let ocaml_libdir = "/home/opam/.opam/4.05/lib/ocaml"'; \ - echo 'let libdir_abs = "/home/opam/.opam/4.05/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 23/36: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] [cppo: dune build] [ocamlbuild: make check-if-preinstalled] [seq: dune build] [stdint: dune build] -> retrieved yojson.2.1.2 (cached) -> retrieved zarith.1.13 (cached) Processing 24/36: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] [cppo: dune build] [ocamlbuild: make check-if-preinstalled] [seq: dune build] [stdint: dune build] [zarith: ./configure] -> compiled camlp-streams.5.0.1 Processing 24/36: [fstar.0.9.3.0-beta1: http] [cppo: dune build] [ocamlbuild: make check-if-preinstalled] [seq: dune build] [stdint: dune build] [zarith: ./configure] -> installed camlp-streams.5.0.1 Processing 25/36: [fstar.0.9.3.0-beta1: http] [cppo: dune build] [ocamlbuild: make check-if-preinstalled] [seq: dune build] [stdint: dune build] [zarith: ./configure] Processing 26/36: [fstar.0.9.3.0-beta1: http] [batteries: dune build] [cppo: dune build] [ocamlbuild: make check-if-preinstalled] [seq: dune build] [stdint: dune build] [zarith: ./configure] -> compiled seq.0.3.1 Processing 26/36: [fstar.0.9.3.0-beta1: http] [batteries: dune build] [cppo: dune build] [ocamlbuild: make check-if-preinstalled] [stdint: dune build] [zarith: ./configure] -> installed seq.0.3.1 Processing 27/36: [fstar.0.9.3.0-beta1: http] [batteries: dune build] [cppo: dune build] [ocamlbuild: make check-if-preinstalled] [stdint: dune build] [zarith: ./configure] - binary ocaml: found in /home/opam/.opam/4.05/bin - binary ocamlc: found in /home/opam/.opam/4.05/bin - binary ocamldep: found in /home/opam/.opam/4.05/bin - binary ocamlmklib: found in /home/opam/.opam/4.05/bin - binary ocamldoc: found in /home/opam/.opam/4.05/bin - binary ocamlopt: found in /home/opam/.opam/4.05/bin - checking compilation with ocamlc -O3 -Wall -Wextra : working - include caml/mlvalues.h: found - library dynlink.cmxa: found - binary ocamlfind: found in /home/opam/.opam/4.05/bin - OCaml's word size is 64 - include gmp.h: found - library gmp: found - OCaml supports -bin-annot to produce documentation - Using OCaml legacy C API custom operations - - detected configuration: - - native-code: yes - dynamic linking: yes - defines: -DZ_OCAML_LEGACY_CUSTOM_OPERATIONS -DHAS_GMP - includes: -I/home/opam/.opam/4.05/lib/ocaml - libraries: -lgmp - linker options: - C options: -O3 -Wall -Wextra - installation path: /home/opam/.opam/4.05/lib - installation method findlib - - configuration successful! - now type "make" to build - then type "make install" or "sudo make install" to install Processing 27/36: [fstar.0.9.3.0-beta1: http] [batteries: dune build] [cppo: dune build] [ocamlbuild: make check-if-preinstalled] [stdint: dune build] [zarith: make] -> compiled cppo.1.6.9 Processing 27/36: [fstar.0.9.3.0-beta1: http] [batteries: dune build] [ocamlbuild: make check-if-preinstalled] [stdint: dune build] [zarith: make] -> installed cppo.1.6.9 Processing 28/36: [fstar.0.9.3.0-beta1: http] [batteries: dune build] [ocamlbuild: make check-if-preinstalled] [stdint: dune build] [zarith: make] Processing 29/36: [fstar.0.9.3.0-beta1: http] [batteries: dune build] [ocamlbuild: make check-if-preinstalled] [stdint: dune build] [yojson: dune build] [zarith: make] -> compiled stdint.0.7.2 Processing 29/36: [fstar.0.9.3.0-beta1: http] [batteries: dune build] [ocamlbuild: make check-if-preinstalled] [yojson: dune build] [zarith: make] -> installed stdint.0.7.2 Processing 30/36: [fstar.0.9.3.0-beta1: http] [batteries: dune build] [ocamlbuild: make check-if-preinstalled] [yojson: dune build] [zarith: make] -> compiled yojson.2.1.2 Processing 30/36: [fstar.0.9.3.0-beta1: http] [batteries: dune build] [ocamlbuild: make check-if-preinstalled] [zarith: make] -> installed yojson.2.1.2 Processing 31/36: [fstar.0.9.3.0-beta1: http] [batteries: dune build] [ocamlbuild: make check-if-preinstalled] [zarith: make] - (echo "let"; grep "version" META | head -1) > zarith_version.ml - ocamldep zarith_version.ml z.ml q.ml big_int_Z.ml z.mli q.mli big_int_Z.mli > depend - ocamlc -g -I +compiler-libs -bin-annot -c zarith_version.ml - ocamlc -g -I +compiler-libs -bin-annot -c z.mli - ocamlc -g -I +compiler-libs -bin-annot -c z.ml - ocamlc -g -I +compiler-libs -bin-annot -c q.mli - ocamlc -g -I +compiler-libs -bin-annot -c q.ml - ocamlc -g -I +compiler-libs -bin-annot -c big_int_Z.mli - ocamlc -g -I +compiler-libs -bin-annot -c big_int_Z.ml - ocamlmklib -g -failsafe -o zarith zarith_version.cmo z.cmo q.cmo big_int_Z.cmo -lgmp - ocamlc -ccopt "-I/home/opam/.opam/4.05/lib/ocaml -DZ_OCAML_LEGACY_CUSTOM_OPERATIONS -DHAS_GMP -O3 -Wall -Wextra " -c caml_z.c - ocamlmklib -g -failsafe -o zarith caml_z.o -lgmp - ocamlc -g -I +compiler-libs -bin-annot -c zarith_top.ml - ocamlc -g -o zarith_top.cma -a zarith_top.cmo - ocamlopt -g -I +compiler-libs -c zarith_version.ml - ocamlopt -g -I +compiler-libs -c z.ml - ocamlopt -g -I +compiler-libs -c q.ml - ocamlopt -g -I +compiler-libs -c big_int_Z.ml - ocamlmklib -g -failsafe -o zarith zarith_version.cmx z.cmx q.cmx big_int_Z.cmx -lgmp - ocamlopt -shared -o zarith.cmxs -I . zarith.cmxa -linkall -> compiled zarith.1.13 Processing 31/36: [fstar.0.9.3.0-beta1: http] [batteries: dune build] [ocamlbuild: make check-if-preinstalled] Processing 32/36: [fstar.0.9.3.0-beta1: http] [batteries: dune build] [ocamlbuild: make check-if-preinstalled] [zarith: make install] - if test -d /home/opam/.opam/4.05/lib/ocaml/ocamlbuild; then\ - >&2 echo "ERROR: Preinstalled ocamlbuild detected at"\ - "/home/opam/.opam/4.05/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.05/.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.05/.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.05/.opam-switch/build/ocamlbuild.0.14.3' - /usr/bin/make install-lib-opam - make[2]: Entering directory '/home/opam/.opam/4.05/.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.05/.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.05/.opam-switch/build/ocamlbuild.0.14.3' - /usr/bin/make install-lib-byte-opam - make[3]: Entering directory '/home/opam/.opam/4.05/.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.05/.opam-switch/build/ocamlbuild.0.14.3' - /usr/bin/make install-lib-native-opam - make[3]: Entering directory '/home/opam/.opam/4.05/.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.05/.opam-switch/build/ocamlbuild.0.14.3' - echo ']' >> ocamlbuild.install - echo >> ocamlbuild.install - make[2]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlbuild.0.14.3' - /usr/bin/make install-man-opam - make[2]: Entering directory '/home/opam/.opam/4.05/.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.05/.opam-switch/build/ocamlbuild.0.14.3' - /usr/bin/make install-doc-opam - make[2]: Entering directory '/home/opam/.opam/4.05/.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.05/.opam-switch/build/ocamlbuild.0.14.3' - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlbuild.0.14.3' -> compiled ocamlbuild.0.14.3 Processing 32/36: [fstar.0.9.3.0-beta1: http] [batteries: dune build] [zarith: make install] - ocamlfind install -destdir "/home/opam/.opam/4.05/lib" zarith META zarith.cma libzarith.a z.cmi q.cmi big_int_Z.cmi zarith_top.cma z.mli zarith.cmxa zarith_version.cmx z.cmx q.cmx big_int_Z.cmx zarith.cmxs zarith.h q.mli big_int_Z.mli zarith.a z.cmti q.cmti big_int_Z.cmti -optional dllzarith.so - Installed /home/opam/.opam/4.05/lib/zarith/big_int_Z.cmti - Installed /home/opam/.opam/4.05/lib/zarith/q.cmti - Installed /home/opam/.opam/4.05/lib/zarith/z.cmti - Installed /home/opam/.opam/4.05/lib/zarith/zarith.a - Installed /home/opam/.opam/4.05/lib/zarith/big_int_Z.mli - Installed /home/opam/.opam/4.05/lib/zarith/q.mli - Installed /home/opam/.opam/4.05/lib/zarith/zarith.h - Installed /home/opam/.opam/4.05/lib/zarith/zarith.cmxs - Installed /home/opam/.opam/4.05/lib/zarith/big_int_Z.cmx - Installed /home/opam/.opam/4.05/lib/zarith/q.cmx - Installed /home/opam/.opam/4.05/lib/zarith/z.cmx - Installed /home/opam/.opam/4.05/lib/zarith/zarith_version.cmx - Installed /home/opam/.opam/4.05/lib/zarith/zarith.cmxa - Installed /home/opam/.opam/4.05/lib/zarith/z.mli - Installed /home/opam/.opam/4.05/lib/zarith/zarith_top.cma - Installed /home/opam/.opam/4.05/lib/zarith/big_int_Z.cmi - Installed /home/opam/.opam/4.05/lib/zarith/q.cmi - Installed /home/opam/.opam/4.05/lib/zarith/z.cmi - Installed /home/opam/.opam/4.05/lib/zarith/libzarith.a - Installed /home/opam/.opam/4.05/lib/zarith/zarith.cma - Installed /home/opam/.opam/4.05/lib/stublibs/dllzarith.so - Installed /home/opam/.opam/4.05/lib/stublibs/dllzarith.so.owner - ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/4.05/lib/stublibs is not mentioned in ld.conf - Installed /home/opam/.opam/4.05/lib/zarith/META -> installed zarith.1.13 Processing 32/36: [fstar.0.9.3.0-beta1: http] [batteries: dune build] -> installed ocamlbuild.0.14.3 Processing 33/36: [fstar.0.9.3.0-beta1: http] [batteries: dune build] -> compiled batteries.3.7.2 Processing 33/36: [fstar.0.9.3.0-beta1: http] -> installed batteries.3.7.2 Processing 34/36: [fstar.0.9.3.0-beta1: http] Processing 34/36: -> retrieved fstar.0.9.3.0-beta1 (https://github.com/FStarLang/FStar/archive/v0.9.3.0-beta1.tar.gz) Processing 35/36: [fstar: make] + /usr/bin/make "PREFIX=/home/opam/.opam/4.05" "-C" "src/ocaml-output" (CWD=/home/opam/.opam/4.05/.opam-switch/build/fstar.0.9.3.0-beta1) - make: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/fstar.0.9.3.0-beta1/src/ocaml-output' - make -j 1 -C ../../lib/ml - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/fstar.0.9.3.0-beta1/lib/ml' - ocamlfind opt -thread -package zarith,batteries -linkpkg -g -c MkPrims.ml - ocamlfind opt -thread -package zarith,batteries -linkpkg -g -c prims.ml - ocamlfind opt -thread -package zarith,batteries -linkpkg -g -c FStar_ST.ml - ocamlfind opt -thread -package zarith,batteries -linkpkg -g -c FStar_Float.ml - ocamlfind opt -thread -package zarith,batteries -linkpkg -g -c FStar_Char.ml - ocamlfind opt -thread -package zarith,batteries -linkpkg -g -c FStar_Int8.ml - ocamlfind opt -thread -package zarith,batteries -linkpkg -g -c FStar_UInt8.ml - ocamlfind opt -thread -package zarith,batteries -linkpkg -g -c FStar_Int16.ml - ocamlfind opt -thread -package zarith,batteries -linkpkg -g -c FStar_UInt16.ml - ocamlfind opt -thread -package zarith,batteries -linkpkg -g -c FStar_Int32.ml - ocamlfind opt -thread -package zarith,batteries -linkpkg -g -c FStar_Int64.ml - ocamlfind opt -thread -package zarith,batteries -linkpkg -g -c FStar_BaseTypes.ml - ocamlfind opt -thread -package zarith,batteries -linkpkg -g -c FStar_All.ml - ocamlfind opt -thread -package zarith,batteries -linkpkg -g -c FStar_IO.ml - ocamlfind opt -thread -package zarith,batteries -linkpkg -g -c FStar_Heap.ml - ocamlfind opt -thread -package zarith,batteries -linkpkg -g -c FStar_List.ml - ocamlfind opt -thread -package zarith,batteries -linkpkg -g -c FStar_Option.ml - ocamlfind opt -thread -package zarith,batteries -linkpkg -g -c FStar_String.ml - File "FStar_String.ml", line 7, characters 54-70: - Warning 3: deprecated: BatString.nsplit - Use split_on_string instead. - File "FStar_String.ml", line 16, characters 16-32: - Warning 3: deprecated: String.lowercase - Use String.lowercase_ascii instead. - ocamlfind opt -thread -package zarith,batteries -linkpkg -g -c FStar_Set.ml - ocamlfind ocamlopt -a MkPrims.cmx ./prims.cmx FStar_ST.cmx FStar_Float.cmx FStar_Char.cmx FStar_Int8.cmx FStar_UInt8.cmx FStar_Int16.cmx FStar_UInt16.cmx FStar_Int32.cmx FStar_Int64.cmx FStar_BaseTypes.cmx FStar_All.cmx FStar_IO.cmx FStar_Heap.cmx FStar_List.cmx FStar_Option.cmx FStar_String.cmx FStar_Set.cmx -o fstarlib.cmxa - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/fstar.0.9.3.0-beta1/lib/ml' - /usr/bin/make prep - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/fstar.0.9.3.0-beta1/src/ocaml-output' - cat ../parser/parse.fsy | sed 's/^[/][/].*//g' | sed 's/^[#].*//g' | sed 's/^open .*//g' > parse.mly - ocamlyacc parse.mly - 6 shift/reduce conflicts. - rm -f FStar_Parser_Parse.ml - echo "open Prims" > FStar_Parser_Parse.ml - echo "open FStar_List" >> FStar_Parser_Parse.ml - echo "open FStar_Util" >> FStar_Parser_Parse.ml - echo "open FStar_Range" >> FStar_Parser_Parse.ml - echo "open FStar_Options" >> FStar_Parser_Parse.ml - echo "open FStar_Absyn_Syntax" >> FStar_Parser_Parse.ml - echo "open FStar_Absyn_Const" >> FStar_Parser_Parse.ml - echo "open FStar_Absyn_Util" >> FStar_Parser_Parse.ml - echo "open FStar_Parser_AST" >> FStar_Parser_Parse.ml - echo "open FStar_Parser_Util" >> FStar_Parser_Parse.ml - echo "open FStar_Const" >> FStar_Parser_Parse.ml - echo "open FStar_Ident" >> FStar_Parser_Parse.ml - cat parse.ml >> FStar_Parser_Parse.ml - ocamllex ../parser/ml/lex.mll -o FStar_Parser_LexFStar.ml - 228 states, 6018 transitions, table size 25440 bytes - 2422 additional bytes used for bindings - cp ../parser/ml/parseit.ml FStar_Parser_ParseIt.ml - cp ../basic/ml/FStar_Util.ml ../basic/ml/FStar_Bytes.ml ../basic/ml/FStar_Getopt.ml ../basic/ml/FStar_Range.ml ../basic/ml/FStar_Platform.ml ../basic/ml/FStar_Unionfind.ml ../parser/ml/FStar_Parser_Util.ml ../fstar/ml/main.ml . - fatal: not a git repository (or any of the parent directories): .git - warning: Not a git repository. Use --no-index to compare two paths outside a working tree - usage: git diff --no-index [<options>] <path> <path> - - Diff output format options - -p, --patch generate patch - -s, --no-patch suppress diff output - -u generate patch - -U, --unified[=<n>] generate diffs with <n> lines context - -W, --function-context - generate diffs with <n> lines context - --raw generate the diff in raw format - --patch-with-raw synonym for '-p --raw' - --patch-with-stat synonym for '-p --stat' - --numstat machine friendly --stat - --shortstat output only the last line of --stat - -X, --dirstat[=<param1,param2>...] - output the distribution of relative amount of changes for each sub-directory - --cumulative synonym for --dirstat=cumulative - --dirstat-by-file[=<param1,param2>...] - synonym for --dirstat=files,param1,param2... - --check warn if changes introduce conflict markers or whitespace errors - --summary condensed summary such as creations, renames and mode changes - --name-only show only names of changed files - --name-status show only names and status of changed files - --stat[=<width>[,<name-width>[,<count>]]] - generate diffstat - --stat-width <width> generate diffstat with a given width - --stat-name-width <width> - generate diffstat with a given name width - --stat-graph-width <width> - generate diffstat with a given graph width - --stat-count <count> generate diffstat with limited lines - --compact-summary generate compact summary in diffstat - --binary output a binary diff that can be applied - --full-index show full pre- and post-image object names on the "index" lines - --color[=<when>] show colored diff - --ws-error-highlight <kind> - highlight whitespace errors in the 'context', 'old' or 'new' lines in the diff - -z do not munge pathnames and use NULs as output field terminators in --raw or --numstat - --abbrev[=<n>] use <n> digits to display object names - --src-prefix <prefix> - show the given source prefix instead of "a/" - --dst-prefix <prefix> - show the given destination prefix instead of "b/" - --line-prefix <prefix> - prepend an additional prefix to every line of output - --no-prefix do not show any source or destination prefix - --inter-hunk-context <n> - show context between diff hunks up to the specified number of lines - --output-indicator-new <char> - specify the character to indicate a new line instead of '+' - --output-indicator-old <char> - specify the character to indicate an old line instead of '-' - --output-indicator-context <char> - specify the character to indicate a context instead of ' ' - - Diff rename options - -B, --break-rewrites[=<n>[/<m>]] - break complete rewrite changes into pairs of delete and create - -M, --find-renames[=<n>] - detect renames - -D, --irreversible-delete - omit the preimage for deletes - -C, --find-copies[=<n>] - detect copies - --find-copies-harder use unmodified files as source to find copies - --no-renames disable rename detection - --rename-empty use empty blobs as rename source - --follow continue listing the history of a file beyond renames - -l <n> prevent rename/copy detection if the number of rename/copy targets exceeds given limit - - Diff algorithm options - --minimal produce the smallest possible diff - -w, --ignore-all-space - ignore whitespace when comparing lines - -b, --ignore-space-change - ignore changes in amount of whitespace - --ignore-space-at-eol - ignore changes in whitespace at EOL - --ignore-cr-at-eol ignore carrier-return at the end of line - --ignore-blank-lines ignore changes whose lines are all blank - -I, --ignore-matching-lines <regex> - ignore changes whose all lines match <regex> - --indent-heuristic heuristic to shift diff hunk boundaries for easy reading - --patience generate diff using the "patience diff" algorithm - --histogram generate diff using the "histogram diff" algorithm - --diff-algorithm <algorithm> - choose a diff algorithm - --anchored <text> generate diff using the "anchored diff" algorithm - --word-diff[=<mode>] show word diff, using <mode> to delimit changed words - --word-diff-regex <regex> - use <regex> to decide what a word is - --color-words[=<regex>] - equivalent to --word-diff=color --word-diff-regex=<regex> - --color-moved[=<mode>] - moved lines of code are colored differently - --color-moved-ws <mode> - how white spaces are ignored in --color-moved - - Other diff options - --relative[=<prefix>] - when run from subdir, exclude changes outside and show relative paths - -a, --text treat all files as text - -R swap two inputs, reverse the diff - --exit-code exit with 1 if there were differences, 0 otherwise - --quiet disable all output of the program - --ext-diff allow an external diff helper to be executed - --textconv run external text conversion filters when comparing binary files - --ignore-submodules[=<when>] - ignore changes to submodules in the diff generation - --submodule[=<format>] - specify how differences in submodules are shown - --ita-invisible-in-index - hide 'git add -N' entries from the index - --ita-visible-in-index - treat 'git add -N' entries as real in the index - -S <string> look for differences that change the number of occurrences of the specified string - -G <regex> look for differences that change the number of occurrences of the specified regex - --pickaxe-all show all changes in the changeset with -S or -G - --pickaxe-regex treat <string> in -S as extended POSIX regular expression - -O <file> control the order in which files appear in the output - --rotate-to <path> show the change in the specified path first - --skip-to <path> skip the output to the specified path - --find-object <object-id> - look for differences that change the number of occurrences of the specified object - --diff-filter [(A|C|D|M|R|T|U|X|B)...[*]] - select files by diff type - --output <file> output to a specific file - - echo 'let version = "0.9.3.0-beta1"' > FStar_Version.ml - echo 'let platform = "Linux_x86_64"' >> FStar_Version.ml - echo 'let compiler = "OCaml 4.05.0"' >> FStar_Version.ml - echo 'let date = "2024-01-29T18:59:12+00:00"' >> FStar_Version.ml - echo 'let commit= " (dirty)"' >> FStar_Version.ml - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/fstar.0.9.3.0-beta1/src/ocaml-output' - /usr/bin/make depend - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/fstar.0.9.3.0-beta1/src/ocaml-output' - ocamldep *.ml > .depend - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/fstar.0.9.3.0-beta1/src/ocaml-output' - /usr/bin/make fstar.exe - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/fstar.0.9.3.0-beta1/src/ocaml-output' - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Util.ml - File "FStar_Util.ml", line 257, characters 19-35: - Warning 3: deprecated: BatString.nsplit - Use split_on_string instead. - File "FStar_Util.ml", line 258, characters 18-34: - Warning 3: deprecated: BatString.nsplit - Use split_on_string instead. - File "FStar_Util.ml", line 264, characters 14-30: - Warning 3: deprecated: BatString.nsplit - Use split_on_string instead. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Bytes.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Getopt.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Range.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Platform.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Unionfind.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_Util.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Version.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Options.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Ident.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Const.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Absyn_Syntax.ml - File "FStar_Absyn_Syntax.ml", line 656, characters 2-3: - Warning 11: this match case is unused. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Absyn_Const.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Absyn_Visit.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Absyn_Util.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Absyn_Print.ml - File "FStar_Absyn_Print.ml", line 683, characters 4-11: - Warning 26: unused variable bin_eop. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Syntax_Syntax.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Syntax_Const.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Syntax_Subst.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Syntax_Free.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Syntax_InstFV.ml - File "FStar_Syntax_InstFV.ml", line 19, characters 74-107: - Warning 12: this sub-pattern is unused. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Syntax_Util.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Syntax_Print.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Tc_Env.ml - File "FStar_Tc_Env.ml", line 404, characters 4-15: - Warning 26: unused variable print_mlift. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Tc_Recheck.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Tc_Normalize.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Tc_Errors.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Tc_Rel.ml - File "FStar_Tc_Rel.ml", line 2270, characters 4-7: - Warning 26: unused variable max. - File "FStar_Tc_Rel.ml", line 3453, characters 4-5: - Warning 26: unused variable r. - File "FStar_Tc_Rel.ml", line 3527, characters 4-5: - Warning 26: unused variable r. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Tc_Util.ml - File "FStar_Tc_Util.ml", line 1690, characters 4-5: - Warning 26: unused variable k. - File "FStar_Tc_Util.ml", line 2764, characters 4-24: - Warning 26: unused variable hide_uvar_nums_saved. - File "FStar_Tc_Util.ml", line 2767, characters 4-25: - Warning 26: unused variable print_implicits_saved. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Tc_Tc.ml - File "FStar_Tc_Tc.ml", line 564, characters 4-5: - Warning 26: unused variable k. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_ToSMT_Term.ml - File "FStar_ToSMT_Term.ml", line 1242, characters 4-14: - Warning 26: unused variable bvar_index. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_ToSMT_Z3.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_ToSMT_SplitQueryCases.ml - File "FStar_ToSMT_SplitQueryCases.ml", line 133, characters 4-5: - Warning 26: unused variable l. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_ToSMT_Encode.ml - File "FStar_ToSMT_Encode.ml", line 2178, characters 2-40: - Warning 11: this match case is unused. - File "FStar_ToSMT_Encode.ml", line 2655, characters 4-14: - Warning 26: unused variable unboxInt_l. - File "FStar_ToSMT_Encode.ml", line 3132, characters 4-12: - Warning 26: unused variable precedes. - File "FStar_ToSMT_Encode.ml", line 3190, characters 4-16: - Warning 26: unused variable mk_int_alias. - File "FStar_ToSMT_Encode.ml", line 3229, characters 4-5: - Warning 26: unused variable r. - File "FStar_ToSMT_Encode.ml", line 3555, characters 4-23: - Warning 26: unused variable mk_foralltyp_interp. - File "FStar_ToSMT_Encode.ml", line 3602, characters 4-23: - Warning 26: unused variable mk_existstyp_interp. - File "FStar_ToSMT_Encode.ml", line 4374, characters 4-9: - Warning 26: unused variable guard. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Format.ml - File "FStar_Format.ml", line 12, characters 2-3: - Warning 11: this match case is unused. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_TypeChecker_Common.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_TypeChecker_Env.ml - File "FStar_TypeChecker_Env.ml", line 364, characters 4-8: - Warning 26: unused variable mark. - File "FStar_TypeChecker_Env.ml", line 380, characters 4-14: - Warning 26: unused variable reset_mark. - File "FStar_TypeChecker_Env.ml", line 1340, characters 4-15: - Warning 26: unused variable print_mlift. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_TypeChecker_Normalize.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_TypeChecker_Errors.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_TypeChecker_Rel.ml - File "FStar_TypeChecker_Rel.ml", line 805, characters 4-14: - Warning 26: unused variable conj_guard. - File "FStar_TypeChecker_Rel.ml", line 1186, characters 4-7: - Warning 26: unused variable t2'. - File "FStar_TypeChecker_Rel.ml", line 1294, characters 4-8: - Warning 26: unused variable fail. - File "FStar_TypeChecker_Rel.ml", line 2046, characters 4-5: - Warning 26: unused variable b. - File "FStar_TypeChecker_Rel.ml", line 2316, characters 4-7: - Warning 26: unused variable max. - File "FStar_TypeChecker_Rel.ml", line 2818, characters 4-5: - Warning 26: unused variable r. - File "FStar_TypeChecker_Rel.ml", line 3680, characters 4-5: - Warning 26: unused variable r. - File "FStar_TypeChecker_Rel.ml", line 3751, characters 4-5: - Warning 26: unused variable r. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_TypeChecker_Util.ml - File "FStar_TypeChecker_Util.ml", line 1149, characters 4-5: - Warning 26: unused variable k. - File "FStar_TypeChecker_Util.ml", line 1570, characters 4-7: - Warning 26: unused variable kwp. - File "FStar_TypeChecker_Util.ml", line 2283, characters 4-5: - Warning 26: unused variable t. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_TypeChecker_DMFF.ml - File "FStar_TypeChecker_DMFF.ml", line 69, characters 4-11: - Warning 26: unused variable unknown. - File "FStar_TypeChecker_DMFF.ml", line 296, characters 4-11: - Warning 26: unused variable c_lift1. - File "FStar_TypeChecker_DMFF.ml", line 788, characters 4-6: - Warning 26: unused variable wp. - File "FStar_TypeChecker_DMFF.ml", line 1080, characters 2-34: - Warning 12: this sub-pattern is unused. - File "FStar_TypeChecker_DMFF.ml", line 1192, characters 4-6: - Warning 26: unused variable mk. - File "FStar_TypeChecker_DMFF.ml", line 2028, characters 4-6: - Warning 26: unused variable mk. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_TypeChecker_Tc.ml - File "FStar_TypeChecker_Tc.ml", line 1648, characters 4-6: - Warning 26: unused variable c0. - File "FStar_TypeChecker_Tc.ml", line 2852, characters 4-19: - Warning 26: unused variable uvars_to_string. - File "FStar_TypeChecker_Tc.ml", line 3032, characters 4-5: - Warning 26: unused variable g. - File "FStar_TypeChecker_Tc.ml", line 5278, characters 4-8: - Warning 26: unused variable env0. - File "FStar_TypeChecker_Tc.ml", line 5363, characters 4-20: - Warning 26: unused variable positive_if_pure. - File "FStar_TypeChecker_Tc.ml", line 6394, characters 4-10: - Warning 26: unused variable ed_src. - File "FStar_TypeChecker_Tc.ml", line 6397, characters 4-10: - Warning 26: unused variable ed_tgt. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_AST.ml - File "FStar_Parser_AST.ml", line 1602, characters 4-5: - Warning 26: unused variable i. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_DesugarEnv.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_Desugar.ml - File "FStar_Parser_Desugar.ml", line 369, characters 2-171: - Warning 11: this match case is unused. - File "FStar_Parser_Desugar.ml", line 1894, characters 4-17: - Warning 26: unused variable head_and_args. - File "FStar_Parser_Desugar.ml", line 3260, characters 4-9: - Warning 26: unused variable quals. - File "FStar_Parser_Desugar.ml", line 3923, characters 4-9: - Warning 26: unused variable decls. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_Env.ml - File "FStar_Parser_Env.ml", line 367, characters 4-11: - Warning 26: unused variable recname. - File "FStar_Parser_Env.ml", line 807, characters 4-12: - Warning 26: unused variable this_env. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_Interleave.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_ToSyntax.ml - File "FStar_Parser_ToSyntax.ml", line 736, characters 4-12: - Warning 26: unused variable resolvea. - File "FStar_Parser_ToSyntax.ml", line 2345, characters 4-14: - Warning 26: unused variable connective. - File "FStar_Parser_ToSyntax.ml", line 2369, characters 4-7: - Warning 26: unused variable pos. - File "FStar_Parser_ToSyntax.ml", line 3291, characters 4-9: - Warning 26: unused variable tycon. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_Parse.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_Lexhelp.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_LexFStar.ml - File "../parser/ml/lex.mll", line 369, characters 21-22: - Warning 26: unused variable x. - File "../parser/ml/lex.mll", line 399, characters 10-19: - Warning 26: unused variable close_eof. - File "../parser/ml/lex.mll", line 466, characters 11-12: - Warning 26: unused variable s. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_ParseIt.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_Driver.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_Dep.ml - File "FStar_Parser_Dep.ml", line 384, characters 8-24: - Warning 26: unused variable collect_fragment. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Extraction_ML_Syntax.ml - File "FStar_Extraction_ML_Syntax.ml", line 979, characters 2-3: - Warning 11: this match case is unused. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Extraction_ML_Env.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Extraction_ML_UEnv.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Extraction_ML_Util.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Extraction_ML_Code.ml - File "FStar_Extraction_ML_Code.ml", line 1304, characters 8-16: - Warning 26: unused variable for1_sig. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Extraction_ML_ExtractTyp.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Extraction_ML_ExtractExp.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Extraction_ML_ExtractMod.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Extraction_ML_Term.ml - File "FStar_Extraction_ML_Term.ml", line 1168, characters 4-18: - Warning 26: unused variable ml_result_ty_1. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Extraction_ML_Modul.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Extraction_Kremlin.ml - File "FStar_Extraction_Kremlin.ml", line 1708, characters 2-49: - Warning 11: this match case is unused. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Fsdoc_Generator.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_SMTEncoding_Term.ml - File "FStar_SMTEncoding_Term.ml", line 1314, characters 4-14: - Warning 26: unused variable bvar_index. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_SMTEncoding_Z3.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_SMTEncoding_SplitQueryCases.ml - File "FStar_SMTEncoding_SplitQueryCases.ml", line 133, characters 4-5: - Warning 26: unused variable l. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_SMTEncoding_ErrorReporting.ml - File "FStar_SMTEncoding_ErrorReporting.ml", line 272, characters 4-14: - Warning 26: unused variable print_labs. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_SMTEncoding_Encode.ml - File "FStar_SMTEncoding_Encode.ml", line 2254, characters 4-14: - Warning 26: unused variable unboxInt_l. - File "FStar_SMTEncoding_Encode.ml", line 2504, characters 4-10: - Warning 26: unused variable deffun. - File "FStar_SMTEncoding_Encode.ml", line 2799, characters 4-12: - Warning 26: unused variable precedes. - File "FStar_SMTEncoding_Encode.ml", line 2888, characters 4-5: - Warning 26: unused variable r. - File "FStar_SMTEncoding_Encode.ml", line 4145, characters 4-15: - Warning 26: unused variable should_skip. - File "FStar_SMTEncoding_Encode.ml", line 4817, characters 4-9: - Warning 26: unused variable guard. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_SMTEncoding_Solver.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Dependences.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Interactive.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Stratified.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Universal.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_FStar.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 ../../lib/ml/fstarlib.cmxa -o fstar.exe FStar_Util.cmx FStar_Bytes.cmx FStar_Getopt.cmx FStar_Range.cmx FStar_Platform.cmx FStar_Unionfind.cmx FStar_Parser_Util.cmx FStar_Version.cmx FStar_Options.cmx FStar_Ident.cmx FStar_Const.cmx FStar_Absyn_Syntax.cmx FStar_Absyn_Const.cmx FStar_Absyn_Visit.cmx FStar_Absyn_Util.cmx FStar_Absyn_Print.cmx FStar_Syntax_Syntax.cmx FStar_Syntax_Const.cmx FStar_Syntax_Subst.cmx FStar_Syntax_Free.cmx FStar_Syntax_InstFV.cmx FStar_Syntax_Util.cmx FStar_Syntax_Print.cmx FStar_Tc_Env.cmx FStar_Tc_Recheck.cmx FStar_Tc_Normalize.cmx FStar_Tc_Errors.cmx FStar_Tc_Rel.cmx FStar_Tc_Util.cmx FStar_Tc_Tc.cmx FStar_ToSMT_Term.cmx FStar_ToSMT_Z3.cmx FStar_ToSMT_SplitQueryCases.cmx FStar_ToSMT_Encode.cmx FStar_Format.cmx FStar_TypeChecker_Common.cmx FStar_TypeChecker_Env.cmx FStar_TypeChecker_Normalize.cmx FStar_TypeChecker_Errors.cmx FStar_TypeChecker_Rel.cmx FStar_TypeChecker_Util.cmx FStar_TypeChecker_DMFF.cmx FStar_TypeChecker_Tc.cmx FStar_Parser_AST.cmx FStar_Parser_DesugarEnv.cmx FStar_Parser_Desugar.cmx FStar_Parser_Env.cmx FStar_Parser_Interleave.cmx FStar_Parser_ToSyntax.cmx FStar_Parser_Parse.cmx FStar_Parser_Lexhelp.cmx FStar_Parser_LexFStar.cmx FStar_Parser_ParseIt.cmx FStar_Parser_Driver.cmx FStar_Parser_Dep.cmx FStar_Extraction_ML_Syntax.cmx FStar_Extraction_ML_Env.cmx FStar_Extraction_ML_UEnv.cmx FStar_Extraction_ML_Util.cmx FStar_Extraction_ML_Code.cmx FStar_Extraction_ML_ExtractTyp.cmx FStar_Extraction_ML_ExtractExp.cmx FStar_Extraction_ML_ExtractMod.cmx FStar_Extraction_ML_Term.cmx FStar_Extraction_ML_Modul.cmx FStar_Extraction_Kremlin.cmx FStar_Fsdoc_Generator.cmx FStar_SMTEncoding_Term.cmx FStar_SMTEncoding_Z3.cmx FStar_SMTEncoding_SplitQueryCases.cmx FStar_SMTEncoding_ErrorReporting.cmx FStar_SMTEncoding_Encode.cmx FStar_SMTEncoding_Solver.cmx FStar_Dependences.cmx FStar_Interactive.cmx FStar_Stratified.cmx FStar_Universal.cmx FStar_FStar.cmx main.ml - cp fstar.exe ../../bin/fstar.exe - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/fstar.0.9.3.0-beta1/src/ocaml-output' - make: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/fstar.0.9.3.0-beta1/src/ocaml-output' -> compiled fstar.0.9.3.0-beta1 Processing 36/36: [fstar: make install] + /usr/bin/make "PREFIX=/home/opam/.opam/4.05" "-C" "src/ocaml-output" "install" (CWD=/home/opam/.opam/4.05/.opam-switch/build/fstar.0.9.3.0-beta1) - make: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/fstar.0.9.3.0-beta1/src/ocaml-output' - make -j 1 -C ../../lib/ml - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/fstar.0.9.3.0-beta1/lib/ml' - ocamlfind ocamlopt -a MkPrims.cmx ./prims.cmx FStar_ST.cmx FStar_Float.cmx FStar_Char.cmx FStar_Int8.cmx FStar_UInt8.cmx FStar_Int16.cmx FStar_UInt16.cmx FStar_Int32.cmx FStar_Int64.cmx FStar_BaseTypes.cmx FStar_All.cmx FStar_IO.cmx FStar_Heap.cmx FStar_List.cmx FStar_Option.cmx FStar_String.cmx FStar_Set.cmx -o fstarlib.cmxa - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/fstar.0.9.3.0-beta1/lib/ml' - /usr/bin/make prep - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/fstar.0.9.3.0-beta1/src/ocaml-output' - cat ../parser/parse.fsy | sed 's/^[/][/].*//g' | sed 's/^[#].*//g' | sed 's/^open .*//g' > parse.mly - ocamlyacc parse.mly - 6 shift/reduce conflicts. - rm -f FStar_Parser_Parse.ml - echo "open Prims" > FStar_Parser_Parse.ml - echo "open FStar_List" >> FStar_Parser_Parse.ml - echo "open FStar_Util" >> FStar_Parser_Parse.ml - echo "open FStar_Range" >> FStar_Parser_Parse.ml - echo "open FStar_Options" >> FStar_Parser_Parse.ml - echo "open FStar_Absyn_Syntax" >> FStar_Parser_Parse.ml - echo "open FStar_Absyn_Const" >> FStar_Parser_Parse.ml - echo "open FStar_Absyn_Util" >> FStar_Parser_Parse.ml - echo "open FStar_Parser_AST" >> FStar_Parser_Parse.ml - echo "open FStar_Parser_Util" >> FStar_Parser_Parse.ml - echo "open FStar_Const" >> FStar_Parser_Parse.ml - echo "open FStar_Ident" >> FStar_Parser_Parse.ml - cat parse.ml >> FStar_Parser_Parse.ml - ocamllex ../parser/ml/lex.mll -o FStar_Parser_LexFStar.ml - 228 states, 6018 transitions, table size 25440 bytes - 2422 additional bytes used for bindings - cp ../parser/ml/parseit.ml FStar_Parser_ParseIt.ml - cp ../basic/ml/FStar_Util.ml ../basic/ml/FStar_Bytes.ml ../basic/ml/FStar_Getopt.ml ../basic/ml/FStar_Range.ml ../basic/ml/FStar_Platform.ml ../basic/ml/FStar_Unionfind.ml ../parser/ml/FStar_Parser_Util.ml ../fstar/ml/main.ml . - fatal: not a git repository (or any of the parent directories): .git - warning: Not a git repository. Use --no-index to compare two paths outside a working tree - usage: git diff --no-index [<options>] <path> <path> - - Diff output format options - -p, --patch generate patch - -s, --no-patch suppress diff output - -u generate patch - -U, --unified[=<n>] generate diffs with <n> lines context - -W, --function-context - generate diffs with <n> lines context - --raw generate the diff in raw format - --patch-with-raw synonym for '-p --raw' - --patch-with-stat synonym for '-p --stat' - --numstat machine friendly --stat - --shortstat output only the last line of --stat - -X, --dirstat[=<param1,param2>...] - output the distribution of relative amount of changes for each sub-directory - --cumulative synonym for --dirstat=cumulative - --dirstat-by-file[=<param1,param2>...] - synonym for --dirstat=files,param1,param2... - --check warn if changes introduce conflict markers or whitespace errors - --summary condensed summary such as creations, renames and mode changes - --name-only show only names of changed files - --name-status show only names and status of changed files - --stat[=<width>[,<name-width>[,<count>]]] - generate diffstat - --stat-width <width> generate diffstat with a given width - --stat-name-width <width> - generate diffstat with a given name width - --stat-graph-width <width> - generate diffstat with a given graph width - --stat-count <count> generate diffstat with limited lines - --compact-summary generate compact summary in diffstat - --binary output a binary diff that can be applied - --full-index show full pre- and post-image object names on the "index" lines - --color[=<when>] show colored diff - --ws-error-highlight <kind> - highlight whitespace errors in the 'context', 'old' or 'new' lines in the diff - -z do not munge pathnames and use NULs as output field terminators in --raw or --numstat - --abbrev[=<n>] use <n> digits to display object names - --src-prefix <prefix> - show the given source prefix instead of "a/" - --dst-prefix <prefix> - show the given destination prefix instead of "b/" - --line-prefix <prefix> - prepend an additional prefix to every line of output - --no-prefix do not show any source or destination prefix - --inter-hunk-context <n> - show context between diff hunks up to the specified number of lines - --output-indicator-new <char> - specify the character to indicate a new line instead of '+' - --output-indicator-old <char> - specify the character to indicate an old line instead of '-' - --output-indicator-context <char> - specify the character to indicate a context instead of ' ' - - Diff rename options - -B, --break-rewrites[=<n>[/<m>]] - break complete rewrite changes into pairs of delete and create - -M, --find-renames[=<n>] - detect renames - -D, --irreversible-delete - omit the preimage for deletes - -C, --find-copies[=<n>] - detect copies - --find-copies-harder use unmodified files as source to find copies - --no-renames disable rename detection - --rename-empty use empty blobs as rename source - --follow continue listing the history of a file beyond renames - -l <n> prevent rename/copy detection if the number of rename/copy targets exceeds given limit - - Diff algorithm options - --minimal produce the smallest possible diff - -w, --ignore-all-space - ignore whitespace when comparing lines - -b, --ignore-space-change - ignore changes in amount of whitespace - --ignore-space-at-eol - ignore changes in whitespace at EOL - --ignore-cr-at-eol ignore carrier-return at the end of line - --ignore-blank-lines ignore changes whose lines are all blank - -I, --ignore-matching-lines <regex> - ignore changes whose all lines match <regex> - --indent-heuristic heuristic to shift diff hunk boundaries for easy reading - --patience generate diff using the "patience diff" algorithm - --histogram generate diff using the "histogram diff" algorithm - --diff-algorithm <algorithm> - choose a diff algorithm - --anchored <text> generate diff using the "anchored diff" algorithm - --word-diff[=<mode>] show word diff, using <mode> to delimit changed words - --word-diff-regex <regex> - use <regex> to decide what a word is - --color-words[=<regex>] - equivalent to --word-diff=color --word-diff-regex=<regex> - --color-moved[=<mode>] - moved lines of code are colored differently - --color-moved-ws <mode> - how white spaces are ignored in --color-moved - - Other diff options - --relative[=<prefix>] - when run from subdir, exclude changes outside and show relative paths - -a, --text treat all files as text - -R swap two inputs, reverse the diff - --exit-code exit with 1 if there were differences, 0 otherwise - --quiet disable all output of the program - --ext-diff allow an external diff helper to be executed - --textconv run external text conversion filters when comparing binary files - --ignore-submodules[=<when>] - ignore changes to submodules in the diff generation - --submodule[=<format>] - specify how differences in submodules are shown - --ita-invisible-in-index - hide 'git add -N' entries from the index - --ita-visible-in-index - treat 'git add -N' entries as real in the index - -S <string> look for differences that change the number of occurrences of the specified string - -G <regex> look for differences that change the number of occurrences of the specified regex - --pickaxe-all show all changes in the changeset with -S or -G - --pickaxe-regex treat <string> in -S as extended POSIX regular expression - -O <file> control the order in which files appear in the output - --rotate-to <path> show the change in the specified path first - --skip-to <path> skip the output to the specified path - --find-object <object-id> - look for differences that change the number of occurrences of the specified object - --diff-filter [(A|C|D|M|R|T|U|X|B)...[*]] - select files by diff type - --output <file> output to a specific file - - echo 'let version = "0.9.3.0-beta1"' > FStar_Version.ml - echo 'let platform = "Linux_x86_64"' >> FStar_Version.ml - echo 'let compiler = "OCaml 4.05.0"' >> FStar_Version.ml - echo 'let date = "2024-01-29T18:59:25+00:00"' >> FStar_Version.ml - echo 'let commit= " (dirty)"' >> FStar_Version.ml - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/fstar.0.9.3.0-beta1/src/ocaml-output' - /usr/bin/make depend - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/fstar.0.9.3.0-beta1/src/ocaml-output' - ocamldep *.ml > .depend - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/fstar.0.9.3.0-beta1/src/ocaml-output' - /usr/bin/make fstar.exe - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/fstar.0.9.3.0-beta1/src/ocaml-output' - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Util.ml - File "FStar_Util.ml", line 257, characters 19-35: - Warning 3: deprecated: BatString.nsplit - Use split_on_string instead. - File "FStar_Util.ml", line 258, characters 18-34: - Warning 3: deprecated: BatString.nsplit - Use split_on_string instead. - File "FStar_Util.ml", line 264, characters 14-30: - Warning 3: deprecated: BatString.nsplit - Use split_on_string instead. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Bytes.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Getopt.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Range.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Platform.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Unionfind.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_Util.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Version.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Options.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Ident.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Const.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Absyn_Syntax.ml - File "FStar_Absyn_Syntax.ml", line 656, characters 2-3: - Warning 11: this match case is unused. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Absyn_Const.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Absyn_Visit.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Absyn_Util.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Absyn_Print.ml - File "FStar_Absyn_Print.ml", line 683, characters 4-11: - Warning 26: unused variable bin_eop. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Syntax_Syntax.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Syntax_Const.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Syntax_Subst.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Syntax_Free.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Syntax_InstFV.ml - File "FStar_Syntax_InstFV.ml", line 19, characters 74-107: - Warning 12: this sub-pattern is unused. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Syntax_Util.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Syntax_Print.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Tc_Env.ml - File "FStar_Tc_Env.ml", line 404, characters 4-15: - Warning 26: unused variable print_mlift. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Tc_Recheck.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Tc_Normalize.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Tc_Errors.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Tc_Rel.ml - File "FStar_Tc_Rel.ml", line 2270, characters 4-7: - Warning 26: unused variable max. - File "FStar_Tc_Rel.ml", line 3453, characters 4-5: - Warning 26: unused variable r. - File "FStar_Tc_Rel.ml", line 3527, characters 4-5: - Warning 26: unused variable r. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Tc_Util.ml - File "FStar_Tc_Util.ml", line 1690, characters 4-5: - Warning 26: unused variable k. - File "FStar_Tc_Util.ml", line 2764, characters 4-24: - Warning 26: unused variable hide_uvar_nums_saved. - File "FStar_Tc_Util.ml", line 2767, characters 4-25: - Warning 26: unused variable print_implicits_saved. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Tc_Tc.ml - File "FStar_Tc_Tc.ml", line 564, characters 4-5: - Warning 26: unused variable k. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_ToSMT_Term.ml - File "FStar_ToSMT_Term.ml", line 1242, characters 4-14: - Warning 26: unused variable bvar_index. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_ToSMT_Z3.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_ToSMT_SplitQueryCases.ml - File "FStar_ToSMT_SplitQueryCases.ml", line 133, characters 4-5: - Warning 26: unused variable l. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_ToSMT_Encode.ml - File "FStar_ToSMT_Encode.ml", line 2178, characters 2-40: - Warning 11: this match case is unused. - File "FStar_ToSMT_Encode.ml", line 2655, characters 4-14: - Warning 26: unused variable unboxInt_l. - File "FStar_ToSMT_Encode.ml", line 3132, characters 4-12: - Warning 26: unused variable precedes. - File "FStar_ToSMT_Encode.ml", line 3190, characters 4-16: - Warning 26: unused variable mk_int_alias. - File "FStar_ToSMT_Encode.ml", line 3229, characters 4-5: - Warning 26: unused variable r. - File "FStar_ToSMT_Encode.ml", line 3555, characters 4-23: - Warning 26: unused variable mk_foralltyp_interp. - File "FStar_ToSMT_Encode.ml", line 3602, characters 4-23: - Warning 26: unused variable mk_existstyp_interp. - File "FStar_ToSMT_Encode.ml", line 4374, characters 4-9: - Warning 26: unused variable guard. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_TypeChecker_Common.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_TypeChecker_Env.ml - File "FStar_TypeChecker_Env.ml", line 364, characters 4-8: - Warning 26: unused variable mark. - File "FStar_TypeChecker_Env.ml", line 380, characters 4-14: - Warning 26: unused variable reset_mark. - File "FStar_TypeChecker_Env.ml", line 1340, characters 4-15: - Warning 26: unused variable print_mlift. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_TypeChecker_Normalize.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_TypeChecker_Errors.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_TypeChecker_Rel.ml - File "FStar_TypeChecker_Rel.ml", line 805, characters 4-14: - Warning 26: unused variable conj_guard. - File "FStar_TypeChecker_Rel.ml", line 1186, characters 4-7: - Warning 26: unused variable t2'. - File "FStar_TypeChecker_Rel.ml", line 1294, characters 4-8: - Warning 26: unused variable fail. - File "FStar_TypeChecker_Rel.ml", line 2046, characters 4-5: - Warning 26: unused variable b. - File "FStar_TypeChecker_Rel.ml", line 2316, characters 4-7: - Warning 26: unused variable max. - File "FStar_TypeChecker_Rel.ml", line 2818, characters 4-5: - Warning 26: unused variable r. - File "FStar_TypeChecker_Rel.ml", line 3680, characters 4-5: - Warning 26: unused variable r. - File "FStar_TypeChecker_Rel.ml", line 3751, characters 4-5: - Warning 26: unused variable r. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_TypeChecker_Util.ml - File "FStar_TypeChecker_Util.ml", line 1149, characters 4-5: - Warning 26: unused variable k. - File "FStar_TypeChecker_Util.ml", line 1570, characters 4-7: - Warning 26: unused variable kwp. - File "FStar_TypeChecker_Util.ml", line 2283, characters 4-5: - Warning 26: unused variable t. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_TypeChecker_DMFF.ml - File "FStar_TypeChecker_DMFF.ml", line 69, characters 4-11: - Warning 26: unused variable unknown. - File "FStar_TypeChecker_DMFF.ml", line 296, characters 4-11: - Warning 26: unused variable c_lift1. - File "FStar_TypeChecker_DMFF.ml", line 788, characters 4-6: - Warning 26: unused variable wp. - File "FStar_TypeChecker_DMFF.ml", line 1080, characters 2-34: - Warning 12: this sub-pattern is unused. - File "FStar_TypeChecker_DMFF.ml", line 1192, characters 4-6: - Warning 26: unused variable mk. - File "FStar_TypeChecker_DMFF.ml", line 2028, characters 4-6: - Warning 26: unused variable mk. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_TypeChecker_Tc.ml - File "FStar_TypeChecker_Tc.ml", line 1648, characters 4-6: - Warning 26: unused variable c0. - File "FStar_TypeChecker_Tc.ml", line 2852, characters 4-19: - Warning 26: unused variable uvars_to_string. - File "FStar_TypeChecker_Tc.ml", line 3032, characters 4-5: - Warning 26: unused variable g. - File "FStar_TypeChecker_Tc.ml", line 5278, characters 4-8: - Warning 26: unused variable env0. - File "FStar_TypeChecker_Tc.ml", line 5363, characters 4-20: - Warning 26: unused variable positive_if_pure. - File "FStar_TypeChecker_Tc.ml", line 6394, characters 4-10: - Warning 26: unused variable ed_src. - File "FStar_TypeChecker_Tc.ml", line 6397, characters 4-10: - Warning 26: unused variable ed_tgt. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_AST.ml - File "FStar_Parser_AST.ml", line 1602, characters 4-5: - Warning 26: unused variable i. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_DesugarEnv.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_Desugar.ml - File "FStar_Parser_Desugar.ml", line 369, characters 2-171: - Warning 11: this match case is unused. - File "FStar_Parser_Desugar.ml", line 1894, characters 4-17: - Warning 26: unused variable head_and_args. - File "FStar_Parser_Desugar.ml", line 3260, characters 4-9: - Warning 26: unused variable quals. - File "FStar_Parser_Desugar.ml", line 3923, characters 4-9: - Warning 26: unused variable decls. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_Env.ml - File "FStar_Parser_Env.ml", line 367, characters 4-11: - Warning 26: unused variable recname. - File "FStar_Parser_Env.ml", line 807, characters 4-12: - Warning 26: unused variable this_env. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_Interleave.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_ToSyntax.ml - File "FStar_Parser_ToSyntax.ml", line 736, characters 4-12: - Warning 26: unused variable resolvea. - File "FStar_Parser_ToSyntax.ml", line 2345, characters 4-14: - Warning 26: unused variable connective. - File "FStar_Parser_ToSyntax.ml", line 2369, characters 4-7: - Warning 26: unused variable pos. - File "FStar_Parser_ToSyntax.ml", line 3291, characters 4-9: - Warning 26: unused variable tycon. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_Parse.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_Lexhelp.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_LexFStar.ml - File "../parser/ml/lex.mll", line 369, characters 21-22: - Warning 26: unused variable x. - File "../parser/ml/lex.mll", line 399, characters 10-19: - Warning 26: unused variable close_eof. - File "../parser/ml/lex.mll", line 466, characters 11-12: - Warning 26: unused variable s. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_ParseIt.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_Driver.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Parser_Dep.ml - File "FStar_Parser_Dep.ml", line 384, characters 8-24: - Warning 26: unused variable collect_fragment. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Extraction_ML_Syntax.ml - File "FStar_Extraction_ML_Syntax.ml", line 979, characters 2-3: - Warning 11: this match case is unused. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Extraction_ML_Env.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Extraction_ML_UEnv.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Extraction_ML_Util.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Extraction_ML_Code.ml - File "FStar_Extraction_ML_Code.ml", line 1304, characters 8-16: - Warning 26: unused variable for1_sig. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Extraction_ML_ExtractTyp.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Extraction_ML_ExtractExp.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Extraction_ML_ExtractMod.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Extraction_ML_Term.ml - File "FStar_Extraction_ML_Term.ml", line 1168, characters 4-18: - Warning 26: unused variable ml_result_ty_1. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Extraction_ML_Modul.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Extraction_Kremlin.ml - File "FStar_Extraction_Kremlin.ml", line 1708, characters 2-49: - Warning 11: this match case is unused. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Fsdoc_Generator.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_SMTEncoding_Term.ml - File "FStar_SMTEncoding_Term.ml", line 1314, characters 4-14: - Warning 26: unused variable bvar_index. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_SMTEncoding_Z3.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_SMTEncoding_SplitQueryCases.ml - File "FStar_SMTEncoding_SplitQueryCases.ml", line 133, characters 4-5: - Warning 26: unused variable l. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_SMTEncoding_ErrorReporting.ml - File "FStar_SMTEncoding_ErrorReporting.ml", line 272, characters 4-14: - Warning 26: unused variable print_labs. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_SMTEncoding_Encode.ml - File "FStar_SMTEncoding_Encode.ml", line 2254, characters 4-14: - Warning 26: unused variable unboxInt_l. - File "FStar_SMTEncoding_Encode.ml", line 2504, characters 4-10: - Warning 26: unused variable deffun. - File "FStar_SMTEncoding_Encode.ml", line 2799, characters 4-12: - Warning 26: unused variable precedes. - File "FStar_SMTEncoding_Encode.ml", line 2888, characters 4-5: - Warning 26: unused variable r. - File "FStar_SMTEncoding_Encode.ml", line 4145, characters 4-15: - Warning 26: unused variable should_skip. - File "FStar_SMTEncoding_Encode.ml", line 4817, characters 4-9: - Warning 26: unused variable guard. - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_SMTEncoding_Solver.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Dependences.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Interactive.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Stratified.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_Universal.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 -c FStar_FStar.ml - ocamlfind ocamlopt -thread -package batteries,zarith,yojson -linkpkg -g -w "-28" -annot -I ../../lib/ml/ -w -8 ../../lib/ml/fstarlib.cmxa -o fstar.exe FStar_Util.cmx FStar_Bytes.cmx FStar_Getopt.cmx FStar_Range.cmx FStar_Platform.cmx FStar_Unionfind.cmx FStar_Parser_Util.cmx FStar_Version.cmx FStar_Options.cmx FStar_Ident.cmx FStar_Const.cmx FStar_Absyn_Syntax.cmx FStar_Absyn_Const.cmx FStar_Absyn_Visit.cmx FStar_Absyn_Util.cmx FStar_Absyn_Print.cmx FStar_Syntax_Syntax.cmx FStar_Syntax_Const.cmx FStar_Syntax_Subst.cmx FStar_Syntax_Free.cmx FStar_Syntax_InstFV.cmx FStar_Syntax_Util.cmx FStar_Syntax_Print.cmx FStar_Tc_Env.cmx FStar_Tc_Recheck.cmx FStar_Tc_Normalize.cmx FStar_Tc_Errors.cmx FStar_Tc_Rel.cmx FStar_Tc_Util.cmx FStar_Tc_Tc.cmx FStar_ToSMT_Term.cmx FStar_ToSMT_Z3.cmx FStar_ToSMT_SplitQueryCases.cmx FStar_ToSMT_Encode.cmx FStar_Format.cmx FStar_TypeChecker_Common.cmx FStar_TypeChecker_Env.cmx FStar_TypeChecker_Normalize.cmx FStar_TypeChecker_Errors.cmx FStar_TypeChecker_Rel.cmx FStar_TypeChecker_Util.cmx FStar_TypeChecker_DMFF.cmx FStar_TypeChecker_Tc.cmx FStar_Parser_AST.cmx FStar_Parser_DesugarEnv.cmx FStar_Parser_Desugar.cmx FStar_Parser_Env.cmx FStar_Parser_Interleave.cmx FStar_Parser_ToSyntax.cmx FStar_Parser_Parse.cmx FStar_Parser_Lexhelp.cmx FStar_Parser_LexFStar.cmx FStar_Parser_ParseIt.cmx FStar_Parser_Driver.cmx FStar_Parser_Dep.cmx FStar_Extraction_ML_Syntax.cmx FStar_Extraction_ML_Env.cmx FStar_Extraction_ML_UEnv.cmx FStar_Extraction_ML_Util.cmx FStar_Extraction_ML_Code.cmx FStar_Extraction_ML_ExtractTyp.cmx FStar_Extraction_ML_ExtractExp.cmx FStar_Extraction_ML_ExtractMod.cmx FStar_Extraction_ML_Term.cmx FStar_Extraction_ML_Modul.cmx FStar_Extraction_Kremlin.cmx FStar_Fsdoc_Generator.cmx FStar_SMTEncoding_Term.cmx FStar_SMTEncoding_Z3.cmx FStar_SMTEncoding_SplitQueryCases.cmx FStar_SMTEncoding_ErrorReporting.cmx FStar_SMTEncoding_Encode.cmx FStar_SMTEncoding_Solver.cmx FStar_Dependences.cmx FStar_Interactive.cmx FStar_Stratified.cmx FStar_Universal.cmx FStar_FStar.cmx main.ml - cp fstar.exe ../../bin/fstar.exe - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/fstar.0.9.3.0-beta1/src/ocaml-output' - install -m 755 -D -T fstar.exe /home/opam/.opam/4.05/bin/fstar.exe - cd ../../ulib && find . -type f -exec install -m 644 -D {} /home/opam/.opam/4.05/lib/fstar/{} \; - cd ../../examples && find . -type f -exec install -m 644 -D {} /home/opam/.opam/4.05/share/fstar/examples/{} \; - cd ../../ucontrib && find . -type f -exec install -m 644 -D {} /home/opam/.opam/4.05/share/fstar/contrib/{} \; - cd ../../doc/tutorial && find . -type f -exec install -m 644 -D {} /home/opam/.opam/4.05/share/fstar/tutorial/{} \; - make: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/fstar.0.9.3.0-beta1/src/ocaml-output' -> installed fstar.0.9.3.0-beta1 Done. # Run eval $(opam env) to update the current shell environment 2024-01-29 18:59.41 ---> saved as "f5d7148ef0b8f149fd2ec33960d692b527759a9b03dcc95090fd658af40b3547" /home/opam: (run (shell "opam exec -- ~/voodoo-prep -u fstar:331134e56a4105bed4057c7849169934,stdint:0f400f4cb2838e7b4c58fad51441dbbc")) 2024-01-29 18:59.42 ---> saved as "b5129904b423af29951cbbbb719693af40ddbe34c82981177b55384e45eb9e99" /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.662028') && (for DATA in prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2,stdint.0.7.2-0f400f4cb2838e7b4c58fad51441dbbc,stdint.0.7.2 prep/universes/331134e56a4105bed4057c7849169934/fstar/0.9.3.0-beta1,fstar.0.9.3.0-beta1-331134e56a4105bed4057c7849169934,fstar.0.9.3.0-beta1; 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/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2,stdint.0.7.2-0f400f4cb2838e7b4c58fad51441dbbc,stdint.0.7.2 prep/universes/331134e56a4105bed4057c7849169934/fstar/0.9.3.0-beta1,fstar.0.9.3.0-beta1-331134e56a4105bed4057c7849169934,fstar.0.9.3.0-beta1; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2,stdint.0.7.2-0f400f4cb2838e7b4c58fad51441dbbc,stdint.0.7.2 prep/universes/331134e56a4105bed4057c7849169934/fstar/0.9.3.0-beta1,fstar.0.9.3.0-beta1-331134e56a4105bed4057c7849169934,fstar.0.9.3.0-beta1; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)")) 0.662028 prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/doc/ prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/doc/stdint/ prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/doc/stdint/CHANGES.md prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/doc/stdint/LICENSE prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/doc/stdint/README.md prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/lib/ prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/lib/stdint/ prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/lib/stdint/stdint.ocamlobjinfo prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/lib/stdint/META prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/lib/stdint/dune-package prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/lib/stdint/stdint.cmi prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/lib/stdint/stdint.cmt prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/lib/stdint/stdint.cmti prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/lib/stdint/stdint__.cmi prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/lib/stdint/stdint__.cmt prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/lib/stdint/stdint__Bytes_conv.cmi prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/lib/stdint/stdint__Bytes_conv.cmt prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/lib/stdint/stdint__Bytes_conv.cmti prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/lib/stdint/stdint__Infix.cmi prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/lib/stdint/stdint__Infix.cmt prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/lib/stdint/stdint__Infix.cmti prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/lib/stdint/stdint__Int_wrapper.cmi prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/lib/stdint/stdint__Int_wrapper.cmt prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/lib/stdint/stdint__Int_wrapper.cmti prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/lib/stdint/stdint__Stdint_stdlib_.cmi prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/lib/stdint/stdint__Stdint_stdlib_.cmt prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/lib/stdint/stdint__Str_conv.cmi prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/lib/stdint/stdint__Str_conv.cmt prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/lib/stdint/stdint__Str_conv.cmti prep/universes/0f400f4cb2838e7b4c58fad51441dbbc/stdint/0.7.2/opam prep/universes/331134e56a4105bed4057c7849169934/fstar/0.9.3.0-beta1/opam Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. HASHES:stdint.0.7.2-0f400f4cb2838e7b4c58fad51441dbbc:72d773b55af8f313c1445d23e2314f3bb386a3c088bd1ac98ee6b438faaab176 HASHES:fstar.0.9.3.0-beta1-331134e56a4105bed4057c7849169934:ae4aa6e53e4306c1b1a0959cb6609c48b2f2abc00db6608838491b5e0e3e4b1d 2024-01-29 18:59.44 ---> saved as "4de81e2dc99e98b28e2fa029085efa058c29787b1156ccbc51c482ada5afd5b3" Job succeeded 2024-01-29 19:05.40: fstar.0.9.3.0-beta1-331134e56a4105bed4057c7849169934 -> ae4aa6e53e4306c1b1a0959cb6609c48b2f2abc00db6608838491b5e0e3e4b1d 2024-01-29 19:05.40: stdint.0.7.2-0f400f4cb2838e7b4c58fad51441dbbc -> 72d773b55af8f313c1445d23e2314f3bb386a3c088bd1ac98ee6b438faaab176 2024-01-29 19:05.40: Job succeeded