Building on x86-bm-c9.sw.ocaml.org
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
6d8fcbb41e13: Pulling fs layer
940f12701cd0: Pulling fs layer
1c01f7c02e6a: Pulling fs layer
d5c8821fa125: Pulling fs layer
48881f7bc51c: Pulling fs layer
adffbea7aa7f: Pulling fs layer
2b56648f5ebb: Pulling fs layer
a35c3ba44777: Pulling fs layer
94d175db2ba1: Pulling fs layer
adffbea7aa7f: Waiting
2b56648f5ebb: Waiting
48881f7bc51c: Waiting
d5c8821fa125: Waiting
a35c3ba44777: Waiting
1c01f7c02e6a: Verifying Checksum
1c01f7c02e6a: Download complete
940f12701cd0: Verifying Checksum
940f12701cd0: Download complete
d5c8821fa125: Verifying Checksum
d5c8821fa125: Download complete
48881f7bc51c: Verifying Checksum
48881f7bc51c: Download complete
2b56648f5ebb: Verifying Checksum
2b56648f5ebb: Download complete
a35c3ba44777: Verifying Checksum
94d175db2ba1: Verifying Checksum
94d175db2ba1: Download complete
adffbea7aa7f: Verifying Checksum
adffbea7aa7f: Download complete
6d8fcbb41e13: Verifying Checksum
6d8fcbb41e13: Download complete
6d8fcbb41e13: Pull complete
940f12701cd0: Pull complete
1c01f7c02e6a: Pull complete
d5c8821fa125: Pull complete
48881f7bc51c: Pull complete
adffbea7aa7f: Pull complete
2b56648f5ebb: Pull complete
a35c3ba44777: Pull complete
94d175db2ba1: Pull complete
Digest: sha256:d566aebdbe5296cf14b3f26a3c52fbcf1f1c4ebf5a986e6a1c6c95da3fd3bf7c
Status: Downloaded newer image for ocaml/opam:debian-unstable
2025-03-06 06:47.39 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (env CI true)
/: (env OPAM_HEALTH_CHECK_CI true)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-03-06 06:47.39 ---> using "40df4fa4cdfc68a5fa7a326047e82a7adc5df52b8059d4a7b745bdd50aad56e7" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 91d74cddbf72d811a49b9630c97f596a1cff1b01"))
2025-03-06 06:47.39 ---> using "5d3840b4c7f9f54169af09170d1aa8fd4b7bb6d06fdc2ddef6623335f617fc58" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
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.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2025-03-06 06:47.39 ---> using "453f7bba3ee9785d061c2427da8d36c5123d500f4017e0bec2d103900a1a0287" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam switch create --repositories=default '5.3' '5.3.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.3.0"} | "ocaml-system" {= "5.3.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-compiler.5.3.0 (cached)
-> installed ocaml-compiler.5.3.0
-> installed ocaml-base-compiler.5.3.0
-> installed ocaml-config.3
-> installed ocaml.5.3.0
-> installed base-domains.base
-> installed base-effects.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env --switch=5.3)
2025-03-06 06:47.39 ---> using "9153251622c2480ac6378fbeb8ffba3796a36cf71952039bdd1556d3dc12657a" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [205 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-03-05-2010.23-F-2025-03-02-1408.49.pdiff [301 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-03-05-2010.23-F-2025-03-02-1408.49.pdiff [301 kB]
- Fetched 569 kB in 2s (249 kB/s)
- Reading package lists...
2025-03-06 06:47.39 ---> using "89b470bc63e066db524389115a52f0758f8ff042ec66cce04c74773b4cdc402f" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam pin add -k version dune $(opam show -f version dune)"))
dune is now pinned to version 3.17.2
The following actions will be performed:
=== install 1 package
- install dune 3.17.2 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.17.2 (cached)
-> installed dune.3.17.2
Done.
# To update the current shell environment, run: eval $(opam env)
2025-03-06 06:47.39 ---> using "c641eb315c1895946dc8bdda673539a4fe8dfdf7c0fe8f0b24a5ed7f0380ec08" from cache
/: (env DUNE_CACHE enabled)
/: (env DUNE_CACHE_TRANSPORT direct)
/: (env DUNE_CACHE_DUPLICATION copy)
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "curl -fsSL https://get.dune.build/install | sh"))
#=#=#
##O#-#
##O=# #
0.1%
# 1.4%
#### 6.7%
################### 26.9%
################################################################### 93.7%
######################################################################## 100.0%
dune x86_64-unknown-linux-musl was installed successfully to ~/.local/bin/dune
#=#=#
##O#-#
0.0%
0.7%
## 2.9%
### 5.4%
#### 6.1%
###### 9.2%
######## 12.2%
########### 15.8%
############# 18.2%
############# 19.3%
############### 22.1%
################# 24.3%
#################### 28.3%
##################### 30.4%
###################### 31.2%
####################### 33.2%
######################### 36.1%
########################## 36.4%
############################# 40.4%
############################## 42.5%
################################# 46.8%
################################## 48.6%
##################################### 52.1%
####################################### 54.6%
########################################## 58.4%
########################################### 60.7%
############################################# 63.0%
############################################### 66.3%
################################################ 66.8%
################################################ 66.9%
################################################ 67.1%
################################################ 67.7%
################################################# 69.4%
#################################################### 72.3%
#################################################### 72.8%
##################################################### 74.9%
######################################################## 78.7%
######################################################## 78.9%
########################################################### 82.9%
############################################################# 85.0%
############################################################### 88.8%
################################################################# 91.0%
################################################################## 92.8%
#################################################################### 94.6%
##################################################################### 96.4%
##################################################################### 97.1%
###################################################################### 97.7%
####################################################################### 99.2%
######################################################################## 100.0%
Revision cache was populated successfully
To use dune you will need to source the file "$HOME/.local/share/dune/env/env.bash" (or similar as appropriate for your shell)
export PATH="/home/opam/.local/bin:$PATH"
To get started, run:
dune --help
2025-03-06 06:47.39 ---> using "f011d6aacc0b29335914115b23745014374a7d56001f37c89000072ee3528ae8" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "sudo apt-get install -y python3-sexpdata && echo 'import sexpdata\
\nwith open(\"dune-project\", \"r\") as f:\
\n content = [i for i in sexpdata.loads(\"(\" + f.read() + \")\") if not i[0] == sexpdata.Symbol(\"package\")]\
\n print(sexpdata.dumps(content[0]))\
\n for i in content[1:]:\
\n print(sexpdata.dumps(i))' > /tmp/opam-health-check-remove-package.py"))
Reading package lists...
Building dependency tree...
Reading state information...
The following additional packages will be installed:
libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib media-types
python3 python3-minimal python3.13 python3.13-minimal
Suggested packages:
python3-doc python3-tk python3-venv python3.13-venv python3.13-doc
binfmt-support
The following NEW packages will be installed:
libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib media-types
python3 python3-minimal python3-sexpdata python3.13 python3.13-minimal
0 upgraded, 9 newly installed, 0 to remove and 12 not upgraded.
Need to get 5893 kB of archives.
After this operation, 23.1 MB of additional disk space will be used.
Get:1 http://deb.debian.org/debian unstable/main amd64 libpython3.13-minimal amd64 3.13.2-1 [859 kB]
Get:2 http://deb.debian.org/debian unstable/main amd64 python3.13-minimal amd64 3.13.2-1 [2205 kB]
Get:3 http://deb.debian.org/debian unstable/main amd64 python3-minimal amd64 3.13.2-2 [27.1 kB]
Get:4 http://deb.debian.org/debian unstable/main amd64 media-types all 12.0.0 [28.9 kB]
Get:5 http://deb.debian.org/debian unstable/main amd64 libpython3.13-stdlib amd64 3.13.2-1 [1979 kB]
Get:6 http://deb.debian.org/debian unstable/main amd64 python3.13 amd64 3.13.2-1 [745 kB]
Get:7 http://deb.debian.org/debian unstable/main amd64 libpython3-stdlib amd64 3.13.2-2 [10.1 kB]
Get:8 http://deb.debian.org/debian unstable/main amd64 python3 amd64 3.13.2-2 [28.1 kB]
Get:9 http://deb.debian.org/debian unstable/main amd64 python3-sexpdata all 1.0.2-1 [9940 B]
Fetched 5893 kB in 0s (56.8 MB/s)
Selecting previously unselected package libpython3.13-minimal: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 ... 19688 files and directories currently installed.)
Preparing to unpack .../libpython3.13-minimal_3.13.2-1_amd64.deb ...
Unpacking libpython3.13-minimal:amd64 (3.13.2-1) ...
Selecting previously unselected package python3.13-minimal.
Preparing to unpack .../python3.13-minimal_3.13.2-1_amd64.deb ...
Unpacking python3.13-minimal (3.13.2-1) ...
Setting up libpython3.13-minimal:amd64 (3.13.2-1) ...
Setting up python3.13-minimal (3.13.2-1) ...
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 ... 20013 files and directories currently installed.)
Preparing to unpack .../python3-minimal_3.13.2-2_amd64.deb ...
Unpacking python3-minimal (3.13.2-2) ...
Selecting previously unselected package media-types.
Preparing to unpack .../media-types_12.0.0_all.deb ...
Unpacking media-types (12.0.0) ...
Selecting previously unselected package libpython3.13-stdlib:amd64.
Preparing to unpack .../libpython3.13-stdlib_3.13.2-1_amd64.deb ...
Unpacking libpython3.13-stdlib:amd64 (3.13.2-1) ...
Selecting previously unselected package python3.13.
Preparing to unpack .../python3.13_3.13.2-1_amd64.deb ...
Unpacking python3.13 (3.13.2-1) ...
Selecting previously unselected package libpython3-stdlib:amd64.
Preparing to unpack .../libpython3-stdlib_3.13.2-2_amd64.deb ...
Unpacking libpython3-stdlib:amd64 (3.13.2-2) ...
Setting up python3-minimal (3.13.2-2) ...
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 ... 20463 files and directories currently installed.)
Preparing to unpack .../python3_3.13.2-2_amd64.deb ...
Unpacking python3 (3.13.2-2) ...
Selecting previously unselected package python3-sexpdata.
Preparing to unpack .../python3-sexpdata_1.0.2-1_all.deb ...
Unpacking python3-sexpdata (1.0.2-1) ...
Setting up media-types (12.0.0) ...
Setting up libpython3.13-stdlib:amd64 (3.13.2-1) ...
Setting up libpython3-stdlib:amd64 (3.13.2-2) ...
Setting up python3.13 (3.13.2-1) ...
Setting up python3 (3.13.2-2) ...
running python rtupdate hooks for python3.13...
running python post-rtupdate hooks for python3.13...
Setting up python3-sexpdata (1.0.2-1) ...
2025-03-06 06:47.39 ---> using "664281dd2356be6f500aeea7e9ae63fb871ef3d5ff0fb2a5e97ae90437f02f67" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "PLACE=$(mktemp -d) && cd $PLACE && echo '(lang dune 3.17)\
\n(package\
\n (name dummy)\
\n (allow_empty true)\
\n (depends (ocaml (= 5.3.0))))' > dune-project && PATH=$HOME/.local/bin:$PATH dune pkg lock && PATH=$HOME/.local/bin:$PATH dune build"))
Solution for dune.lock:
- ocaml.5.3.0
- ocaml-base-compiler.5.3.0
- ocaml-compiler.5.3.0
- ocaml-config.3
Downloading ocaml-compiler.5.3.0
Building ocaml-compiler.5.3.0
Building ocaml-base-compiler.5.3.0
2025-03-06 06:47.39 ---> using "01fa0f5577cf2b5950b0c0f9bbaecef6e6379a6e7d5a84b4fa0164f8871e2e01" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "cd $HOME && opam source tezos-plompiler.1.0.1 && cd tezos-plompiler.1.0.1 && for opam in *.opam; do opam show --raw ${opam%.opam} > $opam; done && opam install ./ --depext-only --with-test --with-doc && for opam in *.opam; do rm $opam; echo ${opam%.opam} >> /tmp/packages-locally-available; done && opam show --raw tezos-plompiler.1.0.1 > tezos-plompiler.opam && python3 /tmp/opam-health-check-remove-package.py > dune-project-new && mv dune-project-new dune-project && sudo apt-get remove -y python3-sexpdata && sudo apt-get autoremove -y && echo '(lang dune 3.17)\
\n(lock_dir\
\n (repositories overlay default))\
\n\
\n(repository\
\n (name default)\
\n (url \"file:///home/opam/opam-repository\"))\
\n\
\n\
\n' > dune-workspace && PATH=$HOME/.local/bin:$PATH dune pkg lock &> /tmp/packages-wanted || true && echo tezos-plompiler >> /tmp/packages-to-build && while read package ; do if grep --quiet $package /tmp/packages-wanted ; then echo $package >> /tmp/packages-to-build ; fi ; done < /tmp/packages-locally-available && while read package ; do opam show --raw $package > $package.opam; done < /tmp/packages-to-build && while read package ; do if [ ! -f ${package}.opam ]; then echo \"opam-version: \\\"2.0\\\"\" > ${package}.opam; fi; done < /tmp/packages-locally-available && paste -s -d , /tmp/packages-to-build > /tmp/packages-for-dune && PATH=$HOME/.local/bin:$PATH dune pkg lock && grep -v dependency_hash dune.lock/lock.dune > /tmp/lock.dune && mv /tmp/lock.dune dune.lock/lock.dune && PATH=$HOME/.local/bin:$PATH dune build --profile=release --only-packages $(cat /tmp/packages-for-dune) || (echo \"opam-health-check: Build failed\" && exit 1)"))
Successfully extracted to /home/opam/tezos-plompiler.1.0.1
The following system packages will first need to be installed:
cmake libgmp-dev pkg-config
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "cmake" "libgmp-dev" "pkg-config"
- Selecting previously unselected package cmake-data.
- (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 ... 20492 files and directories currently installed.)
- Preparing to unpack .../00-cmake-data_3.31.6-1_all.deb ...
- Unpacking cmake-data (3.31.6-1) ...
- Selecting previously unselected package libicu72:amd64.
- Preparing to unpack .../01-libicu72_72.1-6_amd64.deb ...
- Unpacking libicu72:amd64 (72.1-6) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../02-libxml2_2.12.7+dfsg+really2.9.14-0.2+b2_amd64.deb ...
- Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b2) ...
- Selecting previously unselected package libarchive13t64:amd64.
- Preparing to unpack .../03-libarchive13t64_3.7.4-1.1_amd64.deb ...
- Unpacking libarchive13t64:amd64 (3.7.4-1.1) ...
- Selecting previously unselected package libcurl4t64:amd64.
- Preparing to unpack .../04-libcurl4t64_8.12.1-3_amd64.deb ...
- Unpacking libcurl4t64:amd64 (8.12.1-3) ...
- Selecting previously unselected package libjsoncpp26:amd64.
- Preparing to unpack .../05-libjsoncpp26_1.9.6-3_amd64.deb ...
- Unpacking libjsoncpp26:amd64 (1.9.6-3) ...
- Selecting previously unselected package librhash1:amd64.
- Preparing to unpack .../06-librhash1_1.4.5-1_amd64.deb ...
- Unpacking librhash1:amd64 (1.4.5-1) ...
- Selecting previously unselected package libuv1t64:amd64.
- Preparing to unpack .../07-libuv1t64_1.50.0-2_amd64.deb ...
- Unpacking libuv1t64:amd64 (1.50.0-2) ...
- Selecting previously unselected package cmake.
- Preparing to unpack .../08-cmake_3.31.6-1_amd64.deb ...
- Unpacking cmake (3.31.6-1) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../09-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../10-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../11-libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../12-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../13-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../14-pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Setting up libicu72:amd64 (72.1-6) ...
- Setting up libcurl4t64:amd64 (8.12.1-3) ...
- Setting up libuv1t64:amd64 (1.50.0-2) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Setting up libjsoncpp26:amd64 (1.9.6-3) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up cmake-data (3.31.6-1) ...
- Setting up librhash1:amd64 (1.4.5-1) ...
- Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b2) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Setting up libarchive13t64:amd64 (3.7.4-1.1) ...
- Setting up cmake (3.31.6-1) ...
- Processing triggers for libc-bin (2.41-3) ...
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib media-types
python3 python3-minimal python3.13 python3.13-minimal
Use 'sudo apt autoremove' to remove them.
The following packages will be REMOVED:
python3-sexpdata
0 upgraded, 0 newly installed, 1 to remove and 12 not upgraded.
After this operation, 46.1 kB disk space will be freed.
(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 ... 24472 files and directories currently installed.)
Removing python3-sexpdata (1.0.2-1) ...
Reading package lists...
Building dependency tree...
Reading state information...
The following packages will be REMOVED:
libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib media-types
python3 python3-minimal python3.13 python3.13-minimal
0 upgraded, 0 newly installed, 8 to remove and 12 not upgraded.
After this operation, 23.0 MB disk space will be freed.
(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 ... 24464 files and directories currently installed.)
Removing python3 (3.13.2-2) ...
Removing libpython3-stdlib:amd64 (3.13.2-2) ...
Removing python3.13 (3.13.2-1) ...
Removing libpython3.13-stdlib:amd64 (3.13.2-1) ...
find: '/usr/lib/python3': No such file or directory
Removing python3-minimal (3.13.2-2) ...
Removing python3.13-minimal (3.13.2-1) ...
Unlinking and removing bytecode for runtime python3.13
Removing libpython3.13-minimal:amd64 (3.13.2-1) ...
find: '/usr/lib/python3': No such file or directory
Removing media-types (12.0.0) ...
Solution for dune.lock:
- alcotest.1.8.0
- astring.0.8.5
- base-unix.base
- base64.3.5.1
- bigarray-compat.1.1.0
- bls12-381.6.0.1
- bls12-381-hash.0.0.5
- cmdliner.1.3.0
- conf-cmake.1
- conf-gmp.4
- conf-pkg-config.4
- conf-which.1
- cppo.1.8.0
- csexp.1.5.2
- cstruct.6.2.0
- ctypes.0.23.0
- dune-configurator.3.17.2
- either.1.0.0
- eqaf.0.10
- ff.0.6.2
- ff-sig.0.6.2
- fmt.0.9.0
- hacl-star.0.7.2
- hacl-star-raw.0.7.2
- hex.1.5.0
- integers.0.7.0
- jsonm.1.0.2
- mec.0.1.0
- ocaml.5.3.0
- ocaml-base-compiler.5.3.0
- ocaml-compiler.5.3.0
- ocaml-compiler-libs.v0.17.0
- ocaml-config.3
- ocaml-syntax-shims.1.0.0
- ocamlbuild.0.16.1+dune
- ocamlfind.1.9.8+dune
- optint.0.3.0
- polynomial.0.4.0
- ppx_derivers.1.2.1
- ppx_deriving.6.0.3
- ppx_repr.0.7.0
- ppxlib.0.35.0
- re.1.12.0
- repr.0.7.0
- seq.base
- sexplib0.v0.17.0
- stdint.0.7.2
- stdlib-shims.0.3.0
- topkg.1.0.7
- uutf.1.0.3
- zarith.1.14
Downloading ocaml-compiler.5.3.0
Building ocaml-compiler.5.3.0
Building ocaml-base-compiler.5.3.0
Building ocaml-config.3
Building ocaml.5.3.0
Downloading stdint.0.7.2
Building stdint.0.7.2
Building base-unix.base
Downloading cmdliner.1.3.0
Building cmdliner.1.3.0
Downloading ppx_derivers.1.2.1
Downloading either.1.0.0
Building ppx_derivers.1.2.1
Building either.1.0.0
Downloading ocaml-compiler-libs.v0.17.0
Building ocaml-compiler-libs.v0.17.0
Downloading sexplib0.v0.17.0
Downloading ocamlbuild.0.16.1+dune
Building sexplib0.v0.17.0
Downloading cppo.1.8.0
Building ocamlbuild.0.16.1+dune
Building cppo.1.8.0
Downloading stdlib-shims.0.3.0
Building stdlib-shims.0.3.0
Downloading ocamlfind.1.9.8+dune
Downloading optint.0.3.0
Building optint.0.3.0
Building ocamlfind.1.9.8+dune
Downloading base64.3.5.1
Building base64.3.5.1
Downloading ppxlib.0.35.0
Building ppxlib.0.35.0
Downloading topkg.1.0.7
Building topkg.1.0.7
Downloading uutf.1.0.3
Downloading fmt.0.9.0
Building uutf.1.0.3
Building fmt.0.9.0
Downloading jsonm.1.0.2
Building jsonm.1.0.2
Downloading repr.0.7.0
Building repr.0.7.0
Downloading ppx_deriving.6.0.3
Building ppx_deriving.6.0.3
Downloading ppx_repr.0.7.0
Building ppx_repr.0.7.0
Building conf-pkg-config.4
Building conf-gmp.4
Downloading zarith.1.14
Building zarith.1.14
Downloading ff-sig.0.6.2
Building ff-sig.0.6.2
Downloading polynomial.0.4.0
Building polynomial.0.4.0
Downloading ff.0.6.2
Building ff.0.6.2
Building seq.base
Downloading astring.0.8.5
Building astring.0.8.5
Downloading eqaf.0.10
Building eqaf.0.10
Downloading ocaml-syntax-shims.1.0.0
Building ocaml-syntax-shims.1.0.0
Downloading cstruct.6.2.0
Downloading re.1.12.0
Building cstruct.6.2.0
Downloading bigarray-compat.1.1.0
Building re.1.12.0
Building bigarray-compat.1.1.0
Downloading hex.1.5.0
Building hex.1.5.0
Downloading alcotest.1.8.0
Building alcotest.1.8.0
Downloading mec.0.1.0
Building mec.0.1.0
Building conf-which.1
Downloading integers.0.7.0
Building integers.0.7.0
Building conf-cmake.1
Downloading csexp.1.5.2
Building csexp.1.5.2
Downloading hacl-star-raw.0.7.2
Downloading dune-configurator.3.17.2
Building dune-configurator.3.17.2
Downloading ctypes.0.23.0
Building ctypes.0.23.0
Building hacl-star-raw.0.7.2
Downloading hacl-star.0.7.2
Building hacl-star.0.7.2
Downloading bls12-381.6.0.1
Building bls12-381.6.0.1
Downloading bls12-381-hash.0.0.5
Building bls12-381-hash.0.0.5
File "bls12-381-polynomial/test/dune", line 3, characters 28-54:
3 | (libraries qcheck-alcotest tezos-bls12-381-polynomial polynomial))
^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: Library "tezos-bls12-381-polynomial" not found.
-> required by _build/default/bls12-381-polynomial/test/main.exe
-> required by alias bls12-381-polynomial/test/all
-> required by alias default
opam-health-check: Build failed
"/usr/bin/env" "bash" "-c" "cd $HOME && opam source tezos-plompiler.1.0.1 && cd tezos-plompiler.1.0.1 && for opam in *.opam; do opam show --raw ${opam%.opam} > $opam; done && opam install ./ --depext-only --with-test --with-doc && for opam in *.opam; do rm $opam; echo ${opam%.opam} >> /tmp/packages-locally-available; done && opam show --raw tezos-plompiler.1.0.1 > tezos-plompiler.opam && python3 /tmp/opam-health-check-remove-package.py > dune-project-new && mv dune-project-new dune-project && sudo apt-get remove -y python3-sexpdata && sudo apt-get autoremove -y && echo '(lang dune 3.17)
(lock_dir
(repositories overlay default))
(repository
(name default)
(url "file:///home/opam/opam-repository"))
' > dune-workspace && PATH=$HOME/.local/bin:$PATH dune pkg lock &> /tmp/packages-wanted || true && echo tezos-plompiler >> /tmp/packages-to-build && while read package ; do if grep --quiet $package /tmp/packages-wanted ; then echo $package >> /tmp/packages-to-build ; fi ; done < /tmp/packages-locally-available && while read package ; do opam show --raw $package > $package.opam; done < /tmp/packages-to-build && while read package ; do if [ ! -f ${package}.opam ]; then echo "opam-version: \"2.0\"" > ${package}.opam; fi; done < /tmp/packages-locally-available && paste -s -d , /tmp/packages-to-build > /tmp/packages-for-dune && PATH=$HOME/.local/bin:$PATH dune pkg lock && grep -v dependency_hash dune.lock/lock.dune > /tmp/lock.dune && mv /tmp/lock.dune dune.lock/lock.dune && PATH=$HOME/.local/bin:$PATH dune build --profile=release --only-packages $(cat /tmp/packages-for-dune) || (echo "opam-health-check: Build failed" && exit 1)" failed with exit status 1
Failed: Build failed
Home|Differences with the last checks|Previous runs