Building on odawa
(from windows-server-2022-amd64-ocaml-4.14.2)
2024-11-12 01:11.12 ---> using "b1ae2ad36af625524288c188f7e099c501706c4119a38e11e1b5610819652cec" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (env CI true)
/: (env OPAM_HEALTH_CHECK_CI true)
/: (run (shell "ln -f /usr/bin/opam-dev.exe /usr/bin/opam.exe"))
2024-11-12 01:11.12 ---> using "4b57a7007c87218b9b3ddcf81f74c22338c638c8bcdfdaa01c2afa888290f021" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q eecf6d033c6c13a6bda9b445601ddcbaa09dd288"))
2024-11-12 01:11.12 ---> using "916fc88efba39c7529535e5586ef636983924e64382c926374941dfb70826c38" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare ~/opam-repository"))
User configuration:
Updating ~\.bash_profile.
[NOTE] Make sure that ~\.bash_profile is well sourced in your ~/.bashrc.
Added 9 lines after line 1 in ~\.bash_profile.
2024-11-12 01:11.12 ---> using "7dff50a164197daeb211f43cc31c3b4201b1bd2d0c774a26d6925a430147bec7" from cache
/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\Local\\opam\\download-cache")))
(network host)
(shell "opam switch create --repositories=default 'default' 'ocaml-base-compiler.4.14.2'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.14.2"}]
<><> 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 flexdll.0.43 (cached)
-> retrieved ocaml-config.3 (cached)
-> installed flexdll.0.43
-> installed ocaml-options-vanilla.1
-> retrieved mingw-w64-shims.0.2.0 (cached)
-> installed conf-mingw-w64-gcc-x86_64.1
-> installed ocaml-env-mingw64.1
-> installed system-mingw.1
-> retrieved ocaml-base-compiler.4.14.2 (cached)
-> installed mingw-w64-shims.0.2.0
-> installed ocaml-base-compiler.4.14.2
-> installed ocaml-config.3
-> installed ocaml.4.14.2
Done.
# To update the current shell environment, run: eval $(opam env --switch=default)
2024-11-12 01:11.12 ---> using "ae60b92c2a5a4da67e8935d52ddeae392cd8745a47ba71ee33b6f19f5c2bd60f" from cache
/: (run (network host)
(shell "opam update --depexts"))
2024-11-12 01:11.12 ---> using "79f391d910b12f0453cbe8a949bb8e140683a166720331d05045e2d73e88ecc9" from cache
/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\Local\\opam\\download-cache")))
(network host)
(shell "\
\nopam remove -y \"why3find.1.0\"\
\nopam install -vy \"why3find.1.0\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"why3find.1.0\" | grep -q '\"windows-server-2022-amd64-ocaml-4.14.2\"'; 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\
\n"))
Nothing to do.
[NOTE] why3find.1.0 is not installed.
The following actions will be performed:
=== recompile 1 package
- recompile mingw-w64-shims 0.2.0 [uses conf-pkg-config]
=== install 23 packages
- install conf-pkg-config 3 [required by conf-zmq]
- install conf-zmq 0.1 [required by zmq]
- install csexp 1.5.2 [required by dune-private-libs, dune-configurator]
- install dune 3.16.1 [required by why3find]
- install dune-configurator 3.16.1 [required by zmq]
- install dune-private-libs 3.16.1 [required by dune-site]
- install dune-site 3.16.1 [required by why3find]
- install dyn 3.16.1 [required by dune-private-libs]
- install menhir 20240715 [required by why3]
- install menhirCST 20240715 [required by menhir]
- install menhirLib 20240715 [required by menhir]
- install menhirSdk 20240715 [required by menhir]
- install num 1.5-1 [required by why3]
- install ocamlfind 1.9.5 [required by why3]
- install ordering 3.16.1 [required by dyn, stdune]
- install pp 1.2.0 [required by dune-private-libs]
- install seq base [required by yojson]
- install stdune 3.16.1 [required by dune-private-libs]
- install terminal_size 0.2.0 [required by why3find]
- install why3 1.7.2 [required by why3find]
- install why3find 1.0
- install yojson 2.2.2 [required by why3find]
- install zmq 5.3.0 [required by why3find]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved conf-zmq.0.1 (cached)
Processing 3/64: [csexp.1.5.2: extract]
Processing 4/64: [csexp.1.5.2: extract] [dune.3.16.1 + 6 others: extract]
Processing 5/64: [csexp.1.5.2: extract] [dune.3.16.1 + 6 others: extract] [menhir.20240715 + 3 others: extract]
Processing 6/64: [csexp.1.5.2: extract] [dune.3.16.1 + 6 others: extract] [menhir.20240715 + 3 others: extract] [conf-pkg-config: pkgconf]
-> retrieved csexp.1.5.2 (cached)
Processing 6/64: [dune.3.16.1 + 6 others: extract] [menhir.20240715 + 3 others: extract] [conf-pkg-config: pkgconf]
Processing 7/64: [dune.3.16.1 + 6 others: extract] [menhir.20240715 + 3 others: extract] [mingw-w64-shims.0.2.0: extract] [conf-pkg-config: pkgconf]
+ C:\cygwin64\bin\pkgconf.exe "--version" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\conf-pkg-config.3)
- 2.3.0
-> compiled conf-pkg-config.3
Processing 7/64: [dune.3.16.1 + 6 others: extract] [menhir.20240715 + 3 others: extract] [mingw-w64-shims.0.2.0: extract]
-> installed conf-pkg-config.3
Processing 8/64: [dune.3.16.1 + 6 others: extract] [menhir.20240715 + 3 others: extract] [mingw-w64-shims.0.2.0: extract]
Processing 9/64: [dune.3.16.1 + 6 others: extract] [menhir.20240715 + 3 others: extract] [mingw-w64-shims.0.2.0: extract] [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)]
-> retrieved mingw-w64-shims.0.2.0 (cached)
Processing 9/64: [dune.3.16.1 + 6 others: extract] [menhir.20240715 + 3 others: extract] [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)]
-> removed mingw-w64-shims.0.2.0
Processing 10/64: [dune.3.16.1 + 6 others: extract] [menhir.20240715 + 3 others: extract] [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)]
Processing 11/64: [dune.3.16.1 + 6 others: extract] [menhir.20240715 + 3 others: extract] [num.1.5-1: extract] [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)]
Processing 12/64: [dune.3.16.1 + 6 others: extract] [menhir.20240715 + 3 others: extract] [num.1.5-1: extract] [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [mingw-w64-shims: sh mingw-w64-shims]
-> retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715 (cached)
Processing 12/64: [dune.3.16.1 + 6 others: extract] [num.1.5-1: extract] [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [mingw-w64-shims: sh mingw-w64-shims]
Processing 13/64: [dune.3.16.1 + 6 others: extract] [num.1.5-1: extract] [ocamlfind.1.9.5: extract] [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [mingw-w64-shims: sh mingw-w64-shims]
-> retrieved num.1.5-1 (cached)
Processing 13/64: [dune.3.16.1 + 6 others: extract] [ocamlfind.1.9.5: extract] [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [mingw-w64-shims: sh mingw-w64-shims]
Processing 14/64: [dune.3.16.1 + 6 others: extract] [ocamlfind.1.9.5: extract] [pp.1.2.0: extract] [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [mingw-w64-shims: sh mingw-w64-shims]
[num: patch] applying num-in-findlib-dir.patch
Processing 15/64: [dune.3.16.1 + 6 others: extract] [ocamlfind.1.9.5: extract] [pp.1.2.0: extract] [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [mingw-w64-shims: sh mingw-w64-shims] [num: patch]
-> retrieved ocamlfind.1.9.5 (cached)
Processing 15/64: [dune.3.16.1 + 6 others: extract] [pp.1.2.0: extract] [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [mingw-w64-shims: sh mingw-w64-shims] [num: patch]
-> retrieved seq.base (cached)
Processing 16/64: [dune.3.16.1 + 6 others: extract] [pp.1.2.0: extract] [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [mingw-w64-shims: sh mingw-w64-shims] [num: patch]
Processing 17/64: [dune.3.16.1 + 6 others: extract] [pp.1.2.0: extract] [terminal_size.0.2.0: http] [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [mingw-w64-shims: sh mingw-w64-shims] [num: patch]
[ocamlfind: patch] applying 0001-Fix-bug-when-installing-with-a-system-compiler.patch
Processing 18/64: [dune.3.16.1 + 6 others: extract] [pp.1.2.0: extract] [terminal_size.0.2.0: http] [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [mingw-w64-shims: sh mingw-w64-shims] [num: patch] [ocamlfind: patch]
Processing 19/64: [dune.3.16.1 + 6 others: extract] [pp.1.2.0: extract] [terminal_size.0.2.0: http] [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [mingw-w64-shims: sh mingw-w64-shims] [num: patch] [ocamlfind: patch]
-> installed seq.base
Processing 20/64: [dune.3.16.1 + 6 others: extract] [pp.1.2.0: extract] [terminal_size.0.2.0: http] [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [mingw-w64-shims: sh mingw-w64-shims] [num: patch] [ocamlfind: patch]
-> retrieved pp.1.2.0 (cached)
Processing 20/64: [dune.3.16.1 + 6 others: extract] [terminal_size.0.2.0: http] [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [mingw-w64-shims: sh mingw-w64-shims] [num: patch] [ocamlfind: patch]
Processing 21/64: [dune.3.16.1 + 6 others: extract] [terminal_size.0.2.0: http] [why3.1.7.2: extract] [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [mingw-w64-shims: sh mingw-w64-shims] [num: patch] [ocamlfind: patch]
+ C:\cygwin64\bin\sh.exe "-c" "cc test.c $(pkg-config --libs --cflags libzmq)" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\conf-zmq.0.1)
- Package libzmq was not found in the pkg-config search path.
[ERROR] The compilation of conf-zmq.0.1 failed at "sh -c cc test.c $(pkg-config --libs --cflags libzmq)".
- Perhaps you should add the directory containing `libzmq.pc'
- to the PKG_CONFIG_PATH environment variable
- Package 'libzmq' not found
- /usr/bin/sh: line 1: cc: command not found
Processing 21/64: [dune.3.16.1 + 6 others: extract] [terminal_size.0.2.0: http] [why3.1.7.2: extract] [mingw-w64-shims: sh mingw-w64-shims] [num: patch] [ocamlfind: patch]
Processing 22/64: [dune.3.16.1 + 6 others: extract] [terminal_size.0.2.0: http] [why3.1.7.2: extract] [mingw-w64-shims: sh mingw-w64-shims] [num: patch] [ocamlfind: patch]
+ C:\cygwin64\bin\sh.exe "./gen_config.sh" "mingw-w64-shims" "i686-gcc-g++-false" "x86_64-binutils" "x86_64-gcc-core" "x86_64-gcc-g++-false" "pkgconf" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\mingw-w64-shims.0.2.0)
-> compiled mingw-w64-shims.0.2.0
Processing 22/64: [dune.3.16.1 + 6 others: extract] [terminal_size.0.2.0: http] [why3.1.7.2: extract] [num: patch] [ocamlfind: patch]
-> installed mingw-w64-shims.0.2.0
Processing 23/64: [dune.3.16.1 + 6 others: extract] [terminal_size.0.2.0: http] [why3.1.7.2: extract] [num: patch] [ocamlfind: patch]
-> retrieved dune.3.16.1, dune-configurator.3.16.1, dune-private-libs.3.16.1, dune-site.3.16.1, dyn.3.16.1, ordering.3.16.1, stdune.3.16.1 (cached)
Processing 23/64: [terminal_size.0.2.0: http] [why3.1.7.2: extract] [num: patch] [ocamlfind: patch]
Processing 24/64: [terminal_size.0.2.0: http] [why3.1.7.2: extract] [why3find.1.0: http] [num: patch] [ocamlfind: patch]
Processing 25/64: [terminal_size.0.2.0: http] [why3.1.7.2: extract] [why3find.1.0: http] [dune: ocaml 31] [num: patch] [ocamlfind: patch]
Processing 25/64: [terminal_size.0.2.0: extract] [why3.1.7.2: extract] [why3find.1.0: http] [dune: ocaml 31] [num: patch] [ocamlfind: patch]
-> retrieved why3.1.7.2 (cached)
Processing 25/64: [terminal_size.0.2.0: extract] [why3find.1.0: http] [dune: ocaml 31] [num: patch] [ocamlfind: patch]
Processing 26/64: [terminal_size.0.2.0: extract] [why3find.1.0: http] [yojson.2.2.2: extract] [dune: ocaml 31] [num: patch] [ocamlfind: patch]
-> retrieved terminal_size.0.2.0 (https://github.com/cryptosense/terminal_size/releases/download/v0.2.0/terminal_size-0.2.0.tbz)
Processing 26/64: [why3find.1.0: http] [yojson.2.2.2: extract] [dune: ocaml 31] [num: patch] [ocamlfind: patch]
Processing 27/64: [why3find.1.0: http] [yojson.2.2.2: extract] [zmq.5.3.0: extract] [dune: ocaml 31] [num: patch] [ocamlfind: patch]
Processing 27/64: [why3find.1.0: extract] [yojson.2.2.2: extract] [zmq.5.3.0: extract] [dune: ocaml 31] [num: patch] [ocamlfind: patch]
Processing 27/64: [why3find.1.0: extract] [yojson.2.2.2: extract] [zmq.5.3.0: extract] [dune: ocaml 31] [num: make opam-legacy] [ocamlfind: patch]
-> retrieved yojson.2.2.2 (cached)
Processing 27/64: [why3find.1.0: extract] [zmq.5.3.0: extract] [dune: ocaml 31] [num: make opam-legacy] [ocamlfind: patch]
-> retrieved why3find.1.0 (https://git.frama-c.com/pub/why3find/-/archive/1.0/why3find-1.0.tar.gz)
Processing 27/64: [zmq.5.3.0: extract] [dune: ocaml 31] [num: make opam-legacy] [ocamlfind: patch]
-> retrieved zmq.5.3.0 (cached)
Processing 27/64: [dune: ocaml 31] [num: make opam-legacy] [ocamlfind: patch]
Processing 27/64: [dune: ocaml 31] [num: make opam-legacy] [ocamlfind: ./configure C:\Users\opam\AppData\Local\opam\default\bin]
+ C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\ocamlfind.1.9.5\./configure "-bindir" "C:\\Users\\opam\\AppData\\Local\\opam\\default\\bin" "-sitelib" "C:\\Users\\opam\\AppData\\Local\\opam\\default\\lib" "-mandir" "C:\\Users\\opam\\AppData\\Local\\opam\\default\\man" "-config" "C:\\Users\\opam\\AppData\\Local\\opam\\default\\lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\ocamlfind.1.9.5)
- Welcome to findlib version 1.9.5
- Configuring core...
- Cygwin build environment found; using .exe as suffix for binaries
- Checking for #remove_directory...
- Testing threading model...
- systhread_supported: true
- Testing DLLs...
- Testing whether ppxopt can be supported...
- Checking for ocamlc -opaque...
- Querying installation: META list not found
- make install will double-check installed META files
- Configuring libraries...
- unix: found
- dynlink: found
- bigarray: found
- compiler-libs: found
- dbm: not present (normal since 4.00)
- graphics: not present (normal since 4.09)
- num: not present (normal since 4.06)
- ocamlbuild: not present (normal since 4.03)
- ocamldoc: found (in +ocamldoc)
- raw_spacetime: not present (normal since 4.12)
- threads: found (in +threads)
- runtime_events: not present
- str: found
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- Configuration for stdlib written to site-lib-src/stdlib/META
- Configuration for unix written to site-lib-src/unix/META
- Configuration for dynlink written to site-lib-src/dynlink/META
- Configuration for bigarray written to site-lib-src/bigarray/META
- Configuration for compiler-libs written to site-lib-src/compiler-libs/META
- Configuration for ocamldoc written to site-lib-src/ocamldoc/META
- Configuration for threads written to site-lib-src/threads/META
- Configuration for str written to site-lib-src/str/META
- Configuration for bytes written to site-lib-src/bytes/META
- Detecting compiler arguments: (extractor built) ok
-
- About the OCAML core installation:
- Standard library: /cygdrive/c/Users/opam/AppData/Local/opam/default/lib/ocaml
- Binaries: /cygdrive/c/Users/opam/AppData/Local/opam/default/bin
- Manual pages: /usr/local/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: C:\Users\opam\AppData\Local\opam\default\lib
- The configuration file is written to:
- findlib config file: C:\Users\opam\AppData\Local\opam\default\lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: C:\Users\opam\AppData\Local\opam\default\bin
- Manual pages: C:\Users\opam\AppData\Local\opam\default\man
- topfind script: /cygdrive/c/Users/opam/AppData/Local/opam/default/lib/ocaml
- Topfind ppxopt support: yes
- Toolbox: no
- Link custom runtime: no
- Need bytes compatibility: no
-
- Configuration has been written to Makefile.config
-
- You can now do 'make all', and optionally 'make opt', to build ocamlfind.
Processing 27/64: [dune: ocaml 31] [num: make opam-legacy] [ocamlfind: make all]
+ C:\cygwin64\bin\make.exe "all" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\ocamlfind.1.9.5)
- for p in findlib; do ( cd src/$p; /usr/bin/make all ) || exit; done
- make[1]: Entering directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlfind.1.9.5/src/findlib'
- ocamllex fl_meta.mll
- 22 states, 392 transitions, table size 1700 bytes
- USE_CYGPATH="1"; \
- export USE_CYGPATH; \
- cat findlib_config.mlp | \
- ../../tools/patch '@CONFIGFILE@' 'C:\Users\opam\AppData\Local\opam\default\lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/cygdrive/c/Users/opam/AppData/Local/opam/default/lib/ocaml' | \
- sed -e 's;@AUTOLINK@;true;g' \
- -e 's;@SYSTEM@;mingw64;g' \
- >findlib_config.ml
- if [ "true" = "true" ]; then \
- cp topfind.ml.in topfind.ml; \
- else \
- sed -e '/PPXOPT_BEGIN/,/PPXOPT_END/ d' topfind.ml.in \
- > topfind.ml ; \
- fi
- ocamldep *.ml *.mli >depend
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c findlib_config.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_split.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metatoken.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_meta.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_metascanner.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metascanner.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_topo.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_topo.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_package_base.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_package_base.ml
- File "fl_package_base.ml", line 304, characters 22-40:
- 304 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 350, characters 18-36:
- 350 | let ancestors = query_requirements predlist package_name in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 375, characters 23-41:
- 375 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 510, characters 16-35:
- 510 | ( let c = package_definitions search_path pkg.package_name in
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label search_path was omitted in the application of this function.
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c findlib.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c findlib.ml
- File "findlib.ml", line 390, characters 2-26:
- 390 | Fl_package_base.requires predlist pkg
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "findlib.ml", line 396, characters 2-33:
- 396 | Fl_package_base.requires_deeply predlist pkglist
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_args.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_lint.ml
- ocamlc -I +compiler-libs -a -o findlib.cma findlib_config.cmo fl_split.cmo fl_metatoken.cmo fl_meta.cmo fl_metascanner.cmo fl_topo.cmo fl_package_base.cmo findlib.cmo fl_args.cmo fl_lint.cmo
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c ocaml_args.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c frontend.ml
- File "frontend.ml", line 859, characters 10-39:
- 859 | Fl_package_base.package_users predicates1 packages1
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlc -I +compiler-libs -o ocamlfind.exe -g findlib.cma unix.cma \
- -I +unix -I +dynlink ocaml_args.cmo frontend.cmo
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c topfind.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c topfind.ml
- File "topfind.ml", line 126, characters 40-63:
- 126 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 256, characters 4-27:
- 256 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 266, characters 4-27:
- 266 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 278, characters 4-27:
- 278 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 291, characters 4-27:
- 291 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 305, characters 4-27:
- 305 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 317, characters 4-27:
- 317 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- ocamlc -I +compiler-libs -a -o findlib_top.cma topfind.cmo
- USE_CYGPATH="1"; \
- export USE_CYGPATH; \
- cat topfind_rd1.p | \
- ../../tools/patch '@SITELIB@' 'C:\Users\opam\AppData\Local\opam\default\lib' \
- >topfind
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_dynload.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_dynload.ml
- ocamlc -I +compiler-libs -a -o findlib_dynload.cma fl_dynload.cmo
- make[1]: Leaving directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlfind.1.9.5/src/findlib'
- /usr/bin/make all-config
- make[1]: Entering directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlfind.1.9.5'
- USE_CYGPATH="1"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' 'C:\Users\opam\AppData\Local\opam\default\lib' >findlib.conf
- if ./tools/cmd_from_same_dir ocamlc; then \
- echo 'ocamlc="ocamlc.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamlopt; then \
- echo 'ocamlopt="ocamlopt.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldep; then \
- echo 'ocamldep="ocamldep.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldoc; then \
- echo 'ocamldoc="ocamldoc.opt"' >>findlib.conf; \
- fi
- make[1]: Leaving directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlfind.1.9.5'
Processing 27/64: [dune: ocaml 31] [num: make opam-legacy] [ocamlfind: make opt]
+ C:\cygwin64\bin\make.exe "PROFILE=release" "opam-legacy" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\num.1.5-1)
- /usr/bin/make -C src all
- make[1]: Entering directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/num.1.5-1/src'
- ocamlc -ccopt -DBNG_ARCH_amd64 -c bng.c
- ocamlc -ccopt -DBNG_ARCH_amd64 -c nat_stubs.c
- ocamlmklib -oc nums bng.o nat_stubs.o
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.ml
- ocamlmklib -o nums -oc nums -linkall int_misc.cmo nat.cmo big_int.cmo arith_flags.cmo ratio.cmo num.cmo arith_status.cmo
- cp ../toplevel/num_top_printers.mli ../toplevel/num_top.mli ../toplevel/num_top_printers.ml ../toplevel/num_top.ml .
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -a -o num_top.cma num_top_printers.cmo num_top.cmo
- echo 'version = "1.6~dev"' > META.top
- cat META.num-top.in >> META.top
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.ml
- ocamlmklib -o nums -oc nums -linkall int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -I . -shared -o nums.cmxs nums.cmxa
- make[1]: Leaving directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/num.1.5-1/src'
- cp src/num-legacy.install num.install
-> compiled num.1.5-1
Processing 27/64: [dune: ocaml 31] [ocamlfind: make opt]
-> installed num.1.5-1
Processing 28/64: [dune: ocaml 31] [ocamlfind: make opt]
+ C:\cygwin64\bin\make.exe "opt" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\ocamlfind.1.9.5)
- for p in findlib; do ( cd src/$p; /usr/bin/make opt ) || exit; done
- make[1]: Entering directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlfind.1.9.5/src/findlib'
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib_config.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_split.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_metatoken.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_meta.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_metascanner.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_topo.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_package_base.ml
- File "fl_package_base.ml", line 304, characters 22-40:
- 304 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 350, characters 18-36:
- 350 | let ancestors = query_requirements predlist package_name in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 375, characters 23-41:
- 375 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 510, characters 16-35:
- 510 | ( let c = package_definitions search_path pkg.package_name in
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label search_path was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib.ml
- File "findlib.ml", line 390, characters 2-26:
- 390 | Fl_package_base.requires predlist pkg
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "findlib.ml", line 396, characters 2-33:
- 396 | Fl_package_base.requires_deeply predlist pkglist
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_args.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_lint.ml
- ocamlopt -I +compiler-libs -g -a -o findlib.cmxa findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib.cmxs findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c ocaml_args.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c frontend.ml
- File "frontend.ml", line 859, characters 10-39:
- 859 | Fl_package_base.package_users predicates1 packages1
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -o ocamlfind_opt.exe findlib.cmxa unix.cmxa \
- -I +unix -I +dynlink ocaml_args.cmx frontend.cmx
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c topfind.ml
- File "topfind.ml", line 126, characters 40-63:
- 126 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 256, characters 4-27:
- 256 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 266, characters 4-27:
- 266 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 278, characters 4-27:
- 278 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 291, characters 4-27:
- 291 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 305, characters 4-27:
- 305 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 317, characters 4-27:
- 317 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- ocamlopt -I +compiler-libs -g -a -o findlib_top.cmxa topfind.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_top.cmxs topfind.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_dynload.ml
- ocamlopt -I +compiler-libs -g -a -o findlib_dynload.cmxa fl_dynload.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_dynload.cmxs fl_dynload.cmx; \
- fi
- make[1]: Leaving directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlfind.1.9.5/src/findlib'
-> compiled ocamlfind.1.9.5
Processing 28/64: [dune: ocaml 31]
Processing 29/64: [dune: ocaml 31] [ocamlfind: make install]
+ C:\cygwin64\bin\make.exe "install" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\ocamlfind.1.9.5)
- if [ "1" -eq 1 ]; then \
- for x in camlp4 dbm graphics labltk num ocamlbuild; do \
- if [ -f "C:\Users\opam\AppData\Local\opam\default\lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "/C:\Users\opam\AppData\Local\opam\default\lib/$x/META"; then \
- rm -f site-lib-src/$x/META; \
- fi; \
- fi; \
- done; \
- test -f "site-lib-src/num/META" || rm -f "site-lib-src/num-top/META"; \
- fi
- grep: /C:\Users\opam\AppData\Local\opam\default\lib/num/META: No such file or directory
- echo 'SITELIB_META =' > Makefile.packages.in
- for x in `ls site-lib-src`; do test ! -f "site-lib-src/$x/META" || echo $x >> Makefile.packages.in; done
- tr '\n' ' ' < Makefile.packages.in > Makefile.packages
- rm Makefile.packages.in
- install -d "C:\Users\opam\AppData\Local\opam\default\bin"
- install -d "C:\Users\opam\AppData\Local\opam\default\man"
- /usr/bin/make install-config
- make[1]: Entering directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlfind.1.9.5'
- install -d "`dirname \"C:\Users\opam\AppData\Local\opam\default\lib/findlib.conf\"`"
- test -f "C:\Users\opam\AppData\Local\opam\default\lib/findlib.conf" || install -c findlib.conf "C:\Users\opam\AppData\Local\opam\default\lib/findlib.conf"
- make[1]: Leaving directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlfind.1.9.5'
- for p in findlib; do ( cd src/$p; /usr/bin/make install ); done
- make[1]: Entering directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlfind.1.9.5/src/findlib'
- install -d "C:\Users\opam\AppData\Local\opam\default\lib/findlib"
- install -d "C:\Users\opam\AppData\Local\opam\default\bin"
- test 1 -eq 0 || install -d "/cygdrive/c/Users/opam/AppData/Local/opam/default/lib/ocaml"
- test 1 -eq 0 || install -c topfind "/cygdrive/c/Users/opam/AppData/Local/opam/default/lib/ocaml/"
- files=` ../../tools/collect_files ../../Makefile.config \
- findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib.a findlib.cmxs \
- findlib_config.cmi findlib_config.ml topfind.cmi topfind.mli \
- fl_args.cmi fl_lint.cmi fl_meta.cmi fl_split.cmi fl_topo.cmi ocaml_args.cmi \
- fl_package_base.mli fl_package_base.cmi fl_metascanner.mli fl_metascanner.cmi \
- fl_metatoken.cmi findlib_top.cma findlib_top.cmxa findlib_top.a findlib_top.cmxs \
- findlib_dynload.cma findlib_dynload.cmxa findlib_dynload.a findlib_dynload.cmxs fl_dynload.mli fl_dynload.cmi \
- META` && \
- install -c $files "C:\Users\opam\AppData\Local\opam\default\lib/findlib/"
- f="ocamlfind.exe"; { test -f ocamlfind_opt.exe && f="ocamlfind_opt.exe"; }; \
- install -c $f "C:\Users\opam\AppData\Local\opam\default\bin/ocamlfind.exe"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/cygdrive/c/Users/opam/AppData/Local/opam/default/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/cygdrive/c/Users/opam/AppData/Local/opam/default/lib/ocaml/compiler-libs/"; \
- install -c topdirs.cmi toploop.cmi "C:\Users\opam\AppData\Local\opam\default\lib/findlib/"; \
- fi
- make[1]: Leaving directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlfind.1.9.5/src/findlib'
- /usr/bin/make install-meta
- make[1]: Entering directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlfind.1.9.5'
- for x in bigarray bytes compiler-libs dynlink ocamldoc stdlib str threads unix ; do install -d "C:\Users\opam\AppData\Local\opam\default\lib/$x"; install -c site-lib-src/$x/META "C:\Users\opam\AppData\Local\opam\default\lib/$x/META.tmp" && mv "C:\Users\opam\AppData\Local\opam\default\lib/$x/META.tmp" "C:\Users\opam\AppData\Local\opam\default\lib/$x/META"; done
- install -d "C:\Users\opam\AppData\Local\opam\default\lib/findlib"; install -c Makefile.packages "C:\Users\opam\AppData\Local\opam\default\lib/findlib/Makefile.packages"
- make[1]: Leaving directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlfind.1.9.5'
- test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; /usr/bin/make install-num-top; }
- test ! -f 'site-lib-src/camlp4/META' || install -c tools/safe_camlp4 "C:\Users\opam\AppData\Local\opam\default\bin"
- /usr/bin/make install-doc
- make[1]: Entering directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlfind.1.9.5'
- install -d "C:\Users\opam\AppData\Local\opam\default\man/man1" "C:\Users\opam\AppData\Local\opam\default\man/man3" "C:\Users\opam\AppData\Local\opam\default\man/man5"
- install -c doc/ref-man/ocamlfind.1 "C:\Users\opam\AppData\Local\opam\default\man/man1"
- install -c doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "C:\Users\opam\AppData\Local\opam\default\man/man5"
- make[1]: Leaving directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlfind.1.9.5'
[WARNING] .install file is missing .exe extension for src/findlib/ocamlfind
[WARNING] .install file is missing .exe extension for src/findlib/ocamlfind_opt
[WARNING] Automatically adding .exe to C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\ocamlfind.1.9.5\src\findlib\ocamlfind.exe
[WARNING] Automatically adding .exe to C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\ocamlfind.1.9.5\src\findlib\ocamlfind_opt.exe
[WARNING] C:\Users\opam\AppData\Local\opam\default\bin\safe_camlp4 is a script; the command won't be available
-> installed ocamlfind.1.9.5
Processing 29/64: [dune: ocaml 31]
+ C:\Users\opam\AppData\Local\opam\default\bin\ocaml.exe "boot/bootstrap.ml" "-j" "31" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\dune.3.16.1)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- .\.duneboot.exe -j 31
-
Processing 29/64: [dune: ./_boot/dune.exe build]
+ C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\dune.3.16.1\./_boot/dune.exe "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "31" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\dune.3.16.1)
-> compiled dune.3.16.1
-> installed dune.3.16.1
Processing 31/64: [csexp: dune build]
Processing 32/64: [csexp: dune build] [menhirCST: dune build]
Processing 33/64: [csexp: dune build] [menhirCST: dune build] [menhirLib: dune build]
Processing 34/64: [csexp: dune build] [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build]
Processing 35/64: [csexp: dune build] [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ordering: rm]
Processing 36/64: [csexp: dune build] [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ordering: rm] [pp: dune build]
Processing 37/64: [csexp: dune build] [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ordering: rm] [pp: dune build] [terminal_size: dune build]
Processing 38/64: [csexp: dune build] [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ordering: rm] [pp: dune build] [terminal_size: dune build] [yojson: dune build]
+ C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "csexp" "-j" "31" "@install" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\csexp.1.5.2)
-> compiled csexp.1.5.2
Processing 38/64: [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ordering: rm] [pp: dune build] [terminal_size: dune build] [yojson: dune build]
-> installed csexp.1.5.2
Processing 39/64: [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ordering: rm] [pp: dune build] [terminal_size: dune build] [yojson: dune build]
Processing 40/64: [dune-configurator: rm] [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ordering: rm] [pp: dune build] [terminal_size: dune build] [yojson: dune build]
+ C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "menhirCST" "-j" "31" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\menhirCST.20240715)
-> compiled menhirCST.20240715
Processing 40/64: [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] [ordering: rm] [pp: dune build] [terminal_size: dune build] [yojson: dune build]
-> installed menhirCST.20240715
Processing 41/64: [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] [ordering: rm] [pp: dune build] [terminal_size: dune build] [yojson: dune build]
+ C:\cygwin64\bin\rm.exe "-rf" "vendor/csexp" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\dune-configurator.3.16.1)
+ C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "menhirLib" "-j" "31" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\menhirLib.20240715)
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
-> compiled menhirLib.20240715
Processing 41/64: [dune-configurator: rm] [menhirSdk: dune build] [ordering: rm] [pp: dune build] [terminal_size: dune build] [yojson: dune build]
-> installed menhirLib.20240715
Processing 42/64: [dune-configurator: rm] [menhirSdk: dune build] [ordering: rm] [pp: dune build] [terminal_size: dune build] [yojson: dune build]
+ C:\cygwin64\bin\rm.exe "-rf" "vendor/pp" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\dune-configurator.3.16.1)
Processing 42/64: [dune-configurator: dune build] [menhirSdk: dune build] [ordering: rm] [pp: dune build] [terminal_size: dune build] [yojson: dune build]
+ C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "menhirSdk" "-j" "31" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\menhirSdk.20240715)
-> compiled menhirSdk.20240715
Processing 42/64: [dune-configurator: dune build] [ordering: rm] [pp: dune build] [terminal_size: dune build] [yojson: dune build]
-> installed menhirSdk.20240715
Processing 43/64: [dune-configurator: dune build] [ordering: rm] [pp: dune build] [terminal_size: dune build] [yojson: dune build]
Processing 44/64: [dune-configurator: dune build] [menhir: dune build] [ordering: rm] [pp: dune build] [terminal_size: dune build] [yojson: dune build]
+ C:\cygwin64\bin\rm.exe "-rf" "vendor/csexp" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\ordering.3.16.1)
+ C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "pp" "-j" "31" "@install" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\pp.1.2.0)
-> compiled pp.1.2.0
Processing 44/64: [dune-configurator: dune build] [menhir: dune build] [ordering: rm] [terminal_size: dune build] [yojson: dune build]
-> installed pp.1.2.0
Processing 45/64: [dune-configurator: dune build] [menhir: dune build] [ordering: rm] [terminal_size: dune build] [yojson: dune build]
+ C:\cygwin64\bin\rm.exe "-rf" "vendor/pp" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\ordering.3.16.1)
Processing 45/64: [dune-configurator: dune build] [menhir: dune build] [ordering: dune build] [terminal_size: dune build] [yojson: dune build]
+ C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "terminal_size" "-j" "31" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\terminal_size.0.2.0)
-> compiled terminal_size.0.2.0
Processing 45/64: [dune-configurator: dune build] [menhir: dune build] [ordering: dune build] [yojson: dune build]
-> installed terminal_size.0.2.0
Processing 46/64: [dune-configurator: dune build] [menhir: dune build] [ordering: dune build] [yojson: dune build]
+ C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "yojson" "-j" "31" "@install" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\yojson.2.2.2)
-> compiled yojson.2.2.2
Processing 46/64: [dune-configurator: dune build] [menhir: dune build] [ordering: dune build]
-> installed yojson.2.2.2
Processing 47/64: [dune-configurator: dune build] [menhir: dune build] [ordering: dune build]
+ C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "ordering" "-j" "31" "@install" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\ordering.3.16.1)
-> compiled ordering.3.16.1
Processing 47/64: [dune-configurator: dune build] [menhir: dune build]
-> installed ordering.3.16.1
Processing 48/64: [dune-configurator: dune build] [menhir: dune build]
Processing 49/64: [dune-configurator: dune build] [dyn: rm] [menhir: dune build]
+ C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "dune-configurator" "-j" "31" "@install" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\dune-configurator.3.16.1)
-> compiled dune-configurator.3.16.1
Processing 49/64: [dyn: rm] [menhir: dune build]
-> installed dune-configurator.3.16.1
Processing 50/64: [dyn: rm] [menhir: dune build]
Processing 51/64: [dyn: rm] [menhir: dune build]
Processing 52/64: [dyn: rm] [menhir: dune build]
+ C:\cygwin64\bin\rm.exe "-rf" "vendor/csexp" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\dyn.3.16.1)
+ C:\cygwin64\bin\rm.exe "-rf" "vendor/pp" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\dyn.3.16.1)
Processing 52/64: [dyn: dune build] [menhir: dune build]
+ C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "dyn" "-j" "31" "@install" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\dyn.3.16.1)
-> compiled dyn.3.16.1
Processing 52/64: [menhir: dune build]
-> installed dyn.3.16.1
Processing 53/64: [menhir: dune build]
Processing 54/64: [menhir: dune build] [stdune: rm]
+ C:\cygwin64\bin\rm.exe "-rf" "vendor/csexp" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\stdune.3.16.1)
+ C:\cygwin64\bin\rm.exe "-rf" "vendor/pp" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\stdune.3.16.1)
Processing 54/64: [menhir: dune build] [stdune: dune build]
+ C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "stdune" "-j" "31" "@install" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\stdune.3.16.1)
-> compiled stdune.3.16.1
Processing 54/64: [menhir: dune build]
-> installed stdune.3.16.1
Processing 55/64: [menhir: dune build]
Processing 56/64: [dune-private-libs: rm] [menhir: dune build]
+ C:\cygwin64\bin\rm.exe "-rf" "vendor/csexp" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\dune-private-libs.3.16.1)
+ C:\cygwin64\bin\rm.exe "-rf" "vendor/pp" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\dune-private-libs.3.16.1)
Processing 56/64: [dune-private-libs: dune build] [menhir: dune build]
+ C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "dune-private-libs" "-j" "31" "@install" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\dune-private-libs.3.16.1)
-> compiled dune-private-libs.3.16.1
Processing 56/64: [menhir: dune build]
-> installed dune-private-libs.3.16.1
Processing 57/64: [menhir: dune build]
Processing 58/64: [dune-site: rm] [menhir: dune build]
+ C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "menhir" "-j" "31" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\menhir.20240715)
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
- (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compare-errors parserMessages.auto.messages --compare-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.check
- Read 99 sample input sentences and 99 error messages.
- Read 99 sample input sentences and 47 error messages.
- (cd _build/default && src/stage2/.bin/menhir --exn-carries-state --no-pager --require-aliases --strict -lg 1 -la 1 -lc 1 -v src/stage2/parser.mly --base src/stage2/parser --infer-read-reply src/stage2/parser__mock.mli.inferred)
- Grammar has 56 nonterminal symbols, among which 1 start symbols.
- Grammar has 37 terminal symbols.
- Grammar has 129 productions.
- Built an LR(0) automaton with 199 states.
- The grammar is not SLR(1) -- 7 states have a conflict.
- The construction mode is no-pager.
- Built an LR(1) automaton with 308 states.
- One shift/reduce conflict was silently solved.
- Extra reductions on error were added in 50 states.
- Priority played a role in 0 of these states.
- 156 out of 308 states have a default reduction.
- 108 out of 308 states are represented.
- 44 out of 96 symbols keep track of their start position.
- 39 out of 96 symbols keep track of their end position.
- The StackLang code contains 4113 instructions in 277 blocks.
- The StackLang code comprises 5 mutually recursive groups.
- (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compile-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.ml
- Read 99 sample input sentences and 47 error messages.
-> compiled menhir.20240715
Processing 58/64: [dune-site: rm]
-> installed menhir.20240715
Processing 59/64: [dune-site: rm]
Processing 60/64: [dune-site: rm] [why3: touch configure]
+ C:\cygwin64\bin\rm.exe "-rf" "vendor/csexp" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\dune-site.3.16.1)
+ C:\cygwin64\bin\touch.exe "configure" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\why3.1.7.2)
Processing 60/64: [dune-site: rm] [why3: ./configure C:\Users\opam\AppData\Local\opam\default]
+ C:\cygwin64\bin\rm.exe "-rf" "vendor/pp" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\dune-site.3.16.1)
Processing 60/64: [dune-site: dune build] [why3: ./configure C:\Users\opam\AppData\Local\opam\default]
+ C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\why3.1.7.2\./configure "--prefix" "C:\\Users\\opam\\AppData\\Local\\opam\\default" "--disable-frama-c" "--disable-coq-libs" "--disable-js-of-ocaml" "--disable-re" "--enable-ocamlfind" "--disable-zarith" "--disable-mpfr" "--disable-zip" "--disable-hypothesis-selection" "--disable-stackify" "--disable-ide" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\why3.1.7.2)
- checking executable suffix... .exe <Cygwin>
- checking for gcc... no
- checking for cc... no
- checking for cl.exe... no
- checking for clang... no
- configure: error: in `/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/why3.1.7.2':
- configure: error: no acceptable C compiler found in $PATH
- See `config.log' for more details
Processing 60/64: [dune-site: dune build]
[ERROR] The compilation of why3.1.7.2 failed at "./configure --prefix C:\\Users\\opam\\AppData\\Local\\opam\\default --disable-frama-c --disable-coq-libs --disable-js-of-ocaml --disable-re --enable-ocamlfind --disable-zarith --disable-mpfr --disable-zip --disable-hypothesis-selection --disable-stackify --disable-ide".
Processing 61/64: [dune-site: dune build]
+ C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "dune-site" "-j" "31" "@install" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\dune-site.3.16.1)
-> compiled dune-site.3.16.1
-> installed dune-site.3.16.1
#=== ERROR while compiling why3.1.7.2 =========================================#
# context 2.3.0~beta1 | win32/x86_64 | ocaml-base-compiler.4.14.2 | file://C:/Users/opam/opam-repository
# path ~\AppData\Local\opam\default\.opam-switch\build\why3.1.7.2
# command ~\AppData\Local\opam\default\.opam-switch\build\why3.1.7.2\./configure --prefix C:\Users\opam\AppData\Local\opam\default --disable-frama-c --disable-coq-libs --disable-js-of-ocaml --disable-re --enable-ocamlfind --disable-zarith --disable-mpfr --disable-zip --disable-hypothesis-selection --disable-stackify --disable-ide
# exit-code 1
# env-file ~\AppData\Local\opam\log\why3-3760-10a571.env
# output-file ~\AppData\Local\opam\log\why3-3760-10a571.out
### output ###
# checking executable suffix... .exe <Cygwin>
# checking for gcc... no
# checking for cc... no
# checking for cl.exe... no
# checking for clang... no
# configure: error: in `/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/why3.1.7.2':
# configure: error: no acceptable C compiler found in $PATH
# See `config.log' for more details
#=== ERROR while compiling conf-zmq.0.1 =======================================#
# context 2.3.0~beta1 | win32/x86_64 | ocaml-base-compiler.4.14.2 | file://C:/Users/opam/opam-repository
# path ~\AppData\Local\opam\default\.opam-switch\build\conf-zmq.0.1
# command C:\cygwin64\bin\sh.exe -c cc test.c $(pkg-config --libs --cflags libzmq)
# exit-code 127
# env-file ~\AppData\Local\opam\log\conf-zmq-3760-954263.env
# output-file ~\AppData\Local\opam\log\conf-zmq-3760-954263.out
### output ###
# Package libzmq was not found in the pkg-config search path.
# Perhaps you should add the directory containing `libzmq.pc'
# to the PKG_CONFIG_PATH environment variable
# Package 'libzmq' not found
# /usr/bin/sh: line 1: cc: command not found
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions were aborted
| - install why3find 1.0
| - install zmq 5.3.0
+-
+- The following actions failed
| - build conf-zmq 0.1
| - build why3 1.7.2
+-
+- The following changes have been performed (the rest was aborted)
| - recompile mingw-w64-shims 0.2.0
| - install conf-pkg-config 3
| - install csexp 1.5.2
| - install dune 3.16.1
| - install dune-configurator 3.16.1
| - install dune-private-libs 3.16.1
| - install dune-site 3.16.1
| - install dyn 3.16.1
| - install menhir 20240715
| - install menhirCST 20240715
| - install menhirLib 20240715
| - install menhirSdk 20240715
| - install num 1.5-1
| - install ocamlfind 1.9.5
| - install ordering 3.16.1
| - install pp 1.2.0
| - install seq base
| - install stdune 3.16.1
| - install terminal_size 0.2.0
| - install yojson 2.2.2
+-
# To update the current shell environment, run: eval $(opam env)
The former state can be restored with:
C:\cygwin64\bin\opam.exe switch import "C:\\Users\\opam\\AppData\\Local\\opam\\default\\.opam-switch\\backup\\state-20241112011138.export"
'C:\cygwin64\bin\opam.exe install -vy why3find.1.0' failed.
"
opam remove -y "why3find.1.0"
opam install -vy "why3find.1.0"
res=$?
if [ $res = 31 ]; then
if opam show -f x-ci-accept-failures: "why3find.1.0" | grep -q '"windows-server-2022-amd64-ocaml-4.14.2"'; 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