- github
- ocaml
- opam-repository
- f44051
- extras,riscv64-ocaml-5.3,conf-mpfr-paths.1
(not at the head of any monitored branch or PR)
2025-04-15 14:39.56: New job: build conf-mpfr-paths.1, using opam 2.3
from https://github.com/ocaml/opam-repository.git#refs/pull/27759/head (f440514054381fd678f9e815efbbfe85985a51eb)
on ubuntu-24.04-ocaml-5.3/riscv64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/27759/head" && git reset --hard f4405140
git fetch origin master
git merge --no-edit 70b82be6e261da74b766f9bb1344a1ecd5b1909d
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:ubuntu-24.04-ocaml-5.3@sha256:ee8a69bb7d8d80aef924d423ac4fb22bf38442d35ec18680f88227281af0311b
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
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-mpfr-paths.1 1
RUN opam reinstall conf-mpfr-paths.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 "\"ubuntu-24.04\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'conf-mpfr-paths.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 .
2025-04-15 14:39.56: Using cache hint "ocaml/opam:ubuntu-24.04-ocaml-5.3@sha256:ee8a69bb7d8d80aef924d423ac4fb22bf38442d35ec18680f88227281af0311b-conf-mpfr-paths.1-f440514054381fd678f9e815efbbfe85985a51eb"
2025-04-15 14:39.56: Using OBuilder spec:
((from ocaml/opam:ubuntu-24.04-ocaml-5.3@sha256:ee8a69bb7d8d80aef924d423ac4fb22bf38442d35ec18680f88227281af0311b)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(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-mpfr-paths.1 1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall conf-mpfr-paths.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 \"\\\"ubuntu-24.04\\\"\"; 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-mpfr-paths.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2025-04-15 14:39.56: Waiting for resource in pool OCluster
2025-04-15 14:39.56: Waiting for worker…
2025-04-15 14:39.56: Got resource from pool OCluster
Building on riscv-bm-03.sw.ci.dev
Updating files: 11% (2631/22863)
Updating files: 12% (2744/22863)
Updating files: 13% (2973/22863)
Updating files: 14% (3201/22863)
Updating files: 15% (3430/22863)
Updating files: 16% (3659/22863)
Updating files: 17% (3887/22863)
Updating files: 18% (4116/22863)
Updating files: 19% (4344/22863)
Updating files: 20% (4573/22863)
Updating files: 21% (4802/22863)
Updating files: 21% (5013/22863)
Updating files: 22% (5030/22863)
Updating files: 23% (5259/22863)
Updating files: 24% (5488/22863)
Updating files: 25% (5716/22863)
Updating files: 26% (5945/22863)
Updating files: 27% (6174/22863)
Updating files: 28% (6402/22863)
Updating files: 29% (6631/22863)
Updating files: 30% (6859/22863)
Updating files: 31% (7088/22863)
Updating files: 32% (7317/22863)
Updating files: 32% (7476/22863)
Updating files: 33% (7545/22863)
Updating files: 34% (7774/22863)
Updating files: 35% (8003/22863)
Updating files: 36% (8231/22863)
Updating files: 37% (8460/22863)
Updating files: 38% (8688/22863)
Updating files: 39% (8917/22863)
Updating files: 40% (9146/22863)
Updating files: 41% (9374/22863)
Updating files: 42% (9603/22863)
Updating files: 42% (9775/22863)
Updating files: 43% (9832/22863)
Updating files: 44% (10060/22863)
Updating files: 45% (10289/22863)
Updating files: 46% (10517/22863)
Updating files: 47% (10746/22863)
Updating files: 48% (10975/22863)
Updating files: 49% (11203/22863)
Updating files: 50% (11432/22863)
Updating files: 51% (11661/22863)
Updating files: 52% (11889/22863)
Updating files: 52% (12099/22863)
Updating files: 53% (12118/22863)
Updating files: 54% (12347/22863)
Updating files: 55% (12575/22863)
Updating files: 56% (12804/22863)
Updating files: 57% (13032/22863)
Updating files: 58% (13261/22863)
Updating files: 59% (13490/22863)
Updating files: 60% (13718/22863)
Updating files: 61% (13947/22863)
Updating files: 62% (14176/22863)
Updating files: 63% (14404/22863)
Updating files: 63% (14515/22863)
Updating files: 64% (14633/22863)
Updating files: 65% (14861/22863)
Updating files: 66% (15090/22863)
Updating files: 67% (15319/22863)
Updating files: 68% (15547/22863)
Updating files: 69% (15776/22863)
Updating files: 70% (16005/22863)
Updating files: 71% (16233/22863)
Updating files: 72% (16462/22863)
Updating files: 73% (16690/22863)
Updating files: 73% (16852/22863)
Updating files: 74% (16919/22863)
Updating files: 75% (17148/22863)
Updating files: 76% (17376/22863)
Updating files: 77% (17605/22863)
Updating files: 78% (17834/22863)
Updating files: 79% (18062/22863)
Updating files: 80% (18291/22863)
Updating files: 81% (18520/22863)
Updating files: 82% (18748/22863)
Updating files: 83% (18977/22863)
Updating files: 83% (18978/22863)
Updating files: 84% (19205/22863)
Updating files: 85% (19434/22863)
Updating files: 86% (19663/22863)
Updating files: 87% (19891/22863)
Updating files: 88% (20120/22863)
Updating files: 89% (20349/22863)
Updating files: 90% (20577/22863)
Updating files: 91% (20806/22863)
Updating files: 92% (21034/22863)
Updating files: 93% (21263/22863)
Updating files: 93% (21390/22863)
Updating files: 94% (21492/22863)
Updating files: 95% (21720/22863)
Updating files: 96% (21949/22863)
Updating files: 97% (22178/22863)
Updating files: 98% (22406/22863)
Updating files: 99% (22635/22863)
Updating files: 100% (22863/22863)
Updating files: 100% (22863/22863), done.
HEAD is now at 9ea9d35c51 3 packages from ocurrent/ocaml-dockerfile at 8.2.6
HEAD is now at 70b82be6e2 Merge pull request #27756 from chetmurthy/release-camlp5-8.03.04
Merge made by the 'ort' strategy.
packages/conf-gmp-paths/conf-gmp-paths.1/opam | 2 +-
packages/conf-mpfr-paths/conf-mpfr-paths.1/opam | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
(from ocaml/opam:ubuntu-24.04-ocaml-5.3@sha256:ee8a69bb7d8d80aef924d423ac4fb22bf38442d35ec18680f88227281af0311b)
Unable to find image 'ocaml/opam:ubuntu-24.04-ocaml-5.3@sha256:ee8a69bb7d8d80aef924d423ac4fb22bf38442d35ec18680f88227281af0311b' locally
docker.io/ocaml/opam@sha256:ee8a69bb7d8d80aef924d423ac4fb22bf38442d35ec18680f88227281af0311b: Pulling from ocaml/opam
ba2f284f7444: Already exists
5cb9f5c872a9: Already exists
c7c3db109655: Already exists
2362502a69f0: Already exists
b692ab057dca: Already exists
516bcf92ecc6: Already exists
85d4b690eae5: Already exists
538a24efe228: Already exists
6d24b86bcec6: Already exists
08eb4cee4616: Already exists
32f1114ccf63: Already exists
25409bf6ff6f: Already exists
6a85b68310e0: Already exists
adf43b3eacb7: Already exists
5f2bf161aae0: Already exists
5f2bf161aae0: Already exists
8831a5678df3: Already exists
671e28e7431c: Already exists
14526b753ac8: Already exists
6494c58cfd04: Already exists
4f4fb700ef54: Already exists
6f2c084b1de1: Already exists
70d9c6427405: Already exists
9be35abce874: Already exists
a13a29d18e97: Already exists
9508ecde1edd: Already exists
edb9c39b00cb: Already exists
3198c2edbb16: Already exists
35f73fd4c1bd: Already exists
63bfd16950c9: Already exists
a6a8edcb7fa0: Already exists
dcc7e5f1c354: Already exists
725c6cbf82b7: Already exists
e0828884e6f4: Already exists
5669b706fef7: Already exists
9ea7d837b932: Already exists
a1669bacedab: Already exists
5876821dbaf6: Already exists
f17034115311: Pulling fs layer
171f7b028276: Pulling fs layer
7a944e3508f4: Pulling fs layer
c3ce15ca1f0c: Pulling fs layer
e2a8fbbe4072: Pulling fs layer
c5189d15034c: Pulling fs layer
4eb66dd837db: Pulling fs layer
e2a8fbbe4072: Waiting
c5189d15034c: Waiting
4eb66dd837db: Waiting
c3ce15ca1f0c: Waiting
171f7b028276: Verifying Checksum
171f7b028276: Download complete
f17034115311: Verifying Checksum
f17034115311: Pull complete
171f7b028276: Pull complete
7a944e3508f4: Verifying Checksum
7a944e3508f4: Download complete
e2a8fbbe4072: Verifying Checksum
e2a8fbbe4072: Download complete
7a944e3508f4: Pull complete
4eb66dd837db: Verifying Checksum
4eb66dd837db: Download complete
c5189d15034c: Verifying Checksum
c5189d15034c: Download complete
c3ce15ca1f0c: Verifying Checksum
c3ce15ca1f0c: Download complete
c3ce15ca1f0c: Pull complete
e2a8fbbe4072: Pull complete
c5189d15034c: Pull complete
4eb66dd837db: Pull complete
Digest: sha256:ee8a69bb7d8d80aef924d423ac4fb22bf38442d35ec18680f88227281af0311b
Status: Downloaded newer image for ocaml/opam@sha256:ee8a69bb7d8d80aef924d423ac4fb22bf38442d35ec18680f88227281af0311b
2025-04-15 14:40.25 ---> using "dc668527a5c103c3c7925778779bc1f5064ca0e68415d570855ad15212868f7a" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
2025-04-15 14:40.25 ---> using "19367f858ab711505cb96c1968c81215c077dfe1f007f5b0798d87cdcc7894ca" 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, which can't be reverted.
You may want to back it up before going further.
Continue? [y/n] y
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-04-15 14:40.25 ---> using "146d6bfe57412903f6522cac579a025569a8273d8375fcb4d5c13d303dd9c3c9" from cache
/home/opam: (run (shell "opam option solver=builtin-0install && opam config report"))
Set to 'builtin-0install' the field solver in global configuration
# opam config report
# opam-version 2.3.0 (35acd0c5abc5e66cdbd5be16ba77aa6c33a4c724)
# self-upgrade no
# system arch=riscv64 os=linux os-distribution=ubuntu os-version=24.04
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 3
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 5.3
# invariant ["ocaml-base-compiler" {>= "5.3.0"}]
# compiler-packages ocaml-base-compiler.5.3.0, ocaml-compiler.5.3.0, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/5.3/lib/ocaml/stublibs:/home/opam/.opam/5.3/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 5.3.0
2025-04-15 14:40.25 ---> using "ade9b93eaca97f492cde8bff89a6cb38aac8823cccf6422bc40e484a1fa08ea3" from cache
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/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/"))
2025-04-15 14:40.25 ---> using "52716cf8a94cb6d842b156b18524bd8ce9fd0b1af940069b8cf2a4c4f6f1a0cc" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2025-04-15 14:40.57 ---> saved as "eaf370250943d15c9dfcdb23fdc8facc26520210b96bf2aaef6de658d0f1e9c4"
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-04-15 14:42.51 ---> saved as "6b6ac381d48c6aa4407a0704b4f75ac74247ef5a36cc4fccea69e9e9caf99ddc"
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://ports.ubuntu.com/ubuntu-ports noble InRelease
- Get:2 http://ports.ubuntu.com/ubuntu-ports noble-updates InRelease [126 kB]
- Hit:3 http://ports.ubuntu.com/ubuntu-ports noble-backports InRelease
- Get:4 http://ports.ubuntu.com/ubuntu-ports noble-security InRelease [126 kB]
- Get:5 http://ports.ubuntu.com/ubuntu-ports noble-updates/universe riscv64 Packages [1095 kB]
- Get:6 http://ports.ubuntu.com/ubuntu-ports noble-updates/main riscv64 Packages [715 kB]
- Get:7 http://ports.ubuntu.com/ubuntu-ports noble-security/main riscv64 Packages [416 kB]
- Get:8 http://ports.ubuntu.com/ubuntu-ports noble-security/universe riscv64 Packages [828 kB]
- Fetched 3306 kB in 2s (1898 kB/s)
- Reading package lists...
-
2025-04-15 14:42.59 ---> saved as "b987b86f10f01c7c07ead9de29c8bf70363d2df48dad5d546691b3ca83eb66aa"
/home/opam: (run (shell "opam pin add -k version -yn conf-mpfr-paths.1 1"))
conf-mpfr-paths is now pinned to version 1
2025-04-15 14:43.02 ---> saved as "59e6b8cd574b8bc72155789f83b8d60d57a06a66e09f3763f7ada2828908ab4d"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall conf-mpfr-paths.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 \"\\\"ubuntu-24.04\\\"\"; 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-mpfr-paths.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-mpfr-paths.1 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 4 packages
- install conf-findutils 1 [required by ez-conf-lib]
- install conf-gmp-paths 1 [required by conf-mpfr-paths]
- install conf-mpfr-paths 1 (pinned)
- install ez-conf-lib 2 [required by conf-mpfr-paths]
The following system packages will first need to be installed:
libgmp-dev libmpfr-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" "libgmp-dev" "libmpfr-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libgmpxx4ldbl:riscv64.
- (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 ... 16279 files and directories currently installed.)
- Preparing to unpack .../libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu6.1_riscv64.deb ...
- Unpacking libgmpxx4ldbl:riscv64 (2:6.3.0+dfsg-2ubuntu6.1) ...
- Selecting previously unselected package libgmp-dev:riscv64.
- Preparing to unpack .../libgmp-dev_2%3a6.3.0+dfsg-2ubuntu6.1_riscv64.deb ...
- Unpacking libgmp-dev:riscv64 (2:6.3.0+dfsg-2ubuntu6.1) ...
- Selecting previously unselected package libmpfr-dev:riscv64.
- Preparing to unpack .../libmpfr-dev_4.2.1-1build1.1_riscv64.deb ...
- Unpacking libmpfr-dev:riscv64 (4.2.1-1build1.1) ...
- Setting up libgmpxx4ldbl:riscv64 (2:6.3.0+dfsg-2ubuntu6.1) ...
- Setting up libgmp-dev:riscv64 (2:6.3.0+dfsg-2ubuntu6.1) ...
- Setting up libmpfr-dev:riscv64 (4.2.1-1build1.1) ...
- Processing triggers for libc-bin (2.39-0ubuntu8.4) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved conf-gmp-paths.1 (cached)
-> retrieved conf-mpfr-paths.1 (cached)
-> retrieved ez-conf-lib.2 (cached)
-> installed conf-findutils.1
-> installed ez-conf-lib.2
-> installed conf-gmp-paths.1
-> installed conf-mpfr-paths.1
Done.
<><> conf-mpfr-paths.1 installed successfully <><><><><><><><><><><><><><><><><>
=> header file found in /usr/include
=> library file found in /lib/riscv64-linux-gnu
<><> conf-gmp-paths.1 installed successfully ><><><><><><><><><><><><><><><><><>
=> header file found in /usr/include/riscv64-linux-gnu
=> library file found in /lib/riscv64-linux-gnu
# To update the current shell environment, run: eval $(opam env)
2025-04-15 14:43.35 ---> saved as "b384a838ed3b590d961c9149f42ec27e5625cc45c9d109ab19479724461721ad"
Job succeeded
2025-04-15 14:44.17: Job succeeded