Build:
  1. 0
2024-02-11 20:23.53: New job: test squirrel.0.1 with conf-pkg-config.1.1, using opam dev
                              from https://github.com/ocaml/opam-repository.git#refs/pull/25235/head (8c7391d6ec81e93f24de221eb32a886b72d1ede6)
                              on debian-12-ocaml-5.1/amd64

To reproduce locally:

cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/25235/head" && git reset --hard 8c7391d6
git fetch origin master
git merge --no-edit 8477e9a74beb40d85534ab7653b65d45607a147f
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-5.1@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMSOLVERTIMEOUT="500"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
ENV OPAMCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMFIXUPCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMUPGRADECRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
RUN opam pin add -k version -yn conf-pkg-config.1.1 1.1
RUN opam reinstall conf-pkg-config.1.1; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    partial_fails=""; \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-12\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    test "$pkg" != 'conf-pkg-config.1.1' && partial_fails="$partial_fails $pkg"; \
    done; \
    test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
    exit 1
ENV OPAMCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMFIXUPCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMUPGRADECRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
RUN opam reinstall squirrel.0.1; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    partial_fails=""; \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-12\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    test "$pkg" != 'squirrel.0.1' && partial_fails="$partial_fails $pkg"; \
    done; \
    test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
    exit 1
ENV OPAMCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMFIXUPCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMUPGRADECRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
RUN (opam reinstall --with-test squirrel.0.1) || true
RUN opam reinstall --with-test --verbose squirrel.0.1; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    partial_fails=""; \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-12\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    test "$pkg" != 'squirrel.0.1' && partial_fails="$partial_fails $pkg"; \
    done; \
    test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
    exit 1

END-OF-DOCKERFILE
docker build -f ../Dockerfile .

