2024-10-30 14:05.42: New job: test bap-primus-support.2.3.0 with conf-libpcre.1, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/26813/head (b6ce862aa1ed67c0e04bf770adf270739f068c67)
on debian-12-ocaml-4.14/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/26813/head" && git reset --hard b6ce862a
git fetch origin master
git merge --no-edit ce4637ae20e511e8dc54562b123f1407fa5b2ca8
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-4.14@sha256:00c64ea058328b87bbbbf4bc70fea2e26b49c2da353b1fc7fc175f484089df5b
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMSOLVERTIMEOUT="1000"
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
RUN opam pin add -k version -yn conf-libpcre.1 1
RUN opam reinstall conf-libpcre.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-libpcre.1' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam option solver=builtin-0install
RUN opam reinstall bap-primus-support.2.3.0; \
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" != 'bap-primus-support.2.3.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam option solver=builtin-0install
RUN (opam reinstall --with-test bap-primus-support.2.3.0) || true
RUN opam reinstall --with-test --verbose bap-primus-support.2.3.0; \
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" != 'bap-primus-support.2.3.0' && 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-10-30 14:05.42: Using cache hint "ocaml/opam:debian-12-ocaml-4.14@sha256:00c64ea058328b87bbbbf4bc70fea2e26b49c2da353b1fc7fc175f484089df5b-conf-libpcre.1-bap-primus-support.2.3.0-b6ce862aa1ed67c0e04bf770adf270739f068c67"
2024-10-30 14:05.42: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-4.14@sha256:00c64ea058328b87bbbbf4bc70fea2e26b49c2da353b1fc7fc175f484089df5b)
(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"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMSOLVERTIMEOUT 1000)
(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"))
(run (shell "opam pin add -k version -yn conf-libpcre.1 1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall conf-libpcre.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-libpcre.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (shell "opam option solver=builtin-0install"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall bap-primus-support.2.3.0;\
\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\" != 'bap-primus-support.2.3.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (shell "opam option solver=builtin-0install"))
(run (network host)
(shell "(opam reinstall --with-test bap-primus-support.2.3.0) || true"))
(run (shell "opam reinstall --with-test --verbose bap-primus-support.2.3.0;\
\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\" != 'bap-primus-support.2.3.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2024-10-30 14:05.42: Waiting for resource in pool OCluster
2024-10-31 06:58.25: Waiting for worker…
2024-10-31 07:02.23: Got resource from pool OCluster
Building on x86-bm-c10.sw.ocaml.org
All commits already cached
Updating files: 52% (17020/32557)
Updating files: 53% (17256/32557)
Updating files: 54% (17581/32557)
Updating files: 55% (17907/32557)
Updating files: 56% (18232/32557)
Updating files: 57% (18558/32557)
Updating files: 58% (18884/32557)
Updating files: 59% (19209/32557)
Updating files: 60% (19535/32557)
Updating files: 61% (19860/32557)
Updating files: 62% (20186/32557)
Updating files: 63% (20511/32557)
Updating files: 64% (20837/32557)
Updating files: 65% (21163/32557)
Updating files: 66% (21488/32557)
Updating files: 67% (21814/32557)
Updating files: 68% (22139/32557)
Updating files: 69% (22465/32557)
Updating files: 70% (22790/32557)
Updating files: 71% (23116/32557)
Updating files: 72% (23442/32557)
Updating files: 73% (23767/32557)
Updating files: 74% (24093/32557)
Updating files: 75% (24418/32557)
Updating files: 76% (24744/32557)
Updating files: 77% (25069/32557)
Updating files: 78% (25395/32557)
Updating files: 79% (25721/32557)
Updating files: 80% (26046/32557)
Updating files: 81% (26372/32557)
Updating files: 82% (26697/32557)
Updating files: 83% (27023/32557)
Updating files: 84% (27348/32557)
Updating files: 85% (27674/32557)
Updating files: 86% (28000/32557)
Updating files: 87% (28325/32557)
Updating files: 88% (28651/32557)
Updating files: 89% (28976/32557)
Updating files: 90% (29302/32557)
Updating files: 91% (29627/32557)
Updating files: 92% (29953/32557)
Updating files: 93% (30279/32557)
Updating files: 94% (30604/32557)
Updating files: 95% (30930/32557)
Updating files: 96% (31255/32557)
Updating files: 97% (31581/32557)
Updating files: 98% (31906/32557)
Updating files: 99% (32232/32557)
Updating files: 100% (32557/32557)
Updating files: 100% (32557/32557), done.
HEAD is now at ce4637ae20 Merge pull request #26802 from robur-coop/release-git-kv-v0.1.0
Updating ce4637ae20..b6ce862aa1
Fast-forward
packages/conf-libpcre/conf-libpcre.1/opam | 22 ++++++++++++++++++--
.../conf-mingw-w64-libpcre-i686.1/opam | 24 ++++++++++++++++++++++
.../conf-mingw-w64-libpcre-x86_64.1/opam | 24 ++++++++++++++++++++++
3 files changed, 68 insertions(+), 2 deletions(-)
create mode 100644 packages/conf-mingw-w64-libpcre-i686/conf-mingw-w64-libpcre-i686.1/opam
create mode 100644 packages/conf-mingw-w64-libpcre-x86_64/conf-mingw-w64-libpcre-x86_64.1/opam
(from ocaml/opam:debian-12-ocaml-4.14@sha256:00c64ea058328b87bbbbf4bc70fea2e26b49c2da353b1fc7fc175f484089df5b)
2024-10-31 07:02.27 ---> using "619835238a94b19eeeff939f81e164f057fa8094fa703ba39ed5c0f42e707999" 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-10-31 07:02.27 ---> using "608822e92511ec37ae1705ed6232474df085eabf3fc10543b0de6c920ffcb351" 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.
Continue? [y/n] y
Format upgrade done.
This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-10-31 07:02.27 ---> using "acad702e9aed59e09109a5ff466d766d37b0231fa0915a47fdb4804af5e3d786" from cache
/home/opam: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.15.0-122-generic
The OCaml toplevel, version 4.14.2
2.4.0~alpha1~dev
2024-10-31 07:02.27 ---> using "c52e418cbd79acba474d87b691bd314432f8b52e9802e23465ac8ffd419c5496" from cache
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/home/opam: (env OPAMSOLVERTIMEOUT 1000)
/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-10-31 07:02.27 ---> using "5dd21b950a0537f9b9f2251a0f6dde415c0ae0abb4780469484e44ff62cbc9c0" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2024-10-31 07:02.29 ---> using "2519be60995b62faf75352c6192c867285a2b8bfa4bfc2d767f97e9e478a5fb3" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2024-10-31 07:02.29 ---> using "e0ad97189a89afbe6462a029427a7a51a1633d59d33756eeb2bdc15f6b69aad7" from cache
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- 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-security bookworm-security/main amd64 Packages [190 kB]
- Fetched 293 kB in 0s (1141 kB/s)
- Reading package lists...
2024-10-31 07:02.29 ---> using "acdfd740302bb1d129040b9e74e16c3002260666670bacbc962cbbc9a956740d" from cache
/home/opam: (run (shell "opam pin add -k version -yn conf-libpcre.1 1"))
conf-libpcre is now pinned to version 1
2024-10-31 07:02.29 ---> using "aec759a181174b8390fee2cc94071620d73bde7b26683e187933c01ab7fd2f87" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall conf-libpcre.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-libpcre.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-libpcre.1 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 2 packages
- install conf-libpcre 1 (pinned)
- install conf-pkg-config 3 [required by conf-libpcre]
The following system packages will first need to be installed:
libpcre3-dev 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" "libpcre3-dev" "pkg-config"
- 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 ... 18745 files and directories currently installed.)
- Preparing to unpack .../0-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 .../1-libpcre3_2%3a8.39-15_amd64.deb ...
- Unpacking libpcre3:amd64 (2:8.39-15) ...
- Selecting previously unselected package libpcre32-3:amd64.
- Preparing to unpack .../2-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 .../3-libpcrecpp0v5_2%3a8.39-15_amd64.deb ...
- Unpacking libpcrecpp0v5:amd64 (2:8.39-15) ...
- Selecting previously unselected package libpcre3-dev:amd64.
- Preparing to unpack .../4-libpcre3-dev_2%3a8.39-15_amd64.deb ...
- Unpacking libpcre3-dev:amd64 (2:8.39-15) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../5-libpkgconf3_1.8.1-1_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../6-pkgconf-bin_1.8.1-1_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../7-pkgconf_1.8.1-1_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../8-pkg-config_1.8.1-1_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-1) ...
- Setting up libpcre16-3:amd64 (2:8.39-15) ...
- Setting up libpcre3:amd64 (2:8.39-15) ...
- Setting up libpkgconf3:amd64 (1.8.1-1) ...
- Setting up libpcre32-3:amd64 (2:8.39-15) ...
- Setting up pkgconf-bin (1.8.1-1) ...
- Setting up libpcrecpp0v5:amd64 (2:8.39-15) ...
- Setting up libpcre3-dev:amd64 (2:8.39-15) ...
- 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) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed conf-pkg-config.3
-> installed conf-libpcre.1
Done.
# To update the current shell environment, run: eval $(opam env)
2024-10-31 07:02.29 ---> using "823d4b78005bf2ccf44620b0e03c6b6a0b4bbfb4d1b48334b8844946dfde080c" from cache
/home/opam: (run (shell "opam option solver=builtin-0install"))
Set to 'builtin-0install' the field solver in global configuration
2024-10-31 07:02.29 ---> using "01c612edaae31183742e1fd3d6617d330d70e17a46b8354f730f04e56d252e0e" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall bap-primus-support.2.3.0;\
\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\" != 'bap-primus-support.2.3.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
bap-primus-support.2.3.0 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 133 packages
- install angstrom 0.16.1 [required by uri]
- install bap-abi 2.3.0 [required by bap-primus]
- install bap-api 2.3.0 [required by bap-c]
- install bap-build 2.3.0 [required by bap-main]
- install bap-bundle 2.3.0 [required by bap-std]
- install bap-c 2.3.0 [required by bap-primus]
- install bap-core-theory 2.3.0 [required by bap-primus-loader, bap-primus-print]
- install bap-future 2.3.0 [required by bap-primus-round-robin-scheduler, bap-primus-exploring-scheduler, bap-primus-print, bap-primus-wandering-scheduler]
- install bap-knowledge 2.3.0 [required by bap-primus-print]
- install bap-main 2.3.0 [required by bap-std, bap-api]
- install bap-plugins 2.3.0 [required by bap-std]
- install bap-primus 2.3.0 [required by bap-primus-round-robin-scheduler, bap-primus-print, bap-primus-loader, etc.]
- install bap-primus-exploring-scheduler 2.3.0 [required by bap-primus-support]
- install bap-primus-greedy-scheduler 2.3.0 [required by bap-primus-support]
- install bap-primus-limit 2.3.0 [required by bap-primus-support]
- install bap-primus-loader 2.3.0 [required by bap-primus-support]
- install bap-primus-mark-visited 2.3.0 [required by bap-primus-support]
- install bap-primus-print 2.3.0 [required by bap-primus-support]
- install bap-primus-promiscuous 2.3.0 [required by bap-primus-support]
- install bap-primus-round-robin-scheduler 2.3.0 [required by bap-primus-support]
- install bap-primus-support 2.3.0
- install bap-primus-track-visited 2.3.0 [required by bap-primus-mark-visited]
- install bap-primus-wandering-scheduler 2.3.0 [required by bap-primus-support]
- install bap-recipe 2.3.0 [required by bap-main]
- install bap-relation 2.3.0 [required by bap-std]
- install bap-std 2.3.0 [required by bap-primus-round-robin-scheduler, bap-primus-print, bap-primus-loader, etc.]
- install bap-strings 2.3.0 [required by bap-primus]
- install bare 2.3.0 [required by bap-primus-print]
- install base v0.14.3 [required by core_kernel]
- install base-bytes base [required by ocplib-endian]
- install base_bigstring v0.14.0 [required by core_kernel]
- install base_quickcheck v0.14.1 [required by core_kernel]
- install bigarray-compat 1.1.0 [required by mmap]
- install bigstringaf 0.10.0 [required by angstrom]
- install bin_prot v0.14.1 [required by core_kernel]
- install bitvec 2.3.0 [required by bap-primus]
- install bitvec-binprot 2.3.0 [required by bap-primus]
- install bitvec-order 2.3.0 [required by bap-std]
- install bitvec-sexp 2.3.0 [required by bap-core-theory]
- install camlzip 1.13 [required by bap-std]
- install cmdliner 1.3.0 [required by bap-std]
- install conf-clang 1 [required by bap-std]
- install conf-gmp 4 [required by bap-std]
- install conf-which 1 [required by bap-std]
- install conf-zlib 1 [required by bap-std]
- install core_kernel v0.14.2 [required by bap-primus-loader, bap-primus-print]
- install cppo 1.7.0 [required by utop]
- install csexp 1.5.2 [required by dune-configurator]
- install dune 3.16.0 [required by core_kernel]
- install dune-configurator 3.16.0 [required by base]
- install fieldslib v0.14.0 [required by core_kernel]
- install fileutils 0.6.4 [required by bap-std, bap-api]
- install graphlib 2.3.0 [required by bap-primus]
- install jane-street-headers v0.14.0 [required by core_kernel]
- install jst-config v0.14.1 [required by core_kernel]
- install lambda-term 3.3.2 [required by utop]
- install logs 0.7.0 [required by utop]
- install lwt 5.8.0 [required by utop]
- install lwt_react 1.2.0 [required by utop]
- install mew 0.1.0 [required by mew_vi]
- install mew_vi 0.5.0 [required by lambda-term]
- install mmap 1.2.0 [required by bap-std]
- install monads 2.3.0 [required by bap-primus-round-robin-scheduler, bap-primus-print, bap-primus-exploring-scheduler, etc.]
- install num 1.5-1 [required by sexplib]
- install oasis 0.4.11 [required by bap-future, bare]
- install ocaml-compiler-libs v0.12.4 [required by ppxlib]
- install ocaml-syntax-shims 1.0.0 [required by angstrom]
- install ocamlbuild 0.15.0 [required by oasis]
- install ocamlfind 1.9.6 [required by oasis, bap-std]
- install ocamlgraph 2.1.0 [required by graphlib]
- install ocamlify 0.0.1 [required by oasis]
- install ocamlmod 0.0.9 [required by oasis]
- install ocplib-endian 1.2 [required by lwt]
- install octavius 1.2.2 [required by ppx_js_style]
- install ogre 2.3.0 [required by bap-primus-loader]
- install parsexp v0.14.2 [required by bap-primus, bare]
- install ppx_assert v0.14.0 [required by core_kernel]
- install ppx_bap v0.14.0 [required by bap-primus-loader, bap-primus-print]
- install ppx_base v0.14.0 [required by core_kernel]
- install ppx_bench v0.14.1 [required by ppx_bap]
- install ppx_bin_prot v0.14.0 [required by ppx_bap]
- install ppx_cold v0.14.0 [required by ppx_bap]
- install ppx_compare v0.14.0 [required by ppx_bap]
- install ppx_custom_printf v0.14.1 [required by ppx_jane]
- install ppx_derivers 1.2.1 [required by ppxlib]
- install ppx_enumerate v0.14.0 [required by ppx_bap]
- install ppx_expect v0.14.2 [required by ppx_jane]
- install ppx_fields_conv v0.14.2 [required by ppx_bap]
- install ppx_fixed_literal v0.14.0 [required by ppx_jane]
- install ppx_hash v0.14.0 [required by core_kernel]
- install ppx_here v0.14.0 [required by ppx_bap]
- install ppx_inline_test v0.14.1 [required by core_kernel]
- install ppx_jane v0.14.0 [required by core_kernel]
- install ppx_js_style v0.14.1 [required by ppx_base]
- install ppx_let v0.14.0 [required by ppx_jane]
- install ppx_module_timer v0.14.0 [required by ppx_jane]
- install ppx_optcomp v0.14.3 [required by core_kernel]
- install ppx_optional v0.14.0 [required by ppx_jane]
- install ppx_pipebang v0.14.0 [required by ppx_jane]
- install ppx_sexp_conv v0.14.3 [required by core_kernel]
- install ppx_sexp_message v0.14.1 [required by core_kernel]
- install ppx_sexp_value v0.14.0 [required by ppx_bap]
- install ppx_stable v0.14.1 [required by ppx_jane]
- install ppx_string v0.14.1 [required by ppx_jane]
- install ppx_typerep_conv v0.14.2 [required by ppx_jane]
- install ppx_variants_conv v0.14.2 [required by ppx_bap]
- install ppxlib 0.25.1 [required by ppx_bap]
- install re 1.12.0 [required by ppx_expect]
- install react 1.2.2 [required by utop]
- install regular 2.3.0 [required by bap-primus]
- install result 1.5 [required by bap-std]
- install seq base [required by fileutils]
- install sexplib v0.14.0 [required by core_kernel]
- install sexplib0 v0.14.0 [required by base, sexplib]
- install splittable_random v0.14.0 [required by core_kernel]
- install stdio v0.14.0 [required by core_kernel]
- install stdlib-shims 0.3.0 [required by bap-recipe, fileutils, ocamlgraph]
- install stringext 1.6.0 [required by uri]
- install time_now v0.14.0 [required by core_kernel]
- install topkg 1.0.7 [required by uuidm, logs]
- install trie 1.0.0 [required by mew]
- install typerep v0.14.0 [required by core_kernel]
- install uchar 0.0.2 [required by zed]
- install uri 4.4.0 [required by bap-std]
- install utop 2.14.0 [required by bap-std]
- install uucp 16.0.0 [required by zed]
- install uuidm 0.9.9 [required by bap-primus]
- install uuseg 16.0.0 [required by zed]
- install uutf 1.0.3 [required by zed]
- install variantslib v0.14.0 [required by core_kernel]
- install xdg 3.16.0 [required by utop]
- install zarith 1.14 [required by bap-std]
- install zed 3.2.3 [required by utop]
The following system packages will first need to be installed:
clang libgmp-dev zlib1g-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" "clang" "libgmp-dev" "zlib1g-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libpipeline1: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 ... 18943 files and directories currently installed.)
- Preparing to unpack .../libpipeline1_1.5.7-1_amd64.deb ...
- Unpacking libpipeline1:amd64 (1.5.7-1) ...
- Selecting previously unselected package binfmt-support.
- Preparing to unpack .../binfmt-support_2.2.2-2_amd64.deb ...
- Unpacking binfmt-support (2.2.2-2) ...
- Selecting previously unselected package libpython3.11-minimal:amd64.
- Preparing to unpack .../libpython3.11-minimal_3.11.2-6+deb12u3_amd64.deb ...
- Unpacking libpython3.11-minimal:amd64 (3.11.2-6+deb12u3) ...
- Selecting previously unselected package python3.11-minimal.
- Preparing to unpack .../python3.11-minimal_3.11.2-6+deb12u3_amd64.deb ...
- Unpacking python3.11-minimal (3.11.2-6+deb12u3) ...
- Setting up libpython3.11-minimal:amd64 (3.11.2-6+deb12u3) ...
- Setting up python3.11-minimal (3.11.2-6+deb12u3) ...
- Selecting previously unselected package python3-minimal.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19272 files and directories currently installed.)
- Preparing to unpack .../python3-minimal_3.11.2-1+b1_amd64.deb ...
- Unpacking python3-minimal (3.11.2-1+b1) ...
- Selecting previously unselected package media-types.
- Preparing to unpack .../media-types_10.0.0_all.deb ...
- Unpacking media-types (10.0.0) ...
- Selecting previously unselected package libpython3.11-stdlib:amd64.
- Preparing to unpack .../libpython3.11-stdlib_3.11.2-6+deb12u3_amd64.deb ...
- Unpacking libpython3.11-stdlib:amd64 (3.11.2-6+deb12u3) ...
- Selecting previously unselected package python3.11.
- Preparing to unpack .../python3.11_3.11.2-6+deb12u3_amd64.deb ...
- Unpacking python3.11 (3.11.2-6+deb12u3) ...
- Selecting previously unselected package libpython3-stdlib:amd64.
- Preparing to unpack .../libpython3-stdlib_3.11.2-1+b1_amd64.deb ...
- Unpacking libpython3-stdlib:amd64 (3.11.2-1+b1) ...
- Setting up python3-minimal (3.11.2-1+b1) ...
- Selecting previously unselected package python3.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19682 files and directories currently installed.)
- Preparing to unpack .../00-python3_3.11.2-1+b1_amd64.deb ...
- Unpacking python3 (3.11.2-1+b1) ...
- Selecting previously unselected package libicu72:amd64.
- Preparing to unpack .../01-libicu72_72.1-3_amd64.deb ...
- Unpacking libicu72:amd64 (72.1-3) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../02-libxml2_2.9.14+dfsg-1.3~deb12u1_amd64.deb ...
- Unpacking libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ...
- Selecting previously unselected package libz3-4:amd64.
- Preparing to unpack .../03-libz3-4_4.8.12-3.1_amd64.deb ...
- Unpacking libz3-4:amd64 (4.8.12-3.1) ...
- Selecting previously unselected package libllvm14:amd64.
- Preparing to unpack .../04-libllvm14_1%3a14.0.6-12_amd64.deb ...
- Unpacking libllvm14:amd64 (1:14.0.6-12) ...
- Selecting previously unselected package libclang-cpp14.
- Preparing to unpack .../05-libclang-cpp14_1%3a14.0.6-12_amd64.deb ...
- Unpacking libclang-cpp14 (1:14.0.6-12) ...
- Selecting previously unselected package libgc1:amd64.
- Preparing to unpack .../06-libgc1_1%3a8.2.2-3_amd64.deb ...
- Unpacking libgc1:amd64 (1:8.2.2-3) ...
- Selecting previously unselected package libobjc4:amd64.
- Preparing to unpack .../07-libobjc4_12.2.0-14_amd64.deb ...
- Unpacking libobjc4:amd64 (12.2.0-14) ...
- Selecting previously unselected package libobjc-12-dev:amd64.
- Preparing to unpack .../08-libobjc-12-dev_12.2.0-14_amd64.deb ...
- Unpacking libobjc-12-dev:amd64 (12.2.0-14) ...
- Selecting previously unselected package libclang-common-14-dev.
- Preparing to unpack .../09-libclang-common-14-dev_1%3a14.0.6-12_all.deb ...
- Unpacking libclang-common-14-dev (1:14.0.6-12) ...
- Selecting previously unselected package llvm-14-linker-tools.
- Preparing to unpack .../10-llvm-14-linker-tools_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14-linker-tools (1:14.0.6-12) ...
- Selecting previously unselected package libclang1-14.
- Preparing to unpack .../11-libclang1-14_1%3a14.0.6-12_amd64.deb ...
- Unpacking libclang1-14 (1:14.0.6-12) ...
- Selecting previously unselected package clang-14.
- Preparing to unpack .../12-clang-14_1%3a14.0.6-12_amd64.deb ...
- Unpacking clang-14 (1:14.0.6-12) ...
- Selecting previously unselected package clang.
- Preparing to unpack .../13-clang_1%3a14.0-55.7~deb12u1_amd64.deb ...
- Unpacking clang (1:14.0-55.7~deb12u1) ...
- Selecting previously unselected package icu-devtools.
- Preparing to unpack .../14-icu-devtools_72.1-3_amd64.deb ...
- Unpacking icu-devtools (72.1-3) ...
- Selecting previously unselected package libc6-i386.
- Preparing to unpack .../15-libc6-i386_2.36-9+deb12u8_amd64.deb ...
- Unpacking libc6-i386 (2.36-9+deb12u8) ...
- Selecting previously unselected package lib32gcc-s1.
- Preparing to unpack .../16-lib32gcc-s1_12.2.0-14_amd64.deb ...
- Unpacking lib32gcc-s1 (12.2.0-14) ...
- Selecting previously unselected package lib32stdc++6.
- Preparing to unpack .../17-lib32stdc++6_12.2.0-14_amd64.deb ...
- Unpacking lib32stdc++6 (12.2.0-14) ...
- Selecting previously unselected package libclang-rt-14-dev:amd64.
- Preparing to unpack .../18-libclang-rt-14-dev_1%3a14.0.6-12_amd64.deb ...
- Unpacking libclang-rt-14-dev:amd64 (1:14.0.6-12) ...
- Selecting previously unselected package libnspr4:amd64.
- Preparing to unpack .../19-libnspr4_2%3a4.35-1_amd64.deb ...
- Unpacking libnspr4:amd64 (2:4.35-1) ...
- Selecting previously unselected package libnss3:amd64.
- Preparing to unpack .../20-libnss3_2%3a3.87.1-1_amd64.deb ...
- Unpacking libnss3:amd64 (2:3.87.1-1) ...
- Selecting previously unselected package nss-plugin-pem:amd64.
- Preparing to unpack .../21-nss-plugin-pem_1.0.8+1-1_amd64.deb ...
- Unpacking nss-plugin-pem:amd64 (1.0.8+1-1) ...
- Selecting previously unselected package libcurl3-nss:amd64.
- Preparing to unpack .../22-libcurl3-nss_7.88.1-10+deb12u7_amd64.deb ...
- Unpacking libcurl3-nss:amd64 (7.88.1-10+deb12u7) ...
- Selecting previously unselected package libffi-dev:amd64.
- Preparing to unpack .../23-libffi-dev_3.4.4-1_amd64.deb ...
- Unpacking libffi-dev:amd64 (3.4.4-1) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../24-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 .../25-libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libicu-dev:amd64.
- Preparing to unpack .../26-libicu-dev_72.1-3_amd64.deb ...
- Unpacking libicu-dev:amd64 (72.1-3) ...
- Selecting previously unselected package libncurses6:amd64.
- Preparing to unpack .../27-libncurses6_6.4-4_amd64.deb ...
- Unpacking libncurses6:amd64 (6.4-4) ...
- Selecting previously unselected package libncurses-dev:amd64.
- Preparing to unpack .../28-libncurses-dev_6.4-4_amd64.deb ...
- Unpacking libncurses-dev:amd64 (6.4-4) ...
- Selecting previously unselected package libpfm4:amd64.
- Preparing to unpack .../29-libpfm4_4.13.0-1_amd64.deb ...
- Unpacking libpfm4:amd64 (4.13.0-1) ...
- Selecting previously unselected package libtinfo-dev:amd64.
- Preparing to unpack .../30-libtinfo-dev_6.4-4_amd64.deb ...
- Unpacking libtinfo-dev:amd64 (6.4-4) ...
- Selecting previously unselected package libxml2-dev:amd64.
- Preparing to unpack .../31-libxml2-dev_2.9.14+dfsg-1.3~deb12u1_amd64.deb ...
- Unpacking libxml2-dev:amd64 (2.9.14+dfsg-1.3~deb12u1) ...
- Selecting previously unselected package libyaml-0-2:amd64.
- Preparing to unpack .../32-libyaml-0-2_0.2.5-1_amd64.deb ...
- Unpacking libyaml-0-2:amd64 (0.2.5-1) ...
- Selecting previously unselected package libz3-dev:amd64.
- Preparing to unpack .../33-libz3-dev_4.8.12-3.1_amd64.deb ...
- Unpacking libz3-dev:amd64 (4.8.12-3.1) ...
- Selecting previously unselected package llvm-14-runtime.
- Preparing to unpack .../34-llvm-14-runtime_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14-runtime (1:14.0.6-12) ...
- Selecting previously unselected package llvm-14.
- Preparing to unpack .../35-llvm-14_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14 (1:14.0.6-12) ...
- Selecting previously unselected package python3-pkg-resources.
- Preparing to unpack .../36-python3-pkg-resources_66.1.1-1_all.deb ...
- Unpacking python3-pkg-resources (66.1.1-1) ...
- Selecting previously unselected package python3-pygments.
- Preparing to unpack .../37-python3-pygments_2.14.0+dfsg-1_all.deb ...
- Unpacking python3-pygments (2.14.0+dfsg-1) ...
- Selecting previously unselected package python3-yaml.
- Preparing to unpack .../38-python3-yaml_6.0-3+b2_amd64.deb ...
- Unpacking python3-yaml (6.0-3+b2) ...
- Selecting previously unselected package llvm-14-tools.
- Preparing to unpack .../39-llvm-14-tools_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14-tools (1:14.0.6-12) ...
- Selecting previously unselected package llvm-14-dev.
- Preparing to unpack .../40-llvm-14-dev_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14-dev (1:14.0.6-12) ...
- Selecting previously unselected package zlib1g-dev:amd64.
- Preparing to unpack .../41-zlib1g-dev_1%3a1.2.13.dfsg-1_amd64.deb ...
- Unpacking zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ...
- Setting up media-types (10.0.0) ...
- Setting up libpipeline1:amd64 (1.5.7-1) ...
- Setting up libicu72:amd64 (72.1-3) ...
- Setting up libyaml-0-2:amd64 (0.2.5-1) ...
- Setting up libpython3.11-stdlib:amd64 (3.11.2-6+deb12u3) ...
- Setting up libffi-dev:amd64 (3.4.4-1) ...
- Setting up libz3-4:amd64 (4.8.12-3.1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libpfm4:amd64 (4.13.0-1) ...
- Setting up libnspr4:amd64 (2:4.35-1) ...
- Setting up libncurses6:amd64 (6.4-4) ...
- Setting up binfmt-support (2.2.2-2) ...
- invoke-rc.d: could not determine current runlevel
- invoke-rc.d: policy-rc.d denied execution of start.
- Setting up icu-devtools (72.1-3) ...
- Setting up libgc1:amd64 (1:8.2.2-3) ...
- Setting up zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ...
- Setting up libc6-i386 (2.36-9+deb12u8) ...
- Setting up libicu-dev:amd64 (72.1-3) ...
- Setting up libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ...
- Setting up libpython3-stdlib:amd64 (3.11.2-1+b1) ...
- Setting up libz3-dev:amd64 (4.8.12-3.1) ...
- Setting up python3.11 (3.11.2-6+deb12u3) ...
- Setting up libncurses-dev:amd64 (6.4-4) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libobjc4:amd64 (12.2.0-14) ...
- Setting up python3 (3.11.2-1+b1) ...
- running python rtupdate hooks for python3.11...
- running python post-rtupdate hooks for python3.11...
- Setting up libnss3:amd64 (2:3.87.1-1) ...
- Setting up libxml2-dev:amd64 (2.9.14+dfsg-1.3~deb12u1) ...
- Setting up lib32gcc-s1 (12.2.0-14) ...
- Setting up lib32stdc++6 (12.2.0-14) ...
- Setting up libllvm14:amd64 (1:14.0.6-12) ...
- Setting up libobjc-12-dev:amd64 (12.2.0-14) ...
- Setting up llvm-14-linker-tools (1:14.0.6-12) ...
- Setting up python3-pkg-resources (66.1.1-1) ...
- Setting up libtinfo-dev:amd64 (6.4-4) ...
- Setting up nss-plugin-pem:amd64 (1.0.8+1-1) ...
- Setting up libclang1-14 (1:14.0.6-12) ...
- Setting up python3-yaml (6.0-3+b2) ...
- Setting up python3-pygments (2.14.0+dfsg-1) ...
- Setting up llvm-14-runtime (1:14.0.6-12) ...
- Setting up libclang-rt-14-dev:amd64 (1:14.0.6-12) ...
- Setting up libclang-common-14-dev (1:14.0.6-12) ...
- Setting up libclang-cpp14 (1:14.0.6-12) ...
- Setting up libcurl3-nss:amd64 (7.88.1-10+deb12u7) ...
- Setting up llvm-14 (1:14.0.6-12) ...
- Setting up llvm-14-tools (1:14.0.6-12) ...
- Setting up clang-14 (1:14.0.6-12) ...
- Setting up clang (1:14.0-55.7~deb12u1) ...
- Setting up llvm-14-dev (1:14.0.6-12) ...
- Processing triggers for libc-bin (2.36-9+deb12u8) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved angstrom.0.16.1 (cached)
-> retrieved bap-abi.2.3.0, bap-api.2.3.0, bap-build.2.3.0, bap-bundle.2.3.0, bap-c.2.3.0, bap-core-theory.2.3.0, bap-future.2.3.0, bap-knowledge.2.3.0, bap-main.2.3.0, bap-plugins.2.3.0, bap-primus.2.3.0, bap-primus-exploring-scheduler.2.3.0, bap-primus-greedy-scheduler.2.3.0, bap-primus-limit.2.3.0, bap-primus-loader.2.3.0, bap-primus-mark-visited.2.3.0, bap-primus-print.2.3.0, bap-primus-promiscuous.2.3.0, bap-primus-round-robin-scheduler.2.3.0, bap-primus-support.2.3.0, bap-primus-track-visited.2.3.0, bap-primus-wandering-scheduler.2.3.0, bap-recipe.2.3.0, bap-relation.2.3.0, bap-std.2.3.0, bap-strings.2.3.0, bare.2.3.0, bitvec.2.3.0, bitvec-binprot.2.3.0, bitvec-order.2.3.0, bitvec-sexp.2.3.0, graphlib.2.3.0, monads.2.3.0, ogre.2.3.0, regular.2.3.0 (cached)
-> retrieved base.v0.14.3 (cached)
-> retrieved base_bigstring.v0.14.0 (cached)
-> retrieved base_quickcheck.v0.14.1 (cached)
-> retrieved bigarray-compat.1.1.0 (cached)
-> retrieved bigstringaf.0.10.0 (cached)
-> retrieved bin_prot.v0.14.1 (cached)
-> retrieved camlzip.1.13 (cached)
-> retrieved cmdliner.1.3.0 (cached)
-> retrieved conf-gmp.4 (cached)
-> retrieved core_kernel.v0.14.2 (cached)
-> installed conf-clang.1
-> installed conf-gmp.4
-> installed conf-which.1
-> installed conf-zlib.1
-> retrieved cppo.1.7.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved dune.3.16.0, dune-configurator.3.16.0, xdg.3.16.0 (cached)
-> retrieved fieldslib.v0.14.0 (cached)
-> retrieved fileutils.0.6.4 (cached)
-> retrieved jane-street-headers.v0.14.0 (cached)
-> retrieved jst-config.v0.14.1 (cached)
-> retrieved lambda-term.3.3.2 (cached)
-> retrieved logs.0.7.0 (cached)
-> retrieved lwt.5.8.0 (cached)
-> installed cmdliner.1.3.0
-> retrieved lwt_react.1.2.0 (cached)
-> retrieved mew.0.1.0 (cached)
-> retrieved mew_vi.0.5.0 (cached)
-> retrieved mmap.1.2.0 (cached)
-> retrieved num.1.5-1 (cached)
-> retrieved oasis.0.4.11 (cached)
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved ocamlbuild.0.15.0 (cached)
-> retrieved ocamlfind.1.9.6 (cached)
-> retrieved ocamlgraph.2.1.0 (cached)
-> retrieved ocamlify.0.0.1 (cached)
-> retrieved ocamlmod.0.0.9 (cached)
-> retrieved ocplib-endian.1.2 (cached)
-> retrieved octavius.1.2.2 (cached)
-> retrieved parsexp.v0.14.2 (cached)
-> retrieved ppx_assert.v0.14.0 (cached)
-> retrieved ppx_bap.v0.14.0 (cached)
-> retrieved ppx_base.v0.14.0 (cached)
-> retrieved ppx_bench.v0.14.1 (cached)
-> retrieved ppx_bin_prot.v0.14.0 (cached)
-> retrieved ppx_cold.v0.14.0 (cached)
-> retrieved ppx_compare.v0.14.0 (cached)
-> retrieved ppx_custom_printf.v0.14.1 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_enumerate.v0.14.0 (cached)
-> retrieved ppx_expect.v0.14.2 (cached)
-> retrieved ppx_fields_conv.v0.14.2 (cached)
-> retrieved ppx_fixed_literal.v0.14.0 (cached)
-> retrieved ppx_hash.v0.14.0 (cached)
-> retrieved ppx_here.v0.14.0 (cached)
-> retrieved ppx_inline_test.v0.14.1 (cached)
-> retrieved ppx_jane.v0.14.0 (cached)
-> retrieved ppx_js_style.v0.14.1 (cached)
-> retrieved ppx_let.v0.14.0 (cached)
-> retrieved ppx_module_timer.v0.14.0 (cached)
-> retrieved ppx_optcomp.v0.14.3 (cached)
-> retrieved ppx_optional.v0.14.0 (cached)
-> retrieved ppx_pipebang.v0.14.0 (cached)
-> retrieved ppx_sexp_conv.v0.14.3 (cached)
-> retrieved ppx_sexp_message.v0.14.1 (cached)
-> retrieved ppx_sexp_value.v0.14.0 (cached)
-> retrieved ppx_stable.v0.14.1 (cached)
-> retrieved ppx_string.v0.14.1 (cached)
-> retrieved ppx_typerep_conv.v0.14.2 (cached)
-> retrieved ppx_variants_conv.v0.14.2 (cached)
-> retrieved ppxlib.0.25.1 (cached)
-> retrieved re.1.12.0 (cached)
-> retrieved react.1.2.2 (cached)
-> retrieved result.1.5 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved sexplib.v0.14.0 (cached)
-> retrieved sexplib0.v0.14.0 (cached)
-> retrieved splittable_random.v0.14.0 (cached)
-> retrieved stdio.v0.14.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved stringext.1.6.0 (cached)
-> retrieved time_now.v0.14.0 (cached)
-> retrieved topkg.1.0.7 (cached)
-> retrieved trie.1.0.0 (cached)
-> retrieved typerep.v0.14.0 (cached)
-> retrieved uchar.0.0.2 (cached)
-> retrieved uri.4.4.0 (cached)
-> retrieved utop.2.14.0 (cached)
-> retrieved uucp.16.0.0 (cached)
-> retrieved uuidm.0.9.9 (cached)
-> retrieved uuseg.16.0.0 (cached)
-> retrieved uutf.1.0.3 (cached)
-> retrieved variantslib.v0.14.0 (cached)
-> retrieved zarith.1.14 (cached)
-> retrieved zed.3.2.3 (cached)
-> installed num.1.5-1
-> installed ocamlfind.1.9.6
-> installed base-bytes.base
-> installed camlzip.1.13
-> installed zarith.1.14
-> installed ocamlbuild.0.15.0
-> installed uchar.0.0.2
-> installed ocamlify.0.0.1
-> installed topkg.1.0.7
-> installed ocamlmod.0.0.9
-> installed react.1.2.2
-> installed uuidm.0.9.9
-> installed uutf.1.0.3
-> installed dune.3.16.0
-> installed bigarray-compat.1.1.0
-> installed csexp.1.5.2
-> installed cppo.1.7.0
-> installed jane-street-headers.v0.14.0
-> installed ocaml-compiler-libs.v0.12.4
-> installed ocaml-syntax-shims.1.0.0
-> installed octavius.1.2.2
-> installed ppx_derivers.1.2.1
-> installed re.1.12.0
-> installed result.1.5
-> installed sexplib0.v0.14.0
-> installed stdlib-shims.0.3.0
-> installed stringext.1.6.0
-> installed trie.1.0.0
-> installed mmap.1.2.0
-> installed ocplib-endian.1.2
-> installed mew.0.1.0
-> installed xdg.3.16.0
-> installed fileutils.0.6.4
-> installed mew_vi.0.5.0
-> installed dune-configurator.3.16.0
-> installed bigstringaf.0.10.0
-> installed ocamlgraph.2.1.0
-> installed angstrom.0.16.1
-> installed uri.4.4.0
-> installed lwt.5.8.0
-> installed lwt_react.1.2.0
-> installed logs.0.7.0
-> installed base.v0.14.3
-> installed fieldslib.v0.14.0
-> installed variantslib.v0.14.0
-> installed stdio.v0.14.0
-> installed typerep.v0.14.0
-> installed parsexp.v0.14.2
-> installed sexplib.v0.14.0
-> installed ppxlib.0.25.1
-> installed ppx_optcomp.v0.14.3
-> installed ppx_variants_conv.v0.14.2
-> installed ppx_typerep_conv.v0.14.2
-> installed ppx_here.v0.14.0
-> installed ppx_enumerate.v0.14.0
-> installed ppx_stable.v0.14.1
-> installed ppx_fields_conv.v0.14.2
-> installed ppx_let.v0.14.0
-> installed ppx_cold.v0.14.0
-> installed ppx_compare.v0.14.0
-> installed ppx_optional.v0.14.0
-> installed ppx_pipebang.v0.14.0
-> installed ppx_sexp_conv.v0.14.3
-> installed ppx_js_style.v0.14.1
-> installed ppx_fixed_literal.v0.14.0
-> installed ppx_hash.v0.14.0
-> installed ppx_assert.v0.14.0
-> installed ppx_sexp_message.v0.14.1
-> installed ppx_sexp_value.v0.14.0
-> installed ppx_custom_printf.v0.14.1
-> installed ppx_base.v0.14.0
-> installed jst-config.v0.14.1
-> installed uucp.16.0.0
-> installed ppx_string.v0.14.1
-> installed bin_prot.v0.14.1
-> installed time_now.v0.14.0
-> installed uuseg.16.0.0
-> installed ppx_inline_test.v0.14.1
-> installed ppx_bin_prot.v0.14.0
-> installed zed.3.2.3
-> installed oasis.0.4.11
-> installed lambda-term.3.3.2
-> installed ppx_bench.v0.14.1
-> installed ppx_expect.v0.14.2
-> installed ppx_module_timer.v0.14.0
-> installed utop.2.14.0
-> installed splittable_random.v0.14.0
-> installed bap-relation.2.3.0
-> installed bap-recipe.2.3.0
-> installed base_quickcheck.v0.14.1
-> installed bitvec.2.3.0
-> installed ppx_bap.v0.14.0
-> installed ppx_jane.v0.14.0
-> installed base_bigstring.v0.14.0
-> installed bitvec-sexp.2.3.0
-> installed bitvec-binprot.2.3.0
-> installed bitvec-order.2.3.0
-> installed core_kernel.v0.14.2
-> installed bap-build.2.3.0
-> installed bare.2.3.0
-> installed bap-strings.2.3.0
-> installed bap-bundle.2.3.0
-> installed regular.2.3.0
-> installed monads.2.3.0
-> installed bap-future.2.3.0
-> installed ogre.2.3.0
-> installed bap-knowledge.2.3.0
-> installed bap-plugins.2.3.0
-> installed bap-main.2.3.0
-> installed bap-core-theory.2.3.0
-> installed graphlib.2.3.0
-> installed bap-std.2.3.0
-> installed bap-abi.2.3.0
-> installed bap-api.2.3.0
-> installed bap-c.2.3.0
-> installed bap-primus.2.3.0
-> installed bap-primus-greedy-scheduler.2.3.0
-> installed bap-primus-exploring-scheduler.2.3.0
-> installed bap-primus-limit.2.3.0
-> installed bap-primus-loader.2.3.0
-> installed bap-primus-print.2.3.0
-> installed bap-primus-promiscuous.2.3.0
-> installed bap-primus-round-robin-scheduler.2.3.0
-> installed bap-primus-track-visited.2.3.0
-> installed bap-primus-wandering-scheduler.2.3.0
-> installed bap-primus-mark-visited.2.3.0
-> installed bap-primus-support.2.3.0
Done.
# To update the current shell environment, run: eval $(opam env)
2024-10-31 07:16.02 ---> saved as "21f05edbc5cb9ee717af5a253d5ca391304601f1339bafbed2d190250296d5b5"
/home/opam: (run (shell "opam option solver=builtin-0install"))
No modification in global configuration
2024-10-31 07:16.02 ---> saved as "505ec3c1fa1624e661e222dc7cbc0456de1b2f5c26097526c3ea6e733a88b5bb"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test bap-primus-support.2.3.0) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile bap-primus-support 2.3.0
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved bap-primus-support.2.3.0 (https://github.com/BinaryAnalysisPlatform/bap/archive/v2.3.0.tar.gz)
-> removed bap-primus-support.2.3.0
-> installed bap-primus-support.2.3.0
Done.
# To update the current shell environment, run: eval $(opam env)
2024-10-31 07:16.14 ---> saved as "5b519baa66c93e03336b445f66fc1d1508e06fa3f7215e96cbd1b0177e84d1b8"
/home/opam: (run (shell "opam reinstall --with-test --verbose bap-primus-support.2.3.0;\
\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\" != 'bap-primus-support.2.3.0' && 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 bap-primus-support 2.3.0
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [bap-primus-support.2.3.0: extract]
-> retrieved bap-primus-support.2.3.0 (cached)
-> removed bap-primus-support.2.3.0
-> installed bap-primus-support.2.3.0
Done.
# To update the current shell environment, run: eval $(opam env)
2024-10-31 07:16.31 ---> saved as "990845a5c4794cc8e6f730ff227cf12589a59cfa5f884071d0c82b58ba4e7f4e"
Job succeeded
2024-10-31 07:16.39: Job succeeded