Getting StartedDocumentation
Organisationsedwintoroklintcstubsc627ce ()windows-server-2022-amd64-4.14_opam-2.5

windows-server-2022-amd64-4.14_opam-2.5

Link Copied
Code Copied

Logs

Show raw logs
2026-02-14 19:53.58: New job: test edwintorok/lintcstubs https://github.com/edwintorok/lintcstubs.git#refs/heads/main (c627ceb3dfe689196122360ce5da1be658583f94) (windows-amd64:windows-server-2022-amd64-4.14_opam-2.5)
Base: windows-server-2022-amd64-ocaml-4.14
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/edwintorok/lintcstubs.git" -b "main" && cd "lintcstubs" && git reset --hard c627ceb3
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM windows-server-2022-amd64-ocaml-4.14
# windows-server-2022-amd64-4.14_opam-2.5
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
RUN ln -f /usr/bin/opam-2.5 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
RUN cd ~/opam-repository && (git cat-file -e 66fe1c299d8a0fe922268a88a05ccf4bee097900 || git fetch origin master) && git reset -q --hard 66fe1c299d8a0fe922268a88a05ccf4bee097900 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 lintcstubs.opam lintcstubs-gen.opam /Users/opam/src/./
RUN opam pin add -yn lintcstubs.dev '/Users/opam/src/./' && \
opam pin add -yn lintcstubs-gen.dev '/Users/opam/src/./'
RUN echo '(lang dune 3.0)' > '/cygdrive/c/Users/opam/src/./dune-project'
ENV DEPS="angstrom.0.16.1 arch-x86_64.1 arg-complete.0.2.1 astring.0.8.5 base-bigarray.base base-threads.base base-unix.base batteries.3.10.0 bigstringaf.0.10.0 bos.0.2.1 camlp-streams.5.0.1 catapult.0.1.1 catapult-file.0.1.1 conf-autoconf.0.2 conf-gcc.1.0 conf-gmp.5 conf-mingw-w64-gcc-x86_64.1 conf-mingw-w64-gmp-x86_64.1 conf-perl.2 conf-pkg-config.4 cppo.1.8.0 cpu.2.0.0 csexp.1.5.2 cstruct.6.2.0 ctypes.0.24.0 dune.3.21.1 dune-compiledb.0.6.0 dune-configurator.3.21.1 dune-private-libs.3.21.1 dune-site.3.21.1 dyn.3.21.1 ezjsonm.1.3.0 flexdll.0.44 fmt.0.11.0 fpath.0.7.3 fs-io.3.21.1 goblint.2.1.0 goblint-cil.2.0.1 hex.1.5.0 host-arch-x86_64.1 host-system-mingw.1 integers.0.7.0 json-data-encoding.1.0.1 jsonm.1.0.2 jsonrpc.1.25.0 lintcstubs-arity.0.5.1 logs.0.10.0 mingw-w64-shims.0.2.0 num.1.6 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.3 ocaml-env-mingw64.1 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ordering.3.21.1 parsexp.v0.16.0 pp.2.0.0 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppx_deriving_hash.0.1.3 ppx_deriving_yojson.3.10.0 ppxlib.0.37.0 qcheck-core.0.25 rresult.0.7.0 seq.base sexplib.v0.16.0 sexplib0.v0.16.0 sha.1.15.4 stdlib-shims.0.3.0 stdune.3.21.1 stringext.1.6.0 system-mingw.1 top-closure.3.21.1 topkg.1.1.1 uri.4.4.0 uuidm.0.9.10 uutf.1.0.4 yaml.3.2.0 yojson.2.2.2 zarith.1.14"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.5 --depext-only -y lintcstubs.dev lintcstubs-gen.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /Users/opam/src
RUN cd /cygdrive/c/Users/opam/src && opam exec -- dune build @install @check @runtest && rm -rf _build


END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK


