Building on summer (from freebsd) 2024-07-04 11:02.14 ---> using "77d5fe31836124b4684d554707425c4fde23f9ef3df0a804431a47419573778d" from cache /: (user (uid 1000) (gid 1000)) /: (env OPAMPRECISETRACKING 1) /: (env OPAMUTF8 never) /: (env OPAMEXTERNALSOLVER builtin-0install) /: (env OPAMCRITERIA +removed) /: (run (shell "sudo ln -f /usr/local/bin/opam-dev /usr/local/bin/opam")) 2024-07-04 11:02.14 ---> using "a2b22593046b56fadc85e22b0da7b84e903c1f5aa4d42a7c481121ceec28b31f" 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 175a8ca8b27d9a46ed86ec5d7b1130c98a153055")) 2024-07-04 11:02.14 ---> using "12d681098b105578a67465aa7bc396c5d90e9ce4e3304a8d75f23641353fa26c" from cache /: (run (shell "rm -rf ~/.opam && opam init -ya --bare ~/opam-repository")) No configuration file found, using built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. <><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><> [default] Initialised User configuration: ~/.profile is already up-to-date. [NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc. 2024-07-04 11:02.14 ---> using "cd58f29b8c142c1ae36c06cbe6d040fc45053855e85f74d3d710bce30c463662" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=default '4.14.1' 'ocaml-base-compiler.4.14.1'")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "4.14.1"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> installed host-arch-x86_64.1 -> installed host-system-other.1 -> installed ocaml-options-vanilla.1 -> retrieved ocaml-config.2 (2 extra sources) -> retrieved ocaml-config.2 (2 extra sources) -> retrieved ocaml-base-compiler.4.14.1 (https://github.com/ocaml/ocaml/archive/4.14.1.tar.gz) -> installed ocaml-base-compiler.4.14.1 -> installed ocaml-config.2 -> installed ocaml.4.14.1 Done. # Run eval $(opam env --switch=4.14.1) to update the current shell environment 2024-07-04 11:02.14 ---> using "7b308b2584dc258233cfb37ad83354a0804ec90976555e191659bff7e597c170" from cache /: (run (network host) (shell "opam update --depexts")) [WARNING] Unknown update command for bsd, skipping system update 2024-07-04 11:02.14 ---> using "3f0c14f5761a225622a6acf1a058a90ab52281bdd9172d3eca06be38cd0468ad" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"statverif.1.97pl1.2\"\ \nopam install -vy \"statverif.1.97pl1.2\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"statverif.1.97pl1.2\" | grep -q '\"freebsd\"'; 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")) [NOTE] statverif.1.97pl1.2 is not installed. Nothing to do. The following actions will be performed: === install 3 packages - install ocamlbuild 0.14.3 [required by statverif] - install ocamlfind 1.9.6 [required by statverif] - install statverif 1.97pl1.2 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/9: [ocamlbuild.0.14.3: http] Processing 2/9: [ocamlbuild.0.14.3: http] [ocamlfind.1.9.6: http] Processing 3/9: [ocamlbuild.0.14.3: http] [ocamlfind.1.9.6: http] [statverif.1.97pl1.2: http] Processing 3/9: [ocamlbuild.0.14.3: http] [ocamlfind.1.9.6: extract] [statverif.1.97pl1.2: http] Processing 3/9: [ocamlbuild.0.14.3: extract] [ocamlfind.1.9.6: extract] [statverif.1.97pl1.2: http] Processing 3/9: [ocamlbuild.0.14.3: extract] [ocamlfind.1.9.6/0001-Harden-test-for-OCaml-5.patch: dl] [statverif.1.97pl1.2: http] -> retrieved ocamlbuild.0.14.3 (https://github.com/ocaml/ocamlbuild/archive/refs/tags/0.14.3.tar.gz) Processing 3/9: [ocamlfind.1.9.6/0001-Harden-test-for-OCaml-5.patch: dl] [statverif.1.97pl1.2: http] Processing 4/9: [ocamlfind.1.9.6/0001-Harden-test-for-OCaml-5.patch: dl] [statverif.1.97pl1.2: http] [ocamlbuild: gmake configure.make] -> retrieved ocamlfind.1.9.6 (http://download.camlcity.org/download/findlib-1.9.6.tar.gz) Processing 4/9: [statverif.1.97pl1.2: http] [ocamlbuild: gmake configure.make] [ocamlfind: patch] applying 0001-Harden-test-for-OCaml-5.patch Processing 5/9: [statverif.1.97pl1.2: http] [ocamlbuild: gmake configure.make] [ocamlfind: patch] Processing 5/9: [statverif.1.97pl1.2: extract] [ocamlbuild: gmake configure.make] [ocamlfind: patch] Processing 5/9: [statverif.1.97pl1.2: extract] [ocamlbuild: gmake configure.make] [ocamlfind: ./configure] -> retrieved statverif.1.97pl1.2 (https://github.com/rittere/statverif/archive/1.97pl1.2.tar.gz) Processing 5/9: [ocamlbuild: gmake configure.make] [ocamlfind: ./configure] + /usr/local/bin/gmake "-f" "configure.make" "all" "OCAMLBUILD_PREFIX=/home/opam/.opam/4.14.1" "OCAMLBUILD_BINDIR=/home/opam/.opam/4.14.1/bin" "OCAMLBUILD_LIBDIR=/home/opam/.opam/4.14.1/lib" "OCAMLBUILD_MANDIR=/home/opam/.opam/4.14.1/man" "OCAML_NATIVE=true" "OCAML_NATIVE_TOOLS=true" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3) - (echo "# This file was generated from configure.make"; \ - echo ;\ - echo "OCAML_PREFIX="; \ - echo "OCAML_BINDIR=/home/opam/.opam/4.14.1/bin"; \ - echo "OCAML_LIBDIR=/home/opam/.opam/4.14.1/lib/ocaml"; \ - echo "OCAML_MANDIR=/home/opam/.opam/4.14.1/man"; \ - echo ;\ - echo "EXT_OBJ=.o"; \ - echo "EXT_ASM=.s"; \ - echo "EXT_LIB=.a"; \ - echo "EXT_DLL=.so"; \ - echo "EXE="; \ - echo ;\ - echo "OCAML_NATIVE=true"; \ - echo "OCAML_NATIVE_TOOLS=true"; \ - echo "NATDYNLINK=true"; \ - echo "SUPPORT_SHARED_LIBRARIES=true"; \ - echo ;\ - echo "PREFIX=/home/opam/.opam/4.14.1"; \ - echo "BINDIR=/home/opam/.opam/4.14.1/bin"; \ - echo "LIBDIR=/home/opam/.opam/4.14.1/lib"; \ - echo "MANDIR=/home/opam/.opam/4.14.1/man"; \ - ) > Makefile.config - (echo "(* This file was generated from ../configure.make *)"; \ - echo ;\ - echo 'let bindir = "/home/opam/.opam/4.14.1/bin"'; \ - echo 'let libdir = "/home/opam/.opam/4.14.1/lib"'; \ - echo 'let ocaml_libdir = "/home/opam/.opam/4.14.1/lib/ocaml"'; \ - echo 'let libdir_abs = "/home/opam/.opam/4.14.1/lib"'; \ - echo 'let ocaml_native = true'; \ - echo 'let ocaml_native_tools = true'; \ - echo 'let supports_shared_libraries = true';\ - echo 'let a = "a"'; \ - echo 'let o = "o"'; \ - echo 'let so = "so"'; \ - echo 'let ext_dll = ".so"'; \ - echo 'let exe = ""'; \ - echo 'let version = "0.14.3"'; \ - ) > src/ocamlbuild_config.ml Processing 5/9: [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: ./configure] + /home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/./configure "-bindir" "/home/opam/.opam/4.14.1/bin" "-sitelib" "/home/opam/.opam/4.14.1/lib" "-mandir" "/home/opam/.opam/4.14.1/man" "-config" "/home/opam/.opam/4.14.1/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6) - Welcome to findlib version 1.9.6 - Configuring core... - Checking for #remove_directory... - Testing threading model... - systhread_supported: true - Testing DLLs... - Testing whether ppxopt can be supported... - Checking for ocamlc -opaque... - Checking for ocamlopt -g... - 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) - 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: /home/opam/.opam/4.14.1/lib/ocaml - Binaries: /home/opam/.opam/4.14.1/bin - Manual pages: /home/opam/.opam/4.14.1/man - Multi-threading type: posix - The directory of site-specific packages will be - site-lib: /home/opam/.opam/4.14.1/lib - The configuration file is written to: - findlib config file: /home/opam/.opam/4.14.1/lib/findlib.conf - Software will be installed: - Libraries: in <site-lib>/findlib - Binaries: /home/opam/.opam/4.14.1/bin - Manual pages: /home/opam/.opam/4.14.1/man - topfind script: /home/opam/.opam/4.14.1/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 5/9: [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: gmake all] + /usr/local/bin/gmake "all" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6) - for p in findlib; do ( cd src/$p; /usr/local/bin/gmake all ) || exit; done - gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib' - ocamllex fl_meta.mll - 22 states, 392 transitions, table size 1700 bytes - USE_CYGPATH="0"; \ - export USE_CYGPATH; \ - cat findlib_config.mlp | \ - ../../tools/patch '@CONFIGFILE@' '/home/opam/.opam/4.14.1/lib/findlib.conf' | \ - ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.14.1/lib/ocaml' | \ - sed -e 's;@AUTOLINK@;true;g' \ - -e 's;@SYSTEM@;freebsd;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 -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 128, characters 40-63: - 128 | match Hashtbl.find Toploop.directive_table "ppx" with - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - File "topfind.ml", line 258, characters 4-27: - 258 | Toploop.directive_table - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - File "topfind.ml", line 268, characters 4-27: - 268 | Toploop.directive_table - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - File "topfind.ml", line 280, characters 4-27: - 280 | Toploop.directive_table - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - File "topfind.ml", line 293, characters 4-27: - 293 | Toploop.directive_table - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - File "topfind.ml", line 307, characters 4-27: - 307 | Toploop.directive_table - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - File "topfind.ml", line 319, characters 4-27: - 319 | Toploop.directive_table - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - ocamlc -I +compiler-libs -a -o findlib_top.cma topfind.cmo - USE_CYGPATH="0"; \ - export USE_CYGPATH; \ - cat topfind_rd1.p | \ - ../../tools/patch '@SITELIB@' '/home/opam/.opam/4.14.1/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 - gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib' - /usr/local/bin/gmake all-config - gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6' - USE_CYGPATH="0"; \ - export USE_CYGPATH; \ - cat findlib.conf.in | \ - tools/patch '@SITELIB@' '/home/opam/.opam/4.14.1/lib' | \ - tools/patch '@FINDLIB_PATH@' '/home/opam/.opam/4.14.1/lib' -p >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 - gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6' Processing 5/9: [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: gmake opt] + /usr/local/bin/gmake "opt" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6) - for p in findlib; do ( cd src/$p; /usr/local/bin/gmake opt ) || exit; done - gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/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 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 128, characters 40-63: - 128 | match Hashtbl.find Toploop.directive_table "ppx" with - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - File "topfind.ml", line 258, characters 4-27: - 258 | Toploop.directive_table - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - File "topfind.ml", line 268, characters 4-27: - 268 | Toploop.directive_table - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - File "topfind.ml", line 280, characters 4-27: - 280 | Toploop.directive_table - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - File "topfind.ml", line 293, characters 4-27: - 293 | Toploop.directive_table - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - File "topfind.ml", line 307, characters 4-27: - 307 | Toploop.directive_table - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - File "topfind.ml", line 319, characters 4-27: - 319 | 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 - gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib' -> compiled ocamlfind.1.9.6 Processing 5/9: [ocamlbuild: gmake check-if-preinstalled] Processing 6/9: [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: gmake install] + /usr/local/bin/gmake "check-if-preinstalled" "all" "opam-install" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3) - if test -d /home/opam/.opam/4.14.1/lib/ocaml/ocamlbuild; then\ - >&2 echo "ERROR: Preinstalled ocamlbuild detected at"\ - "/home/opam/.opam/4.14.1/lib/ocaml/ocamlbuild";\ - >&2 echo "Installation aborted; if you want to bypass this"\ - "safety check, pass CHECK_IF_PREINSTALLED=false to make";\ - exit 2;\ - fi - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/const.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/signatures.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.ml - ocamllex.opt src/glob_lexer.mll - 55 states, 419 transitions, table size 2006 bytes - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.ml - ocamllex.opt src/lexers.mll - 251 states, 1051 transitions, table size 5710 bytes - 4334 additional bytes used for bindings - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml - mkdir -p tmp - ocamlc.opt -pack src/const.cmo src/loc.cmo src/discard_printf.cmo src/signatures.cmi src/my_std.cmo src/my_unix.cmo src/tags.cmo src/display.cmo src/log.cmo src/shell.cmo src/bool.cmo src/glob_ast.cmo src/glob_lexer.cmo src/glob.cmo src/lexers.cmo src/param_tags.cmo src/command.cmo src/ocamlbuild_config.cmo src/ocamlbuild_where.cmo src/slurp.cmo src/options.cmo src/pathname.cmo src/configuration.cmo src/flags.cmo src/hygiene.cmo src/digest_cache.cmo src/resource.cmo src/rule.cmo src/solver.cmo src/report.cmo src/tools.cmo src/fda.cmo src/findlib.cmo src/ocaml_arch.cmo src/ocaml_utils.cmo src/ocaml_dependencies.cmo src/ocaml_compiler.cmo src/ocaml_tools.cmo src/ocaml_specific.cmo src/exit_codes.cmo src/plugin.cmo src/hooks.cmo src/main.cmo -o tmp/ocamlbuild_pack.cmo - mv tmp/ocamlbuild_pack.cmi src/ocamlbuild_pack.cmi - mv tmp/ocamlbuild_pack.cmo src/ocamlbuild_pack.cmo - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.ml - ocamlc.opt -I +unix -I src -o ocamlbuild.byte unix.cma src/ocamlbuild_pack.cmo plugin-lib/ocamlbuild_plugin.cmo plugin-lib/ocamlbuild_executor.cmo plugin-lib/ocamlbuild_unix_plugin.cmo bin/ocamlbuild.cmo - ocamlc.opt -a -o plugin-lib/ocamlbuildlib.cma src/ocamlbuild_pack.cmo plugin-lib/ocamlbuild_plugin.cmo plugin-lib/ocamlbuild_executor.cmo plugin-lib/ocamlbuild_unix_plugin.cmo - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/const.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml - mkdir -p tmp - ocamlopt.opt -pack src/const.cmx src/loc.cmx src/discard_printf.cmx src/signatures.cmi src/my_std.cmx src/my_unix.cmx src/tags.cmx src/display.cmx src/log.cmx src/shell.cmx src/bool.cmx src/glob_ast.cmx src/glob_lexer.cmx src/glob.cmx src/lexers.cmx src/param_tags.cmx src/command.cmx src/ocamlbuild_config.cmx src/ocamlbuild_where.cmx src/slurp.cmx src/options.cmx src/pathname.cmx src/configuration.cmx src/flags.cmx src/hygiene.cmx src/digest_cache.cmx src/resource.cmx src/rule.cmx src/solver.cmx src/report.cmx src/tools.cmx src/fda.cmx src/findlib.cmx src/ocaml_arch.cmx src/ocaml_utils.cmx src/ocaml_dependencies.cmx src/ocaml_compiler.cmx src/ocaml_tools.cmx src/ocaml_specific.cmx src/exit_codes.cmx src/plugin.cmx src/hooks.cmx src/main.cmx -o tmp/ocamlbuild_pack.cmx - mv tmp/ocamlbuild_pack.cmx src/ocamlbuild_pack.cmx - mv tmp/ocamlbuild_pack.o src/ocamlbuild_pack.o - ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.ml - ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.ml - ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.ml - ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.ml - ocamlopt.opt -I +unix -I src -o ocamlbuild.native unix.cmxa src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx bin/ocamlbuild.cmx - ocamlopt.opt -a -o plugin-lib/ocamlbuildlib.cmxa src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx - ocamlc.opt src/ocamlbuild_pack.cmo -I src man/options_man.ml -o man/options_man.byte - ./man/options_man.byte > man/ocamlbuild.options.1 - cat man/ocamlbuild.header.1 man/ocamlbuild.options.1 man/ocamlbuild.footer.1 > man/ocamlbuild.1 - /usr/local/bin/gmake ocamlbuild.install - gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3' - rm -f ocamlbuild.install - touch ocamlbuild.install - /usr/local/bin/gmake install-bin-opam - gmake[2]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3' - echo 'bin: [' >> ocamlbuild.install - echo ' "ocamlbuild.byte" {"ocamlbuild.byte"}' >> ocamlbuild.install - echo ' "ocamlbuild.native" {"ocamlbuild.native"}' >> ocamlbuild.install - echo ' "ocamlbuild.native" {"ocamlbuild"}' >> ocamlbuild.install - echo ']' >> ocamlbuild.install - echo >> ocamlbuild.install - gmake[2]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3' - /usr/local/bin/gmake install-lib-opam - gmake[2]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3' - echo 'lib: [' >> ocamlbuild.install - /usr/local/bin/gmake install-lib-basics-opam - gmake[3]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3' - echo ' "ocamlbuild.opam" {"opam"}' >> ocamlbuild.install - echo ' "META"' >> ocamlbuild.install - for lib in src/signatures.mli src/signatures.cmi src/signatures.cmti; do \ - echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \ - done - gmake[3]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3' - /usr/local/bin/gmake install-lib-byte-opam - gmake[3]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3' - for lib in plugin-lib/ocamlbuildlib.cma bin/ocamlbuild.cmo src/ocamlbuild_pack.cmi plugin-lib/ocamlbuild_plugin.cmi plugin-lib/ocamlbuild_executor.cmi plugin-lib/ocamlbuild_unix_plugin.cmi; do \ - echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \ - done - gmake[3]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3' - /usr/local/bin/gmake install-lib-native-opam - gmake[3]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3' - for lib in plugin-lib/ocamlbuildlib.cmxa plugin-lib/ocamlbuildlib.a bin/ocamlbuild.cmx bin/ocamlbuild.o src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx plugin-lib/ocamlbuild_plugin.o plugin-lib/ocamlbuild_executor.o plugin-lib/ocamlbuild_unix_plugin.o; do \ - echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \ - done - gmake[3]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3' - echo ']' >> ocamlbuild.install - echo >> ocamlbuild.install - gmake[2]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3' - /usr/local/bin/gmake install-man-opam - gmake[2]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3' - echo 'man: [' >> ocamlbuild.install - echo ' "man/ocamlbuild.1" {"man1/ocamlbuild.1"}' >> ocamlbuild.install - echo ']' >> ocamlbuild.install - echo >> ocamlbuild.install - gmake[2]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3' - /usr/local/bin/gmake install-doc-opam - gmake[2]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3' - echo 'doc: [' >> ocamlbuild.install - echo ' "LICENSE"' >> ocamlbuild.install - echo ' "Changes"' >> ocamlbuild.install - echo ' "Readme.md"' >> ocamlbuild.install - echo ']' >> ocamlbuild.install - gmake[2]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3' - gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3' -> compiled ocamlbuild.0.14.3 Processing 6/9: [ocamlfind: gmake install] + /usr/local/bin/gmake "install" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6) - if [ "1" -eq 1 ]; then \ - for x in camlp4 dbm graphics labltk num ocamlbuild; do \ - if [ -f "/home/opam/.opam/4.14.1/lib/$x/META" ]; then \ - if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.14.1/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 - 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 "/home/opam/.opam/4.14.1/bin" - install -d "/home/opam/.opam/4.14.1/man" - /usr/local/bin/gmake install-config - gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6' - install -d "`dirname \"/home/opam/.opam/4.14.1/lib/findlib.conf\"`" - test -f "/home/opam/.opam/4.14.1/lib/findlib.conf" || install -c findlib.conf "/home/opam/.opam/4.14.1/lib/findlib.conf" - gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6' - for p in findlib; do ( cd src/$p; /usr/local/bin/gmake install ); done - gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib' - install -d "/home/opam/.opam/4.14.1/lib/findlib" - install -d "/home/opam/.opam/4.14.1/bin" - test 1 -eq 0 || install -d "/home/opam/.opam/4.14.1/lib/ocaml" - test 1 -eq 0 || install -c topfind "/home/opam/.opam/4.14.1/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 "/home/opam/.opam/4.14.1/lib/findlib/" - f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \ - install -c $f "/home/opam/.opam/4.14.1/bin/ocamlfind" - # the following "if" block is only needed for 4.00beta2 - if [ 1 -eq 0 -a -f "/home/opam/.opam/4.14.1/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \ - cd "/home/opam/.opam/4.14.1/lib/ocaml/compiler-libs/"; \ - install -c topdirs.cmi toploop.cmi "/home/opam/.opam/4.14.1/lib/findlib/"; \ - fi - gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib' - /usr/local/bin/gmake install-meta - gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6' - for x in bigarray bytes compiler-libs dynlink ocamldoc stdlib str threads unix ; do install -d "/home/opam/.opam/4.14.1/lib/$x"; install -c site-lib-src/$x/META "/home/opam/.opam/4.14.1/lib/$x/META.tmp" && mv "/home/opam/.opam/4.14.1/lib/$x/META.tmp" "/home/opam/.opam/4.14.1/lib/$x/META"; done - install -d "/home/opam/.opam/4.14.1/lib/findlib"; install -c Makefile.packages "/home/opam/.opam/4.14.1/lib/findlib/Makefile.packages" - gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6' - test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; /usr/local/bin/gmake install-num-top; } - test ! -f 'site-lib-src/camlp4/META' || install -c tools/safe_camlp4 "/home/opam/.opam/4.14.1/bin" - /usr/local/bin/gmake install-doc - gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6' - install -d "/home/opam/.opam/4.14.1/man/man1" "/home/opam/.opam/4.14.1/man/man3" "/home/opam/.opam/4.14.1/man/man5" - install -c doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.14.1/man/man1" - install -c doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.14.1/man/man5" - gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6' -> installed ocamlfind.1.9.6 -> installed ocamlbuild.0.14.3 Processing 8/9: [statverif: gmake] + /usr/local/bin/gmake (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/statverif.1.97pl1.2) - make -C src all - ocamlbuild -use-ocamlfind main.native - ocamlfind ocamldep -modules main.ml > main.ml.depends - ocamlfind ocamldep -modules destructor.mli > destructor.mli.depends - ocamlfind ocamldep -modules types.mli > types.mli.depends - ocamlfind ocamldep -modules stringmap.mli > stringmap.mli.depends - ocamlfind ocamlc -c -g -annot -o stringmap.cmi stringmap.mli - ocamlfind ocamlc -c -g -annot -o types.cmi types.mli - ocamlfind ocamldep -modules display.mli > display.mli.depends - ocamlfind ocamldep -modules pitypes.mli > pitypes.mli.depends - ocamlfind ocamlc -c -g -annot -o pitypes.cmi pitypes.mli - ocamlfind ocamldep -modules history.mli > history.mli.depends - ocamlfind ocamldep -modules param.mli > param.mli.depends - ocamlfind ocamldep -modules parsing_helper.mli > parsing_helper.mli.depends - ocamlfind ocamldep -modules ptree.mli > ptree.mli.depends - ocamlfind ocamlc -c -g -annot -o parsing_helper.cmi parsing_helper.mli - ocamlfind ocamlc -c -g -annot -o ptree.cmi ptree.mli - ocamlfind ocamldep -modules piauth.mli > piauth.mli.depends - ocamlfind ocamldep -modules pisyntax.mli > pisyntax.mli.depends - ocamlfind ocamldep -modules piptree.mli > piptree.mli.depends - ocamlfind ocamlc -c -g -annot -o piptree.cmi piptree.mli - ocamlfind ocamldep -modules pitransl.mli > pitransl.mli.depends - ocamlfind ocamldep -modules pitranslweak.mli > pitranslweak.mli.depends - ocamlfind ocamldep -modules pitsyntax.mli > pitsyntax.mli.depends - ocamlfind ocamldep -modules pitptree.mli > pitptree.mli.depends - ocamlfind ocamlc -c -g -annot -o pitptree.cmi pitptree.mli - ocamlfind ocamldep -modules proswapper.mli > proswapper.mli.depends - ocamlfind ocamldep -modules reduction.mli > reduction.mli.depends - ocamlfind ocamlc -c -g -annot -o history.cmi history.mli - ocamlfind ocamldep -modules reduction_bipro.mli > reduction_bipro.mli.depends - ocamlfind ocamldep -package str -package unix -modules reduction_helper.mli > reduction_helper.mli.depends - ocamlfind ocamldep -modules rules.mli > rules.mli.depends - ocamlfind ocamldep -modules selfun.mli > selfun.mli.depends - ocamlfind ocamldep -modules pvqueue.mli > pvqueue.mli.depends - ocamlfind ocamlc -c -g -annot -o pvqueue.cmi pvqueue.mli - ocamlfind ocamldep -modules simplify.mli > simplify.mli.depends - ocamlfind ocamldep -modules spassout.mli > spassout.mli.depends - ocamlfind ocamldep -modules syntax.mli > syntax.mli.depends - ocamlfind ocamldep -modules terms.mli > terms.mli.depends - ocamlfind ocamldep -modules termsEq.mli > termsEq.mli.depends - ocamlfind ocamldep -modules tsyntax.mli > tsyntax.mli.depends - ocamlfind ocamlc -c -g -annot -o destructor.cmi destructor.mli - ocamlfind ocamlc -c -g -annot -o display.cmi display.mli - ocamlfind ocamlc -c -g -annot -o param.cmi param.mli - ocamlfind ocamlc -c -g -annot -o piauth.cmi piauth.mli - ocamlfind ocamlc -c -g -annot -o pisyntax.cmi pisyntax.mli - ocamlfind ocamlc -c -g -annot -o pitransl.cmi pitransl.mli - ocamlfind ocamlc -c -g -annot -o pitranslweak.cmi pitranslweak.mli - ocamlfind ocamlc -c -g -annot -o pitsyntax.cmi pitsyntax.mli - ocamlfind ocamlc -c -g -annot -o proswapper.cmi proswapper.mli - ocamlfind ocamlc -c -g -annot -o reduction.cmi reduction.mli - ocamlfind ocamlc -c -g -annot -o reduction_bipro.cmi reduction_bipro.mli - ocamlfind ocamlc -c -g -annot -package str -package unix -o reduction_helper.cmi reduction_helper.mli - ocamlfind ocamlc -c -g -annot -o rules.cmi rules.mli - ocamlfind ocamlc -c -g -annot -o selfun.cmi selfun.mli - ocamlfind ocamlc -c -g -annot -o simplify.cmi simplify.mli - ocamlfind ocamlc -c -g -annot -o spassout.cmi spassout.mli - ocamlfind ocamlc -c -g -annot -o syntax.cmi syntax.mli - ocamlfind ocamlc -c -g -annot -o terms.cmi terms.mli - ocamlfind ocamlc -c -g -annot -o termsEq.cmi termsEq.mli - ocamlfind ocamlc -c -g -annot -o tsyntax.cmi tsyntax.mli - ocamlfind ocamlc -c -g -annot -o main.cmo main.ml - + ocamlfind ocamlc -c -g -annot -o main.cmo main.ml - File "main.ml", line 339, characters 14-30: - 339 | let s_up = String.uppercase s in - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.uppercase - Use String.uppercase_ascii/StringLabels.uppercase_ascii instead. - ocamlfind ocamldep -modules destructor.ml > destructor.ml.depends - ocamlfind ocamldep -modules display.ml > display.ml.depends - ocamlfind ocamldep -modules debug.ml > debug.ml.depends - ocamlfind ocamlc -c -g -annot -o debug.cmo debug.ml - ocamlfind ocamldep -modules param.ml > param.ml.depends - ocamlfind ocamldep -modules parsing_helper.ml > parsing_helper.ml.depends - ocamlfind ocamlopt -c -g -annot -o parsing_helper.cmx parsing_helper.ml - ocamlfind ocamldep -modules stringmap.ml > stringmap.ml.depends - ocamlfind ocamlopt -c -g -annot -o stringmap.cmx stringmap.ml - ocamlfind ocamlopt -c -g -annot -o param.cmx param.ml - ocamlfind ocamldep -modules misc.ml > misc.ml.depends - ocamlfind ocamldep -modules misc.mli > misc.mli.depends - ocamlfind ocamlc -c -g -annot -o misc.cmi misc.mli - ocamlfind ocamldep -modules terms.ml > terms.ml.depends - ocamlfind ocamlopt -c -g -annot -o misc.cmx misc.ml - + ocamlfind ocamlopt -c -g -annot -o misc.cmx misc.ml - File "misc.ml", lines 26-31, characters 4-15: - 26 | ....match (n, l) with - 27 | | n, x::l when n > 0 -> - 28 | let (l,r) = peel (n-1) l in - 29 | (x::l, r) - 30 | | 0, l -> - 31 | ([], l) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (1, _) - (However, some guarded clause may match this value.) - ocamlfind ocamldep -modules termslinks.ml > termslinks.ml.depends - ocamlfind ocamldep -modules termslinks.mli > termslinks.mli.depends - ocamlfind ocamlc -c -g -annot -o termslinks.cmi termslinks.mli - ocamlfind ocamlopt -c -g -annot -o terms.cmx terms.ml - + ocamlfind ocamlopt -c -g -annot -o terms.cmx terms.ml - File "terms.ml", lines 908-910, characters 56-7: - 908 | ........................................................begin - 909 | match args with state::rest -> ([state], rest) - 910 | end................................................................. - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "terms.ml", lines 910-913, characters 67-7: - 910 | ...................................................................begin - 911 | match Misc.bisect args with l_s::l_ns, r_s::r_ns -> - 912 | ([l_s; r_s], (l_ns @ r_ns)) - 913 | end........... - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (_::_, []) - ocamlfind ocamlopt -c -g -annot -o debug.cmx debug.ml - ocamlfind ocamlopt -c -g -annot -o termslinks.cmx termslinks.ml - ocamlfind ocamldep -modules termsEq.ml > termsEq.ml.depends - ocamlfind ocamlopt -c -g -annot -o display.cmx display.ml - + ocamlfind ocamlopt -c -g -annot -o display.cmx display.ml - File "display.ml", lines 37-38, characters 31-40: - 37 | ...............................(t::vs) = - 38 | if s == s' then t else find cells vs - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "display.ml", lines 37-38, characters 15-40: - 37 | ...............((s',_)::cells) (t::vs) = - 38 | if s == s' then t else find cells vs - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "display.ml", line 305, characters 21-44: - 305 | let print_string = Pervasives.print_string - ^^^^^^^^^^^^^^^^^^^^^^^ - 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 "display.ml", lines 1949-1994, characters 10-37: - 1949 | ..........match proc with - 1950 | | Nil -> - 1951 | display_idcl CKeyword "0" - 1952 | | Par _ -> - 1953 | print_string "Parallel" - ... - 1991 | display_occ occ; - 1992 | display_prefix_letfilter lb f - 1993 | | NamedProcess(name, tl, p) -> - 1994 | display_prefix_namedprocess name tl - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Lock (_, _, _)|Unlock (_, _, _)|Open (_, _, _)|ReadAs (_, _, _)| - Assign (_, _, _)) - File "display.ml", lines 2441-2653, characters 2-15: - 2441 | ..match lbl with - 2442 | Rn _ -> - 2443 | print_string "The attacker creates the new name "; - 2444 | display_attacker_fact concl; - 2445 | print_string "."; - ... - 2650 | display_hyp_basic hyp_num_list hl; - 2651 | display_constra_list constra; - 2652 | print_string ("Using the clause number " ^ (string_of_int n) ^ ","); - 2653 | newline() - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Rread|Rwrite _) - /home/opam/.opam/4.14.1/bin/ocamllex.opt -q pitlexer.mll - ocamlfind ocamldep -modules pitlexer.ml > pitlexer.ml.depends - /home/opam/.opam/4.14.1/bin/ocamlyacc pitparser.mly - + /home/opam/.opam/4.14.1/bin/ocamlyacc pitparser.mly - 56 shift/reduce conflicts. - ocamlfind ocamldep -modules pitparser.mli > pitparser.mli.depends - ocamlfind ocamlc -c -g -annot -o pitparser.cmi pitparser.mli - ocamlfind ocamlc -c -g -annot -o pitlexer.cmo pitlexer.ml - ocamlfind ocamldep -modules pitparser.ml > pitparser.ml.depends - ocamlfind ocamlopt -c -g -annot -o pitparser.cmx pitparser.ml - ocamlfind ocamldep -modules pvqueue.ml > pvqueue.ml.depends - ocamlfind ocamlopt -c -g -annot -o pitlexer.cmx pitlexer.ml - ocamlfind ocamlopt -c -g -annot -o pvqueue.cmx pvqueue.ml - ocamlfind ocamlopt -c -g -annot -o termsEq.cmx termsEq.ml - ocamlfind ocamldep -modules history.ml > history.ml.depends - ocamlfind ocamldep -package str -package unix -modules reduction_helper.ml > reduction_helper.ml.depends - ocamlfind ocamlopt -c -g -annot -package str -package unix -o reduction_helper.cmx reduction_helper.ml - + ocamlfind ocamlopt -c -g -annot -package str -package unix -o reduction_helper.cmx reduction_helper.ml - File "reduction_helper.ml", lines 63-97, characters 28-73: - 63 | ............................function - 64 | Nil -> false - 65 | | NamedProcess(_, _, p) -> occurs_var_proc v p - 66 | | Par(p1,p2) -> (occurs_var_proc v p1) || (occurs_var_proc v p2) - 67 | | Repl(p,_) -> occurs_var_proc v p - ... - 94 | (occurs_var_proc v p) || (occurs_var_proc v q) - 95 | | Phase(_,p,_) -> occurs_var_proc v p - 96 | | Barrier _ | AnnBarrier _ -> - 97 | Parsing_helper.internal_error "Barriers should not appear here (13)" - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Lock (_, _, _)|Unlock (_, _, _)|Open (_, _, _)|ReadAs (_, _, _)| - Assign (_, _, _)) - File "reduction_helper.ml", lines 430-446, characters 23-68: - 430 | .......................function - 431 | ReplTag (o,_) -> print_string "!"; print_string (string_of_int o) - 432 | | InputTag o -> print_string "i"; print_string (string_of_int o) - 433 | | BeginEvent o -> print_string "b"; print_string (string_of_int o) - 434 | | BeginFact -> print_string "bf" - ... - 443 | | OutputPTag o -> print_string "op"; print_string (string_of_int o) - 444 | | InsertTag o -> print_string "it"; print_string (string_of_int o) - 445 | | GetTag o -> print_string "gt"; print_string (string_of_int o) - 446 | | GetTagElse o -> print_string "gte"; print_string (string_of_int o) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (SequenceTag|ReachTag|OpenTag _|AssignTag (_, _)|KnowledgeProgressTag _| - ReadAsTag (_, _)) - ocamlfind ocamldep -modules piauth.ml > piauth.ml.depends - ocamlfind ocamldep -modules funmap.ml > funmap.ml.depends - ocamlfind ocamldep -modules funmap.mli > funmap.mli.depends - ocamlfind ocamlc -c -g -annot -o funmap.cmi funmap.mli - ocamlfind ocamlopt -c -g -annot -o history.cmx history.ml - ocamlfind ocamldep -modules pievent.ml > pievent.ml.depends - ocamlfind ocamldep -modules pievent.mli > pievent.mli.depends - ocamlfind ocamlc -c -g -annot -o pievent.cmi pievent.mli - ocamlfind ocamldep -modules pitransl.ml > pitransl.ml.depends - ocamlfind ocamlopt -c -g -annot -o funmap.cmx funmap.ml - ocamlfind ocamlopt -c -g -annot -o pievent.cmx pievent.ml - ocamlfind ocamldep -modules pisyntax.ml > pisyntax.ml.depends - /home/opam/.opam/4.14.1/bin/ocamllex.opt -q pilexer.mll - ocamlfind ocamldep -modules pilexer.ml > pilexer.ml.depends - /home/opam/.opam/4.14.1/bin/ocamlyacc piparser.mly - + /home/opam/.opam/4.14.1/bin/ocamlyacc piparser.mly - 10 shift/reduce conflicts. - ocamlfind ocamldep -modules piparser.mli > piparser.mli.depends - ocamlfind ocamlc -c -g -annot -o piparser.cmi piparser.mli - ocamlfind ocamlc -c -g -annot -o pilexer.cmo pilexer.ml - ocamlfind ocamldep -modules piparser.ml > piparser.ml.depends - ocamlfind ocamlopt -c -g -annot -o piparser.cmx piparser.ml - ocamlfind ocamldep -modules rules.ml > rules.ml.depends - ocamlfind ocamldep -modules noninterf.ml > noninterf.ml.depends - ocamlfind ocamldep -modules noninterf.mli > noninterf.mli.depends - ocamlfind ocamlc -c -g -annot -o noninterf.cmi noninterf.mli - ocamlfind ocamldep -modules selfun.ml > selfun.ml.depends - ocamlfind ocamlopt -c -g -annot -o noninterf.cmx noninterf.ml - ocamlfind ocamldep -modules weaksecr.ml > weaksecr.ml.depends - ocamlfind ocamldep -modules weaksecr.mli > weaksecr.mli.depends - ocamlfind ocamlc -c -g -annot -o weaksecr.cmi weaksecr.mli - ocamlfind ocamlopt -c -g -annot -o weaksecr.cmx weaksecr.ml - ocamlfind ocamlopt -c -g -annot -o selfun.cmx selfun.ml - ocamlfind ocamlopt -c -g -annot -o pilexer.cmx pilexer.ml - ocamlfind ocamlopt -c -g -annot -o rules.cmx rules.ml - + ocamlfind ocamlopt -c -g -annot -o rules.cmx rules.ml - File "rules.ml", lines 55-59, characters 67-7: - 55 | ...................................................................begin - 56 | match state_args with [left_state; right_state] -> - 57 | let left_x, right_x = Misc.bisect other_args in - 58 | [left_state] @ left_x @ [right_state] @ right_x - 59 | end........... - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::_::_::_ - File "rules.ml", lines 112-117, characters 6-9: - 112 | ......begin match l_ns with FunApp(f,_) :: _ when f.f_cat = Tuple -> - 113 | try - 114 | let _ = reorganize_fun_app f l_ns in - 115 | Parsing_helper.user_error "Conflict between an equivalence and the decomposition of data constructors:\nan equivalence applies to a fact which is also decomposable by data constructors.\n" - 116 | with Not_found -> () - 117 | end - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - All clauses in this pattern-matching are guarded. - File "rules.ml", line 234, characters 14-50: - 234 | (List.map2 (fun (Pred(p', _)) x -> Pred(p', x)) hyp l) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Out (_, _) - File "rules.ml", lines 232-234, characters 8-57: - 232 | ........let (Rule(_, _, hyp, _, _)) as hist_dec = History.get_rule_hist (RApplyFunc(f,chann)) in - 233 | decompose_hyp_rec (hypl, nl+(List.length l)-1, (Resolution(hist_dec, nl, histl))) - 234 | (List.map2 (fun (Pred(p', _)) x -> Pred(p', x)) hyp l) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Removed (_, _, _)|Any (_, _)|Empty _|HEquation (_, _, _, _)| - Resolution (_, _, _)|TestUnifTrue (_, _)) - File "rules.ml", lines 723-728, characters 3-45: - 723 | ...let (Rule(_,_,_,Pred(p',_), _)) as hist_dec = History.get_rule_hist (RApplyProj(f, n, chann)) in - 724 | let concl' = Pred(p', first) in - 725 | let hist'' = Resolution(hist, 0, hist_dec) in - 726 | try - 727 | tuple_dec hist'' concl' - 728 | with Not_found -> put_clause concl' hist''... - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Rule (_, _, _, Out (_, _), _) - File "rules.ml", lines 838-843, characters 2-90: - 838 | ..let (Rule(_, _, hyp, _, _)) as hist_dec = History.get_rule_hist (RElem(preds, p)) in - 839 | let hist' = Resolution(hist_dec, n, hist) in - 840 | let (l', hist'') = transform_hyp preds v hist' (n + List.length preds) l in - 841 | ((List.map (function - 842 | (Pred(p',_)) -> Pred(p', [t1]) - 843 | | Out _ -> Parsing_helper.internal_error "rules.ml: Pred expected") hyp) @ l', hist'') - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Removed (_, _, _)|Any (_, _)|Empty _|HEquation (_, _, _, _)| - Resolution (_, _, _)|TestUnifTrue (_, _)) - ocamlfind ocamldep -modules pitsyntax.ml > pitsyntax.ml.depends - ocamlfind ocamldep -modules simplify.ml > simplify.ml.depends - ocamlfind ocamlopt -c -g -annot -o simplify.cmx simplify.ml - + ocamlfind ocamlopt -c -g -annot -o simplify.cmx simplify.ml - File "simplify.ml", lines 1188-1193, characters 7-38: - 1188 | .......match catchs, tests, vars with - 1189 | [],[],[] -> [] - 1190 | | (c::cs), ((Some t)::ts), (v::vs) -> - 1191 | (v,c)::(t,Terms.true_term)::(constructUnifList cs ts vs) - 1192 | | (c::cs), (None::ts), (v::vs) -> - 1193 | (v,c)::(constructUnifList cs ts vs).. - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ([], [], _::_) - File "simplify.ml", lines 1195-1202, characters 7-78: - 1195 | .......match pats, catchs, tests with - 1196 | [], [], [] -> proc - 1197 | | (p::ps), (c::cs), (None::ts) -> - 1198 | constructAssignProcess ps cs ts - 1199 | (Let (p, c, proc, Nil, new_occurrence())) - 1200 | | (p::ps), (c::cs), ((Some t)::ts) -> - 1201 | constructAssignProcess ps cs ts - 1202 | (Let (p, c, Test(t, proc, Nil, new_occurrence()), Nil, new_occurrence()))... - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ([], [], _::_) - ocamlfind ocamlopt -c -g -annot -o pisyntax.cmx pisyntax.ml - + ocamlfind ocamlopt -c -g -annot -o pisyntax.cmx pisyntax.ml - File "pisyntax.ml", lines 994-1016, characters 29-57: - 994 | .............................function - 995 | Nil -> () - 996 | | NamedProcess(_, _, p) -> set_max_used_phase p - 997 | | Par(p1,p2) -> set_max_used_phase p1; set_max_used_phase p2 - 998 | | Repl (p,_) -> set_max_used_phase p - ... - 1013 | | AnnBarrier _ -> - 1014 | Parsing_helper.internal_error "Annotated barriers should not occur in the initial process" - 1015 | | Lock(_,p,_) | Unlock(_,p,_) - 1016 | | Assign(_,p,_) | ReadAs(_,p,_) -> set_max_used_phase p - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Open (_, _, _) - ocamlfind ocamlopt -c -g -annot -o pitsyntax.cmx pitsyntax.ml - + ocamlfind ocamlopt -c -g -annot -o pitsyntax.cmx pitsyntax.ml - File "pitsyntax.ml", lines 1674-1922, characters 36-8: - 1674 | ....................................match process with - 1675 | | PNil -> Nil - 1676 | | PPar(p1,p2) -> Par(check_process env p1, check_process env p2) - 1677 | | PRepl p -> Repl(check_process env p, Terms.new_occurrence ()) - 1678 | | PTest(cond,p1,p2) -> - ... - 1919 | input_error ("the term is of type "^term_type.tname^" but the type "^cell_type.tname^" was expected") ext; - 1920 | (cell, term)) terms cells term_list type_list in - 1921 | Assign(pairs', check_process env p, Terms.new_occurrence()) - 1922 | ) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - PBarrier (_, _, _) - File "pitsyntax.ml", lines 3096-3107, characters 6-9: - 3096 | ......begin - 3097 | match tl with - 3098 | [newl;newr] -> - 3099 | if n > !Param.max_used_phase then - 3100 | input_warning "nounif declaration for phase greater than used" ext; - ... - 3104 | input_error ("Arguments of reach2 should all be of type state") ext; - 3105 | let reach2_n = Param.get_pred (ReachBin(if n = -1 then (!Param.max_used_phase) else n)) in - 3106 | (reach2_n, [newl'; newr']) - 3107 | end - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (_, _)::(_, _)::(_, _)::_ - File "pitsyntax.ml", lines 3109-3122, characters 6-9: - 3109 | ......begin - 3110 | match tl with - 3111 | [oldl;newl;oldr;newr] -> - 3112 | if n > !Param.max_used_phase then - 3113 | input_warning "nounif declaration for phase greater than used" ext; - ... - 3119 | input_error ("Arguments of seq2 should all be of type state") ext; - 3120 | let seq2_n = Param.get_pred (SeqBin(if n = -1 then (!Param.max_used_phase) else n)) in - 3121 | (seq2_n, [oldl'; newl'; oldr'; newr']) - 3122 | end - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (_, _)::(_, _)::(_, _)::(_, _)::(_, _)::_ - ocamlfind ocamldep -modules reduction.ml > reduction.ml.depends - ocamlfind ocamldep -modules evaluation_helper.ml > evaluation_helper.ml.depends - ocamlfind ocamldep -modules evaluation_helper.mli > evaluation_helper.mli.depends - ocamlfind ocamlc -c -g -annot -o evaluation_helper.cmi evaluation_helper.mli - ocamlfind ocamlopt -c -g -annot -o evaluation_helper.cmx evaluation_helper.ml - ocamlfind ocamlopt -c -g -annot -o pitransl.cmx pitransl.ml - ocamlfind ocamlopt -c -g -annot -o reduction.cmx reduction.ml - ocamlfind ocamldep -modules pitranslweak.ml > pitranslweak.ml.depends - ocamlfind ocamldep -modules proswapper.ml > proswapper.ml.depends - ocamlfind ocamldep -modules reduction_bipro.ml > reduction_bipro.ml.depends - ocamlfind ocamldep -modules spassout.ml > spassout.ml.depends - ocamlfind ocamldep -modules syntax.ml > syntax.ml.depends - /home/opam/.opam/4.14.1/bin/ocamllex.opt -q lexer.mll - ocamlfind ocamldep -modules lexer.ml > lexer.ml.depends - /home/opam/.opam/4.14.1/bin/ocamlyacc parser.mly - ocamlfind ocamldep -modules parser.mli > parser.mli.depends - ocamlfind ocamlc -c -g -annot -o parser.cmi parser.mli - ocamlfind ocamlc -c -g -annot -o lexer.cmo lexer.ml - ocamlfind ocamldep -modules parser.ml > parser.ml.depends - ocamlfind ocamlopt -c -g -annot -o parser.cmx parser.ml - ocamlfind ocamlopt -c -g -annot -o lexer.cmx lexer.ml - ocamlfind ocamldep -modules tsyntax.ml > tsyntax.ml.depends - ocamlfind ocamlopt -c -g -annot -o destructor.cmx destructor.ml - ocamlfind ocamlopt -c -g -annot -o piauth.cmx piauth.ml - ocamlfind ocamlopt -c -g -annot -o pitranslweak.cmx pitranslweak.ml - + ocamlfind ocamlopt -c -g -annot -o pitranslweak.cmx pitranslweak.ml - File "pitranslweak.ml", lines 127-132, characters 20-37: - 127 | ....................match p.p_info with - 128 | | [AttackerBin(i,t)] -> Attacker(i,t) - 129 | | [MessBin(i,t)] -> Mess(i,t) - 130 | | [TableBin(i)] -> Table(i) - 131 | | [InputPBin(i)] -> InputP(i) - 132 | | [OutputPBin(i)] -> OutputP(i) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - AttackerBin (_, _)::_::_ - ocamlfind ocamlopt -c -g -annot -o proswapper.cmx proswapper.ml - ocamlfind ocamlopt -c -g -annot -o reduction_bipro.cmx reduction_bipro.ml - ocamlfind ocamlopt -c -g -annot -o spassout.cmx spassout.ml - ocamlfind ocamlopt -c -g -annot -o syntax.cmx syntax.ml - ocamlfind ocamlopt -c -g -annot -o tsyntax.cmx tsyntax.ml - ocamlfind ocamlopt -c -g -annot -o main.cmx main.ml - + ocamlfind ocamlopt -c -g -annot -o main.cmx main.ml - File "main.ml", line 339, characters 14-30: - 339 | let s_up = String.uppercase s in - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.uppercase - Use String.uppercase_ascii/StringLabels.uppercase_ascii instead. - ocamlfind ocamlopt -linkpkg -g -package str -package unix parsing_helper.cmx stringmap.cmx param.cmx debug.cmx misc.cmx terms.cmx termslinks.cmx display.cmx pitparser.cmx pitlexer.cmx pvqueue.cmx termsEq.cmx destructor.cmx reduction_helper.cmx evaluation_helper.cmx funmap.cmx history.cmx parser.cmx lexer.cmx noninterf.cmx pievent.cmx piparser.cmx pilexer.cmx weaksecr.cmx selfun.cmx rules.cmx pisyntax.cmx simplify.cmx pitsyntax.cmx pitransl.cmx reduction.cmx piauth.cmx pitranslweak.cmx proswapper.cmx reduction_bipro.cmx spassout.cmx syntax.cmx tsyntax.cmx main.cmx -o main.native - ocamlbuild -use-ocamlfind main.byte - ocamlfind ocamlc -c -g -annot -o destructor.cmo destructor.ml - ocamlfind ocamlc -c -g -annot -o display.cmo display.ml - + ocamlfind ocamlc -c -g -annot -o display.cmo display.ml - File "display.ml", lines 37-38, characters 31-40: - 37 | ...............................(t::vs) = - 38 | if s == s' then t else find cells vs - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "display.ml", lines 37-38, characters 15-40: - 37 | ...............((s',_)::cells) (t::vs) = - 38 | if s == s' then t else find cells vs - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "display.ml", line 305, characters 21-44: - 305 | let print_string = Pervasives.print_string - ^^^^^^^^^^^^^^^^^^^^^^^ - 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 "display.ml", lines 1949-1994, characters 10-37: - 1949 | ..........match proc with - 1950 | | Nil -> - 1951 | display_idcl CKeyword "0" - 1952 | | Par _ -> - 1953 | print_string "Parallel" - ... - 1991 | display_occ occ; - 1992 | display_prefix_letfilter lb f - 1993 | | NamedProcess(name, tl, p) -> - 1994 | display_prefix_namedprocess name tl - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Lock (_, _, _)|Unlock (_, _, _)|Open (_, _, _)|ReadAs (_, _, _)| - Assign (_, _, _)) - File "display.ml", lines 2441-2653, characters 2-15: - 2441 | ..match lbl with - 2442 | Rn _ -> - 2443 | print_string "The attacker creates the new name "; - 2444 | display_attacker_fact concl; - 2445 | print_string "."; - ... - 2650 | display_hyp_basic hyp_num_list hl; - 2651 | display_constra_list constra; - 2652 | print_string ("Using the clause number " ^ (string_of_int n) ^ ","); - 2653 | newline() - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Rread|Rwrite _) - ocamlfind ocamlc -c -g -annot -o history.cmo history.ml - ocamlfind ocamlc -c -g -annot -o param.cmo param.ml - ocamlfind ocamlc -c -g -annot -o parsing_helper.cmo parsing_helper.ml - ocamlfind ocamlc -c -g -annot -o piauth.cmo piauth.ml - ocamlfind ocamlc -c -g -annot -o pisyntax.cmo pisyntax.ml - + ocamlfind ocamlc -c -g -annot -o pisyntax.cmo pisyntax.ml - File "pisyntax.ml", lines 994-1016, characters 29-57: - 994 | .............................function - 995 | Nil -> () - 996 | | NamedProcess(_, _, p) -> set_max_used_phase p - 997 | | Par(p1,p2) -> set_max_used_phase p1; set_max_used_phase p2 - 998 | | Repl (p,_) -> set_max_used_phase p - ... - 1013 | | AnnBarrier _ -> - 1014 | Parsing_helper.internal_error "Annotated barriers should not occur in the initial process" - 1015 | | Lock(_,p,_) | Unlock(_,p,_) - 1016 | | Assign(_,p,_) | ReadAs(_,p,_) -> set_max_used_phase p - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Open (_, _, _) - ocamlfind ocamlc -c -g -annot -o pitransl.cmo pitransl.ml - ocamlfind ocamlc -c -g -annot -o pitranslweak.cmo pitranslweak.ml - + ocamlfind ocamlc -c -g -annot -o pitranslweak.cmo pitranslweak.ml - File "pitranslweak.ml", lines 127-132, characters 20-37: - 127 | ....................match p.p_info with - 128 | | [AttackerBin(i,t)] -> Attacker(i,t) - 129 | | [MessBin(i,t)] -> Mess(i,t) - 130 | | [TableBin(i)] -> Table(i) - 131 | | [InputPBin(i)] -> InputP(i) - 132 | | [OutputPBin(i)] -> OutputP(i) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - AttackerBin (_, _)::_::_ - ocamlfind ocamlc -c -g -annot -o pitsyntax.cmo pitsyntax.ml - + ocamlfind ocamlc -c -g -annot -o pitsyntax.cmo pitsyntax.ml - File "pitsyntax.ml", lines 1674-1922, characters 36-8: - 1674 | ....................................match process with - 1675 | | PNil -> Nil - 1676 | | PPar(p1,p2) -> Par(check_process env p1, check_process env p2) - 1677 | | PRepl p -> Repl(check_process env p, Terms.new_occurrence ()) - 1678 | | PTest(cond,p1,p2) -> - ... - 1919 | input_error ("the term is of type "^term_type.tname^" but the type "^cell_type.tname^" was expected") ext; - 1920 | (cell, term)) terms cells term_list type_list in - 1921 | Assign(pairs', check_process env p, Terms.new_occurrence()) - 1922 | ) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - PBarrier (_, _, _) - File "pitsyntax.ml", lines 3096-3107, characters 6-9: - 3096 | ......begin - 3097 | match tl with - 3098 | [newl;newr] -> - 3099 | if n > !Param.max_used_phase then - 3100 | input_warning "nounif declaration for phase greater than used" ext; - ... - 3104 | input_error ("Arguments of reach2 should all be of type state") ext; - 3105 | let reach2_n = Param.get_pred (ReachBin(if n = -1 then (!Param.max_used_phase) else n)) in - 3106 | (reach2_n, [newl'; newr']) - 3107 | end - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (_, _)::(_, _)::(_, _)::_ - File "pitsyntax.ml", lines 3109-3122, characters 6-9: - 3109 | ......begin - 3110 | match tl with - 3111 | [oldl;newl;oldr;newr] -> - 3112 | if n > !Param.max_used_phase then - 3113 | input_warning "nounif declaration for phase greater than used" ext; - ... - 3119 | input_error ("Arguments of seq2 should all be of type state") ext; - 3120 | let seq2_n = Param.get_pred (SeqBin(if n = -1 then (!Param.max_used_phase) else n)) in - 3121 | (seq2_n, [oldl'; newl'; oldr'; newr']) - 3122 | end - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (_, _)::(_, _)::(_, _)::(_, _)::(_, _)::_ - ocamlfind ocamlc -c -g -annot -o proswapper.cmo proswapper.ml - ocamlfind ocamlc -c -g -annot -o reduction.cmo reduction.ml - ocamlfind ocamlc -c -g -annot -o reduction_bipro.cmo reduction_bipro.ml - ocamlfind ocamlc -c -g -annot -package str -package unix -o reduction_helper.cmo reduction_helper.ml - + ocamlfind ocamlc -c -g -annot -package str -package unix -o reduction_helper.cmo reduction_helper.ml - File "reduction_helper.ml", lines 63-97, characters 28-73: - 63 | ............................function - 64 | Nil -> false - 65 | | NamedProcess(_, _, p) -> occurs_var_proc v p - 66 | | Par(p1,p2) -> (occurs_var_proc v p1) || (occurs_var_proc v p2) - 67 | | Repl(p,_) -> occurs_var_proc v p - ... - 94 | (occurs_var_proc v p) || (occurs_var_proc v q) - 95 | | Phase(_,p,_) -> occurs_var_proc v p - 96 | | Barrier _ | AnnBarrier _ -> - 97 | Parsing_helper.internal_error "Barriers should not appear here (13)" - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Lock (_, _, _)|Unlock (_, _, _)|Open (_, _, _)|ReadAs (_, _, _)| - Assign (_, _, _)) - File "reduction_helper.ml", lines 430-446, characters 23-68: - 430 | .......................function - 431 | ReplTag (o,_) -> print_string "!"; print_string (string_of_int o) - 432 | | InputTag o -> print_string "i"; print_string (string_of_int o) - 433 | | BeginEvent o -> print_string "b"; print_string (string_of_int o) - 434 | | BeginFact -> print_string "bf" - ... - 443 | | OutputPTag o -> print_string "op"; print_string (string_of_int o) - 444 | | InsertTag o -> print_string "it"; print_string (string_of_int o) - 445 | | GetTag o -> print_string "gt"; print_string (string_of_int o) - 446 | | GetTagElse o -> print_string "gte"; print_string (string_of_int o) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (SequenceTag|ReachTag|OpenTag _|AssignTag (_, _)|KnowledgeProgressTag _| - ReadAsTag (_, _)) - ocamlfind ocamlc -c -g -annot -o rules.cmo rules.ml - + ocamlfind ocamlc -c -g -annot -o rules.cmo rules.ml - File "rules.ml", lines 55-59, characters 67-7: - 55 | ...................................................................begin - 56 | match state_args with [left_state; right_state] -> - 57 | let left_x, right_x = Misc.bisect other_args in - 58 | [left_state] @ left_x @ [right_state] @ right_x - 59 | end........... - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::_::_::_ - File "rules.ml", lines 112-117, characters 6-9: - 112 | ......begin match l_ns with FunApp(f,_) :: _ when f.f_cat = Tuple -> - 113 | try - 114 | let _ = reorganize_fun_app f l_ns in - 115 | Parsing_helper.user_error "Conflict between an equivalence and the decomposition of data constructors:\nan equivalence applies to a fact which is also decomposable by data constructors.\n" - 116 | with Not_found -> () - 117 | end - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - All clauses in this pattern-matching are guarded. - File "rules.ml", line 234, characters 14-50: - 234 | (List.map2 (fun (Pred(p', _)) x -> Pred(p', x)) hyp l) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Out (_, _) - File "rules.ml", lines 232-234, characters 8-57: - 232 | ........let (Rule(_, _, hyp, _, _)) as hist_dec = History.get_rule_hist (RApplyFunc(f,chann)) in - 233 | decompose_hyp_rec (hypl, nl+(List.length l)-1, (Resolution(hist_dec, nl, histl))) - 234 | (List.map2 (fun (Pred(p', _)) x -> Pred(p', x)) hyp l) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Removed (_, _, _)|Any (_, _)|Empty _|HEquation (_, _, _, _)| - Resolution (_, _, _)|TestUnifTrue (_, _)) - File "rules.ml", lines 723-728, characters 3-45: - 723 | ...let (Rule(_,_,_,Pred(p',_), _)) as hist_dec = History.get_rule_hist (RApplyProj(f, n, chann)) in - 724 | let concl' = Pred(p', first) in - 725 | let hist'' = Resolution(hist, 0, hist_dec) in - 726 | try - 727 | tuple_dec hist'' concl' - 728 | with Not_found -> put_clause concl' hist''... - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Rule (_, _, _, Out (_, _), _) - File "rules.ml", lines 838-843, characters 2-90: - 838 | ..let (Rule(_, _, hyp, _, _)) as hist_dec = History.get_rule_hist (RElem(preds, p)) in - 839 | let hist' = Resolution(hist_dec, n, hist) in - 840 | let (l', hist'') = transform_hyp preds v hist' (n + List.length preds) l in - 841 | ((List.map (function - 842 | (Pred(p',_)) -> Pred(p', [t1]) - 843 | | Out _ -> Parsing_helper.internal_error "rules.ml: Pred expected") hyp) @ l', hist'') - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Removed (_, _, _)|Any (_, _)|Empty _|HEquation (_, _, _, _)| - Resolution (_, _, _)|TestUnifTrue (_, _)) - ocamlfind ocamlc -c -g -annot -o selfun.cmo selfun.ml - ocamlfind ocamlc -c -g -annot -o simplify.cmo simplify.ml - + ocamlfind ocamlc -c -g -annot -o simplify.cmo simplify.ml - File "simplify.ml", lines 1188-1193, characters 7-38: - 1188 | .......match catchs, tests, vars with - 1189 | [],[],[] -> [] - 1190 | | (c::cs), ((Some t)::ts), (v::vs) -> - 1191 | (v,c)::(t,Terms.true_term)::(constructUnifList cs ts vs) - 1192 | | (c::cs), (None::ts), (v::vs) -> - 1193 | (v,c)::(constructUnifList cs ts vs).. - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ([], [], _::_) - File "simplify.ml", lines 1195-1202, characters 7-78: - 1195 | .......match pats, catchs, tests with - 1196 | [], [], [] -> proc - 1197 | | (p::ps), (c::cs), (None::ts) -> - 1198 | constructAssignProcess ps cs ts - 1199 | (Let (p, c, proc, Nil, new_occurrence())) - 1200 | | (p::ps), (c::cs), ((Some t)::ts) -> - 1201 | constructAssignProcess ps cs ts - 1202 | (Let (p, c, Test(t, proc, Nil, new_occurrence()), Nil, new_occurrence()))... - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ([], [], _::_) - ocamlfind ocamlc -c -g -annot -o spassout.cmo spassout.ml - ocamlfind ocamlc -c -g -annot -o syntax.cmo syntax.ml - ocamlfind ocamlc -c -g -annot -o terms.cmo terms.ml - + ocamlfind ocamlc -c -g -annot -o terms.cmo terms.ml - File "terms.ml", lines 908-910, characters 56-7: - 908 | ........................................................begin - 909 | match args with state::rest -> ([state], rest) - 910 | end................................................................. - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "terms.ml", lines 910-913, characters 67-7: - 910 | ...................................................................begin - 911 | match Misc.bisect args with l_s::l_ns, r_s::r_ns -> - 912 | ([l_s; r_s], (l_ns @ r_ns)) - 913 | end........... - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (_::_, []) - ocamlfind ocamlc -c -g -annot -o termsEq.cmo termsEq.ml - ocamlfind ocamlc -c -g -annot -o tsyntax.cmo tsyntax.ml - ocamlfind ocamlc -c -g -annot -o misc.cmo misc.ml - + ocamlfind ocamlc -c -g -annot -o misc.cmo misc.ml - File "misc.ml", lines 26-31, characters 4-15: - 26 | ....match (n, l) with - 27 | | n, x::l when n > 0 -> - 28 | let (l,r) = peel (n-1) l in - 29 | (x::l, r) - 30 | | 0, l -> - 31 | ([], l) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (1, _) - (However, some guarded clause may match this value.) - ocamlfind ocamlc -c -g -annot -o termslinks.cmo termslinks.ml - ocamlfind ocamlc -c -g -annot -o stringmap.cmo stringmap.ml - ocamlfind ocamlc -c -g -annot -o pitparser.cmo pitparser.ml - ocamlfind ocamlc -c -g -annot -o pvqueue.cmo pvqueue.ml - ocamlfind ocamlc -c -g -annot -o funmap.cmo funmap.ml - ocamlfind ocamlc -c -g -annot -o pievent.cmo pievent.ml - ocamlfind ocamlc -c -g -annot -o weaksecr.cmo weaksecr.ml - ocamlfind ocamlc -c -g -annot -o piparser.cmo piparser.ml - ocamlfind ocamlc -c -g -annot -o noninterf.cmo noninterf.ml - ocamlfind ocamlc -c -g -annot -o evaluation_helper.cmo evaluation_helper.ml - ocamlfind ocamlc -c -g -annot -o parser.cmo parser.ml - ocamlfind ocamlc -linkpkg -g -package str -package unix parsing_helper.cmo param.cmo debug.cmo misc.cmo terms.cmo termslinks.cmo display.cmo pitparser.cmo pitlexer.cmo pvqueue.cmo termsEq.cmo destructor.cmo stringmap.cmo reduction_helper.cmo history.cmo funmap.cmo pievent.cmo piparser.cmo pilexer.cmo noninterf.cmo weaksecr.cmo selfun.cmo rules.cmo pisyntax.cmo simplify.cmo pitsyntax.cmo pitransl.cmo evaluation_helper.cmo reduction.cmo piauth.cmo pitranslweak.cmo proswapper.cmo reduction_bipro.cmo spassout.cmo parser.cmo lexer.cmo syntax.cmo tsyntax.cmo main.cmo -o main.byte - ocamlbuild -use-ocamlfind statveriftotex.native - ocamlfind ocamldep -modules statveriftotex.ml > statveriftotex.ml.depends - ocamlfind ocamldep -modules fileprint.ml > fileprint.ml.depends - /home/opam/.opam/4.14.1/bin/ocamllex.opt -q lexertotex.mll - ocamlfind ocamldep -modules lexertotex.ml > lexertotex.ml.depends - ocamlfind ocamlc -c -g -annot -o fileprint.cmo fileprint.ml - /home/opam/.opam/4.14.1/bin/ocamllex.opt -q pitlexertotex.mll - ocamlfind ocamldep -modules pitlexertotex.ml > pitlexertotex.ml.depends - ocamlfind ocamlc -c -g -annot -o lexertotex.cmo lexertotex.ml - ocamlfind ocamlc -c -g -annot -o pitlexertotex.cmo pitlexertotex.ml - ocamlfind ocamlc -c -g -annot -o statveriftotex.cmo statveriftotex.ml - + ocamlfind ocamlc -c -g -annot -o statveriftotex.cmo statveriftotex.ml - File "statveriftotex.ml", line 57, characters 12-28: - 57 | let f_up = String.uppercase f in - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.uppercase - Use String.uppercase_ascii/StringLabels.uppercase_ascii instead. - ocamlfind ocamlopt -c -g -annot -o fileprint.cmx fileprint.ml - ocamlfind ocamlopt -c -g -annot -o lexertotex.cmx lexertotex.ml - ocamlfind ocamlopt -c -g -annot -o pitlexertotex.cmx pitlexertotex.ml - ocamlfind ocamlopt -c -g -annot -o statveriftotex.cmx statveriftotex.ml - + ocamlfind ocamlopt -c -g -annot -o statveriftotex.cmx statveriftotex.ml - File "statveriftotex.ml", line 57, characters 12-28: - 57 | let f_up = String.uppercase f in - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.uppercase - Use String.uppercase_ascii/StringLabels.uppercase_ascii instead. - ocamlfind ocamlopt -linkpkg -g fileprint.cmx parsing_helper.cmx stringmap.cmx param.cmx piparser.cmx pilexer.cmx lexertotex.cmx pitparser.cmx pitlexer.cmx pitlexertotex.cmx statveriftotex.cmx -o statveriftotex.native -> compiled statverif.1.97pl1.2 Processing 9/9: [statverif: gmake install] + /usr/local/bin/gmake "prefix=/home/opam/.opam/4.14.1" "install" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/statverif.1.97pl1.2) - make -C src install - ocamlbuild -use-ocamlfind main.native - ocamlbuild -use-ocamlfind main.byte - ocamlbuild -use-ocamlfind statveriftotex.native - mkdir -p /home/opam/.opam/4.14.1/bin - install -m 755 _build/main.native /home/opam/.opam/4.14.1/bin/statverif - install -m 755 _build/statveriftotex.native /home/opam/.opam/4.14.1/bin/statveriftotex -> installed statverif.1.97pl1.2 Done. 2024-07-04 11:03.04 ---> saved as "85604459e5360819af568932828b453d2910111af7e604be4ba18787820c3a31" Job succeeded