2024-02-11 20:23.53: Using cache hint "ocaml/opam:debian-12-ocaml-5.1@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930-conf-pkg-config.1.1-squirrel.0.1-8c7391d6ec81e93f24de221eb32a886b72d1ede6"
2024-02-11 20:23.53: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-5.1@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930)
 (user (uid 1000) (gid 1000))
 (workdir /home/opam)
 (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
 (run (network host)
      (shell "opam init --reinit --config .opamrc-sandbox -ni"))
 (env OPAMDOWNLOADJOBS 1)
 (env OPAMERRLOGLEN 0)
 (env OPAMSOLVERTIMEOUT 500)
 (env OPAMPRECISETRACKING 1)
 (env CI true)
 (env OPAM_REPO_CI true)
 (run (shell "rm -rf opam-repository/"))
 (copy (src .) (dst opam-repository/))
 (run (shell "opam repository set-url --strict default opam-repository/"))
 (run (network host)
      (shell "opam update --depexts || true"))
 (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (run (shell "opam pin add -k version -yn conf-pkg-config.1.1 1.1"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell  "opam reinstall conf-pkg-config.1.1;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        partial_fails=\"\";\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n          test \"$pkg\" != 'conf-pkg-config.1.1' && partial_fails=\"$partial_fails $pkg\";\
             \n        done;\
             \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
             \n        exit 1"))
 (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell  "opam reinstall squirrel.0.1;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        partial_fails=\"\";\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n          test \"$pkg\" != 'squirrel.0.1' && partial_fails=\"$partial_fails $pkg\";\
             \n        done;\
             \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
             \n        exit 1"))
 (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (run (network host)
      (shell "(opam reinstall --with-test squirrel.0.1) || true"))
 (run (shell  "opam reinstall --with-test --verbose squirrel.0.1;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        partial_fails=\"\";\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n          test \"$pkg\" != 'squirrel.0.1' && partial_fails=\"$partial_fails $pkg\";\
             \n        done;\
             \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
             \n        exit 1"))
)

2024-02-11 20:23.53: Waiting for resource in pool OCluster
2024-02-12 20:04.17: Waiting for worker…
2024-02-12 20:05.56: Got resource from pool OCluster
Building on marpe.caelum.ci.dev
All commits already cached
Updating files:  99% (32770/32918)
Updating files: 100% (32918/32918)
Updating files: 100% (32918/32918), done.
HEAD is now at 8477e9a74b Merge pull request #25221 from nberth/mlgmpidl-1.3.0
Updating 8477e9a74b..8c7391d6ec
Fast-forward
 packages/conf-pkg-config/conf-pkg-config.1.0/opam | 2 +-
 packages/conf-pkg-config/conf-pkg-config.1.1/opam | 1 +
 packages/conf-pkg-config/conf-pkg-config.1.2/opam | 1 +
 packages/conf-pkg-config/conf-pkg-config.1.3/opam | 1 +
 packages/conf-pkg-config/conf-pkg-config.2/opam   | 1 +
 packages/conf-pkg-config/conf-pkg-config.3/opam   | 4 +++-
 6 files changed, 8 insertions(+), 2 deletions(-)

(from ocaml/opam:debian-12-ocaml-5.1@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930)
2024-02-12 20:06.48 ---> using "4df7ce52b8e0afe130cbfff7d9b001e43cae58bd8e8710cd073ce7c11b1c6ac8" from cache

/: (user (uid 1000) (gid 1000))

/: (workdir /home/opam)

/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2024-02-12 20:06.48 ---> using "2ee14a5dbb7aa54ab1dfa5adba4422c5a5483941525d4174e8eeed0c4c5e97aa" from cache

/home/opam: (run (network host)
                 (shell "opam init --reinit --config .opamrc-sandbox -ni"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally 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.2~alpha, which can't be reverted.
You may want to back it up before going further.

Continue? [y/n] y
[NOTE] The 'jobs' option was reset, its value was 71 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
           opam option jobs=71 --global
Format upgrade done.

<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-02-12 20:06.48 ---> using "d58131e4d084860f74dbebecfc9a35ebb7fbb42cf58093b5ac6cf0adf11ed898" from cache

/home/opam: (env OPAMDOWNLOADJOBS 1)

/home/opam: (env OPAMERRLOGLEN 0)

/home/opam: (env OPAMSOLVERTIMEOUT 500)

/home/opam: (env OPAMPRECISETRACKING 1)

/home/opam: (env CI true)

/home/opam: (env OPAM_REPO_CI true)

/home/opam: (run (shell "rm -rf opam-repository/"))
2024-02-12 20:06.48 ---> using "e76676ee91f5598b65d18de047738848e5af056a75e3436903dc82ff5702c5a6" from cache

/home/opam: (copy (src .) (dst opam-repository/))
2024-02-12 20:06.49 ---> using "00dcf922e87fec2f8ccdd0b44355d41faed143c596db4bfe8812d0e9c5f33f02" from cache

/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2024-02-12 20:06.49 ---> using "d6c8604b98b9d01914259989eafdfad7780b6c9f761a469dfe3162a56ba73510" from cache

/home/opam: (run (network host)
                 (shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian bookworm InRelease [151 kB]
- Get:2 http://deb.debian.org/debian bookworm-updates InRelease [52.1 kB]
- Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
- Get:4 http://deb.debian.org/debian bookworm/main amd64 Packages [8786 kB]
- Get:5 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [137 kB]
- Fetched 9175 kB in 1s (7250 kB/s)
- Reading package lists...
2024-02-12 20:06.49 ---> using "6245d7929b862e6b37f451133c05d21883283d0248743f67197f2e424fe52d69" from cache

/home/opam: (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (run (shell "opam pin add -k version -yn conf-pkg-config.1.1 1.1"))
conf-pkg-config is now pinned to version 1.1
2024-02-12 20:06.49 ---> using "efd69474de39398f08b803f28b1c0635d272139b0c33f4b0a322013c52989663" from cache

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell  "opam reinstall conf-pkg-config.1.1;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        partial_fails=\"\";\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n          test \"$pkg\" != 'conf-pkg-config.1.1' && partial_fails=\"$partial_fails $pkg\";\
                        \n        done;\
                        \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
                        \n        exit 1"))
conf-pkg-config.1.1 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 1 package
  - install conf-pkg-config 1.1 (pinned)

The following system packages will first need to be installed:
    pkg-config

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>

opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
  2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
  3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
  4. Abort the installation

[1/2/3/4] 1

+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "pkg-config"
- debconf: delaying package configuration, since apt-utils is not installed
- 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 ... 18774 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 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 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+deb12u4) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed conf-pkg-config.1.1
Done.
# Run eval $(opam env) to update the current shell environment
2024-02-12 20:06.49 ---> using "0686843ae3c31f38ac5563a3bcd57d9eed648c8dbf66daffdc86057dfb09ccb3" from cache

/home/opam: (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell  "opam reinstall squirrel.0.1;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        partial_fails=\"\";\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n          test \"$pkg\" != 'squirrel.0.1' && partial_fails=\"$partial_fails $pkg\";\
                        \n        done;\
                        \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
                        \n        exit 1"))
squirrel.0.1 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 24 packages
  - install alcotest           1.7.0    [required by squirrel]
  - install astring            0.8.5    [required by alcotest]
  - install cmdliner           1.2.0    [required by alcotest]
  - install conf-libpcre       1        [required by pcre]
  - install conf-which         1        [required by squirrel]
  - install csexp              1.5.2    [required by dune-configurator]
  - install dune               3.13.1   [required by ocamlgraph, alcotest, menhir, pcre]
  - install dune-configurator  3.13.1   [required by pcre]
  - install fmt                0.9.0    [required by squirrel]
  - install menhir             20231231 [required by squirrel]
  - install menhirCST          20231231 [required by menhir]
  - install menhirLib          20231231 [required by menhir]
  - install menhirSdk          20231231 [required by menhir]
  - install ocaml-syntax-shims 1.0.0    [required by alcotest]
  - install ocamlbuild         0.14.3   [required by fmt, astring, uutf]
  - install ocamlfind          1.9.6    [required by fmt, astring, uutf]
  - install ocamlgraph         2.1.0    [required by squirrel]
  - install pcre               7.5.0    [required by squirrel]
  - install re                 1.11.0   [required by alcotest]
  - install seq                base     [required by re]
  - install squirrel           0.1
  - install stdlib-shims       0.3.0    [required by alcotest, ocamlgraph]
  - install topkg              1.0.7    [required by fmt, astring, uutf]
  - install uutf               1.0.3    [required by alcotest]

The following system packages will first need to be installed:
    libpcre3-dev

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>

opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
  2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
  3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
  4. Abort the installation

[1/2/3/4] 1

+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libpcre3-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libpcre16-3: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 ... 18810 files and directories currently installed.)
- Preparing to unpack .../libpcre16-3_2%3a8.39-15_amd64.deb ...
- Unpacking libpcre16-3:amd64 (2:8.39-15) ...
- Selecting previously unselected package libpcre3:amd64.
- Preparing to unpack .../libpcre3_2%3a8.39-15_amd64.deb ...
- Unpacking libpcre3:amd64 (2:8.39-15) ...
- Selecting previously unselected package libpcre32-3:amd64.
- Preparing to unpack .../libpcre32-3_2%3a8.39-15_amd64.deb ...
- Unpacking libpcre32-3:amd64 (2:8.39-15) ...
- Selecting previously unselected package libpcrecpp0v5:amd64.
- Preparing to unpack .../libpcrecpp0v5_2%3a8.39-15_amd64.deb ...
- Unpacking libpcrecpp0v5:amd64 (2:8.39-15) ...
- Selecting previously unselected package libpcre3-dev:amd64.
- Preparing to unpack .../libpcre3-dev_2%3a8.39-15_amd64.deb ...
- Unpacking libpcre3-dev:amd64 (2:8.39-15) ...
- Setting up libpcre16-3:amd64 (2:8.39-15) ...
- Setting up libpcre3:amd64 (2:8.39-15) ...
- Setting up libpcre32-3:amd64 (2:8.39-15) ...
- Setting up libpcrecpp0v5:amd64 (2:8.39-15) ...
- Setting up libpcre3-dev:amd64 (2:8.39-15) ...
- Processing triggers for libc-bin (2.36-9+deb12u4) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved alcotest.1.7.0  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved cmdliner.1.2.0  (cached)
-> retrieved csexp.1.5.2  (cached)
-> installed conf-libpcre.1
-> installed conf-which.1
-> retrieved dune.3.13.1, dune-configurator.3.13.1  (cached)
-> retrieved fmt.0.9.0  (cached)
-> retrieved menhir.20231231, menhirCST.20231231, menhirLib.20231231, menhirSdk.20231231  (cached)
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved ocamlbuild.0.14.3  (cached)
-> installed cmdliner.1.2.0
-> retrieved ocamlfind.1.9.6  (cached)
-> retrieved ocamlgraph.2.1.0  (cached)
-> retrieved pcre.7.5.0  (cached)
-> retrieved re.1.11.0  (cached)
-> installed seq.base
-> retrieved squirrel.0.1  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved topkg.1.0.7  (cached)
-> retrieved uutf.1.0.3  (cached)
-> installed ocamlfind.1.9.6
-> installed ocamlbuild.0.14.3
-> installed topkg.1.0.7
-> installed uutf.1.0.3
-> installed fmt.0.9.0
-> installed astring.0.8.5
-> installed dune.3.13.1
-> installed csexp.1.5.2
-> installed menhirCST.20231231
-> installed menhirLib.20231231
-> installed menhirSdk.20231231
-> installed re.1.11.0
-> installed ocaml-syntax-shims.1.0.0
-> installed stdlib-shims.0.3.0
-> installed alcotest.1.7.0
-> installed dune-configurator.3.13.1
-> installed ocamlgraph.2.1.0
-> installed pcre.7.5.0
-> installed menhir.20231231
-> installed squirrel.0.1
Done.
# Run eval $(opam env) to update the current shell environment
2024-02-12 20:07.41 ---> saved as "f573c6c772939910179fd28f7e963cf342f3229daa3eb4e94814e686407cd7ea"

/home/opam: (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (run (network host)
                 (shell "(opam reinstall --with-test squirrel.0.1) || true"))
The following actions will be performed:
=== recompile 1 package
  - recompile squirrel 0.1

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved squirrel.0.1  (https://github.com/squirrel-prover/squirrel-prover/archive/0.1.tar.gz)
-> removed   squirrel.0.1
-> installed squirrel.0.1
Done.
# Run eval $(opam env) to update the current shell environment
2024-02-12 20:09.34 ---> saved as "62b158533bbd79a17df60d3b865111eec4d4cf86fa50629854c2b149e207cf73"

/home/opam: (run (shell  "opam reinstall --with-test --verbose squirrel.0.1;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        partial_fails=\"\";\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n          test \"$pkg\" != 'squirrel.0.1' && partial_fails=\"$partial_fails $pkg\";\
                        \n        done;\
                        \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
                        \n        exit 1"))
The following actions will be performed:
=== recompile 1 package
  - recompile squirrel 0.1

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/4:
-> retrieved squirrel.0.1  (cached)
Processing  2/4: [squirrel: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/5.1/.opam-switch/build/squirrel.0.1)
- rm -f src/commit.ml
- sed 's/GITHASH//' < src/commit.ml.in > src/commit.ml
- Checking for menhir... /home/opam/.opam/5.1/bin/menhir
- Checking for fmt... /home/opam/.opam/5.1/lib/fmt
- Checking for ocamlgraph... /home/opam/.opam/5.1/lib/ocamlgraph
- Checking for alcotest... /home/opam/.opam/5.1/lib/alcotest
- Checking for pcre... /home/opam/.opam/5.1/lib/pcre
- mkdir -p _build
- touch _build/requirements
- ocamlbuild -use-ocamlfind -use-menhir -I src -pkgs fmt,fmt.tty,alcotest,ocamlgraph,pcre  squirrel.byte
- ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/5.1/lib/ocamlbuild /home/opam/.opam/5.1/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/5.1/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/squirrel.ml > src/squirrel.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/main.mli > src/main.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/main.cmi src/main.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/squirrel.cmo src/squirrel.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/main.ml > src/main.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/action.mli > src/action.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/channel.mli > src/channel.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/location.mli > src/location.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/symbols.mli > src/symbols.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/location.cmi src/location.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/type.mli > src/type.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/ident.mli > src/ident.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/ident.cmi src/ident.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/type.cmi src/type.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/symbols.cmi src/symbols.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/term.mli > src/term.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/vars.mli > src/vars.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/utils.mli > src/utils.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/utils.cmi src/utils.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/vars.cmi src/vars.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/channel.cmi src/channel.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/term.cmi src/term.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/checks.ml > src/checks.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/commit.mli > src/commit.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/config.mli > src/config.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/equivTactics.ml > src/equivTactics.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/action.cmi src/action.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/cca.ml > src/cca.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/euf.mli > src/euf.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/constr.mli > src/constr.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/systemExpr.mli > src/systemExpr.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/system.mli > src/system.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/system.cmi src/system.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/systemExpr.cmi src/systemExpr.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/equiv.mli > src/equiv.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/tactics.mli > src/tactics.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/constr.cmi src/constr.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/equiv.cmi src/equiv.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/tactics.cmi src/tactics.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/iter.ml > src/iter.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/macros.mli > src/macros.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/match.mli > src/match.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/macros.cmi src/macros.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/match.cmi src/match.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/euf.cmi src/euf.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/iter.cmo src/iter.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/iter.cmo src/iter.ml
- File "src/iter.ml", line 306, characters 20-32:
- 306 |           if (match Term.pi_term PLeft t, Term.pi_term PRight t with
-                           ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- 
- File "src/iter.ml", line 306, characters 42-54:
- 306 |           if (match Term.pi_term PLeft t, Term.pi_term PRight t with
-                                                 ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/config.cmi src/config.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/equivSequent.mli > src/equivSequent.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/lowEquivSequent.mli > src/lowEquivSequent.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/hint.mli > src/hint.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/rewrite.mli > src/rewrite.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/tacticsArgs.mli > src/tacticsArgs.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/theory.mli > src/theory.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/theory.cmi src/theory.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/tacticsArgs.cmi src/tacticsArgs.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/rewrite.cmi src/rewrite.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/lowSequent.ml > src/lowSequent.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/hint.cmi src/hint.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/hyps.mli > src/hyps.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/hyps.cmi src/hyps.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/lowTraceSequent.mli > src/lowTraceSequent.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/completion.mli > src/completion.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lowSequent.cmo src/lowSequent.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/completion.cmi src/completion.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lowTraceSequent.cmi src/lowTraceSequent.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/sequent.mli > src/sequent.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/goal.mli > src/goal.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lowEquivSequent.cmi src/lowEquivSequent.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/reduction.mli > src/reduction.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/goal.cmi src/goal.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/reduction.cmi src/reduction.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/sequent.cmi src/sequent.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/fresh.ml > src/fresh.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/lowTactics.ml > src/lowTactics.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/equivSequent.cmi src/equivSequent.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/printer.mli > src/printer.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/prover.mli > src/prover.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/decl.mli > src/decl.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/process.mli > src/process.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/process.cmi src/process.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/decl.cmi src/decl.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/traceSequent.mli > src/traceSequent.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/printer.cmi src/printer.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/prover.cmi src/prover.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/traceSequent.cmi src/traceSequent.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/prf.ml > src/prf.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/fresh.cmo src/fresh.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/traceTactics.ml > src/traceTactics.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/cca.cmo src/cca.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lowTactics.cmo src/lowTactics.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lowTactics.cmo src/lowTactics.ml
- File "src/lowTactics.ml", line 77, characters 18-26:
- 77 |         (Failure (Fmt.strf "types %a and %a are not compatible"
-                        ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- 
- File "src/lowTactics.ml", line 85, characters 18-26:
- 85 |         (Failure (Fmt.strf "types %a and %a are not compatible"
-                        ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- 
- File "src/lowTactics.ml", line 1443, characters 31-39:
- 1443 |           (Tactics.NotDepends (Fmt.strf "%a" Term.pp a1,
-                                       ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- 
- File "src/lowTactics.ml", line 1444, characters 31-39:
- 1444 |                                Fmt.strf "%a" Term.pp a2))
-                                       ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/prf.cmo src/prf.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/prf.cmo src/prf.ml
- File "src/prf.ml", line 234, characters 27-39:
- 234 |     let param = prf_param (Term.pi_term proj hash) in
-                                  ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- 
- File "src/prf.ml", line 243, characters 25-37:
- 243 |     let e_without_hash = Term.pi_term proj e_without_hash in
-                                ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/traceTactics.cmo src/traceTactics.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/traceTactics.cmo src/traceTactics.ml
- File "src/traceTactics.ml", line 1496, characters 4-35:
- 1496 |     Cca.check_encryption_randomness
-            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label cntxt was omitted in the application of this function.
- 
- File "src/traceTactics.ml", line 1794, characters 35-47:
- 1794 |     match List.find_opt (fun e -> (Term.pi_term src e) = t) biframe with
-                                           ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- 
- File "src/traceTactics.ml", line 1795, characters 22-34:
- 1795 |     | Some e -> Some (Term.pi_term dst e)
-                              ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/highTactics.ml > src/highTactics.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/equivTactics.cmo src/equivTactics.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/equivTactics.cmo src/equivTactics.ml
- File "src/equivTactics.ml", line 714, characters 10-22:
- 714 |     match Term.pi_term PLeft t, Term.pi_term PRight t with
-                 ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- 
- File "src/equivTactics.ml", line 714, characters 32-44:
- 714 |     match Term.pi_term PLeft t, Term.pi_term PRight t with
-                                       ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- 
- File "src/equivTactics.ml", line 2024, characters 8-20:
- 2024 |   match Term.pi_term PLeft t, Term.pi_term PRight t with
-                ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- 
- File "src/equivTactics.ml", line 2024, characters 30-42:
- 2024 |   match Term.pi_term PLeft t, Term.pi_term PRight t with
-                                      ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- 
- File "src/equivTactics.ml", line 2030, characters 8-20:
- 2030 |   match Term.pi_term PLeft mess_name, Term.pi_term PRight mess_name with
-                ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- 
- File "src/equivTactics.ml", line 2030, characters 38-50:
- 2030 |   match Term.pi_term PLeft mess_name, Term.pi_term PRight mess_name with
-                                              ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- 
- File "src/equivTactics.ml", line 2091, characters 14-26:
- 2091 |         match Term.pi_term PLeft t, Term.pi_term PRight t with
-                      ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- 
- File "src/equivTactics.ml", line 2091, characters 36-48:
- 2091 |         match Term.pi_term PLeft t, Term.pi_term PRight t with
-                                            ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- 
- File "src/equivTactics.ml", line 2101, characters 14-26:
- 2101 |         match Term.pi_term PLeft mess_name, Term.pi_term PRight mess_name with
-                      ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- 
- File "src/equivTactics.ml", line 2101, characters 44-56:
- 2101 |         match Term.pi_term PLeft mess_name, Term.pi_term PRight mess_name with
-                                                    ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- 
- File "src/equivTactics.ml", line 2103, characters 22-34:
- 2103 |           begin match Term.pi_term PLeft t, Term.pi_term PRight t with
-                              ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- 
- File "src/equivTactics.ml", line 2103, characters 44-56:
- 2103 |           begin match Term.pi_term PLeft t, Term.pi_term PRight t with
-                                                    ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/html.mli > src/html.mli.depends
- menhir --raw-depend --ocamldep 'ocamlfind ocamldep -modules' src/parser.mly > src/parser.mly.depends
- menhir --ocamlc 'ocamlfind ocamlc -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src' --explain --infer src/parser.mly
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/parser.mli > src/parser.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/parserbuf.ml > src/parserbuf.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/checks.cmo src/checks.ml
- /home/opam/.opam/5.1/bin/ocamllex.opt -q src/lexer.mll
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/lexer.ml > src/lexer.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/parser.cmi src/parser.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lexer.cmo src/lexer.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/commit.cmi src/commit.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/highTactics.cmo src/highTactics.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/html.cmi src/html.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/parserbuf.cmo src/parserbuf.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/parserbuf.cmo src/parserbuf.ml
- File "src/parserbuf.ml", line 78, characters 18-26:
- 78 |         let msg = Fmt.strf "%a" pp_error () in
-                        ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/main.cmo src/main.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/action.ml > src/action.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/commit.ml > src/commit.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/config.ml > src/config.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/goal.ml > src/goal.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/hint.ml > src/hint.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/html.ml > src/html.ml.depends
- /home/opam/.opam/5.1/bin/ocamllex.opt -q src/htmlLexer.mll
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/htmlLexer.ml > src/htmlLexer.ml.depends
- menhir --raw-depend --ocamldep 'ocamlfind ocamldep -modules' src/htmlParser.mly > src/htmlParser.mly.depends
- menhir --ocamlc 'ocamlfind ocamlc -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src' --explain --infer src/htmlParser.mly
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/htmlParser.mli > src/htmlParser.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/htmlParser.cmi src/htmlParser.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/htmlLexer.cmo src/htmlLexer.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/location.ml > src/location.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/parser.ml > src/parser.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/printer.ml > src/printer.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/process.ml > src/process.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/prover.ml > src/prover.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/prof.mli > src/prof.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/systemModifiers.ml > src/systemModifiers.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/prof.cmi src/prof.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/systemModifiers.cmo src/systemModifiers.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/symbols.ml > src/symbols.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/tactics.ml > src/tactics.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/tacticsArgs.ml > src/tacticsArgs.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/theory.ml > src/theory.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/utils.ml > src/utils.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/puf.mli > src/puf.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/puf.cmi src/puf.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/action.cmo src/action.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/commit.cmo src/commit.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/config.cmo src/config.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/goal.cmo src/goal.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/hint.cmo src/hint.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/html.cmo src/html.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/location.cmo src/location.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/parser.cmo src/parser.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/printer.cmo src/printer.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/printer.cmo src/printer.ml
- File "src/printer.ml", line 220, characters 11-19:
- 220 | let strf = Fmt.strf
-                  ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/process.cmo src/process.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/prover.cmo src/prover.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/prover.cmo src/prover.ml
- File "src/prover.ml", line 244, characters 4-12:
- 244 |     Fmt.strf "%a"
-           ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- 
- File "src/prover.ml", line 249, characters 4-12:
- 249 |     Fmt.strf "%s \n %s: @[ %s  @] " th.general_help
-           ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/symbols.cmo src/symbols.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/tactics.cmo src/tactics.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/tacticsArgs.cmo src/tacticsArgs.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/theory.cmo src/theory.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/utils.cmo src/utils.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/channel.ml > src/channel.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/term.ml > src/term.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/type.ml > src/type.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/vars.ml > src/vars.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/channel.cmo src/channel.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/term.cmo src/term.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/type.cmo src/type.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/vars.cmo src/vars.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/ident.ml > src/ident.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/ident.cmo src/ident.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/puf.ml > src/puf.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/puf.cmo src/puf.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/constr.ml > src/constr.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/equiv.ml > src/equiv.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/equivSequent.ml > src/equivSequent.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/euf.ml > src/euf.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/reduction.ml > src/reduction.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/systemExpr.ml > src/systemExpr.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/constr.cmo src/constr.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/equiv.cmo src/equiv.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/equivSequent.cmo src/equivSequent.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/euf.cmo src/euf.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/euf.cmo src/euf.ml
- File "src/euf.ml", line 149, characters 26-40:
- 149 | let mk_rule ?(elems=[]) ?(drop_head=true) ~fun_wrap_key
-                                 ^^^^^^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- 
- File "src/euf.ml", line 149, characters 14-22:
- 149 | let mk_rule ?(elems=[]) ?(drop_head=true) ~fun_wrap_key
-                     ^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/reduction.cmo src/reduction.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/systemExpr.cmo src/systemExpr.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/macros.ml > src/macros.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/match.ml > src/match.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/macros.cmo src/macros.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/macros.cmo src/macros.ml
- File "src/macros.ml", line 126, characters 8-17:
- 126 |         is_prefix strict a0 (Action.get_shape action)
-               ^^^^^^^^^
- Warning 6 [labels-omitted]: label strict was omitted in the application of this function.
- 
- File "src/macros.ml", line 296, characters 14-23:
- 296 |       if not (is_prefix strict glob_a (Action.get_shape action)) then
-                     ^^^^^^^^^
- Warning 6 [labels-omitted]: label strict was omitted in the application of this function.
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/match.cmo src/match.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/system.ml > src/system.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/system.cmo src/system.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/completion.ml > src/completion.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/completion.cmo src/completion.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/prof.ml > src/prof.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/prof.cmo src/prof.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/lowEquivSequent.ml > src/lowEquivSequent.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/postQuantum.ml > src/postQuantum.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/postQuantum.cmo src/postQuantum.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/sequent.ml > src/sequent.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lowEquivSequent.cmo src/lowEquivSequent.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/sequent.cmo src/sequent.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/lowTraceSequent.ml > src/lowTraceSequent.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/atom.mli > src/atom.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/atom.cmi src/atom.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lowTraceSequent.cmo src/lowTraceSequent.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/hyps.ml > src/hyps.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/hyps.cmo src/hyps.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/rewrite.ml > src/rewrite.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/rewrite.cmo src/rewrite.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/atom.ml > src/atom.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/atom.cmo src/atom.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/decl.ml > src/decl.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/decl.cmo src/decl.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/traceSequent.ml > src/traceSequent.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/traceSequent.cmo src/traceSequent.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/htmlParser.ml > src/htmlParser.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/htmlParser.cmo src/htmlParser.ml
- ocamlfind ocamlc -linkpkg -g -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src src/checks.cmo src/location.cmo src/printer.cmo src/ident.cmo src/type.cmo src/puf.cmo src/utils.cmo src/symbols.cmo src/channel.cmo src/vars.cmo src/term.cmo src/action.cmo src/commit.cmo src/config.cmo src/system.cmo src/systemExpr.cmo src/constr.cmo src/prof.cmo src/completion.cmo src/tactics.cmo src/equiv.cmo src/macros.cmo src/match.cmo src/iter.cmo src/euf.cmo src/cca.cmo src/theory.cmo src/tacticsArgs.cmo src/rewrite.cmo src/hint.cmo src/hyps.cmo src/lowSequent.cmo src/atom.cmo src/lowTraceSequent.cmo src/postQuantum.cmo src/lowEquivSequent.cmo src/goal.cmo src/process.cmo src/decl.cmo src/fresh.cmo src/prf.cmo src/systemModifiers.cmo src/prover.cmo src/reduction.cmo src/sequent.cmo src/equivSequent.cmo src/traceSequent.cmo src/lowTactics.cmo src/traceTactics.cmo src/equivTactics.cmo src/highTactics.cmo src/htmlParser.cmo src/htmlLexer.cmo src/html.cmo src/parser.cmo src/lexer.cmo src/parserbuf.cmo src/main.cmo src/squirrel.cmo -o src/squirrel.byte
- + ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/5.1/lib/ocamlbuild /home/opam/.opam/5.1/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/5.1/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include: 
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
Processing  2/4: [squirrel: make test]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "test" (CWD=/home/opam/.opam/5.1/.opam-switch/build/squirrel.0.1)
- rm -f src/commit.ml
- sed 's/GITHASH//' < src/commit.ml.in > src/commit.ml
- ocamlbuild -use-ocamlfind -use-menhir -I src -pkgs fmt,fmt.tty,alcotest,ocamlgraph,pcre  squirrel.byte
- ocamlbuild -use-ocamlfind -use-menhir -I src -pkgs fmt,fmt.tty,alcotest,ocamlgraph,pcre  test.byte
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/test.ml > src/test.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/test.cmo src/test.ml
- ocamlfind ocamlc -linkpkg -g -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src src/checks.cmo src/location.cmo src/printer.cmo src/ident.cmo src/type.cmo src/puf.cmo src/utils.cmo src/symbols.cmo src/channel.cmo src/config.cmo src/prof.cmo src/vars.cmo src/term.cmo src/completion.cmo src/action.cmo src/system.cmo src/systemExpr.cmo src/constr.cmo src/tactics.cmo src/equiv.cmo src/macros.cmo src/match.cmo src/theory.cmo src/tacticsArgs.cmo src/rewrite.cmo src/hint.cmo src/hyps.cmo src/lowSequent.cmo src/atom.cmo src/iter.cmo src/lowTraceSequent.cmo src/postQuantum.cmo src/lowEquivSequent.cmo src/goal.cmo src/process.cmo src/decl.cmo src/euf.cmo src/fresh.cmo src/prf.cmo src/systemModifiers.cmo src/prover.cmo src/parser.cmo src/lexer.cmo src/commit.cmo src/cca.cmo src/reduction.cmo src/sequent.cmo src/equivSequent.cmo src/traceSequent.cmo src/lowTactics.cmo src/traceTactics.cmo src/equivTactics.cmo src/highTactics.cmo src/htmlParser.cmo src/htmlLexer.cmo src/html.cmo src/parserbuf.cmo src/main.cmo src/test.cmo -o src/test.byte
- ./test.byte --compact
- Testing `Squirrel'.
- This run has ID `UC9YG79I'.
- 
- ................................................................................
- .
- 
- rm -rf _build/log
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/squirrel.0.1'
- Running tests/ok/*.sp, tests/fail/*.sp, examples/*.sp, examples/tutorial/*.sp, examples/stateful/*.sp and examples/postQuantumKE/*.sp.
- ............................
- .............................................................................................................................................................
- .......................
- All tests passed successfully.
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/squirrel.0.1'
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/squirrel.0.1'
- Running tests/ok/*.sp, tests/fail/*.sp, examples/*.sp, examples/tutorial/*.sp, examples/stateful/*.sp and examples/postQuantumKE/*.sp.
- .
- ..
- ..
- .
- ..
- ...
- .
- .
- ....
- .
- .
- .
- ..
- .
- ...
- .
- .
- .
- .
- ..
- .
- ..
- .
- .
- .
- All tests passed successfully.
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/squirrel.0.1'
-> compiled  squirrel.0.1
-> removed   squirrel.0.1
Processing  4/4: [squirrel: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "PREFIX=/home/opam/.opam/5.1" "install" (CWD=/home/opam/.opam/5.1/.opam-switch/build/squirrel.0.1)
- rm -f src/commit.ml
- sed 's/GITHASH//' < src/commit.ml.in > src/commit.ml
- ocamlbuild -use-ocamlfind -use-menhir -I src -pkgs fmt,fmt.tty,alcotest,ocamlgraph,pcre  squirrel.byte
- cp squirrel.byte /home/opam/.opam/5.1/bin/squirrel.byte
-> installed squirrel.0.1
Done.
# Run eval $(opam env) to update the current shell environment
2024-02-12 20:11.30 ---> saved as "58dd2bc1e90a1cc270af31d80d54209d4e01de9d5d8fced338d85807536c750f"
Job succeeded
2024-02-12 20:11.41: Job succeeded