2026-02-14 19:53.58: Using cache hint "edwintorok/lintcstubs-windows-server-2022-amd64-ocaml-4.14-windows-server-2022-amd64-4.14_opam-2.5-566a7f2891fffd3dbb28a8e5c3a3637d"
2026-02-14 19:53.58: Using OBuilder spec:
((from windows-server-2022-amd64-ocaml-4.14)
(comment windows-server-2022-amd64-4.14_opam-2.5)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(run (shell "ln -f /usr/bin/opam-2.5 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\local\\opam\\download-cache")))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 66fe1c299d8a0fe922268a88a05ccf4bee097900 || git fetch origin master) && git reset -q --hard 66fe1c299d8a0fe922268a88a05ccf4bee097900 && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src lintcstubs.opam lintcstubs-gen.opam) (dst /Users/opam/src/./))
(run (network host)
(shell  "opam pin add -yn lintcstubs.dev '/Users/opam/src/./' && \
\nopam pin add -yn lintcstubs-gen.dev '/Users/opam/src/./'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > '/cygdrive/c/Users/opam/src/./dune-project'"))
(env DEPS "angstrom.0.16.1 arch-x86_64.1 arg-complete.0.2.1 astring.0.8.5 base-bigarray.base base-threads.base base-unix.base batteries.3.10.0 bigstringaf.0.10.0 bos.0.2.1 camlp-streams.5.0.1 catapult.0.1.1 catapult-file.0.1.1 conf-autoconf.0.2 conf-gcc.1.0 conf-gmp.5 conf-mingw-w64-gcc-x86_64.1 conf-mingw-w64-gmp-x86_64.1 conf-perl.2 conf-pkg-config.4 cppo.1.8.0 cpu.2.0.0 csexp.1.5.2 cstruct.6.2.0 ctypes.0.24.0 dune.3.21.1 dune-compiledb.0.6.0 dune-configurator.3.21.1 dune-private-libs.3.21.1 dune-site.3.21.1 dyn.3.21.1 ezjsonm.1.3.0 flexdll.0.44 fmt.0.11.0 fpath.0.7.3 fs-io.3.21.1 goblint.2.1.0 goblint-cil.2.0.1 hex.1.5.0 host-arch-x86_64.1 host-system-mingw.1 integers.0.7.0 json-data-encoding.1.0.1 jsonm.1.0.2 jsonrpc.1.25.0 lintcstubs-arity.0.5.1 logs.0.10.0 mingw-w64-shims.0.2.0 num.1.6 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.3 ocaml-env-mingw64.1 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ordering.3.21.1 parsexp.v0.16.0 pp.2.0.0 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppx_deriving_hash.0.1.3 ppx_deriving_yojson.3.10.0 ppxlib.0.37.0 qcheck-core.0.25 rresult.0.7.0 seq.base sexplib.v0.16.0 sexplib0.v0.16.0 sha.1.15.4 stdlib-shims.0.3.0 stdune.3.21.1 stringext.1.6.0 system-mingw.1 top-closure.3.21.1 topkg.1.1.1 uri.4.4.0 uuidm.0.9.10 uutf.1.0.4 yaml.3.2.0 yojson.2.2.2 zarith.1.14")
(env CI true)
(env OCAMLCI true)
(run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\local\\opam\\download-cache")))
(network host)
(shell "opam update --depexts && opam install --cli=2.5 --depext-only -y lintcstubs.dev lintcstubs-gen.dev $DEPS"))
(run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\local\\opam\\download-cache")))
(network host)
(shell "opam install $DEPS"))
(copy (src .) (dst /Users/opam/src))
(run (shell "cd /cygdrive/c/Users/opam/src && opam exec -- dune build @install @check @runtest && rm -rf _build"))
)


2026-02-14 19:53.58: Waiting for resource in pool OCluster
2026-02-14 19:53.58: Waiting for worker…
2026-02-14 19:54.45: Got resource from pool OCluster
Building on thyme
All commits already cached
HEAD is now at c627ceb Merge pull request #3 from Leonidas-from-XIV/goblint-constraint


