Building on odawa (from windows-server-2022-amd64-ocaml-4.14.2) 2024-11-12 00:41.56 ---> 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 00:41.56 ---> 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 00:41.56 ---> 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 00:41.56 ---> 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 00:41.56 ---> using "ae60b92c2a5a4da67e8935d52ddeae392cd8745a47ba71ee33b6f19f5c2bd60f" from cache /: (run (network host) (shell "opam update --depexts")) 2024-11-12 00:41.56 ---> using "79f391d910b12f0453cbe8a949bb8e140683a166720331d05045e2d73e88ecc9" from cache /: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\Local\\opam\\download-cache"))) (network host) (shell "\ \nopam remove -y \"touist.3.5.0\"\ \nopam install -vy \"touist.3.5.0\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"touist.3.5.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] touist.3.5.0 is not installed. The following actions will be performed: === install 11 packages - install cmdliner 1.3.0 [required by touist] - install dune 3.16.1 [required by minisat, menhir, re] - install jbuilder 1.0+beta20.2 [required by touist] - install menhir 20240715 [required by touist] - install menhirCST 20240715 [required by menhir] - install menhirLib 20240715 [required by menhir] - install menhirSdk 20240715 [required by menhir] - install minisat 0.5 [required by touist] - install re 1.12.0 [required by touist] - install seq base [required by re] - install touist 3.5.0 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/30: [cmdliner.1.3.0: extract] Processing 2/30: [cmdliner.1.3.0: extract] [dune.3.16.1: extract] Processing 3/30: [cmdliner.1.3.0: extract] [dune.3.16.1: extract] [jbuilder.1.0+beta20.2: extract] -> retrieved cmdliner.1.3.0 (cached) Processing 3/30: [dune.3.16.1: extract] [jbuilder.1.0+beta20.2: extract] Processing 4/30: [dune.3.16.1: extract] [jbuilder.1.0+beta20.2: extract] [menhir.20240715 + 3 others: extract] Processing 5/30: [dune.3.16.1: extract] [jbuilder.1.0+beta20.2: extract] [menhir.20240715 + 3 others: extract] [cmdliner: make all] -> retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715 (cached) Processing 5/30: [dune.3.16.1: extract] [jbuilder.1.0+beta20.2: extract] [cmdliner: make all] Processing 6/30: [dune.3.16.1: extract] [jbuilder.1.0+beta20.2: extract] [minisat.0.5: http] [cmdliner: make all] -> retrieved jbuilder.1.0+beta20.2 (cached) Processing 6/30: [dune.3.16.1: extract] [minisat.0.5: http] [cmdliner: make all] Processing 7/30: [dune.3.16.1: extract] [minisat.0.5: http] [re.1.12.0: extract] [cmdliner: make all] Processing 8/30: [dune.3.16.1: extract] [minisat.0.5: http] [re.1.12.0: extract] [cmdliner: make all] [jbuilder: ocaml configure.ml] -> retrieved dune.3.16.1 (cached) Processing 8/30: [minisat.0.5: http] [re.1.12.0: extract] [cmdliner: make all] [jbuilder: ocaml configure.ml] -> retrieved seq.base (cached) Processing 9/30: [minisat.0.5: http] [re.1.12.0: extract] [cmdliner: make all] [jbuilder: ocaml configure.ml] Processing 10/30: [minisat.0.5: http] [re.1.12.0: extract] [touist.3.5.0: http] [cmdliner: make all] [jbuilder: ocaml configure.ml] Processing 11/30: [minisat.0.5: http] [re.1.12.0: extract] [touist.3.5.0: http] [cmdliner: make all] [dune: ocaml 31] [jbuilder: ocaml configure.ml] Processing 12/30: [minisat.0.5: http] [re.1.12.0: extract] [touist.3.5.0: http] [cmdliner: make all] [dune: ocaml 31] [jbuilder: ocaml configure.ml] -> installed seq.base Processing 13/30: [minisat.0.5: http] [re.1.12.0: extract] [touist.3.5.0: http] [cmdliner: make all] [dune: ocaml 31] [jbuilder: ocaml configure.ml] Processing 13/30: [minisat.0.5: extract] [re.1.12.0: extract] [touist.3.5.0: http] [cmdliner: make all] [dune: ocaml 31] [jbuilder: ocaml configure.ml] -> retrieved re.1.12.0 (cached) Processing 13/30: [minisat.0.5: extract] [touist.3.5.0: http] [cmdliner: make all] [dune: ocaml 31] [jbuilder: ocaml configure.ml] [WARNING] Warning: cannot copy C:\Users\opam\AppData\Local\Temp\opam-3672-aa096a\ocaml-minisat-0.5\src\minisat-C-1.14.1 to C:\Users\opam\AppData\Local\opam\default\.opam-switch\sources\minisat.0.5\src -> retrieved minisat.0.5 (https://github.com/c-cube/ocaml-minisat/archive/v0.5.tar.gz) Processing 13/30: [touist.3.5.0: http] [cmdliner: make all] [dune: ocaml 31] [jbuilder: ocaml configure.ml] Processing 13/30: [touist.3.5.0: extract] [cmdliner: make all] [dune: ocaml 31] [jbuilder: ocaml configure.ml] + C:\cygwin64\bin\make.exe "all" "PREFIX=C:\\Users\\opam\\AppData\\Local\\opam\\default" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\cmdliner.1.3.0) - ocaml build.ml cma - ocaml build.ml cmxa - ocaml build.ml cmxs -> compiled cmdliner.1.3.0 Processing 13/30: [touist.3.5.0: extract] [dune: ocaml 31] [jbuilder: ocaml configure.ml] Processing 14/30: [touist.3.5.0: extract] [dune: ocaml 31] [jbuilder: ocaml configure.ml] [cmdliner: make install] -> retrieved touist.3.5.0 (https://github.com/touist/touist/archive/v3.5.0.tar.gz) Processing 14/30: [dune: ocaml 31] [jbuilder: ocaml configure.ml] [cmdliner: make install] + C:\Users\opam\AppData\Local\opam\default\bin\ocaml.exe "configure.ml" "--libdir" "C:\\Users\\opam\\AppData\\Local\\opam\\default\\lib" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\jbuilder.1.0+beta20.2) Processing 14/30: [dune: ocaml 31] [jbuilder: ocaml bootstrap.ml] [cmdliner: make install] + C:\cygwin64\bin\make.exe "install" "LIBDIR=C:\\Users\\opam\\AppData\\Local\\opam\\default\\lib\\cmdliner" "DOCDIR=C:\\Users\\opam\\AppData\\Local\\opam\\default\\doc\\cmdliner" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\cmdliner.1.3.0) - install -d "C:\Users\opam\AppData\Local\opam\default\lib\cmdliner" - install pkg/META _build/cmdliner.mli _build/cmdliner.cmi _build/cmdliner.cmti "C:\Users\opam\AppData\Local\opam\default\lib\cmdliner" - install cmdliner.opam "C:\Users\opam\AppData\Local\opam\default\lib\cmdliner/opam" - install _build/cmdliner.cma "C:\Users\opam\AppData\Local\opam\default\lib\cmdliner" - install _build/cmdliner.cmxa _build/cmdliner.a _build/cmdliner.cmx _build/cmdliner_arg.cmx _build/cmdliner_base.cmx _build/cmdliner_cline.cmx _build/cmdliner_cmd.cmx _build/cmdliner_docgen.cmx _build/cmdliner_eval.cmx _build/cmdliner_exit.cmx _build/cmdliner_info.cmx _build/cmdliner_manpage.cmx _build/cmdliner_msg.cmx _build/cmdliner_term.cmx _build/cmdliner_term_deprecated.cmx _build/cmdliner_trie.cmx \ - "C:\Users\opam\AppData\Local\opam\default\lib\cmdliner" - install _build/cmdliner.cmxs "C:\Users\opam\AppData\Local\opam\default\lib\cmdliner" Processing 14/30: [dune: ocaml 31] [jbuilder: ocaml bootstrap.ml] [cmdliner: make install-doc] + C:\cygwin64\bin\make.exe "install-doc" "LIBDIR=C:\\Users\\opam\\AppData\\Local\\opam\\default\\lib\\cmdliner" "DOCDIR=C:\\Users\\opam\\AppData\\Local\\opam\\default\\doc\\cmdliner" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\cmdliner.1.3.0) - install -d "C:\Users\opam\AppData\Local\opam\default\doc\cmdliner/odoc-pages" - install CHANGES.md LICENSE.md README.md "C:\Users\opam\AppData\Local\opam\default\doc\cmdliner" - install doc/index.mld doc/cli.mld doc/examples.mld doc/tutorial.mld \ - doc/tool_man.mld "C:\Users\opam\AppData\Local\opam\default\doc\cmdliner/odoc-pages" -> installed cmdliner.1.3.0 Processing 14/30: [dune: ocaml 31] [jbuilder: ocaml bootstrap.ml] + C:\Users\opam\AppData\Local\opam\default\bin\ocaml.exe "bootstrap.ml" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\jbuilder.1.0+beta20.2) - File ".\bootstrap.ml", line 185, characters 29-41: - 185 | let base, ext = String.break base i in - ^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label pos was omitted in the application of this function. - File ".\bootstrap.ml", line 190, characters 28-40: - 190 | let a, b = String.break ext i in - ^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label pos was omitted in the application of this function. - "C:\Users\opam\AppData\Local\opam\default\bin\ocamllex.opt.exe" -q src\meta_lexer.mll - "C:\Users\opam\AppData\Local\opam\default\bin\ocamldep.opt.exe" -modules src\action.ml src\action_intf.ml src\arg_spec.ml src\artifacts.ml src\bin.ml src\binary_kind.ml src\build.ml src\build_interpret.ml src\build_system.ml src\clflags.ml src\cm_kind.ml src\colors.ml src\config.ml src\context.ml src\dep_path.ml src\env.ml src\errors.ml src\exe.ml src\file_tree.ml src\findlib.ml src\gen_meta.ml src\gen_rules.ml src\glob_lexer.boot.ml src\import.ml src\inline_tests.ml src\install.ml src\install_rules.ml src\installed_dune_file.ml src\interned.ml src\jbuild.ml src\jbuild_load.ml vendor/boot\jbuilder_opam_file_format.ml vendor/boot\jbuilder_re.ml src\js_of_ocaml_rules.ml src\lib.ml src\loc.ml src\log.ml src\main.ml src\menhir.ml src\merlin.ml src\meta.ml src\meta_lexer.ml src\ml_kind.ml src\mode.ml src\module.ml src\module_compilation.ml src\modules_partitioner.ml src\ocaml_flags.ml src\ocamldep.ml src\odoc.boot.ml src\opam_file.ml src\ordered_set_lang.ml src\package.ml src\path.ml src\per_item.ml src\preprocessing.ml src\print_diff.ml src\process.ml src\report_error.ml src\scheduler.ml src\scope.ml src\setup.boot.ml src\sexp.ml src\string_with_vars.ml src\sub_system.ml src\sub_system_intf.ml src\sub_system_name.ml src\super_context.ml src\syntax.ml src\top_closure.ml src\utils.ml src\utop.ml src\variant.ml src\vfile_kind.ml src\watermarks.ml src\workspace.ml > boot-depends.txt - "C:\Users\opam\AppData\Local\opam\default\bin\ocamldep.opt.exe" -modules src/stdune/caml\caml.ml src/stdune/caml\result.ml src/stdune/caml\result_compat.ml > boot-depends.txt - "C:\Users\opam\AppData\Local\opam\default\bin\ocamldep.opt.exe" -modules src/fiber\fiber.ml > boot-depends.txt - "C:\Users\opam\AppData\Local\opam\default\bin\ocamldep.opt.exe" -modules src/ocaml-config\ocaml_config.ml > boot-depends.txt - "C:\Users\opam\AppData\Local\opam\default\bin\ocamldep.opt.exe" -modules src/stdune\stdune.ml src/stdune\ansi_color.ml src/stdune\array.ml src/stdune\char.ml src/stdune\common.ml src/stdune\comparable.ml src/stdune\either.ml src/stdune\exn.ml src/stdune\filename.ml src/stdune\hashtbl.ml src/stdune\import.ml src/stdune\int.ml src/stdune\io.ml src/stdune\list.ml src/stdune\map.ml src/stdune\map_intf.ml src/stdune\option.ml src/stdune\or_exn.ml src/stdune\ordering.ml src/stdune\pp.ml src/stdune\result.ml src/stdune\set.ml src/stdune\set_intf.ml src/stdune\staged.ml src/stdune\string.ml > boot-depends.txt - "C:\Users\opam\AppData\Local\opam\default\bin\ocamldep.opt.exe" -modules src/usexp\usexp.ml src/usexp\parser_automaton_internal.ml src/usexp\sexp_ast.ml src/usexp\table.ml > boot-depends.txt - "C:\Users\opam\AppData\Local\opam\default\bin\ocamldep.opt.exe" -modules src/xdg\xdg.ml > boot-depends.txt - "C:\Users\opam\AppData\Local\opam\default\bin\ocamlc.opt.exe" -g -w -40 -o boot.exe unix.cma boot.ml - File "src/stdune/caml\\result.ml", line 4, characters 7-17: - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "src/stdune/caml\\result.mli", line 6, characters 7-17: - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "src/stdune\\pp.ml", line 98, characters 7-18: - Alert deprecated: Stdlib.Format.pp_open_tag - Use Format.pp_open_stag. - File "src/stdune\\pp.ml", line 100, characters 7-19: - Alert deprecated: Stdlib.Format.pp_close_tag - Use Format.pp_close_stag. - File "src/stdune\\pp.ml", line 103, characters 18-48: - Alert deprecated: Stdlib.Format.pp_get_formatter_tag_functions - Use Format.pp_get_formatter_stag_functions. - File "src/stdune\\pp.ml", line 105, characters 6-36: - Alert deprecated: Stdlib.Format.pp_set_formatter_tag_functions - This function will erase non-string tag formatting functions. Use Format.pp_set_formatter_stag_functions. - File "src/stdune\\io.ml", line 1, characters 11-21: - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "src/usexp\\usexp.ml", line 209, characters 15-52: - Alert deprecated: Stdlib.Format.pp_get_formatter_tag_functions - Use Format.pp_get_formatter_stag_functions. - File "src/usexp\\usexp.ml", line 210, characters 2-39: - Alert deprecated: Stdlib.Format.pp_set_formatter_tag_functions - This function will erase non-string tag formatting functions. Use Format.pp_set_formatter_stag_functions. - File "src\\colors.ml", line 105, characters 18-48: - Alert deprecated: Stdlib.Format.pp_get_formatter_tag_functions - Use Format.pp_get_formatter_stag_functions. - File "src\\colors.ml", line 107, characters 6-36: - Alert deprecated: Stdlib.Format.pp_set_formatter_tag_functions - This function will erase non-string tag formatting functions. Use Format.pp_set_formatter_stag_functions. - File "src\\super_context.ml", line 72, characters 7-11: - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. Processing 14/30: [dune: ocaml 31] [jbuilder: ./boot.exe 31] + C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\jbuilder.1.0+beta20.2\./boot.exe "-j" "31" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\jbuilder.1.0+beta20.2) - ocamlc src/stdune/caml/.caml.objs/caml__Result.{cmi,cmti} - File "src/stdune/caml/result.mli", line 6, characters 7-17: - 6 | open Pervasives - ^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - ocamlopt src/stdune/caml/.caml.objs/caml__Result.{cmx,o} - File "src/stdune/caml/result.ml", line 4, characters 7-17: - 4 | open Pervasives - ^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - ocamlopt src/stdune/.stdune.objs/stdune__Io.{cmx,o} - File "src/stdune/io.ml", line 1, characters 11-21: - 1 | module P = Pervasives - ^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - ocamlopt src/stdune/.stdune.objs/stdune__Pp.{cmx,o} - File "src/stdune/pp.ml", line 98, characters 7-18: - 98 | pp_open_tag ppf (embed_tag ~opening ~closing); - ^^^^^^^^^^^ - Alert deprecated: Stdlib.Format.pp_open_tag - Use Format.pp_open_stag. - File "src/stdune/pp.ml", line 100, characters 7-19: - 100 | pp_close_tag ppf () - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Format.pp_close_tag - Use Format.pp_close_stag. - File "src/stdune/pp.ml", line 103, characters 18-48: - 103 | let funcs = pp_get_formatter_tag_functions ppf () in - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.Format.pp_get_formatter_tag_functions - Use Format.pp_get_formatter_stag_functions. - File "src/stdune/pp.ml", line 105, characters 6-36: - 105 | pp_set_formatter_tag_functions ppf - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.Format.pp_set_formatter_tag_functions - This function will erase non-string tag formatting functions. Use Format.pp_set_formatter_stag_functions. - ocamlopt src/usexp/.usexp.objs/usexp.{cmx,o} - File "src/usexp/usexp.ml", line 209, characters 15-52: - 209 | let tfuncs = Format.pp_get_formatter_tag_functions ppf () in - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.Format.pp_get_formatter_tag_functions - Use Format.pp_get_formatter_stag_functions. - File "src/usexp/usexp.ml", line 210, characters 2-39: - 210 | Format.pp_set_formatter_tag_functions ppf - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.Format.pp_set_formatter_tag_functions - This function will erase non-string tag formatting functions. Use Format.pp_set_formatter_stag_functions. - ocamlopt src/.jbuilder.objs/jbuilder__Colors.{cmx,o} - File "src/colors.ml", line 105, characters 18-48: - 105 | let funcs = pp_get_formatter_tag_functions ppf () in - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.Format.pp_get_formatter_tag_functions - Use Format.pp_get_formatter_stag_functions. - File "src/colors.ml", line 107, characters 6-36: - 107 | pp_set_formatter_tag_functions ppf - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.Format.pp_set_formatter_tag_functions - This function will erase non-string tag formatting functions. Use Format.pp_set_formatter_stag_functions. - ocamlopt src/.jbuilder.objs/jbuilder__Super_context.{cmx,o} - File "src/super_context.ml", line 72, characters 7-11: - 72 | ?host - ^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. -> compiled jbuilder.1.0+beta20.2 Processing 14/30: [dune: ocaml 31] -> installed jbuilder.1.0+beta20.2 Processing 15/30: [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 15/30: [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 17/30: [menhirCST: dune build] Processing 18/30: [menhirCST: dune build] [menhirLib: dune build] Processing 19/30: [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] Processing 20/30: [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] [minisat: dune build] Processing 21/30: [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] [minisat: dune build] [re: 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 21/30: [menhirLib: dune build] [menhirSdk: dune build] [minisat: dune build] [re: dune build] -> installed menhirCST.20240715 Processing 22/30: [menhirLib: dune build] [menhirSdk: dune build] [minisat: dune build] [re: 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 22/30: [menhirLib: dune build] [minisat: dune build] [re: dune build] -> installed menhirSdk.20240715 Processing 23/30: [menhirLib: dune build] [minisat: dune build] [re: dune build] + 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 23/30: [minisat: dune build] [re: dune build] -> installed menhirLib.20240715 Processing 24/30: [minisat: dune build] [re: dune build] Processing 25/30: [menhir: dune build] [minisat: dune build] [re: dune build] + C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "minisat" "-j" "31" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\minisat.0.5) - (cd _build/default/src && C:\Users\opam\AppData\Local\opam\default\bin\x86_64-w64-mingw32-gcc.exe -O2 -fno-strict-aliasing -fwrapv -mms-bitfields -fPIC -std=c99 -g -I C:/Users/opam/AppData/Local/opam/default/lib/ocaml -o solver.o -c solver.c) - solver.c: In function 'clause_from_lit': - solver.c:97:10: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] - 97 | return (clause *)((unsigned long)l + (unsigned long)l + 1); - | ^ - solver.c: In function 'clause_is_lit': - solver.c:99:41: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] - 99 | bool clause_is_lit(clause *c) { return ((unsigned long)c & 1); } - | ^ - solver.c: In function 'clause_read_lit': - solver.c:100:47: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] - 100 | lit clause_read_lit(clause *c) { return (lit)((unsigned long)c >> 1); } - | ^ - In file included from solver.c:24: - solver.c: In function 'clause_new': - solver.c:279:11: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] - 279 | assert(((unsigned long)c & 1) == 0); - | ^ -> compiled minisat.0.5 Processing 25/30: [menhir: dune build] [re: dune build] -> installed minisat.0.5 Processing 26/30: [menhir: dune build] [re: dune build] + C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "re" "-j" "31" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\re.1.12.0) -> compiled re.1.12.0 Processing 26/30: [menhir: dune build] -> installed re.1.12.0 Processing 27/30: [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 -> installed menhir.20240715 Processing 29/30: [touist: jbuilder build] + C:\Users\opam\AppData\Local\opam\default\bin\jbuilder.exe "build" "-p" "touist" "-j" "31" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\touist.3.5.0) - menhir src/lib/parserMsgs.ml - File "parser.mly", line 143, characters 0-10: - Warning: symbol comma_list(expr_smt) is unreachable from any of the start symbol(s). - Warning: 7 states have shift/reduce conflicts. - Warning: 17 shift/reduce conflicts were arbitrarily resolved. - Read 302 sample input sentences and 93 error messages. - menhir src/lib/parser.{ml,mli} - File "parser.mly", line 143, characters 0-10: - Warning: symbol comma_list(expr_smt) is unreachable from any of the start symbol(s). - Warning: 7 states have shift/reduce conflicts. - Warning: 17 shift/reduce conflicts were arbitrarily resolved. - ocamlc src/lib/.touist.objs/touist__Err.{cmo,cmt} - File "src/lib/err.ml", line 31, characters 2-8: - 31 | Re_str.(global_replace (regexp pattern) replacement text) - ^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 63, characters 13-34: - 63 | let text = Re_str.global_replace (Re_str.regexp "\\\\n") "\n" text in - ^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 63, characters 36-49: - 63 | let text = Re_str.global_replace (Re_str.regexp "\\\\n") "\n" text in - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 64, characters 13-34: - 64 | let text = Re_str.global_replace (Re_str.regexp "\\\\t") "\t" text in - ^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 64, characters 36-49: - 64 | let text = Re_str.global_replace (Re_str.regexp "\\\\t") "\t" text in - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 67, characters 21-42: - 67 | let next_pos = Re_str.search_forward (Re_str.regexp "%[a-zA-Z]") text cur_pos in - ^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 67, characters 44-57: - 67 | let next_pos = Re_str.search_forward (Re_str.regexp "%[a-zA-Z]") text cur_pos in - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 74, characters 19-40: - 74 | then Re_str.search_forward (Re_str.regexp "%[^flcLCbB]") text 0 else 0) - ^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 74, characters 42-55: - 74 | then Re_str.search_forward (Re_str.regexp "%[^flcLCbB]") text 0 else 0) - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 83, characters 26-47: - 83 | let cur_indent = try (Re_str.search_forward (Re_str.regexp "[^ ]") text from_pos)-from_pos - ^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 83, characters 49-62: - 83 | let cur_indent = try (Re_str.search_forward (Re_str.regexp "[^ ]") text from_pos)-from_pos - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 87, characters 12-33: - 87 | try Re_str.search_forward (Re_str.regexp "\n") text from_pos - ^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 87, characters 35-48: - 87 | try Re_str.search_forward (Re_str.regexp "\n") text from_pos - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 102, characters 27-49: - 102 | let last_space = try Re_str.search_backward (Re_str.regexp "\\( \\|: \\|, \\|. \\)") text wrap_pos with Not_found -> wrap_pos in - ^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 102, characters 51-64: - 102 | let last_space = try Re_str.search_backward (Re_str.regexp "\\( \\|: \\|, \\|. \\)") text wrap_pos with Not_found -> wrap_pos in - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 110, characters 4-28: - 110 | Re_str.global_substitute (Re_str.regexp "`\\([^`]+\\)`") (fun s -> "`"^ colorize (Re_str.matched_group 1 s) ^"`") text in - ^^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 110, characters 30-43: - 110 | Re_str.global_substitute (Re_str.regexp "`\\([^`]+\\)`") (fun s -> "`"^ colorize (Re_str.matched_group 1 s) ^"`") text in - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 110, characters 86-106: - 110 | Re_str.global_substitute (Re_str.regexp "`\\([^`]+\\)`") (fun s -> "`"^ colorize (Re_str.matched_group 1 s) ^"`") text in - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 112, characters 4-28: - 112 | Re_str.global_substitute (Re_str.regexp "'\\([^']*\\)'") (fun s -> - ^^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 112, characters 30-43: - 112 | Re_str.global_substitute (Re_str.regexp "'\\([^']*\\)'") (fun s -> - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 113, characters 17-37: - 113 | let s = (Re_str.matched_group 1 s) in - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 116, characters 4-28: - 116 | Re_str.global_substitute (Re_str.regexp "^\\( +.*\\)$") (fun s -> colorize (Re_str.matched_group 1 s)) text in - ^^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 116, characters 30-43: - 116 | Re_str.global_substitute (Re_str.regexp "^\\( +.*\\)$") (fun s -> colorize (Re_str.matched_group 1 s)) text in - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 116, characters 83-103: - 116 | Re_str.global_substitute (Re_str.regexp "^\\( +.*\\)$") (fun s -> colorize (Re_str.matched_group 1 s)) text in - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 121, characters 7-30: - 121 | in Re_str.substitute_first (Re_str.regexp "\\(error\\|warning\\)") (fun s -> colorize (Re_str.matched_group 1 s)) text in - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 121, characters 32-45: - 121 | in Re_str.substitute_first (Re_str.regexp "\\(error\\|warning\\)") (fun s -> colorize (Re_str.matched_group 1 s)) text in - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 121, characters 91-111: - 121 | in Re_str.substitute_first (Re_str.regexp "\\(error\\|warning\\)") (fun s -> colorize (Re_str.matched_group 1 s)) text in - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - ocamlc src/lib/.touist.objs/touist__Types.{cmo,cmt} - File "src/lib/types.ml", line 133, characters 26-44: - 133 | | Int x, Int y -> Pervasives.compare x y - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "src/lib/types.ml", line 134, characters 30-48: - 134 | | Float x, Float y -> Pervasives.compare x y - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "src/lib/types.ml", line 135, characters 28-46: - 135 | | Prop x, Prop y -> Pervasives.compare x y - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "src/lib/types.ml", line 136, characters 26-44: - 136 | | Set x, Set y -> Pervasives.compare x y - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - ocamlc src/lib/.touist.objs/touist__ParserReport.{cmi,cmo,cmt} - File "src/lib/parserReport.ml", line 137, characters 2-23: - 137 | Re_str.global_replace (Re_str.regexp "[ \t\n\r]+") " " text - ^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/parserReport.ml", line 137, characters 25-38: - 137 | Re_str.global_replace (Re_str.regexp "[ \t\n\r]+") " " text - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/parserReport.ml", line 245, characters 27-47: - 245 | let i = int_of_string (Re_str.matched_group 1 message) in - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/parserReport.ml", line 258, characters 2-26: - 258 | Re_str.global_substitute - ^^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/parserReport.ml", line 259, characters 5-18: - 259 | (Re_str.regexp "\\$\\([0-9]+\\)") - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - ocamlc src/lib/.touist.objs/touist__Latex.{cmo,cmt} - File "src/lib/latex.ml", line 119, characters 4-25: - 119 | Re_str.global_replace (Re_str.regexp "_") "\\\\_" txt - ^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/latex.ml", line 119, characters 27-40: - 119 | Re_str.global_replace (Re_str.regexp "_") "\\\\_" txt - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - ocamlc src/lib/.touist.objs/touist__SatSolve.{cmo,cmt} - File "src/lib/satSolve.ml", line 33, characters 22-40: - 33 | let compare l1 l2 = Pervasives.compare l1 l2 - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - ocamlopt src/lib/.touist.objs/touist__Err.{cmx,o} - File "src/lib/err.ml", line 31, characters 2-8: - 31 | Re_str.(global_replace (regexp pattern) replacement text) - ^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 63, characters 13-34: - 63 | let text = Re_str.global_replace (Re_str.regexp "\\\\n") "\n" text in - ^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 63, characters 36-49: - 63 | let text = Re_str.global_replace (Re_str.regexp "\\\\n") "\n" text in - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 64, characters 13-34: - 64 | let text = Re_str.global_replace (Re_str.regexp "\\\\t") "\t" text in - ^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 64, characters 36-49: - 64 | let text = Re_str.global_replace (Re_str.regexp "\\\\t") "\t" text in - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 67, characters 21-42: - 67 | let next_pos = Re_str.search_forward (Re_str.regexp "%[a-zA-Z]") text cur_pos in - ^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 67, characters 44-57: - 67 | let next_pos = Re_str.search_forward (Re_str.regexp "%[a-zA-Z]") text cur_pos in - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 74, characters 19-40: - 74 | then Re_str.search_forward (Re_str.regexp "%[^flcLCbB]") text 0 else 0) - ^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 74, characters 42-55: - 74 | then Re_str.search_forward (Re_str.regexp "%[^flcLCbB]") text 0 else 0) - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 83, characters 26-47: - 83 | let cur_indent = try (Re_str.search_forward (Re_str.regexp "[^ ]") text from_pos)-from_pos - ^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 83, characters 49-62: - 83 | let cur_indent = try (Re_str.search_forward (Re_str.regexp "[^ ]") text from_pos)-from_pos - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 87, characters 12-33: - 87 | try Re_str.search_forward (Re_str.regexp "\n") text from_pos - ^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 87, characters 35-48: - 87 | try Re_str.search_forward (Re_str.regexp "\n") text from_pos - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 102, characters 27-49: - 102 | let last_space = try Re_str.search_backward (Re_str.regexp "\\( \\|: \\|, \\|. \\)") text wrap_pos with Not_found -> wrap_pos in - ^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 102, characters 51-64: - 102 | let last_space = try Re_str.search_backward (Re_str.regexp "\\( \\|: \\|, \\|. \\)") text wrap_pos with Not_found -> wrap_pos in - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 110, characters 4-28: - 110 | Re_str.global_substitute (Re_str.regexp "`\\([^`]+\\)`") (fun s -> "`"^ colorize (Re_str.matched_group 1 s) ^"`") text in - ^^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 110, characters 30-43: - 110 | Re_str.global_substitute (Re_str.regexp "`\\([^`]+\\)`") (fun s -> "`"^ colorize (Re_str.matched_group 1 s) ^"`") text in - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 110, characters 86-106: - 110 | Re_str.global_substitute (Re_str.regexp "`\\([^`]+\\)`") (fun s -> "`"^ colorize (Re_str.matched_group 1 s) ^"`") text in - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 112, characters 4-28: - 112 | Re_str.global_substitute (Re_str.regexp "'\\([^']*\\)'") (fun s -> - ^^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 112, characters 30-43: - 112 | Re_str.global_substitute (Re_str.regexp "'\\([^']*\\)'") (fun s -> - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 113, characters 17-37: - 113 | let s = (Re_str.matched_group 1 s) in - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 116, characters 4-28: - 116 | Re_str.global_substitute (Re_str.regexp "^\\( +.*\\)$") (fun s -> colorize (Re_str.matched_group 1 s)) text in - ^^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 116, characters 30-43: - 116 | Re_str.global_substitute (Re_str.regexp "^\\( +.*\\)$") (fun s -> colorize (Re_str.matched_group 1 s)) text in - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 116, characters 83-103: - 116 | Re_str.global_substitute (Re_str.regexp "^\\( +.*\\)$") (fun s -> colorize (Re_str.matched_group 1 s)) text in - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 121, characters 7-30: - 121 | in Re_str.substitute_first (Re_str.regexp "\\(error\\|warning\\)") (fun s -> colorize (Re_str.matched_group 1 s)) text in - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 121, characters 32-45: - 121 | in Re_str.substitute_first (Re_str.regexp "\\(error\\|warning\\)") (fun s -> colorize (Re_str.matched_group 1 s)) text in - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/err.ml", line 121, characters 91-111: - 121 | in Re_str.substitute_first (Re_str.regexp "\\(error\\|warning\\)") (fun s -> colorize (Re_str.matched_group 1 s)) text in - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - ocamlc src/lib/.touist.objs/touist__Qbf.{cmo,cmt} - File "src/lib/qbf.ml", line 6, characters 11-17: - 6 | let open Re_str in - ^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/qbf.ml", line 7, characters 14-36: - 7 | try let _ = Re_str.search_backward (Re_str.regexp "_[0-9]+$") name (String.length name) in (); - ^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/qbf.ml", line 7, characters 38-51: - 7 | try let _ = Re_str.search_backward (Re_str.regexp "_[0-9]+$") name (String.length name) in (); - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/qbf.ml", line 8, characters 14-37: - 8 | name |> Re_str.substitute_first (Re_str.regexp "[0-9]+$") - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/qbf.ml", line 8, characters 39-52: - 8 | name |> Re_str.substitute_first (Re_str.regexp "[0-9]+$") - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - ocamlopt src/lib/.touist.objs/touist__Types.{cmx,o} - File "src/lib/types.ml", line 133, characters 26-44: - 133 | | Int x, Int y -> Pervasives.compare x y - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "src/lib/types.ml", line 134, characters 30-48: - 134 | | Float x, Float y -> Pervasives.compare x y - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "src/lib/types.ml", line 135, characters 28-46: - 135 | | Prop x, Prop y -> Pervasives.compare x y - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "src/lib/types.ml", line 136, characters 26-44: - 136 | | Set x, Set y -> Pervasives.compare x y - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - ocamlc src/.main.eobjs/main.{cmi,cmo,cmt} - File "src/main.ml", line 75, characters 32-38: - 75 | let prog, opts = match cmd |> Re_str.(split (regexp " +")) with - ^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/main.ml", line 86, characters 11-17: - 86 | s |> Re_str.(split (regexp " +")) |> List.fold_left - ^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/main.ml", line 747, characters 4-8: - 747 | info "touist" ~version:Version.v - ^^^^ - Alert deprecated: Cmdliner.Term.info - Use Cmd.info instead. - File "src/main.ml", line 748, characters 64-73: - 748 | ~doc ~man ~exits:(code_msgs |> List.map (fun (doc,err) -> exit_info ~doc (get_code err)))) - ^^^^^^^^^ - Alert deprecated: Cmdliner.Term.exit_info - Use Cmd.Exit.info instead. - File "src/main.ml", line 750, characters 9-18: - 750 | let () = Term.exit ~term_err:(get_code CLI_ERROR) @@ Term.eval cmd - ^^^^^^^^^ - Alert deprecated: Cmdliner.Term.exit - Use Stdlib.exit and Cmd.eval instead. - File "src/main.ml", line 750, characters 53-62: - 750 | let () = Term.exit ~term_err:(get_code CLI_ERROR) @@ Term.eval cmd - ^^^^^^^^^ - Alert deprecated: Cmdliner.Term.eval - Use Cmd.v and one of Cmd.eval* instead. - ocamlopt src/lib/.touist.objs/touist__ParserReport.{cmx,o} - File "src/lib/parserReport.ml", line 137, characters 2-23: - 137 | Re_str.global_replace (Re_str.regexp "[ \t\n\r]+") " " text - ^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/parserReport.ml", line 137, characters 25-38: - 137 | Re_str.global_replace (Re_str.regexp "[ \t\n\r]+") " " text - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/parserReport.ml", line 245, characters 27-47: - 245 | let i = int_of_string (Re_str.matched_group 1 message) in - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/parserReport.ml", line 258, characters 2-26: - 258 | Re_str.global_substitute - ^^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/parserReport.ml", line 259, characters 5-18: - 259 | (Re_str.regexp "\\$\\([0-9]+\\)") - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - ocamlopt src/lib/.touist.objs/touist__Latex.{cmx,o} - File "src/lib/latex.ml", line 119, characters 4-25: - 119 | Re_str.global_replace (Re_str.regexp "_") "\\\\_" txt - ^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/latex.ml", line 119, characters 27-40: - 119 | Re_str.global_replace (Re_str.regexp "_") "\\\\_" txt - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - ocamlopt src/lib/.touist.objs/touist__SatSolve.{cmx,o} - File "src/lib/satSolve.ml", line 33, characters 22-40: - 33 | let compare l1 l2 = Pervasives.compare l1 l2 - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - ocamlopt src/lib/.touist.objs/touist__Qbf.{cmx,o} - File "src/lib/qbf.ml", line 6, characters 11-17: - 6 | let open Re_str in - ^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/qbf.ml", line 7, characters 14-36: - 7 | try let _ = Re_str.search_backward (Re_str.regexp "_[0-9]+$") name (String.length name) in (); - ^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/qbf.ml", line 7, characters 38-51: - 7 | try let _ = Re_str.search_backward (Re_str.regexp "_[0-9]+$") name (String.length name) in (); - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/qbf.ml", line 8, characters 14-37: - 8 | name |> Re_str.substitute_first (Re_str.regexp "[0-9]+$") - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/lib/qbf.ml", line 8, characters 39-52: - 8 | name |> Re_str.substitute_first (Re_str.regexp "[0-9]+$") - ^^^^^^^^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - ocamlopt src/.main.eobjs/main.{cmx,o} - File "src/main.ml", line 75, characters 32-38: - 75 | let prog, opts = match cmd |> Re_str.(split (regexp " +")) with - ^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/main.ml", line 86, characters 11-17: - 86 | s |> Re_str.(split (regexp " +")) |> List.fold_left - ^^^^^^ - Alert deprecated: module Re_str - Use Re.Str - File "src/main.ml", line 747, characters 4-8: - 747 | info "touist" ~version:Version.v - ^^^^ - Alert deprecated: Cmdliner.Term.info - Use Cmd.info instead. - File "src/main.ml", line 748, characters 64-73: - 748 | ~doc ~man ~exits:(code_msgs |> List.map (fun (doc,err) -> exit_info ~doc (get_code err)))) - ^^^^^^^^^ - Alert deprecated: Cmdliner.Term.exit_info - Use Cmd.Exit.info instead. - File "src/main.ml", line 750, characters 9-18: - 750 | let () = Term.exit ~term_err:(get_code CLI_ERROR) @@ Term.eval cmd - ^^^^^^^^^ - Alert deprecated: Cmdliner.Term.exit - Use Stdlib.exit and Cmd.eval instead. - File "src/main.ml", line 750, characters 53-62: - 750 | let () = Term.exit ~term_err:(get_code CLI_ERROR) @@ Term.eval cmd - ^^^^^^^^^ - Alert deprecated: Cmdliner.Term.eval - Use Cmd.v and one of Cmd.eval* instead. -> compiled touist.3.5.0 -> installed touist.3.5.0 Done. <><> touist.3.5.0 installed successfully ><><><><><><><><><><><><><><><><><><><> => To install more solvers, see 'opam info touist' => Built without yices2 (SMT solver) => Built without qbf (QBF solver) # To update the current shell environment, run: eval $(opam env) 2024-11-12 00:43.57 ---> saved as "006117fb705937f559c68bb5d40244ec5f066384a4dbe4b7ecd7df5ecb11563d" Job succeeded