Build:
- 0
2024-09-12 08:35.54: New job: Voodoo prep fstar.0.9.3.0-beta1; d87ee6aaa6960537c19ff480cd62e030 2024-09-12 08:35.54: Waiting for resource in pool OCluster 2024-09-12 20:20.01: Waiting for worker… 2024-09-12 20:28.21: Got resource from pool OCluster 2024-09-12 20:28.21: 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:efbd8a573ce5e8a845336270340d5b975912e17322d1077f9575eb67bb2bdb7c) (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:efbd8a573ce5e8a845336270340d5b975912e17322d1077f9575eb67bb2bdb7c) (user (uid 1000) (gid 1000)) (workdir /home/opam) (run (shell "sudo chown opam:opam /home/opam")) (run (shell "sudo mkdir /src")) (copy (src packages) (dst /src/packages)) (copy (src repo) (dst /src/repo)) (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) (run (shell "opam repo remove default && opam repo add opam /src")) (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam install dune.3.16.0 ocamlfind.1.9.6")) (env DUNE_CACHE enabled) (env DUNE_CACHE_TRANSPORT direct) (env DUNE_CACHE_DUPLICATION copy) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "(sudo apt update) && ((opam depext -viy fstar.0.9.3.0-beta1 zarith.1.13 yojson.2.2.2 stdint.0.7.2 seq.0.3.1 ocamlfind.1.9.6 ocamlbuild.0.14.3 num.0 host-arch-x86_64.1 dune.3.16.0 conf-gmp.4 camlp-streams.5.0.1 batteries.3.8.0 base-num.base 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')")) (run (shell "opam exec -- ~/voodoo-prep -u fstar:d87ee6aaa6960537c19ff480cd62e030,stdint:6189b191d20ba919189a4b94e55e3be3")) (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.993596') && (for DATA in prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2,stdint.0.7.2-6189b191d20ba919189a4b94e55e3be3,stdint.0.7.2 prep/universes/d87ee6aaa6960537c19ff480cd62e030/fstar/0.9.3.0-beta1,fstar.0.9.3.0-beta1-d87ee6aaa6960537c19ff480cd62e030,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/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2,stdint.0.7.2-6189b191d20ba919189a4b94e55e3be3,stdint.0.7.2 prep/universes/d87ee6aaa6960537c19ff480cd62e030/fstar/0.9.3.0-beta1,fstar.0.9.3.0-beta1-d87ee6aaa6960537c19ff480cd62e030,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/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2,stdint.0.7.2-6189b191d20ba919189a4b94e55e3be3,stdint.0.7.2 prep/universes/d87ee6aaa6960537c19ff480cd62e030/fstar/0.9.3.0-beta1,fstar.0.9.3.0-beta1-d87ee6aaa6960537c19ff480cd62e030,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 5ee688bb15d6f6e2321121b77eb06b2139310f2b --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-09-12 20:28.21: RETRYING: 2024-09-12/083554-voodoo-prep-5e30a6 Number of retries: 0 (retriable error condition) Building on x86-bm-c12.sw.ocaml.org All commits already cached Updating files: 67% (21497/32082) Updating files: 68% (21816/32082) Updating files: 69% (22137/32082) Updating files: 70% (22458/32082) Updating files: 71% (22779/32082) Updating files: 72% (23100/32082) Updating files: 73% (23420/32082) Updating files: 74% (23741/32082) Updating files: 75% (24062/32082) Updating files: 76% (24383/32082) Updating files: 77% (24704/32082) Updating files: 78% (25024/32082) Updating files: 79% (25345/32082) Updating files: 80% (25666/32082) Updating files: 81% (25987/32082) Updating files: 82% (26308/32082) Updating files: 83% (26629/32082) Updating files: 84% (26949/32082) Updating files: 85% (27270/32082) Updating files: 86% (27591/32082) Updating files: 87% (27912/32082) Updating files: 88% (28233/32082) Updating files: 89% (28553/32082) Updating files: 90% (28874/32082) Updating files: 91% (29195/32082) Updating files: 92% (29516/32082) Updating files: 93% (29837/32082) Updating files: 94% (30158/32082) Updating files: 95% (30478/32082) Updating files: 96% (30799/32082) Updating files: 97% (31120/32082) Updating files: 98% (31441/32082) Updating files: 99% (31762/32082) Updating files: 100% (32082/32082) Updating files: 100% (32082/32082), done. HEAD is now at 5ee688bb15 Windows support for ocaml-secondary-compiler.4.14.2 (build "tools" …) (from ocaml/opam:debian-12-ocaml-4.05@sha256:efbd8a573ce5e8a845336270340d5b975912e17322d1077f9575eb67bb2bdb7c) 2024-09-12 20:21.07 ---> using "7c8c890fbdf3a5ce9ada73a70c4872c63f6da4c66697c2f0b58387309e41a001" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-09-12 20:21.07 ---> using "20c183f0d0338fbcef1c46f42e8678e12d47780c46d34e49189d2f9667146690" from cache /home/opam: (run (network host) (shell "sudo apt-get update && sudo apt-get install -yy m4 pkg-config")) Hit:1 http://deb.debian.org/debian bookworm InRelease Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB] Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB] Get:4 http://deb.debian.org/debian bookworm-updates/main amd64 Packages.diff/Index [11.7 kB] Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-09-10-2011.55-F-2024-09-10-2011.55.pdiff [1116 B] Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-09-10-2011.55-F-2024-09-10-2011.55.pdiff [1116 B] Get:6 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [179 kB] Fetched 295 kB in 0s (994 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 (17.9 MB/s) Selecting previously unselected package libpkgconf3:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 18733 files and directories currently installed.) Preparing to unpack .../libpkgconf3_1.8.1-1_amd64.deb ... Unpacking libpkgconf3:amd64 (1.8.1-1) ... Selecting previously unselected package m4. Preparing to unpack .../archives/m4_1.4.19-3_amd64.deb ... Unpacking m4 (1.4.19-3) ... Selecting previously unselected package pkgconf-bin. Preparing to unpack .../pkgconf-bin_1.8.1-1_amd64.deb ... Unpacking pkgconf-bin (1.8.1-1) ... Selecting previously unselected package pkgconf:amd64. Preparing to unpack .../pkgconf_1.8.1-1_amd64.deb ... Unpacking pkgconf:amd64 (1.8.1-1) ... Selecting previously unselected package pkg-config:amd64. Preparing to unpack .../pkg-config_1.8.1-1_amd64.deb ... Unpacking pkg-config:amd64 (1.8.1-1) ... Setting up m4 (1.4.19-3) ... Setting up libpkgconf3:amd64 (1.8.1-1) ... Setting up pkgconf-bin (1.8.1-1) ... Setting up pkgconf:amd64 (1.8.1-1) ... Setting up pkg-config:amd64 (1.8.1-1) ... Processing triggers for libc-bin (2.36-9+deb12u8) ... 2024-09-12 20:21.07 ---> using "8c0f8771fbef6314a3959e88202d1780ecd2b0743dffb0ee03d00fa52dbfc6fb" 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.16.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.7.0 [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.6 [required by opam-format] - install logs 0.7.0 [required by bos] - install opam-format 2.1.6 [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.7.0] found in cache [dune.3.16.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.6] found in cache [opam-file-format.2.1.6] found in cache [opam-format.2.1.6] 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.16.0 -> installed seq.0.3.1 -> installed result.1.5 -> installed stdlib-shims.0.3.0 -> installed opam-file-format.2.1.6 -> installed rresult.0.6.0 -> installed cppo.1.7.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.6 -> installed opam-format.2.1.6 -> installed voodoo-prep.~dev Done. # Run eval $(opam env) to update the current shell environment 2024-09-12 20:21.07 ---> using "92b96a9320a3c564e921cf6f693e681f388ab6efdb6d4fb243d4b61a1bead82f" from cache /home/opam: (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")) 2024-09-12 20:21.07 ---> using "20e9b993b022113842bc0975a803d68b5b5c71e4a43205065eeb9bca43d9f290" from cache 2024-09-12 20:21.07 --> finished "tools" (from ocaml/opam:debian-12-ocaml-4.05@sha256:efbd8a573ce5e8a845336270340d5b975912e17322d1077f9575eb67bb2bdb7c) 2024-09-12 20:21.07 ---> using "7c8c890fbdf3a5ce9ada73a70c4872c63f6da4c66697c2f0b58387309e41a001" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-09-12 20:21.07 ---> using "20c183f0d0338fbcef1c46f42e8678e12d47780c46d34e49189d2f9667146690" from cache /home/opam: (run (shell "sudo mkdir /src")) 2024-09-12 20:21.07 ---> using "21dd1d46569643818950834cd483e48a237692c6efc675d8e7e354e7f652bc6b" from cache /home/opam: (copy (src packages) (dst /src/packages)) 2024-09-12 20:21.08 ---> using "bdd649aab34b1134d0a1d1f4d8a1c472f6b3d197803cfa06f8fa38e9beaa03c1" from cache /home/opam: (copy (src repo) (dst /src/repo)) 2024-09-12 20:21.08 ---> using "8530c0e970da716a7118739cf17c14b0aadb6194090b6192d0fa9760246cd64d" from cache /home/opam: (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) Configuring from /home/opam/.opamrc and then from built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted. You may want to back it up before going further. Continue? [Y/n] y Format upgrade done. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from file:///home/opam/opam-repository 2024-09-12 20:21.08 ---> using "0d790a0e0ac9d70553b28b185b8ae8478a30cbfaf5251ca59249220b072d1554" 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-09-12 20:21.08 ---> using "10bf5ec698ab45f335272c3fafbe10a1b88385b7a9f24da315145070c5eef4ef" from cache /home/opam: (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) 2024-09-12 20:21.09 ---> using "35a4c8191d89e46ab11a70ddbd50646a393279028012b633e37c2d525e25da58" from cache /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam install dune.3.16.0 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.16.0 ===== 3 to install ===== <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved ocamlfind.1.9.6 (cached) -> retrieved dune.3.16.0 (cached) -> retrieved ocamlfind-secondary.1.9.6 (cached) -> installed ocamlfind.1.9.6 -> installed ocamlfind-secondary.1.9.6 -> installed dune.3.16.0 Done. # Run eval $(opam env) to update the current shell environment 2024-09-12 20:21.09 ---> using "d493f1ac3b1f6be40b0289b7ce7f81b7848f398d9b55f1132ed99f623c7a33d9" 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.2.2 stdint.0.7.2 seq.0.3.1 ocamlfind.1.9.6 ocamlbuild.0.14.3 num.0 host-arch-x86_64.1 dune.3.16.0 conf-gmp.4 camlp-streams.5.0.1 batteries.3.8.0 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 [55.4 kB] Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB] Get:4 http://deb.debian.org/debian bookworm-updates/main amd64 Packages.diff/Index [11.7 kB] Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-09-10-2011.55-F-2024-09-10-2011.55.pdiff [1116 B] Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-09-10-2011.55-F-2024-09-10-2011.55.pdiff [1116 B] Get:6 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [179 kB] Fetched 295 kB in 0s (1103 kB/s) Reading package lists... Building dependency tree... Reading state information... All packages are up to date. Opam plugin "depext" may require upgrading/reinstalling. Reinstall the plugin on the current switch? [Y/n] y The following actions will be performed: - recompile opam-depext 1.2.3 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved opam-depext.1.2.3 (cached) -> removed opam-depext.1.2.3 -> installed opam-depext.1.2.3 Done. <><> opam-depext.1.2.3 installed successfully <><><><><><><><><><><><><><><><><> => opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead # Run eval $(opam env) to update the current shell environment <><> Carrying on to "opam depext -viy fstar.0.9.3.0-beta1 zarith.1.13 yojson.2.2.2 stdint.0.7.2 seq.0.3.1 ocamlfind.1.9.6 ocamlbuild.0.14.3 num.0 host-arch-x86_64.1 dune.3.16.0 conf-gmp.4 camlp-streams.5.0.1 batteries.3.8.0 base-num.base" Since version 2.1, opam now handles external dependencies alongside OCaml ones, and the `depext` plugin interface is provided for backwards compatibility only. Consider using your usual `opam install` command to install both OCaml and system dependencies, or `opam install <pkg> --depext-only` if you want to only install external dependencies. # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # The following system packages are needed: libgmp-dev [NOTE] Package dune is already installed (current version is 3.16.0). [NOTE] Package host-arch-x86_64 is already installed (current version is 1). [NOTE] Package ocamlfind is already installed (current version is 1.9.6). The following actions will be performed: - install 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.2.2 - install zarith 1.13 - install batteries 3.8.0 - install fstar 0.9.3.0-beta1 ===== 11 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 ... 18733 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+deb12u8) ... <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 2/33: Processing 3/33: -> retrieved conf-gmp.4 (cached) Processing 4/33: Processing 5/33: [fstar.0.9.3.0-beta1: http] Processing 6/33: [fstar.0.9.3.0-beta1: http] Processing 7/33: [fstar.0.9.3.0-beta1: http] [conf-gmp: sh] -> installed base-num.base Processing 8/33: [fstar.0.9.3.0-beta1: http] [conf-gmp: sh] -> retrieved batteries.3.8.0 (cached) Processing 9/33: [fstar.0.9.3.0-beta1: http] [conf-gmp: sh] Processing 10/33: [fstar.0.9.3.0-beta1: http] [conf-gmp: sh] Processing 11/33: [fstar.0.9.3.0-beta1: http] [conf-gmp: sh] -> installed num.0 Processing 12/33: [fstar.0.9.3.0-beta1: http] [conf-gmp: sh] -> retrieved camlp-streams.5.0.1 (cached) Processing 13/33: [fstar.0.9.3.0-beta1: http] [conf-gmp: sh] Processing 14/33: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] [conf-gmp: sh] - + cc -c -I/usr/local/include test.c -> compiled conf-gmp.4 Processing 14/33: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] -> installed conf-gmp.4 Processing 15/33: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] -> retrieved ocamlbuild.0.14.3 (cached) Processing 16/33: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] Processing 17/33: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] [ocamlbuild: make configure.make] -> retrieved seq.0.3.1 (cached) Processing 18/33: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] [ocamlbuild: make configure.make] Processing 19/33: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] [ocamlbuild: make configure.make] [seq: dune build] -> retrieved stdint.0.7.2 (cached) Processing 20/33: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] [ocamlbuild: make configure.make] [seq: dune build] Processing 21/33: [fstar.0.9.3.0-beta1: http] [camlp-streams: 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 21/33: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] [ocamlbuild: make check-if-preinstalled] [seq: dune build] [stdint: dune build] -> retrieved yojson.2.2.2 (cached) -> retrieved zarith.1.13 (cached) Processing 22/33: [fstar.0.9.3.0-beta1: http] [camlp-streams: dune build] [ocamlbuild: make check-if-preinstalled] [seq: dune build] [stdint: dune build] [zarith: ./configure] -> compiled camlp-streams.5.0.1 Processing 22/33: [fstar.0.9.3.0-beta1: http] [ocamlbuild: make check-if-preinstalled] [seq: dune build] [stdint: dune build] [zarith: ./configure] -> installed camlp-streams.5.0.1 Processing 23/33: [fstar.0.9.3.0-beta1: http] [ocamlbuild: make check-if-preinstalled] [seq: dune build] [stdint: dune build] [zarith: ./configure] Processing 24/33: [fstar.0.9.3.0-beta1: http] [batteries: dune build] [ocamlbuild: make check-if-preinstalled] [seq: dune build] [stdint: dune build] [zarith: ./configure] -> compiled seq.0.3.1 Processing 24/33: [fstar.0.9.3.0-beta1: http] [batteries: dune build] [ocamlbuild: make check-if-preinstalled] [stdint: dune build] [zarith: ./configure] -> installed seq.0.3.1 Processing 25/33: [fstar.0.9.3.0-beta1: http] [batteries: dune build] [ocamlbuild: make check-if-preinstalled] [stdint: dune build] [zarith: ./configure] Processing 26/33: [fstar.0.9.3.0-beta1: http] [batteries: dune build] [ocamlbuild: make check-if-preinstalled] [stdint: dune build] [yojson: 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 26/33: [fstar.0.9.3.0-beta1: http] [batteries: dune build] [ocamlbuild: make check-if-preinstalled] [stdint: dune build] [yojson: dune build] [zarith: make] Processing 26/33: [batteries: dune build] [ocamlbuild: make check-if-preinstalled] [stdint: dune build] [yojson: dune build] [zarith: make] -> compiled stdint.0.7.2 Processing 26/33: [batteries: dune build] [ocamlbuild: make check-if-preinstalled] [yojson: dune build] [zarith: make] -> installed stdint.0.7.2 Processing 27/33: [batteries: dune build] [ocamlbuild: make check-if-preinstalled] [yojson: dune build] [zarith: make] -> retrieved fstar.0.9.3.0-beta1 (https://github.com/FStarLang/FStar/archive/v0.9.3.0-beta1.tar.gz) -> compiled yojson.2.2.2 Processing 27/33: [batteries: dune build] [ocamlbuild: make check-if-preinstalled] [zarith: make] -> installed yojson.2.2.2 Processing 28/33: [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 28/33: [batteries: dune build] [ocamlbuild: make check-if-preinstalled] Processing 29/33: [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 29/33: [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 29/33: [batteries: dune build] -> installed ocamlbuild.0.14.3 Processing 30/33: [batteries: dune build] + /home/opam/.opam/4.05/bin/dune "build" "-p" "batteries" "-j" "39" "@install" (CWD=/home/opam/.opam/4.05/.opam-switch/build/batteries.3.8.0) -> compiled batteries.3.8.0 -> installed batteries.3.8.0 Processing 32/33: [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-09-12T21:22:47+01: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 33/33: [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-09-12T21:23:05+01: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-09-12 20:23.25 ---> saved as "e9bace10f063c56cd6f18fc02d555008076f9a9cb106b1510b10c2e6e10a558a" /home/opam: (run (shell "opam exec -- ~/voodoo-prep -u fstar:d87ee6aaa6960537c19ff480cd62e030,stdint:6189b191d20ba919189a4b94e55e3be3")) 2024-09-12 20:23.27 ---> saved as "d40bceb0f8137a035c8e5a36815d5f251c440c25f18184bc303519b8c0a432a2" /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.993596') && (for DATA in prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2,stdint.0.7.2-6189b191d20ba919189a4b94e55e3be3,stdint.0.7.2 prep/universes/d87ee6aaa6960537c19ff480cd62e030/fstar/0.9.3.0-beta1,fstar.0.9.3.0-beta1-d87ee6aaa6960537c19ff480cd62e030,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/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2,stdint.0.7.2-6189b191d20ba919189a4b94e55e3be3,stdint.0.7.2 prep/universes/d87ee6aaa6960537c19ff480cd62e030/fstar/0.9.3.0-beta1,fstar.0.9.3.0-beta1-d87ee6aaa6960537c19ff480cd62e030,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/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2,stdint.0.7.2-6189b191d20ba919189a4b94e55e3be3,stdint.0.7.2 prep/universes/d87ee6aaa6960537c19ff480cd62e030/fstar/0.9.3.0-beta1,fstar.0.9.3.0-beta1-d87ee6aaa6960537c19ff480cd62e030,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.993596 prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/doc/ prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/doc/stdint/ prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/doc/stdint/CHANGES.md prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/doc/stdint/LICENSE prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/doc/stdint/README.md prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/lib/ prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/lib/stdint/ prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/lib/stdint/stdint.ocamlobjinfo prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/lib/stdint/META prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/lib/stdint/dune-package prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/lib/stdint/stdint.cmi prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/lib/stdint/stdint.cmt prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/lib/stdint/stdint.cmti prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/lib/stdint/stdint__.cmi prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/lib/stdint/stdint__.cmt prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/lib/stdint/stdint__Bytes_conv.cmi prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/lib/stdint/stdint__Bytes_conv.cmt prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/lib/stdint/stdint__Bytes_conv.cmti prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/lib/stdint/stdint__Infix.cmi prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/lib/stdint/stdint__Infix.cmt prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/lib/stdint/stdint__Infix.cmti prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/lib/stdint/stdint__Int_wrapper.cmi prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/lib/stdint/stdint__Int_wrapper.cmt prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/lib/stdint/stdint__Int_wrapper.cmti prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/lib/stdint/stdint__Stdint_stdlib_.cmi prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/lib/stdint/stdint__Stdint_stdlib_.cmt prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/lib/stdint/stdint__Str_conv.cmi prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/lib/stdint/stdint__Str_conv.cmt prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/lib/stdint/stdint__Str_conv.cmti prep/universes/6189b191d20ba919189a4b94e55e3be3/stdint/0.7.2/opam prep/universes/d87ee6aaa6960537c19ff480cd62e030/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-6189b191d20ba919189a4b94e55e3be3:66221fa116007ea777051d4bab388ca87aaf6e68ce2519d7a8bcf47f3b441fd1 HASHES:fstar.0.9.3.0-beta1-d87ee6aaa6960537c19ff480cd62e030:9deb77def7760c2468cfe199aa4c866ca6563c345a1464ee0104c6a3581337d9 2024-09-12 20:23.29 ---> saved as "8e3138125d25925b241507c1e8ca47feb91677eda213e0e8361f8bb1652b781a" Job succeeded 2024-09-12 20:30.55: fstar.0.9.3.0-beta1-d87ee6aaa6960537c19ff480cd62e030 -> 9deb77def7760c2468cfe199aa4c866ca6563c345a1464ee0104c6a3581337d9 2024-09-12 20:30.55: stdint.0.7.2-6189b191d20ba919189a4b94e55e3be3 -> 66221fa116007ea777051d4bab388ca87aaf6e68ce2519d7a8bcf47f3b441fd1 2024-09-12 20:30.55: Job succeeded