(from windows-server-2022-amd64-ocaml-4.14)
2026-02-14 19:54.46 ---> using "55c9cbebb0e098c78ccc09b1cc6e84ec9f0bd2275b7cebf331cc913575946dc0" from cache


/: (comment windows-server-2022-amd64-4.14_opam-2.5)


/: (user (uid 1000) (gid 1000))


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (run (shell "ln -f /usr/bin/opam-2.5 /usr/bin/opam"))
2026-02-14 19:54.46 ---> using "589249c8537cd2595d1a56969bee44d230053ee1da7b9f5fad53810018a00416" from cache


/: (run (shell "opam init --reinit -ni"))
No configuration file found, using built-in defaults.


<><> Unix support infrastructure ><><><><><><><><><><><><><><><><><><><><><><><>


opam and the OCaml ecosystem in general require various Unix tools in order to operate correctly. At present, this requires the installation of Cygwin to provide these tools.


How should opam obtain Unix tools?
> 1. Use tools found in PATH (Cygwin installation at C:\cygwin64)
2. Automatically create an internal Cygwin installation that will be managed by opam (recommended)
3. Use Cygwin installation found in C:\cygwin64
4. Use another existing Cygwin/MSYS2 installation
5. Abort initialisation


[1/2/3/4/5] 1
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.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] no changes from file://C:/Users/opam/opam-repository
2026-02-14 19:54.46 ---> using "b9bc8c8f985ec3874b127afe7be3cf82929cf6115fc0b5fe613bcc544ffc5e38" from cache


/: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
CYGWIN_NT-10.0-20348 3.6.5-1.x86_64
The OCaml toplevel, version 4.14.2
2.5.0
2026-02-14 19:54.46 ---> using "a986fc985afd784ee19dda4e2b4661047e76f110654e5682135d95c60aa4a307" from cache


/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\local\\opam\\download-cache")))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 66fe1c299d8a0fe922268a88a05ccf4bee097900 || git fetch origin master) && git reset -q --hard 66fe1c299d8a0fe922268a88a05ccf4bee097900 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
a6b2f19780..66fe1c299d  master     -> origin/master
66fe1c299d Merge pull request #29371 from edwintorok/release-lintcstubs-arity-0.5.0


<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file://C:/Users/opam/opam-repository


Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly at these versions (e.g. "opam upgrade ocaml.5.4.0"), which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2026-02-14 20:01.07 ---> saved as "fa928d0867aeb3aa464d157738e7598dd8fd8cb512c270734a24aff6796bb65c"


/: (copy (src lintcstubs.opam lintcstubs-gen.opam) (dst /Users/opam/src/./))
2026-02-14 20:02.38 ---> saved as "0bb622443b4124ac36177b5da527e76dfe82e52d44886053fbc729cca8af3c8c"


