Building on ltsc2025-3
(from ocaml/opam:windows-server-mingw-ltsc2025-opam)
2026-03-07 18:54.11 ---> using "63e5ddb9687855d0a0c4c5e0088f813758807605401f3a88b07751088826ddff" from cache
C:/: (user (uid 1000) (gid 1000))
C:/: (env OPAMPRECISETRACKING 1)
C:/: (env OPAMUTF8 never)
C:/: (env OPAMEXTERNALSOLVER builtin-0install)
C:/: (env OPAMCRITERIA +removed)
C:/: (env CI true)
C:/: (env OPAM_HEALTH_CHECK_CI true)
C:/: (run (shell "ln -f /usr/local/bin/opam-dev.exe /usr/local/bin/opam.exe"))
2026-03-07 18:54.11 ---> using "eb751f1617949fccf400da87a349c508e73323f3f0e3482f2cce8c46fbcb6c21" from cache
C:/: (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 31db989bcaf14647d9889b8903120d6202ac37a8"))
2026-03-07 18:54.11 ---> using "ef58fca6f6db70f2bdfd85579892df7c50e047d2e179a3be59dcaa5c5a2d773c" from cache
C:/: (run (shell "rm -rf ~/.opam && opam init -ya --bare ~/opam-repository"))
User configuration:
Updating ~\.bashrc.
[NOTE] Make sure that ~/.bashrc is well sourced in your ~\.bash_profile.
Added 9 lines after line 1 in ~\.bashrc.
2026-03-07 18:54.11 ---> using "c700dfaf6f2da6800841bb961abfee8cd8858dee38ab51c0793b149f1795270d" from cache
C:/: (run (cache (opam-archives (target "c:\\opam\\.opam\\download-cache")))
(network host)
(shell "opam switch create --repositories=default 'mingw-5.4' '5.4.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.4.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed arch-x86_64.1
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed host-arch-x86_64.1
-> installed host-system-mingw.1
-> retrieved mingw-w64-shims.0.2.0 (cached)
-> retrieved flexdll.0.44 (https://github.com/ocaml/flexdll/archive/refs/tags/0.44.tar.gz)
-> installed flexdll.0.44
-> installed ocaml-options-vanilla.1
-> installed conf-mingw-w64-gcc-x86_64.1
-> installed ocaml-env-mingw64.1
-> installed system-mingw.1
-> retrieved ocaml-config.3 (2 extra sources)
-> retrieved ocaml-config.3 (2 extra sources)
-> installed mingw-w64-shims.0.2.0
-> retrieved ocaml-compiler.5.4.0 (https://github.com/ocaml/ocaml/releases/download/5.4.0/ocaml-5.4.0.tar.gz)
-> installed ocaml-compiler.5.4.0
-> installed ocaml-base-compiler.5.4.0
-> installed ocaml-config.3
-> installed ocaml.5.4.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=mingw-5.4)
2026-03-07 18:54.11 ---> using "bde3e22405d3d4b8eb936b6a5924016abe757c72ef4284f806d0ffa633cf6608" from cache
C:/: (run (network host)
(shell "opam update --depexts"))
2026-03-07 18:54.11 ---> using "52107e23401ba5a409505a63e9d96ae2fb84390238c362f7049829fa18c5671f" from cache
C:/: (run (cache (opam-archives (target "c:\\opam\\.opam\\download-cache")))
(network host)
(shell "opam remove -y gmp.6.3.0\
\nopam install -vy gmp.6.3.0\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: gmp.6.3.0 | grep -q 'ocaml/opam:windows-server-mingw-ltsc2025-opam'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi \
\n\
\n\
\nexit $res"))
[NOTE] gmp.6.3.0 is not installed.
Nothing to do.
The following actions will be performed:
=== install 3 packages
- install conf-m4 1 [required by gmp]
- install dune 3.21.1 [required by gmp]
- install gmp 6.3.0
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 2/9: [dune.3.21.1: extract]
Processing 3/9: [dune.3.21.1: extract] [gmp.6.3.0: http]
Processing 4/9: [dune.3.21.1: extract] [gmp.6.3.0: http] [conf-m4: sh echo | m4]
+ C:\cygwin64\bin\sh.exe "-exc" "echo | m4" (CWD=C:\opam\.opam\mingw-5.4\.opam-switch\build\conf-m4.1)
- + echo
- + m4
-
-> compiled conf-m4.1
Processing 4/9: [dune.3.21.1: extract] [gmp.6.3.0: http]
-> installed conf-m4.1
Processing 5/9: [dune.3.21.1: extract] [gmp.6.3.0: http]
Processing 5/9: [dune.3.21.1: extract] [gmp.6.3.0: extract]
-> retrieved gmp.6.3.0 (https://github.com/mirage/ocaml-gmp/releases/download/6.3.0/gmp-6.3.0.tbz)
Processing 5/9: [dune.3.21.1: extract]
-> retrieved dune.3.21.1 (cached)
Processing 6/9: [dune: ocaml 15]
+ C:\opam\.opam\mingw-5.4\bin\ocaml.exe "boot/bootstrap.ml" "-j" "15" (CWD=C:\opam\.opam\mingw-5.4\.opam-switch\build\dune.3.21.1)
- ocamlc -output-complete-exe -intf-suffix .dummy -g -o .duneboot.exe -I boot -I +unix unix.cma boot/types.ml boot/libs.ml boot/duneboot.ml
- .\.duneboot.exe -j 15
Processing 6/9: [dune: ./_boot/dune.exe build]
+ C:\opam\.opam\mingw-5.4\.opam-switch\build\dune.3.21.1\./_boot/dune.exe "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "15" (CWD=C:\opam\.opam\mingw-5.4\.opam-switch\build\dune.3.21.1)
-> compiled dune.3.21.1
-> installed dune.3.21.1
[gmp: subst] expanding opam variables in src/build.sh.in, generating src/build.sh
Processing 8/9: [gmp: dune build]
+ C:\opam\.opam\mingw-5.4\bin\dune.exe "build" "-p" "gmp" "-j" "15" (CWD=C:\opam\.opam\mingw-5.4\.opam-switch\build\gmp.6.3.0)
- File "src/dune", lines 3-7, characters 0-89:
- 3 | (library
- 4 | (name gmp)
- 5 | (public_name gmp)
- 6 | (install_c_headers gmp)
- 7 | (foreign_archives gmp))
- Error: No rule found for src/dllgmp.dll
- File "src/dune", lines 14-23, characters 0-357:
- 14 | (rule
- 15 | (targets gmp.h libgmp.a dllgmp.so)
- 16 | (deps gmp-6.3.0.tar.xz build.sh gcc.15.patch)
- 17 | (action
- 18 | (with-stdout-to
- 19 | build.log
- 20 | (run sh ./build.sh "%{ocaml-config:c_compiler}" "%{ocaml-config:host}"
- 21 | "%{ocaml-config:target}" "%{ocaml-config:ocamlc_cflags}"
- 22 | %{ocaml-config:supports_shared_libraries}
- 23 | "%{ocaml-config:native_c_libraries}"))))
- (cd _build/default/src && C:\cygwin64\bin\sh.exe ./build.sh x86_64-w64-mingw32-gcc x86_64-w64-mingw32 x86_64-w64-mingw32 "-O2 -fno-strict-aliasing -fwrapv -mms-bitfields" true "-lws2_32 -lole32 -luuid -lversion -lshlwapi -lsynchronization -l:libpthread.a -lgcc_eh") > _build/default/src/build.log
- libtool: warning: undefined symbols not allowed in x86_64-w64-mingw32 shared libraries; building static only
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpf/clear.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpf/clears.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpf/reldiff.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpf/random2.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- ./libtool: line 3389: warning: command substitution: ignored null byte in input
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpf/cmp_z.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpf/cmp.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpf/cmp_d.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpf/cmp_ui.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpf/cmp_si.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- ./libtool: line 3389: warning: command substitution: ignored null byte in input
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpf/ceilfloor.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- ./libtool: line 3389: warning: command substitution: ignored null byte in input
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/cdiv_q.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/cdiv_q_ui.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/cdiv_qr.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/cdiv_qr_ui.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/cdiv_r.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/cdiv_r_ui.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/cdiv_ui.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/cfdiv_q_2exp.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/cfdiv_r_2exp.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/clrbit.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/cmpabs.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/cmpabs_d.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/cmpabs_ui.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/com.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/combit.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/cong.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/cong_2exp.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/cong_ui.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/random.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/realloc.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/realloc2.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/remove.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/roinit_n.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/root.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/rootrem.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpz/rrandomb.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- ./libtool: line 3389: warning: command substitution: ignored null byte in input
- ./libtool: line 3389: warning: command substitution: ignored null byte in input
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpq/canonicalize.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpn/cnd_add_n.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpn/cnd_sub_n.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpn/cnd_swap.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpn/rshift.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpn/compute_powtab.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpn/redc_1.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpn/redc_2.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpn/redc_n.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpn/copyi.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpn/copyd.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpn/comb_tables.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpn/rsblsh1_n.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpn/rsh1add_n.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpn/rsh1sub_n.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpn/rsblsh2_n.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'mpn/rsblsh_n.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'rand/rand.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'rand/randclr.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'rand/randdef.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'rand/randiset.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'rand/randlc2s.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'rand/randlc2x.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'rand/randmt.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'rand/randmts.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'rand/rands.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'rand/randsd.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'rand/randsdui.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'rand/randbui.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- libtool: error: Could not determine host file name corresponding to
- libtool: error: 'rand/randmui.o'
- libtool: error: Continuing, but uninstalled executables may not work.
- x86_64-w64-mingw32-ar: @Microsoft: No such file or directory
- ./libtool: eval: line 1751: syntax error near unexpected token `Microsoft'
- ./libtool: eval: line 1751: `(c) Microsoft Corporation. All rights reserved.
'
- make[2]: *** [Makefile:883: libgmp.la] Error 2
- make[1]: *** [Makefile:998: all-recursive] Error 1
- make: *** [Makefile:788: all] Error 2
[ERROR] The compilation of gmp.6.3.0 failed at "dune build -p gmp -j 15".
#=== ERROR while compiling gmp.6.3.0 ==========================================#
# context 2.5.0 | win32/x86_64 | ocaml-base-compiler.5.4.0 | git+file://C:/cygwin64/home/opam/opam-repository
# path C:\opam\.opam\mingw-5.4\.opam-switch\build\gmp.6.3.0
# command C:\opam\.opam\mingw-5.4\bin\dune.exe build -p gmp -j 15
# exit-code 1
# env-file C:\opam\.opam\log\gmp-22132-bcea26.env
# output-file C:\opam\.opam\log\gmp-22132-bcea26.out
### output ###
# [...]
# libtool: error: Could not determine host file name corresponding to
# libtool: error: 'rand/randbui.o'
# libtool: error: Continuing, but uninstalled executables may not work.
# libtool: error: Could not determine host file name corresponding to
# libtool: error: 'rand/randmui.o'
# libtool: error: Continuing, but uninstalled executables may not work.
# x86_64-w64-mingw32-ar: @Microsoft: No such file or directory
# ./libtool: eval: line 1751: syntax error near unexpected token `Microsoft'
# ./libtool: eval: line 1751: `(c) Microsoft Corporation. All rights reserved.
'
# make[2]: *** [Makefile:883: libgmp.la] Error 2
# make[1]: *** [Makefile:998: all-recursive] Error 1
# make: *** [Makefile:788: all] Error 2
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build gmp 6.3.0
+-
+- The following changes have been performed
| - install conf-m4 1
| - install dune 3.21.1
+-
# To update the current shell environment, run: eval $(opam env)
The former state can be restored with:
C:\cygwin64\usr\local\bin\opam.exe switch import "C:\\opam\\.opam\\mingw-5.4\\.opam-switch\\backup\\state-20260307185445.export"
'C:\cygwin64\usr\local\bin\opam.exe install -vy gmp.6.3.0' failed.
"C:\cygwin64\bin\bash.exe" "-lc" "opam remove -y gmp.6.3.0
opam install -vy gmp.6.3.0
res=$?
if [ $res = 31 ]; then
if opam show -f x-ci-accept-failures: gmp.6.3.0 | grep -q 'ocaml/opam:windows-server-mingw-ltsc2025-opam'; then
echo "This package failed and has been disabled for CI using the 'x-ci-accept-failures' field."
exit 69
fi
fi
exit $res" failed with exit status 31
Failed: Build failed
Home|Differences with the last checks|Previous runs