Build:
- 0
2026-04-15 11:18.48: New job: test elpi.3.7.0, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29728/head (6cf2401cf5a21217f75f463c942e4c17ce2a57cb)
on macos-homebrew-ocaml-4.14/arm64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29728/head" && git reset --hard 6cf2401c
git fetch origin master
git merge --no-edit d1c96c8e211dddd369fb445f0e7348fb9cffad4a
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM macos-homebrew-ocaml-4.14
USER 1000:1000
RUN ln -f ~/local/bin/opam-dev ~/local/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 -k local --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn elpi.3.7.0 3.7.0
RUN opam reinstall elpi.3.7.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 "\"macos-homebrew\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'elpi.3.7.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test elpi.3.7.0) || true
RUN opam reinstall --with-test --verbose elpi.3.7.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 "\"macos-homebrew\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'elpi.3.7.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 .
2026-04-15 11:18.48: Using cache hint "macos-homebrew-ocaml-4.14-elpi.3.7.0-6cf2401cf5a21217f75f463c942e4c17ce2a57cb"
2026-04-15 11:18.48: Using OBuilder spec:
((from macos-homebrew-ocaml-4.14)
(user (uid 1000) (gid 1000))
(run (shell "ln -f ~/local/bin/opam-dev ~/local/bin/opam"))
(run (network host)
(shell "opam init --reinit -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 -k local --strict default opam-repository/"))
(run (network host)
(shell "opam update --depexts || true"))
(run (shell "opam pin add -k version -yn elpi.3.7.0 3.7.0"))
(run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew)))
(network host)
(shell "opam reinstall elpi.3.7.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 \"\\\"macos-homebrew\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'elpi.3.7.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 (network host)
(shell "(opam reinstall --with-test elpi.3.7.0) || true"))
(run (shell "opam reinstall --with-test --verbose elpi.3.7.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 \"\\\"macos-homebrew\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'elpi.3.7.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-04-15 11:18.48: Waiting for resource in pool OCluster
2026-04-15 11:18.49: Waiting for worker…
2026-04-15 11:22.06: Got resource from pool OCluster
Building on m1-worker-01
All commits already cached
Updating files: 63% (11821/18735)
Updating files: 64% (11991/18735)
Updating files: 65% (12178/18735)
Updating files: 66% (12366/18735)
Updating files: 67% (12553/18735)
Updating files: 68% (12740/18735)
Updating files: 69% (12928/18735)
Updating files: 70% (13115/18735)
Updating files: 71% (13302/18735)
Updating files: 72% (13490/18735)
Updating files: 73% (13677/18735)
Updating files: 74% (13864/18735)
Updating files: 75% (14052/18735)
Updating files: 76% (14239/18735)
Updating files: 77% (14426/18735)
Updating files: 78% (14614/18735)
Updating files: 79% (14801/18735)
Updating files: 80% (14988/18735)
Updating files: 81% (15176/18735)
Updating files: 82% (15363/18735)
Updating files: 83% (15551/18735)
Updating files: 84% (15738/18735)
Updating files: 85% (15925/18735)
Updating files: 86% (16113/18735)
Updating files: 87% (16300/18735)
Updating files: 88% (16487/18735)
Updating files: 89% (16675/18735)
Updating files: 90% (16862/18735)
Updating files: 91% (17049/18735)
Updating files: 92% (17237/18735)
Updating files: 93% (17424/18735)
Updating files: 94% (17611/18735)
Updating files: 95% (17799/18735)
Updating files: 96% (17986/18735)
Updating files: 97% (18173/18735)
Updating files: 98% (18361/18735)
Updating files: 99% (18548/18735)
Updating files: 100% (18735/18735)
Updating files: 100% (18735/18735), done.
HEAD is now at d1c96c8e21 Merge pull request #29725 from kit-ty-kate/fix-conf-clang-alpine
Updating d1c96c8e21..6cf2401cf5
Fast-forward
packages/elpi/elpi.3.7.0/opam | 92 +++++++++++++++++++++++++++++++++++++++++++
1 file changed, 92 insertions(+)
create mode 100644 packages/elpi/elpi.3.7.0/opam
(from macos-homebrew-ocaml-4.14)
2026-04-15 11:22.09 ---> using "0c60f117aee57abea8364cb033d47bb1d63ff0f68e5ee97378e032498e8442af" from cache
/: (user (uid 1000) (gid 1000))
/: (run (shell "ln -f ~/local/bin/opam-dev ~/local/bin/opam"))
2026-04-15 11:22.09 ---> using "f20a31eccb94af52fa2a3ef86b723bc6460bac3d8a92b8861915540c2498d20a" from cache
/: (run (network host)
(shell "opam init --reinit -ni"))
No configuration file found, using 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 version of opam requires an update to the layout of /Users/mac1000/.opam from version 2.1 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [Y/n] y
[NOTE] The 'jobs' option was reset, its value was 1 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
opam option jobs=1 --global
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] no changes from git+file:///Users/mac1000/opam-repository
2026-04-15 11:22.09 ---> using "7818e224f85c11d1d318abe9ba4e297be345388b7ed476f912b6900c6bae56aa" from cache
/: (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.5.0
# self-upgrade no
# system arch=arm64 os=macos os-distribution=homebrew os-version=15.5
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 7
# repositories 1 (version-controlled)
# pinned 0
# current-switch 4.14.2
# invariant ["ocaml-base-compiler" {= "4.14.2"} | "ocaml-system" {= "4.14.2"}]
# compiler-packages ocaml-base-compiler.4.14.2, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /Users/mac1000/.opam/4.14.2/lib/ocaml/stublibs:/Users/mac1000/.opam/4.14.2/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 4.14.2
2026-04-15 11:22.09 ---> using "625776f8b2f728a128171e2ba4372c97abd18632a07574a8412026e8be39dac5" from cache
/: (env OPAMDOWNLOADJOBS 1)
/: (env OPAMERRLOGLEN 0)
/: (env OPAMPRECISETRACKING 1)
/: (env CI true)
/: (env OPAM_REPO_CI true)
/: (run (shell "rm -rf opam-repository/"))
2026-04-15 11:22.10 ---> using "15fbb76bf7dee5d6e8ae583230339015a61d8d2d8397de2cfe6459f8ba421f1e" from cache
/: (copy (src .) (dst opam-repository/))
2026-04-15 11:22.11 ---> using "d9704b05814c71c6bca666b6208b09871ccf1efca9568e5201adbe6bc0df152d" from cache
/: (run (shell "opam repository set-url -k local --strict default opam-repository/"))
[default] Initialised
2026-04-15 11:22.11 ---> using "98d184cac13f6552f87620164bdfd749a0447bd50f25ec7e3dc9b734cf86e348" from cache
/: (run (network host)
(shell "opam update --depexts || true"))
+ /opt/homebrew/bin/brew "update"
- ==> Updating Homebrew...
- ==> Downloading https://ghcr.io/v2/homebrew/core/portable-ruby/blobs/sha256:f41c72b891c40623f9d5cd2135f58a1b8a5c014ae04149888289409316276c72
- #=#=#
0.1%
0.4%
-
0.6%
# 1.5%
# 1.7%
# 2.1%
# 2.3%
# 2.6%
# 2.7%
-
## 3.0%
## 3.2%
## 3.5%
## 3.6%
## 3.9%
## 4.1%
### 4.4%
### 4.6%
### 4.9%
### 5.1%
-
### 5.4%
#### 5.6%
#### 5.9%
#### 6.2%
#### 6.3%
#### 6.5%
#### 6.8%
#### 6.9%
##### 7.2%
##### 7.4%
##### 7.6%
-
##### 7.8%
##### 8.1%
##### 8.2%
###### 8.5%
###### 8.6%
###### 8.9%
###### 9.1%
###### 9.3%
###### 9.5%
####### 9.7%
####### 10.0%
-
####### 10.1%
####### 10.4%
####### 10.6%
####### 10.8%
####### 11.0%
######## 11.3%
######## 11.4%
######## 11.7%
######## 11.9%
######## 12.0%
-
######## 12.3%
######### 12.6%
######### 12.7%
######### 12.9%
######### 13.2%
######### 13.3%
######### 13.6%
######### 13.8%
########## 13.9%
########## 14.1%
-
########## 14.2%
########## 14.3%
########## 14.5%
########## 14.6%
########## 14.7%
########## 14.8%
########## 15.1%
########## 15.2%
########### 15.4%
########### 15.5%
########### 15.6%
-
########### 15.7%
########### 15.9%
########### 16.1%
########### 16.3%
########### 16.4%
########### 16.5%
########### 16.7%
############ 16.8%
############ 16.9%
############ 17.2%
-
############ 17.3%
############ 17.4%
############ 17.6%
############ 17.7%
############ 17.8%
############ 17.9%
############# 18.1%
############# 18.3%
############# 18.4%
############# 18.7%
############# 18.8%
-
############# 18.9%
############# 19.1%
############# 19.2%
############# 19.3%
############## 19.4%
############## 19.6%
############## 19.7%
############## 19.8%
############## 20.0%
############## 20.1%
############## 20.2%
-
############## 20.4%
############## 20.6%
############## 20.7%
############### 20.9%
############### 21.0%
############### 21.1%
############### 21.3%
############### 21.5%
############### 21.6%
############### 21.8%
-
############### 21.9%
############### 22.0%
############### 22.2%
################ 22.3%
################ 22.4%
################ 22.5%
################ 22.7%
################ 22.8%
################ 23.0%
################ 23.1%
################ 23.3%
-
################ 23.4%
################ 23.5%
################# 23.8%
################# 23.9%
################# 24.1%
################# 24.2%
################# 24.3%
################# 24.4%
################# 24.7%
################# 24.8%
################# 25.0%
-
################## 25.1%
################## 25.2%
################## 25.3%
################## 25.6%
################## 25.7%
################## 25.9%
################## 26.0%
################## 26.1%
################## 26.2%
################### 26.5%
-
################### 26.6%
################### 26.8%
################### 26.9%
################### 27.0%
################### 27.1%
################### 27.4%
################### 27.5%
################### 27.8%
#################### 27.9%
#################### 28.1%
#################### 28.3%
-
#################### 28.4%
#################### 28.7%
#################### 28.8%
#################### 28.9%
##################### 29.2%
##################### 29.3%
##################### 29.4%
##################### 29.7%
##################### 29.8%
##################### 29.9%
##################### 30.1%
-
##################### 30.3%
##################### 30.5%
###################### 30.7%
###################### 30.8%
###################### 31.1%
###################### 31.2%
###################### 31.5%
###################### 31.6%
###################### 31.8%
-
####################### 32.0%
####################### 32.2%
####################### 32.4%
####################### 32.6%
####################### 32.7%
####################### 32.9%
####################### 33.0%
####################### 33.3%
######################## 33.4%
######################## 33.6%
-
######################## 33.8%
######################## 33.9%
######################## 34.2%
######################## 34.3%
######################## 34.4%
######################## 34.5%
######################### 34.8%
######################### 34.9%
######################### 35.2%
######################### 35.3%
######################### 35.6%
-
######################### 35.7%
######################### 36.0%
######################### 36.1%
########################## 36.4%
########################## 36.5%
########################## 36.7%
########################## 36.8%
########################## 37.1%
########################## 37.2%
-
########################## 37.5%
########################### 37.6%
########################### 37.7%
########################### 38.0%
########################### 38.1%
########################### 38.4%
########################### 38.5%
########################### 38.8%
############################ 38.9%
############################ 39.2%
-
############################ 39.3%
############################ 39.4%
############################ 39.7%
############################ 39.8%
############################ 40.1%
############################ 40.2%
############################# 40.4%
############################# 40.6%
############################# 40.8%
-
############################# 41.0%
############################# 41.1%
############################# 41.3%
############################# 41.6%
############################## 41.7%
############################## 42.0%
############################## 42.1%
############################## 42.3%
############################## 42.5%
############################## 42.6%
-
############################## 42.9%
############################## 43.0%
############################### 43.2%
############################### 43.4%
############################### 43.6%
############################### 43.8%
############################### 44.0%
############################### 44.1%
############################### 44.3%
-
################################ 44.5%
################################ 44.7%
################################ 44.9%
################################ 45.2%
################################ 45.3%
################################ 45.6%
################################ 45.8%
################################# 46.0%
################################# 46.2%
################################# 46.4%
################################# 46.6%
-
################################# 46.8%
################################# 46.9%
################################# 47.2%
################################## 47.5%
################################## 47.6%
################################## 47.8%
################################## 48.0%
################################## 48.2%
################################## 48.4%
################################### 48.6%
################################### 48.9%
-
################################### 49.0%
################################### 49.3%
################################### 49.5%
################################### 49.7%
################################### 49.9%
#################################### 50.2%
#################################### 50.3%
#################################### 50.6%
#################################### 50.8%
#################################### 50.9%
-
#################################### 51.2%
#################################### 51.3%
##################################### 51.5%
##################################### 51.7%
##################################### 51.9%
##################################### 52.2%
##################################### 52.3%
##################################### 52.6%
###################################### 52.8%
###################################### 53.0%
###################################### 53.2%
-
###################################### 53.5%
###################################### 53.6%
###################################### 53.9%
###################################### 54.1%
####################################### 54.3%
####################################### 54.5%
####################################### 54.6%
####################################### 54.9%
####################################### 55.2%
####################################### 55.4%
-
####################################### 55.5%
######################################## 55.8%
######################################## 55.9%
######################################## 56.2%
######################################## 56.4%
######################################## 56.5%
######################################## 56.8%
######################################### 57.1%
######################################### 57.2%
######################################### 57.4%
######################################### 57.6%
-
######################################### 57.8%
######################################### 58.1%
######################################### 58.2%
########################################## 58.5%
########################################## 58.6%
########################################## 58.9%
########################################## 59.1%
########################################## 59.2%
########################################## 59.5%
########################################### 59.8%
########################################### 60.0%
-
########################################### 60.1%
########################################### 60.4%
########################################### 60.6%
########################################### 60.8%
########################################### 61.0%
############################################ 61.1%
############################################ 61.4%
############################################ 61.7%
############################################ 61.8%
############################################ 62.0%
-
############################################ 62.2%
############################################ 62.4%
############################################# 62.7%
############################################# 62.8%
############################################# 63.1%
############################################# 63.2%
############################################# 63.5%
############################################# 63.7%
############################################# 63.9%
############################################## 64.1%
############################################## 64.4%
-
############################################## 64.6%
############################################## 64.7%
############################################## 65.0%
############################################## 65.1%
############################################### 65.4%
############################################### 65.6%
############################################### 65.7%
############################################### 66.0%
############################################### 66.1%
############################################### 66.4%
############################################### 66.5%
-
################################################ 66.8%
################################################ 66.9%
################################################ 67.2%
################################################ 67.4%
################################################ 67.6%
################################################ 67.7%
################################################ 67.9%
################################################# 68.1%
################################################# 68.2%
################################################# 68.5%
################################################# 68.6%
-
################################################# 68.7%
################################################# 69.0%
################################################# 69.1%
################################################# 69.3%
################################################## 69.4%
################################################## 69.7%
################################################## 69.8%
################################################## 70.0%
################################################## 70.2%
################################################## 70.3%
-
################################################## 70.6%
################################################## 70.7%
################################################### 71.0%
################################################### 71.1%
################################################### 71.3%
################################################### 71.5%
################################################### 71.6%
################################################### 71.9%
################################################### 72.0%
#################################################### 72.3%
-
#################################################### 72.4%
#################################################### 72.7%
#################################################### 72.8%
#################################################### 72.9%
#################################################### 73.2%
#################################################### 73.3%
#################################################### 73.6%
##################################################### 73.7%
##################################################### 73.9%
-
##################################################### 74.1%
##################################################### 74.3%
##################################################### 74.4%
##################################################### 74.7%
##################################################### 74.8%
###################################################### 75.1%
###################################################### 75.2%
###################################################### 75.3%
###################################################### 75.6%
###################################################### 75.7%
-
###################################################### 75.9%
###################################################### 76.1%
###################################################### 76.2%
###################################################### 76.4%
####################################################### 76.6%
####################################################### 76.8%
####################################################### 76.9%
####################################################### 77.0%
####################################################### 77.3%
####################################################### 77.4%
-
####################################################### 77.7%
######################################################## 77.8%
######################################################## 78.0%
######################################################## 78.2%
######################################################## 78.4%
######################################################## 78.5%
######################################################## 78.8%
######################################################## 78.9%
######################################################## 79.0%
-
######################################################### 79.3%
######################################################### 79.4%
######################################################### 79.7%
######################################################### 79.8%
######################################################### 80.1%
######################################################### 80.2%
######################################################### 80.5%
########################################################## 80.6%
########################################################## 80.7%
########################################################## 81.0%
-
########################################################## 81.1%
########################################################## 81.4%
########################################################## 81.5%
########################################################## 81.8%
########################################################## 81.9%
########################################################### 82.1%
########################################################### 82.3%
########################################################### 82.5%
########################################################### 82.7%
-
########################################################### 82.9%
########################################################### 83.0%
########################################################### 83.3%
############################################################ 83.4%
############################################################ 83.6%
############################################################ 83.8%
############################################################ 83.9%
############################################################ 84.2%
############################################################ 84.3%
############################################################ 84.5%
-
############################################################ 84.7%
############################################################# 84.9%
############################################################# 85.1%
############################################################# 85.3%
############################################################# 85.5%
############################################################# 85.6%
############################################################# 85.8%
############################################################# 86.0%
############################################################# 86.1%
-
############################################################## 86.4%
############################################################## 86.5%
############################################################## 86.6%
############################################################## 86.9%
############################################################## 87.0%
############################################################## 87.1%
############################################################## 87.4%
############################################################## 87.5%
############################################################### 87.7%
############################################################### 87.9%
############################################################### 88.0%
-
############################################################### 88.2%
############################################################### 88.4%
############################################################### 88.5%
############################################################### 88.6%
################################################################ 88.9%
################################################################ 89.0%
################################################################ 89.3%
################################################################ 89.4%
################################################################ 89.5%
################################################################ 89.7%
################################################################ 89.9%
-
################################################################ 90.1%
################################################################# 90.3%
################################################################# 90.4%
################################################################# 90.7%
################################################################# 90.8%
################################################################# 91.1%
################################################################# 91.2%
################################################################# 91.3%
################################################################# 91.6%
################################################################## 91.7%
-
################################################################## 92.0%
################################################################## 92.1%
################################################################## 92.3%
################################################################## 92.5%
################################################################## 92.7%
################################################################## 92.9%
################################################################### 93.1%
################################################################### 93.2%
################################################################### 93.4%
-
################################################################### 93.6%
################################################################### 93.8%
################################################################### 94.0%
################################################################### 94.1%
################################################################### 94.4%
#################################################################### 94.5%
#################################################################### 94.7%
#################################################################### 94.9%
#################################################################### 95.0%
#################################################################### 95.2%
-
#################################################################### 95.4%
#################################################################### 95.6%
#################################################################### 95.7%
##################################################################### 95.9%
##################################################################### 96.1%
##################################################################### 96.2%
##################################################################### 96.5%
##################################################################### 96.6%
##################################################################### 96.9%
##################################################################### 97.0%
-
##################################################################### 97.1%
###################################################################### 97.4%
###################################################################### 97.5%
###################################################################### 97.8%
###################################################################### 97.9%
###################################################################### 98.1%
###################################################################### 98.3%
###################################################################### 98.5%
####################################################################### 98.7%
####################################################################### 98.8%
-
####################################################################### 99.0%
####################################################################### 99.2%
####################################################################### 99.4%
####################################################################### 99.6%
####################################################################### 99.8%
######################################################################## 100.0%
- ==> Pouring portable-ruby-4.0.2_1.arm64_big_sur.bottle.tar.gz
- ==> Homebrew collects anonymous analytics.
- Read the analytics documentation (and how to opt-out) here:
- https://docs.brew.sh/Analytics
- No analytics have been recorded yet (nor will be during this `brew` run).
-
- ==> Homebrew is run entirely by unpaid volunteers. Please consider donating:
- https://github.com/Homebrew/brew#donations
-
- Already up-to-date.
2026-04-15 11:22.11 ---> using "95a1cdc57b92606e54f14dc84b1c72f8a8e7d58f8f501353f517efd35cb0f421" from cache
/: (run (shell "opam pin add -k version -yn elpi.3.7.0 3.7.0"))
elpi is now pinned to version 3.7.0
2026-04-15 11:22.11 ---> using "fa285440fef02c42ef91f67a396592442a3cc3eb6c3f61e3f64e00abd3e92497" from cache
/: (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew)))
(network host)
(shell "opam reinstall elpi.3.7.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 \"\\\"macos-homebrew\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'elpi.3.7.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
elpi.3.7.0 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 30 packages
- install atd 4.1.0 [required by atdgen, atdts]
- install atdgen 4.1.0 [required by elpi]
- install atdgen-runtime 4.1.0 [required by atdgen]
- install atdts 4.1.0 [required by elpi]
- install base v0.16.4 [required by ppx_optcomp]
- install biniou 1.2.2 [required by atdgen]
- install camlp-streams 5.0.1 [required by biniou]
- install cmdliner 2.1.0 [required by atdts]
- install cppo 1.8.0 [required by ppx_deriving]
- install csexp 1.5.2 [required by dune-configurator]
- install dune 3.22.2 [required by elpi]
- install dune-configurator 3.22.2 [required by base]
- install easy-format 1.3.4 [required by atd]
- install elpi 3.7.0 (pinned)
- install menhir 20260209 [required by elpi]
- install menhirCST 20260209 [required by menhir]
- install menhirGLR 20260209 [required by menhir]
- install menhirLib 20260209 [required by menhir]
- install menhirSdk 20260209 [required by menhir]
- install ocaml-compiler-libs v0.12.4 [required by ppxlib]
- install ocamlfind 1.9.8 [required by ppx_deriving]
- install ppx_derivers 1.2.1 [required by ppx_deriving]
- install ppx_deriving 6.0.3 [required by elpi]
- install ppx_optcomp v0.16.0 [required by elpi]
- install ppxlib 0.35.0 [required by elpi]
- install re 1.14.0 [required by elpi]
- install sexplib0 v0.16.0 [required by ppxlib, base]
- install stdio v0.16.0 [required by ppx_optcomp]
- install stdlib-shims 0.3.0 [required by elpi]
- install yojson 3.0.0 [required by atdgen]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved atd.4.1.0, atdgen.4.1.0, atdgen-runtime.4.1.0, atdts.4.1.0 (cached)
-> retrieved base.v0.16.4 (cached)
-> retrieved biniou.1.2.2 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved cmdliner.2.1.0 (cached)
-> retrieved cppo.1.8.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved dune.3.22.2, dune-configurator.3.22.2 (cached)
-> retrieved easy-format.1.3.4 (cached)
-> installed cmdliner.2.1.0
-> retrieved elpi.3.7.0 (https://github.com/LPCIC/elpi/releases/download/v3.7.0/elpi-3.7.0.tbz)
-> retrieved menhir.20260209, menhirCST.20260209, menhirGLR.20260209, menhirLib.20260209, menhirSdk.20260209 (cached)
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_deriving.6.0.3 (cached)
-> retrieved ppx_optcomp.v0.16.0 (cached)
-> retrieved ppxlib.0.35.0 (cached)
-> retrieved re.1.14.0 (cached)
-> retrieved sexplib0.v0.16.0 (cached)
-> retrieved stdio.v0.16.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved yojson.3.0.0 (cached)
-> installed ocamlfind.1.9.8
-> installed dune.3.22.2
-> installed easy-format.1.3.4
-> installed csexp.1.5.2
-> installed camlp-streams.5.0.1
-> installed menhirSdk.20260209
-> installed ocaml-compiler-libs.v0.12.4
-> installed menhirLib.20260209
-> installed menhirGLR.20260209
-> installed menhirCST.20260209
-> installed cppo.1.8.0
-> installed stdlib-shims.0.3.0
-> installed ppx_derivers.1.2.1
-> installed biniou.1.2.2
-> installed sexplib0.v0.16.0
-> installed re.1.14.0
-> installed dune-configurator.3.22.2
-> installed yojson.3.0.0
-> installed atdgen-runtime.4.1.0
-> installed base.v0.16.4
-> installed menhir.20260209
-> installed stdio.v0.16.0
-> installed atd.4.1.0
-> installed atdts.4.1.0
-> installed atdgen.4.1.0
-> installed ppxlib.0.35.0
-> installed ppx_optcomp.v0.16.0
-> installed ppx_deriving.6.0.3
-> installed elpi.3.7.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-04-15 11:22.11 ---> using "f668bc49f62a69a450850c39588ffba1d5730bf475649fb8ab5fa319c0878685" from cache
/: (run (network host)
(shell "(opam reinstall --with-test elpi.3.7.0) || true"))
The following actions will be performed:
=== downgrade 1 package
- downgrade cmdliner 2.1.0 to 1.3.0 [required by elpi]
=== recompile 4 packages
- recompile atd 4.1.0 [uses cmdliner]
- recompile atdgen 4.1.0 [uses atd]
- recompile atdts 4.1.0 [uses cmdliner]
- recompile elpi 3.7.0 (pinned)
=== install 5 packages
- install ANSITerminal 0.8.5 [required by elpi]
- install base-bytes base [required by ANSITerminal]
- install conf-time 1 [required by elpi]
- install conf-which 1 [required by conf-time]
- install fileutils 0.6.6 [required by elpi]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ANSITerminal.0.8.5 (https://github.com/Chris00/ANSITerminal/releases/download/0.8.5/ANSITerminal-0.8.5.tbz)
-> retrieved atd.4.1.0, atdgen.4.1.0, atdts.4.1.0 (https://github.com/ahrefs/atd/releases/download/4.1.0/atd-4.1.0.tbz)
-> installed base-bytes.base
-> retrieved cmdliner.1.3.0 (https://erratique.ch/software/cmdliner/releases/cmdliner-1.3.0.tbz)
-> installed conf-which.1
-> installed conf-time.1
-> installed ANSITerminal.0.8.5
-> retrieved fileutils.0.6.6 (https://github.com/gildor478/ocaml-fileutils/releases/download/v0.6.6/fileutils-0.6.6.tbz)
-> installed fileutils.0.6.6
-> removed elpi.3.7.0
-> removed atdgen.4.1.0
-> removed atdts.4.1.0
-> removed atd.4.1.0
-> removed cmdliner.2.1.0
-> installed cmdliner.1.3.0
-> installed atd.4.1.0
-> installed atdts.4.1.0
-> installed atdgen.4.1.0
-> installed elpi.3.7.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-04-15 11:22.32 ---> saved as "4f3bbe6f791d49eb6b740c5ed8251d2230509e8fcb72e2c1ae4298732ee7f1c2"
/: (run (shell "opam reinstall --with-test --verbose elpi.3.7.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 \"\\\"macos-homebrew\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'elpi.3.7.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 elpi 3.7.0 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 2/4: [elpi: dune build]
+ /Users/mac1000/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "elpi" "-j" "7" (CWD=/Users/mac1000/.opam/4.14.2/.opam-switch/build/elpi.3.7.0)
- (cd _build/default/src/parser && /Users/mac1000/.opam/4.14.2/bin/menhir tokens.mly grammar.mly token_precedence.mly --base grammar --compile-errors error_messages.txt) > _build/default/src/parser/error_messages.ml
- Warning: one state has shift/reduce conflicts.
- Warning: 17 shift/reduce conflicts were arbitrarily resolved.
- Read 384 sample input sentences and 41 error messages.
- (cd _build/default/src && /Users/mac1000/.opam/4.14.2/bin/atdgen -o trace_atd -j-std trace.atd)
- Warning: option "-j-std" is deprecated.
- (cd _build/default && /Users/mac1000/.opam/4.14.2/bin/menhir --external-tokens Elpi_lexer_config.Tokens --table src/parser/grammar.mly src/parser/token_precedence.mly src/parser/tokens.mly --base src/parser/grammar --infer-read-reply src/parser/grammar__mock.mli.inferred)
- Warning: one state has shift/reduce conflicts.
- Warning: 17 shift/reduce conflicts were arbitrarily resolved.
- (cd _build/default && /Users/mac1000/.opam/4.14.2/bin/ocamlc.opt -w -40 -g -bin-annot -I src/parser/.elpi_parser.objs/byte -I /Users/mac1000/.opam/4.14.2/lib/menhirLib -I /Users/mac1000/.opam/4.14.2/lib/ppx_deriving/runtime -I /Users/mac1000/.opam/4.14.2/lib/re -I /Users/mac1000/.opam/4.14.2/lib/re/str -I /Users/mac1000/.opam/4.14.2/lib/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/utils/.elpi_util.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi_parser -o src/parser/.elpi_parser.objs/byte/elpi_parser__Grammar.cmo -c -impl src/parser/grammar.ml)
- File "src/parser/grammar.ml", line 1059, characters 14-18:
- 1059 | let bind : unit = Obj.magic bind in
- ^^^^
- Warning 26 [unused-var]: unused variable bind.
- File "src/parser/grammar.ml", line 1106, characters 14-18:
- 1106 | let bind : unit = Obj.magic bind in
- ^^^^
- Warning 26 [unused-var]: unused variable bind.
- File "src/parser/grammar.ml", line 1143, characters 14-18:
- 1143 | let bind : unit = Obj.magic bind in
- ^^^^
- Warning 26 [unused-var]: unused variable bind.
- File "src/parser/grammar.ml", line 1511, characters 14-15:
- 1511 | let v : unit = Obj.magic v in
- ^
- Warning 26 [unused-var]: unused variable v.
- File "src/parser/grammar.ml", line 1641, characters 14-16:
- 1641 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
- File "src/parser/grammar.ml", line 1686, characters 14-16:
- 1686 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
- File "src/parser/grammar.ml", line 4045, characters 14-15:
- 4045 | let a : unit = Obj.magic a in
- ^
- Warning 26 [unused-var]: unused variable a.
- File "src/parser/grammar.ml", line 4166, characters 14-15:
- 4166 | let l : unit = Obj.magic l in
- ^
- Warning 26 [unused-var]: unused variable l.
- File "src/parser/grammar.ml", line 5284, characters 14-15:
- 5284 | let l : (Ast.Func.t list) = Obj.magic l in
- ^
- Warning 26 [unused-var]: unused variable l.
- File "src/parser/grammar.ml", line 5360, characters 14-15:
- 5360 | let f : (Elpi_lexer_config.Lexer_config.fixity * Ast.Func.t * int * Ast.Loc.t) = Obj.magic f in
- ^
- Warning 26 [unused-var]: unused variable f.
- File "src/parser/grammar.ml", line 7990, characters 14-15:
- 7990 | let x : unit = Obj.magic x in
- ^
- Warning 26 [unused-var]: unused variable x.
- File "src/parser/grammar.ml", line 8157, characters 14-15:
- 8157 | let r : unit = Obj.magic r in
- ^
- Warning 26 [unused-var]: unused variable r.
- File "src/parser/grammar.ml", line 10436, characters 14-16:
- 10436 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
- File "src/parser/grammar.ml", line 10481, characters 14-16:
- 10481 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
- File "src/parser/grammar.ml", line 12833, characters 14-16:
- 12833 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
- File "src/parser/grammar.ml", line 12878, characters 14-16:
- 12878 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
- (cd _build/default && /Users/mac1000/.opam/4.14.2/bin/ocamlopt.opt -w -40 -g -I src/parser/.elpi_parser.objs/byte -I src/parser/.elpi_parser.objs/native -I /Users/mac1000/.opam/4.14.2/lib/menhirLib -I /Users/mac1000/.opam/4.14.2/lib/ppx_deriving/runtime -I /Users/mac1000/.opam/4.14.2/lib/re -I /Users/mac1000/.opam/4.14.2/lib/re/str -I /Users/mac1000/.opam/4.14.2/lib/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_lexer_config.objs/native -I src/utils/.elpi_util.objs/byte -I src/utils/.elpi_util.objs/native -intf-suffix .ml -no-alias-deps -open Elpi_parser -o src/parser/.elpi_parser.objs/native/elpi_parser__Grammar.cmx -c -impl src/parser/grammar.ml)
- File "src/parser/grammar.ml", line 1059, characters 14-18:
- 1059 | let bind : unit = Obj.magic bind in
- ^^^^
- Warning 26 [unused-var]: unused variable bind.
- File "src/parser/grammar.ml", line 1106, characters 14-18:
- 1106 | let bind : unit = Obj.magic bind in
- ^^^^
- Warning 26 [unused-var]: unused variable bind.
- File "src/parser/grammar.ml", line 1143, characters 14-18:
- 1143 | let bind : unit = Obj.magic bind in
- ^^^^
- Warning 26 [unused-var]: unused variable bind.
- File "src/parser/grammar.ml", line 1511, characters 14-15:
- 1511 | let v : unit = Obj.magic v in
- ^
- Warning 26 [unused-var]: unused variable v.
- File "src/parser/grammar.ml", line 1641, characters 14-16:
- 1641 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
- File "src/parser/grammar.ml", line 1686, characters 14-16:
- 1686 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
- File "src/parser/grammar.ml", line 4045, characters 14-15:
- 4045 | let a : unit = Obj.magic a in
- ^
- Warning 26 [unused-var]: unused variable a.
- File "src/parser/grammar.ml", line 4166, characters 14-15:
- 4166 | let l : unit = Obj.magic l in
- ^
- Warning 26 [unused-var]: unused variable l.
- File "src/parser/grammar.ml", line 5284, characters 14-15:
- 5284 | let l : (Ast.Func.t list) = Obj.magic l in
- ^
- Warning 26 [unused-var]: unused variable l.
- File "src/parser/grammar.ml", line 5360, characters 14-15:
- 5360 | let f : (Elpi_lexer_config.Lexer_config.fixity * Ast.Func.t * int * Ast.Loc.t) = Obj.magic f in
- ^
- Warning 26 [unused-var]: unused variable f.
- File "src/parser/grammar.ml", line 7990, characters 14-15:
- 7990 | let x : unit = Obj.magic x in
- ^
- Warning 26 [unused-var]: unused variable x.
- File "src/parser/grammar.ml", line 8157, characters 14-15:
- 8157 | let r : unit = Obj.magic r in
- ^
- Warning 26 [unused-var]: unused variable r.
- File "src/parser/grammar.ml", line 10436, characters 14-16:
- 10436 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
- File "src/parser/grammar.ml", line 10481, characters 14-16:
- 10481 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
- File "src/parser/grammar.ml", line 12833, characters 14-16:
- 12833 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
- File "src/parser/grammar.ml", line 12878, characters 14-16:
- 12878 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
-> compiled elpi.3.7.0
-> removed elpi.3.7.0
-> installed elpi.3.7.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-04-15 11:22.41 ---> saved as "496dc13bdf969d2c1fb924ea4b1baf462a95db2d32d898a7c7b56d0357d6a0f8"
Job succeeded
2026-04-15 11:22.50: Job succeeded