/: (run (network host)
(shell  "opam pin add -yn lintcstubs.dev '/Users/opam/src/./' && \
\nopam pin add -yn lintcstubs-gen.dev '/Users/opam/src/./'"))
[lintcstubs.dev] synchronised (file://C:/Users/opam/src/.)
lintcstubs is now pinned to file://C:/Users/opam/src/. (version dev)
[lintcstubs-gen.dev] synchronised (file://C:/Users/opam/src/.)
lintcstubs-gen is now pinned to file://C:/Users/opam/src/. (version dev)
2026-02-14 20:03.49 ---> saved as "5e97ef22c28d52a2c8616cf28769e38b3245885d943bfc7bb9c2bc6d4e9da8c3"


/: (run (network host)
(shell "echo '(lang dune 3.0)' > '/cygdrive/c/Users/opam/src/./dune-project'"))
2026-02-14 20:04.44 ---> saved as "3a8be1f7ae1d23f484386f570258078e6503d6a8d7a1a0ab1c3f6b6ae2bb6c8d"


/: (env DEPS "angstrom.0.16.1 arch-x86_64.1 arg-complete.0.2.1 astring.0.8.5 base-bigarray.base base-threads.base base-unix.base batteries.3.10.0 bigstringaf.0.10.0 bos.0.2.1 camlp-streams.5.0.1 catapult.0.1.1 catapult-file.0.1.1 conf-autoconf.0.2 conf-gcc.1.0 conf-gmp.5 conf-mingw-w64-gcc-x86_64.1 conf-mingw-w64-gmp-x86_64.1 conf-perl.2 conf-pkg-config.4 cppo.1.8.0 cpu.2.0.0 csexp.1.5.2 cstruct.6.2.0 ctypes.0.24.0 dune.3.21.1 dune-compiledb.0.6.0 dune-configurator.3.21.1 dune-private-libs.3.21.1 dune-site.3.21.1 dyn.3.21.1 ezjsonm.1.3.0 flexdll.0.44 fmt.0.11.0 fpath.0.7.3 fs-io.3.21.1 goblint.2.1.0 goblint-cil.2.0.1 hex.1.5.0 host-arch-x86_64.1 host-system-mingw.1 integers.0.7.0 json-data-encoding.1.0.1 jsonm.1.0.2 jsonrpc.1.25.0 lintcstubs-arity.0.5.1 logs.0.10.0 mingw-w64-shims.0.2.0 num.1.6 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.3 ocaml-env-mingw64.1 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ordering.3.21.1 parsexp.v0.16.0 pp.2.0.0 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppx_deriving_hash.0.1.3 ppx_deriving_yojson.3.10.0 ppxlib.0.37.0 qcheck-core.0.25 rresult.0.7.0 seq.base sexplib.v0.16.0 sexplib0.v0.16.0 sha.1.15.4 stdlib-shims.0.3.0 stdune.3.21.1 stringext.1.6.0 system-mingw.1 top-closure.3.21.1 topkg.1.1.1 uri.4.4.0 uuidm.0.9.10 uutf.1.0.4 yaml.3.2.0 yojson.2.2.2 zarith.1.14")


/: (env CI true)


/: (env OCAMLCI true)


/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\local\\opam\\download-cache")))
(network host)
(shell "opam update --depexts && opam install --cli=2.5 --depext-only -y lintcstubs.dev lintcstubs-gen.dev $DEPS"))


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[lintcstubs.dev] synchronised (file://C:/Users/opam/src/.)
[lintcstubs-gen.dev] synchronised (file://C:/Users/opam/src/.)


[NOTE] Package system-mingw is already installed (current version is 1).
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-env-mingw64 is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package mingw-w64-shims is already installed (current version is 0.2.0).
[NOTE] Package host-system-mingw is already installed (current version is 1).
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
[NOTE] Package flexdll is already installed (current version is 0.44).
[NOTE] Package conf-mingw-w64-gcc-x86_64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
[NOTE] Package arch-x86_64 is already installed (current version is 1).


The following system packages will first need to be installed:
autoconf mingw64-x86_64-gmp perl


<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>


+ C:\Users\opam\AppData\Local\opam\.cygwin\setup-x86_64.exe "--root" "C:\\cygwin64" "--quiet-mode" "unattended" "--no-shortcuts" "--no-startmenu" "--no-desktop" "--no-admin" "--no-version-check" "--no-write-registry" "--packages" "autoconf,mingw64-x86_64-gmp,perl"
- Starting cygwin install, version 2.935
- User has backup/restore rights
- User has symlink creation right
- Current Directory: C:\Windows\system32
- root: C:\cygwin64 system
- Changing gid to Administrators
- Selected local directory: C:\Windows\system32
- net: Preconfig
- site: https://cygwin.mirror.constant.com/
- solving: 4 tasks, update: no, use test packages: no
- solving: 11 tasks, update: no, use test packages: no
- Augmented Transaction List:
-    0 install gettext-locale-alias   0.26-1
-    1 install libdb18.1              18.1.40-1
-    2 install libgdbm_compat4        1.26-1
-    3 install m4                     1.4.21-1
-    4 install mingw64-x86_64-gcc-g++ 13.4.0-1
-    5 install perl                   5.40.3-1
-    6 install autoconf2.7            2.72-1
-    7 install autoconf2.5            2.69-5
-    8 install mingw64-x86_64-gmp     6.3.0-1
-    9 install autoconf2.1            2.13-12
-   10 install autoconf               15-2
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/gettext/gettext-locale-alias/gettext-locale-alias-0.26-1-x86_64.tar.xz
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/db/libdb18.1/libdb18.1-18.1.40-1.tar.xz
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/gdbm/libgdbm_compat4/libgdbm_compat4-1.26-1-x86_64.tar.xz
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/m4/m4-1.4.21-1-x86_64.tar.xz
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/mingw64-x86_64-gcc/mingw64-x86_64-gcc-g++/mingw64-x86_64-gcc-g++-13.4.0-1-x86_64.tar.zst
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/perl/perl-5.40.3-1-x86_64.tar.zst
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/autoconf2.7/autoconf2.7-2.72-1.tar.zst
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/autoconf2.5/autoconf2.5-2.69-5.tar.zst
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/mingw64-x86_64-gmp/mingw64-x86_64-gmp-6.3.0-1.tar.zst
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/autoconf2.1/autoconf2.1-2.13-12.tar.bz2
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/autoconf/autoconf-15-2.tar.zst
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/gettext/gettext-locale-alias/gettext-locale-alias-0.26-1-x86_64.tar.xz
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/db/libdb18.1/libdb18.1-18.1.40-1.tar.xz
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/gdbm/libgdbm_compat4/libgdbm_compat4-1.26-1-x86_64.tar.xz
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/m4/m4-1.4.21-1-x86_64.tar.xz
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/mingw64-x86_64-gcc/mingw64-x86_64-gcc-g++/mingw64-x86_64-gcc-g++-13.4.0-1-x86_64.tar.zst
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/perl/perl-5.40.3-1-x86_64.tar.zst
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/autoconf2.7/autoconf2.7-2.72-1.tar.zst
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/autoconf2.5/autoconf2.5-2.69-5.tar.zst
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/mingw64-x86_64-gmp/mingw64-x86_64-gmp-6.3.0-1.tar.zst
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/autoconf2.1/autoconf2.1-2.13-12.tar.bz2
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/autoconf/autoconf-15-2.tar.zst
- running: C:\cygwin64\bin\dash.exe "/etc/postinstall/0p_000_autorebase.dash"
- running: C:\cygwin64\bin\dash.exe "/etc/postinstall/0p_update-info-dir.dash"
- running: C:\cygwin64\bin\dash.exe "/etc/postinstall/zp_man-db-update-index.dash"
- Ending cygwin install
- NOTE: you should run 'diskperf -y' to enable the disk statistics
- NOTE: you should run 'diskperf -y' to enable the disk statistics
# To update the current shell environment, run: eval $(opam env)
2026-02-14 20:08.07 ---> saved as "145f975efab35bc45e8db62e2512ea036b72bfbf37053f8373b2a4f834f831aa"


/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\local\\opam\\download-cache")))
(network host)
(shell "opam install $DEPS"))
[NOTE] Package system-mingw is already installed (current version is 1).
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-env-mingw64 is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package mingw-w64-shims is already installed (current version is 0.2.0).
[NOTE] Package host-system-mingw is already installed (current version is 1).
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
[NOTE] Package flexdll is already installed (current version is 0.44).
[NOTE] Package conf-mingw-w64-gcc-x86_64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
[NOTE] Package arch-x86_64 is already installed (current version is 1).
The following actions will be performed:
=== recompile 1 package
- recompile mingw-w64-shims           0.2.0
=== install 70 packages
- install   angstrom                  0.16.1
- install   arg-complete              0.2.1
- install   astring                   0.8.5
- install   batteries                 3.10.0
- install   bigstringaf               0.10.0
- install   bos                       0.2.1
- install   camlp-streams             5.0.1
- install   catapult                  0.1.1
- install   catapult-file             0.1.1
- install   conf-autoconf             0.2
- install   conf-gcc                  1.0
- install   conf-gmp                  5
- install   conf-mingw-w64-gmp-x86_64 1
- install   conf-perl                 2
- install   conf-pkg-config           4
- install   cppo                      1.8.0
- install   cpu                       2.0.0
- install   csexp                     1.5.2
- install   cstruct                   6.2.0
- install   ctypes                    0.24.0
- install   dune                      3.21.1
- install   dune-compiledb            0.6.0
- install   dune-configurator         3.21.1
- install   dune-private-libs         3.21.1
- install   dune-site                 3.21.1
- install   dyn                       3.21.1
- install   ezjsonm                   1.3.0
- install   fmt                       0.11.0
- install   fpath                     0.7.3
- install   fs-io                     3.21.1
- install   goblint                   2.1.0
- install   goblint-cil               2.0.1
- install   hex                       1.5.0
- install   integers                  0.7.0
- install   json-data-encoding        1.0.1
- install   jsonm                     1.0.2
- install   jsonrpc                   1.25.0
- install   lintcstubs-arity          0.5.1
- install   logs                      0.10.0
- install   num                       1.6
- install   ocaml-compiler-libs       v0.12.4
- install   ocaml-syntax-shims        1.0.0
- install   ocamlbuild                0.16.1
- install   ocamlfind                 1.9.8
- install   ordering                  3.21.1
- install   parsexp                   v0.16.0
- install   pp                        2.0.0
- install   ppx_blob                  0.9.0
- install   ppx_derivers              1.2.1
- install   ppx_deriving              6.1.1
- install   ppx_deriving_hash         0.1.3
- install   ppx_deriving_yojson       3.10.0
- install   ppxlib                    0.37.0
- install   qcheck-core               0.25
- install   rresult                   0.7.0
- install   seq                       base
- install   sexplib                   v0.16.0
- install   sexplib0                  v0.16.0
- install   sha                       1.15.4
- install   stdlib-shims              0.3.0
- install   stdune                    3.21.1
- install   stringext                 1.6.0
- install   top-closure               3.21.1
- install   topkg                     1.1.1
- install   uri                       4.4.0
- install   uuidm                     0.9.10
- install   uutf                      1.0.4
- install   yaml                      3.2.0
- install   yojson                    2.2.2
- install   zarith                    1.14


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved angstrom.0.16.1  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved arg-complete.0.2.1  (https://github.com/sim642/ocaml-arg-complete/releases/download/0.2.1/arg-complete-0.2.1.tbz)
-> retrieved bigstringaf.0.10.0  (cached)
-> retrieved bos.0.2.1  (cached)
-> retrieved camlp-streams.5.0.1  (cached)
-> retrieved conf-gmp.5  (cached)
-> retrieved batteries.3.10.0  (https://github.com/ocaml-batteries-team/batteries-included/releases/download/v3.10.0/batteries-3.10.0.tar.gz)
-> retrieved cppo.1.8.0  (cached)


#=== ERROR while compiling conf-gcc.1.0 =======================================#
"gcc": command not found.


<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - fetch catapult.0.1.1, catapult-file.0.1.1
| - build conf-autoconf                       0.2
| - build conf-gcc                            1.0
+- 
- No changes have been performed
# To update the current shell environment, run: eval $(opam env)
"opam install $DEPS" failed with exit status 31
2026-02-14 20:10.34: Job failed: Failed: Build failed