Building on falling (from freebsd-ocaml-5.0) 2023-09-17 03:57.21 ---> using "b0ee167c73857b60ecf6c06eff6bbe96857a02ac84fefd2b9807cb2eea16bf97" 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-2.1 /usr/local/bin/opam")) 2023-09-17 03:57.21 ---> using "58da31f76f3dd28576bb2b11a05c1473a2cbc0bc8e959f83414ab7001888e94f" 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 b61304c6db353e679a36720d8b914b029d6fbc0c")) 2023-09-17 03:57.22 ---> using "8d3da13405344b39e752afb838c3c735052c4eec4b16365a8f42fa332f48db13" 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: /usr/home/opam/.profile is already up-to-date. [NOTE] Make sure that /usr/home/opam/.profile is well sourced in your ~/.bashrc. 2023-09-17 03:57.22 ---> using "8116be61a4c735c894d82723f81082e77bc159c30ffe9a35227f19965692cf33" from cache /: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=default '5.1.0' 'ocaml-base-compiler.5.1.0'")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "5.1.0"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> installed ocaml-options-vanilla.1 -> retrieved ocaml-base-compiler.5.1.0 (https://github.com/ocaml/ocaml/archive/5.1.0.tar.gz) -> installed ocaml-base-compiler.5.1.0 -> installed ocaml-config.3 -> installed ocaml.5.1.0 -> installed base-domains.base -> installed base-nnp.base Done. # Run eval $(opam env --switch=5.1.0) to update the current shell environment 2023-09-17 03:57.22 ---> using "73b7633f0298ea7c901ce15bd30c5ada60119470d51cc1a63067122599e45154" from cache /: (run (network host) (shell "opam update --depexts")) [WARNING] Unknown update command for bsd, skipping system update 2023-09-17 03:57.22 ---> using "59ac4931b4c0be1ea24be286a20f1c86c72ebf14147ef4722646fad8024c5437" from cache /: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"lem.2022-12-10\"\ \nopam install -vy \"lem.2022-12-10\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"lem.2022-12-10\" | 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] lem.2022-12-10 is not installed. Nothing to do. The following actions will be performed: - install conf-gmp 4 [required by zarith] - install ocamlbuild 0.14.2 [required by lem] - install conf-findutils 1 [required by lem] - install ocamlfind 1.9.6 [required by lem] - install zarith 1.13 [required by lem] - install num 1.4 [required by lem] - install lem 2022-12-10 ===== 7 to install ===== The following system packages will first need to be installed: gmp <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><> Let opam run your package manager to install the required system packages? (answer 'n' for other options) [Y/n] y + /usr/local/bin/sudo "pkg" "install" "-y" "gmp" - Updating FreeBSD repository catalogue... - [falling] Fetching packagesite.pkg: .......... done - Processing entries: - ... - .... - ... done - FreeBSD repository update completed. 33871 packages processed. - All repositories are up to date. - The following 1 package(s) will be affected (of 0 checked): - - New packages to be INSTALLED: - gmp: 6.2.1 - - Number of packages to be installed: 1 - - The process will require 3 MiB more space. - 475 KiB to be downloaded. - [falling] [1/1] Fetching gmp-6.2.1.pkg: .......... done - Checking integrity... done (0 conflicting) - [falling] [1/1] Installing gmp-6.2.1... - [falling] [1/1] Extracting gmp-6.2.1: .......... done <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 3/21: [lem.2022-12-10: http] Processing 4/21: [lem.2022-12-10: http] Processing 5/21: [lem.2022-12-10: http] Processing 6/21: [lem.2022-12-10: http] [conf-findutils: sh find . -name .] Processing 7/21: [lem.2022-12-10: http] [conf-findutils: sh find . -name .] [conf-gmp: sh] -> retrieved ocamlbuild.0.14.2 (cached) Processing 8/21: [lem.2022-12-10: http] [conf-findutils: sh find . -name .] [conf-gmp: sh] Processing 9/21: [lem.2022-12-10: http] [conf-findutils: sh find . -name .] [conf-gmp: sh] [ocamlbuild: gmake configure.make] -> retrieved ocamlfind.1.9.6 (cached) Processing 10/21: [lem.2022-12-10: http] [conf-findutils: sh find . -name .] [conf-gmp: sh] [ocamlbuild: gmake configure.make] [ocamlfind: patch] applying 0001-Harden-test-for-OCaml-5.patch Processing 11/21: [lem.2022-12-10: http] [conf-findutils: sh find . -name .] [conf-gmp: sh] [ocamlbuild: gmake configure.make] [ocamlfind: patch] -> retrieved zarith.1.13 (cached) Processing 11/21: [lem.2022-12-10: http] [conf-findutils: sh find . -name .] [conf-gmp: sh] [ocamlbuild: gmake configure.make] [ocamlfind: ./configure] - (echo "# This file was generated from configure.make"; \ - echo ;\ - echo "OCAML_PREFIX="; \ - echo "OCAML_BINDIR=/usr/home/opam/.opam/5.1.0/bin"; \ - echo "OCAML_LIBDIR=/usr/home/opam/.opam/5.1.0/lib/ocaml"; \ - echo "OCAML_MANDIR=/usr/home/opam/.opam/5.1.0/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=/usr/home/opam/.opam/5.1.0"; \ - echo "BINDIR=/usr/home/opam/.opam/5.1.0/bin"; \ - echo "LIBDIR=/usr/home/opam/.opam/5.1.0/lib"; \ - echo "MANDIR=/usr/home/opam/.opam/5.1.0/man"; \ - ) > Makefile.config - (echo "(* This file was generated from ../configure.make *)"; \ - echo ;\ - echo 'let bindir = "/usr/home/opam/.opam/5.1.0/bin"'; \ - echo 'let libdir = "/usr/home/opam/.opam/5.1.0/lib"'; \ - echo 'let ocaml_libdir = "/usr/home/opam/.opam/5.1.0/lib/ocaml"'; \ - echo 'let libdir_abs = "/usr/home/opam/.opam/5.1.0/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.2"'; \ - ) > src/ocamlbuild_config.ml Processing 11/21: [lem.2022-12-10: http] [conf-findutils: sh find . -name .] [conf-gmp: sh] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: ./configure] - + cc -c -I/usr/local/include test.c -> compiled conf-gmp.4 Processing 11/21: [lem.2022-12-10: http] [conf-findutils: sh find . -name .] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: ./configure] -> installed conf-gmp.4 Processing 12/21: [lem.2022-12-10: http] [conf-findutils: sh find . -name .] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: ./configure] - + find . -name . - . -> compiled conf-findutils.1 Processing 12/21: [lem.2022-12-10: http] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: ./configure] -> installed conf-findutils.1 Processing 13/21: [lem.2022-12-10: http] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: ./configure] -> retrieved num.1.4 (cached) Processing 13/21: [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: ./configure] -> retrieved lem.2022-12-10 (https://github.com/rems-project/lem/archive/2022-12-10.tar.gz) - 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... - Configuring libraries... - unix: found (in +unix) - dynlink: found (in +dynlink) - bigarray: not present (possible since 4.08) - 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 (in +str) - labltk: not present (normal since 4.02) - native dynlink: found - camlp4: disabled - bytes: found, installing fake library - Configuration for bytes written to site-lib-src/bytes/META - Detecting compiler arguments: (extractor built) ok - - About the OCAML core installation: - Standard library: /usr/home/opam/.opam/5.1.0/lib/ocaml - Binaries: /usr/home/opam/.opam/5.1.0/bin - Manual pages: /usr/home/opam/.opam/5.1.0/man - Multi-threading type: posix - The directory of site-specific packages will be - site-lib: /usr/home/opam/.opam/5.1.0/lib - The configuration file is written to: - findlib config file: /usr/home/opam/.opam/5.1.0/lib/findlib.conf - Software will be installed: - Libraries: in <site-lib>/findlib - Binaries: /usr/home/opam/.opam/5.1.0/bin - Manual pages: /usr/home/opam/.opam/5.1.0/man - topfind script: /usr/home/opam/.opam/5.1.0/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 13/21: [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: gmake all] - for p in findlib; do ( cd src/$p; /usr/local/bin/gmake all ) || exit; done - gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.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@' '/usr/home/opam/.opam/5.1.0/lib/findlib.conf' | \ - ../../tools/patch '@STDLIB@' '/usr/home/opam/.opam/5.1.0/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@' '/usr/home/opam/.opam/5.1.0/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 '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6/src/findlib' - /usr/local/bin/gmake all-config - gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6' - USE_CYGPATH="0"; \ - export USE_CYGPATH; \ - cat findlib.conf.in | \ - tools/patch '@SITELIB@' '/usr/home/opam/.opam/5.1.0/lib' | \ - tools/patch '@FINDLIB_PATH@' '/usr/home/opam/.opam/5.1.0/lib/ocaml:/usr/home/opam/.opam/5.1.0/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 '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6' Processing 13/21: [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: gmake opt] - for p in findlib; do ( cd src/$p; /usr/local/bin/gmake opt ) || exit; done - gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.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 '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6/src/findlib' -> compiled ocamlfind.1.9.6 Processing 13/21: [ocamlbuild: gmake check-if-preinstalled] Processing 14/21: [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: gmake install] - if [ "0" -eq 1 ]; then \ - for x in camlp4 dbm graphics labltk num ocamlbuild; do \ - if [ -f "/usr/home/opam/.opam/5.1.0/lib/$x/META" ]; then \ - if ! grep -Fq '[distributed with Ocaml]' "//usr/home/opam/.opam/5.1.0/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 "/usr/home/opam/.opam/5.1.0/bin" - install -d "/usr/home/opam/.opam/5.1.0/man" - /usr/local/bin/gmake install-config - gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6' - install -d "`dirname \"/usr/home/opam/.opam/5.1.0/lib/findlib.conf\"`" - test -f "/usr/home/opam/.opam/5.1.0/lib/findlib.conf" || install -c findlib.conf "/usr/home/opam/.opam/5.1.0/lib/findlib.conf" - gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.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 '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6/src/findlib' - install -d "/usr/home/opam/.opam/5.1.0/lib/findlib" - install -d "/usr/home/opam/.opam/5.1.0/bin" - test 1 -eq 0 || install -d "/usr/home/opam/.opam/5.1.0/lib/ocaml" - test 1 -eq 0 || install -c topfind "/usr/home/opam/.opam/5.1.0/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 "/usr/home/opam/.opam/5.1.0/lib/findlib/" - f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \ - install -c $f "/usr/home/opam/.opam/5.1.0/bin/ocamlfind" - # the following "if" block is only needed for 4.00beta2 - if [ 1 -eq 0 -a -f "/usr/home/opam/.opam/5.1.0/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \ - cd "/usr/home/opam/.opam/5.1.0/lib/ocaml/compiler-libs/"; \ - install -c topdirs.cmi toploop.cmi "/usr/home/opam/.opam/5.1.0/lib/findlib/"; \ - fi - gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6/src/findlib' - /usr/local/bin/gmake install-meta - gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6' - for x in bytes ; do install -d "/usr/home/opam/.opam/5.1.0/lib/$x"; install -c site-lib-src/$x/META "/usr/home/opam/.opam/5.1.0/lib/$x/META.tmp" && mv "/usr/home/opam/.opam/5.1.0/lib/$x/META.tmp" "/usr/home/opam/.opam/5.1.0/lib/$x/META"; done - install -d "/usr/home/opam/.opam/5.1.0/lib/findlib"; install -c Makefile.packages "/usr/home/opam/.opam/5.1.0/lib/findlib/Makefile.packages" - gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.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 "/usr/home/opam/.opam/5.1.0/bin" - /usr/local/bin/gmake install-doc - gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6' - install -d "/usr/home/opam/.opam/5.1.0/man/man1" "/usr/home/opam/.opam/5.1.0/man/man3" "/usr/home/opam/.opam/5.1.0/man/man5" - install -c doc/ref-man/ocamlfind.1 "/usr/home/opam/.opam/5.1.0/man/man1" - install -c doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/usr/home/opam/.opam/5.1.0/man/man5" - gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6' -> installed ocamlfind.1.9.6 Processing 14/21: [ocamlbuild: gmake check-if-preinstalled] Processing 15/21: [num: gmake] [ocamlbuild: gmake check-if-preinstalled] Processing 16/21: [num: gmake] [ocamlbuild: gmake check-if-preinstalled] [zarith: sh] - + LDFLAGS=' -L/usr/local/lib' CFLAGS=' -I/usr/local/include' ./configure - binary ocaml: found in /usr/home/opam/.opam/5.1.0/bin - binary ocamlc: found in /usr/home/opam/.opam/5.1.0/bin - binary ocamldep: found in /usr/home/opam/.opam/5.1.0/bin - binary ocamlmklib: found in /usr/home/opam/.opam/5.1.0/bin - binary ocamldoc: found in /usr/home/opam/.opam/5.1.0/bin - binary ocamlopt: found in /usr/home/opam/.opam/5.1.0/bin - checking compilation with ocamlc -O3 -Wall -Wextra -I/usr/local/include: working - include caml/mlvalues.h: found - library dynlink.cmxa: found - binary ocamlfind: found in /usr/home/opam/.opam/5.1.0/bin - OCaml's word size is 64 - package gmp: found - OCaml supports -bin-annot to produce documentation - - detected configuration: - - native-code: yes - dynamic linking: yes - defines: -DHAS_GMP - includes: -I/usr/home/opam/.opam/5.1.0/lib/ocaml -I/usr/local/include - libraries: -L/usr/local/lib -lgmp - linker options: -L/usr/local/lib - C options: -O3 -Wall -Wextra -I/usr/local/include - installation path: /usr/home/opam/.opam/5.1.0/lib - installation method findlib - - configuration successful! - now type "make" to build - then type "make install" or "sudo make install" to install Processing 16/21: [num: gmake] [ocamlbuild: gmake check-if-preinstalled] [zarith: gmake] - if test -d /usr/home/opam/.opam/5.1.0/lib/ocaml/ocamlbuild; then\ - >&2 echo "ERROR: Preinstalled ocamlbuild detected at"\ - "/usr/home/opam/.opam/5.1.0/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 '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlbuild.0.14.2' - rm -f ocamlbuild.install - touch ocamlbuild.install - /usr/local/bin/gmake install-bin-opam - gmake[2]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlbuild.0.14.2' - 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 '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlbuild.0.14.2' - /usr/local/bin/gmake install-lib-opam - gmake[2]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlbuild.0.14.2' - echo 'lib: [' >> ocamlbuild.install - /usr/local/bin/gmake install-lib-basics-opam - gmake[3]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlbuild.0.14.2' - 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 '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlbuild.0.14.2' - /usr/local/bin/gmake install-lib-byte-opam - gmake[3]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlbuild.0.14.2' - 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 '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlbuild.0.14.2' - /usr/local/bin/gmake install-lib-native-opam - gmake[3]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlbuild.0.14.2' - 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 '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlbuild.0.14.2' - echo ']' >> ocamlbuild.install - echo >> ocamlbuild.install - gmake[2]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlbuild.0.14.2' - /usr/local/bin/gmake install-man-opam - gmake[2]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlbuild.0.14.2' - echo 'man: [' >> ocamlbuild.install - echo ' "man/ocamlbuild.1" {"man1/ocamlbuild.1"}' >> ocamlbuild.install - echo ']' >> ocamlbuild.install - echo >> ocamlbuild.install - gmake[2]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlbuild.0.14.2' - /usr/local/bin/gmake install-doc-opam - gmake[2]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlbuild.0.14.2' - echo 'doc: [' >> ocamlbuild.install - echo ' "LICENSE"' >> ocamlbuild.install - echo ' "Changes"' >> ocamlbuild.install - echo ' "Readme.md"' >> ocamlbuild.install - echo ']' >> ocamlbuild.install - gmake[2]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlbuild.0.14.2' - gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlbuild.0.14.2' -> compiled ocamlbuild.0.14.2 Processing 16/21: [num: gmake] [zarith: gmake] -> installed ocamlbuild.0.14.2 Processing 17/21: [num: gmake] [zarith: gmake] - /usr/local/bin/gmake -C src all - gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/num.1.4/src' - ocamlc -ccopt -DBNG_ARCH_amd64 -c bng.c - ocamlc -ccopt -DBNG_ARCH_amd64 -c nat_stubs.c - ocamlmklib -oc nums bng.o nat_stubs.o - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.mli - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.ml - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c nat.mli - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c nat.ml - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c big_int.mli - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c big_int.ml - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_flags.mli - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_flags.ml - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c ratio.mli - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c ratio.ml - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c num.mli - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c num.ml - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_status.mli - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_status.ml - ocamlmklib -o nums -oc nums -linkall int_misc.cmo nat.cmo big_int.cmo arith_flags.cmo ratio.cmo num.cmo arith_status.cmo - ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c nat.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c big_int.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_flags.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c ratio.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c num.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_status.ml - ocamlmklib -o nums -oc nums -linkall int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx - ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -I . -shared -o nums.cmxs nums.cmxa - gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/num.1.4/src' - /usr/local/bin/gmake -C toplevel all - gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/num.1.4/toplevel' - ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top_printers.mli - ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top_printers.ml - ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top.mli - ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top.ml - ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -a -o num_top.cma num_top_printers.cmo num_top.cmo - gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/num.1.4/toplevel' -> compiled num.1.4 Processing 17/21: [zarith: gmake] Processing 18/21: [zarith: gmake] [num: ocamlfind remove] - ocamlfind: [WARNING] No such file: /usr/home/opam/.opam/5.1.0/lib/num/META - ocamlfind: [WARNING] No such file: /usr/home/opam/.opam/5.1.0/lib/num-top/META Processing 18/21: [zarith: gmake] [num: gmake install] - /usr/local/bin/gmake -C src install - gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/num.1.4/src' - install -d /usr/home/opam/.opam/5.1.0/lib/ocaml - sed -e 's/%%VERSION%%/1.4/g' META.in > META - ocamlfind install num META - Installed /usr/home/opam/.opam/5.1.0/lib/num/META - rm -f META - install -m 644 nums.cma libnums.a big_int.cmi nat.cmi num.cmi ratio.cmi arith_status.cmi big_int.mli nat.mli num.mli ratio.mli arith_status.mli big_int.cmti nat.cmti num.cmti ratio.cmti arith_status.cmti nums.cmxa nums.a int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx nums.cmxs /usr/home/opam/.opam/5.1.0/lib/ocaml - install -d /usr/home/opam/.opam/5.1.0/lib/ocaml/stublibs - install dllnums.so /usr/home/opam/.opam/5.1.0/lib/ocaml/stublibs - gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/num.1.4/src' - /usr/local/bin/gmake -C toplevel install - gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/num.1.4/toplevel' - sed -e 's/%%VERSION%%/1.4/g' META.in > META - ocamlfind install num-top META num_top.cma num_top.cmi num_top_printers.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/num-top/num_top_printers.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/num-top/num_top.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/num-top/num_top.cma - Installed /usr/home/opam/.opam/5.1.0/lib/num-top/META - rm -f META - gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/num.1.4/toplevel' -> installed num.1.4 Processing 18/21: [zarith: gmake] + /usr/local/bin/gmake (CWD=/usr/home/opam/.opam/5.1.0/.opam-switch/build/zarith.1.13) - (echo "let"; grep "version" META | head -1) > zarith_version.ml - ocamldep zarith_version.ml z.ml q.ml big_int_Z.ml z.mli q.mli big_int_Z.mli > depend - ocamlc -g -I +compiler-libs -bin-annot -c zarith_version.ml - ocamlc -g -I +compiler-libs -bin-annot -c z.mli - ocamlc -g -I +compiler-libs -bin-annot -c z.ml - ocamlc -g -I +compiler-libs -bin-annot -c q.mli - ocamlc -g -I +compiler-libs -bin-annot -c q.ml - ocamlc -g -I +compiler-libs -bin-annot -c big_int_Z.mli - ocamlc -g -I +compiler-libs -bin-annot -c big_int_Z.ml - ocamlmklib -g -failsafe -o zarith zarith_version.cmo z.cmo q.cmo big_int_Z.cmo -L/usr/local/lib -lgmp -L/usr/local/lib - ocamlc -ccopt "-I/usr/home/opam/.opam/5.1.0/lib/ocaml -I/usr/local/include -DHAS_GMP -O3 -Wall -Wextra -I/usr/local/include" -c caml_z.c - ocamlmklib -g -failsafe -o zarith caml_z.o -L/usr/local/lib -lgmp -L/usr/local/lib - ocamlc -g -I +compiler-libs -bin-annot -c zarith_top.ml - ocamlc -g -o zarith_top.cma -a zarith_top.cmo - ocamlopt -g -I +compiler-libs -c zarith_version.ml - ocamlopt -g -I +compiler-libs -c z.ml - ocamlopt -g -I +compiler-libs -c q.ml - ocamlopt -g -I +compiler-libs -c big_int_Z.ml - ocamlmklib -g -failsafe -o zarith zarith_version.cmx z.cmx q.cmx big_int_Z.cmx -L/usr/local/lib -lgmp -L/usr/local/lib - ocamlopt -shared -o zarith.cmxs -I . zarith.cmxa -linkall -> compiled zarith.1.13 Processing 19/21: [zarith: gmake install] + /usr/local/bin/gmake "install" (CWD=/usr/home/opam/.opam/5.1.0/.opam-switch/build/zarith.1.13) - ocamlfind install -destdir "/usr/home/opam/.opam/5.1.0/lib" zarith META zarith.cma libzarith.a z.cmi q.cmi big_int_Z.cmi zarith_top.cma z.mli zarith.cmxa zarith_version.cmx z.cmx q.cmx big_int_Z.cmx zarith.cmxs zarith.h q.mli big_int_Z.mli zarith.a z.cmti q.cmti big_int_Z.cmti -optional dllzarith.so - Installed /usr/home/opam/.opam/5.1.0/lib/zarith/big_int_Z.cmti - Installed /usr/home/opam/.opam/5.1.0/lib/zarith/q.cmti - Installed /usr/home/opam/.opam/5.1.0/lib/zarith/z.cmti - Installed /usr/home/opam/.opam/5.1.0/lib/zarith/zarith.a - Installed /usr/home/opam/.opam/5.1.0/lib/zarith/big_int_Z.mli - Installed /usr/home/opam/.opam/5.1.0/lib/zarith/q.mli - Installed /usr/home/opam/.opam/5.1.0/lib/zarith/zarith.h - Installed /usr/home/opam/.opam/5.1.0/lib/zarith/zarith.cmxs - Installed /usr/home/opam/.opam/5.1.0/lib/zarith/big_int_Z.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/zarith/q.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/zarith/z.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/zarith/zarith_version.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/zarith/zarith.cmxa - Installed /usr/home/opam/.opam/5.1.0/lib/zarith/z.mli - Installed /usr/home/opam/.opam/5.1.0/lib/zarith/zarith_top.cma - Installed /usr/home/opam/.opam/5.1.0/lib/zarith/big_int_Z.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/zarith/q.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/zarith/z.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/zarith/libzarith.a - Installed /usr/home/opam/.opam/5.1.0/lib/zarith/zarith.cma - Installed /usr/home/opam/.opam/5.1.0/lib/stublibs/dllzarith.so - Installed /usr/home/opam/.opam/5.1.0/lib/stublibs/dllzarith.so.owner - ocamlfind: [WARNING] You have installed DLLs but the directory /usr/home/opam/.opam/5.1.0/lib/stublibs is not mentioned in ld.conf - Installed /usr/home/opam/.opam/5.1.0/lib/zarith/META -> installed zarith.1.13 Processing 20/21: [lem: gmake] + /usr/local/bin/gmake "INSTALL_DIR=/usr/home/opam/.opam/5.1.0" (CWD=/usr/home/opam/.opam/5.1.0/.opam-switch/build/lem.2022-12-10) - echo "(* Generated file -- do not edit. *)" > src/version.ml - echo 'let v="2022-12-10"' >> src/version.ml - echo "(* Generated file -- do not edit. *)" > src/share_directory.ml - echo let d=\"/usr/home/opam/.opam/5.1.0/share/lem\" >> src/share_directory.ml - /usr/local/bin/gmake -C src all - gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/lem.2022-12-10/src' - ocamlbuild -use-ocamlfind -cflags -g main.native - ocamlfind ocamldep -package zarith -modules main.ml > main.ml.depends - ocamlfind ocamldep -package zarith -modules main.mli > main.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o main.cmi main.mli - ocamlfind ocamldep -package zarith -modules ast.ml > ast.ml.depends - ocamlfind ocamldep -package zarith -modules ulib/ulib.ml > ulib/ulib.ml.depends - ocamlfind ocamldep -package zarith -modules ulib/batText.mli > ulib/batText.mli.depends - ocamlfind ocamldep -package zarith -modules ulib/batUChar.mli > ulib/batUChar.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ulib/batUChar.cmi ulib/batUChar.mli - ocamlfind ocamldep -package zarith -modules ulib/batUTF8.mli > ulib/batUTF8.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ulib/batText.cmi ulib/batText.mli - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ulib/batUTF8.cmi ulib/batUTF8.mli - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ulib/ulib.cmo ulib/ulib.ml - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ast.cmo ast.ml - ocamlfind ocamldep -package zarith -modules ulib/batText.ml > ulib/batText.ml.depends - ocamlfind ocamldep -package zarith -modules ulib/batReturn.ml > ulib/batReturn.ml.depends - ocamlfind ocamldep -package zarith -modules ulib/batReturn.mli > ulib/batReturn.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ulib/batReturn.cmi ulib/batReturn.mli - ocamlfind ocamldep -package zarith -modules ulib/batUChar.ml > ulib/batUChar.ml.depends - ocamlfind ocamldep -package zarith -modules ulib/batUTF8.ml > ulib/batUTF8.ml.depends - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ulib/batUChar.cmx ulib/batUChar.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ulib/batReturn.cmx ulib/batReturn.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ulib/batUTF8.cmx ulib/batUTF8.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ulib/batText.cmx ulib/batText.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ulib/ulib.cmx ulib/ulib.ml - ocamlfind ocamldep -package zarith -modules ast_util.ml > ast_util.ml.depends - ocamlfind ocamldep -package zarith -modules ast_util.mli > ast_util.mli.depends - ocamlfind ocamldep -package zarith -modules name.mli > name.mli.depends - ocamlfind ocamldep -package zarith -modules output.mli > output.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o output.cmi output.mli - ocamlfind ocamldep -package zarith -modules path.mli > path.mli.depends - ocamlfind ocamldep -package zarith -modules ident.mli > ident.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o name.cmi name.mli - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ident.cmi ident.mli - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o path.cmi path.mli - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ast_util.cmi ast_util.mli - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ast.cmx ast.ml - ocamlfind ocamldep -package zarith -modules ident.ml > ident.ml.depends - ocamlfind ocamldep -package zarith -modules name.ml > name.ml.depends - ocamlfind ocamldep -package zarith -modules output.ml > output.ml.depends - ocamlfind ocamldep -package zarith -modules reporting_basic.ml > reporting_basic.ml.depends - ocamlfind ocamldep -package zarith -modules reporting_basic.mli > reporting_basic.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o reporting_basic.cmi reporting_basic.mli - ocamlfind ocamldep -package zarith -modules pp.ml > pp.ml.depends - ocamlfind ocamldep -package zarith -modules pp.mli > pp.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o pp.cmi pp.mli - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o pp.cmx pp.ml - ocamlfind ocamldep -package zarith -modules util.ml > util.ml.depends - ocamlfind ocamldep -package zarith -modules util.mli > util.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o util.cmi util.mli - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o reporting_basic.cmx reporting_basic.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o util.cmx util.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o output.cmx output.ml - + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o output.cmx output.ml - File "_none_", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The str subdirectory has been - automatically added to the search path, but you should add -I +str to the - command-line to silence this alert (e.g. by adding str to the list of - libraries in your dune file, or adding use_str to your _tags file for - ocamlbuild, or using -package str for ocamlfind). - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o name.cmx name.ml - ocamlfind ocamldep -package zarith -modules path.ml > path.ml.depends - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ident.cmx ident.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o path.cmx path.ml - + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o path.cmx path.ml - File "path.ml", lines 109-119, characters 2-20: - 109 | ..match p with - 110 | | Path_list -> 0 - 111 | | Path_bool -> 1 - 112 | | Path_nat -> 2 - 113 | | Path_numeral -> 3 - ... - 116 | | Path_vector -> 6 - 117 | | Path_char -> 7 - 118 | | Path_string -> 8 - 119 | | Path_unit -> 9 - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Path_def (_, _) - ocamlfind ocamldep -package zarith -modules backend.ml > backend.ml.depends - ocamlfind ocamldep -package zarith -modules backend.mli > backend.mli.depends - ocamlfind ocamldep -package zarith -modules typed_ast.mli > typed_ast.mli.depends - ocamlfind ocamldep -package zarith -modules finite_map.ml > finite_map.ml.depends - ocamlfind ocamldep -package zarith -modules nvar.mli > nvar.mli.depends - ocamlfind ocamldep -package zarith -modules seplist.mli > seplist.mli.depends - ocamlfind ocamldep -package zarith -modules target.mli > target.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o finite_map.cmo finite_map.ml - ocamlfind ocamldep -package zarith -modules types.mli > types.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o nvar.cmi nvar.mli - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o seplist.cmi seplist.mli - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o target.cmi target.mli - ocamlfind ocamldep -package zarith -modules tyvar.mli > tyvar.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o tyvar.cmi tyvar.mli - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o types.cmi types.mli - + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o types.cmi types.mli - File "_none_", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The str subdirectory has been - automatically added to the search path, but you should add -I +str to the - command-line to silence this alert (e.g. by adding str to the list of - libraries in your dune file, or adding use_str to your _tags file for - ocamlbuild, or using -package str for ocamlfind). - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o typed_ast.cmi typed_ast.mli - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o backend.cmi backend.mli - ocamlfind ocamldep -package zarith -modules backend_common.ml > backend_common.ml.depends - ocamlfind ocamldep -package zarith -modules backend_common.mli > backend_common.mli.depends - ocamlfind ocamldep -package zarith -modules macro_expander.mli > macro_expander.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o macro_expander.cmi macro_expander.mli - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o backend_common.cmi backend_common.mli - ocamlfind ocamldep -package zarith -modules pattern_syntax.ml > pattern_syntax.ml.depends - ocamlfind ocamldep -package zarith -modules pattern_syntax.mli > pattern_syntax.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o pattern_syntax.cmi pattern_syntax.mli - ocamlfind ocamldep -package zarith -modules seplist.ml > seplist.ml.depends - ocamlfind ocamldep -package zarith -modules target.ml > target.ml.depends - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o finite_map.cmx finite_map.ml - ocamlfind ocamldep -package zarith -modules typed_ast.ml > typed_ast.ml.depends - ocamlfind ocamldep -package zarith -modules nvar.ml > nvar.ml.depends - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o seplist.cmx seplist.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o target.cmx target.ml - ocamlfind ocamldep -package zarith -modules types.ml > types.ml.depends - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o nvar.cmx nvar.ml - ocamlfind ocamldep -package zarith -modules tyvar.ml > tyvar.ml.depends - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o tyvar.cmx tyvar.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o types.cmx types.ml - + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o types.cmx types.ml - File "_none_", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The str subdirectory has been - automatically added to the search path, but you should add -I +str to the - command-line to silence this alert (e.g. by adding str to the list of - libraries in your dune file, or adding use_str to your _tags file for - ocamlbuild, or using -package str for ocamlfind). - - File "types.ml", line 1615, characters 12-28: - 1615 | let rec walk_constraints = function - ^^^^^^^^^^^^^^^^ - Warning 26 [unused-var]: unused variable walk_constraints. - ocamlfind ocamldep -package zarith -modules typed_ast_syntax.ml > typed_ast_syntax.ml.depends - ocamlfind ocamldep -package zarith -modules typed_ast_syntax.mli > typed_ast_syntax.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o typed_ast_syntax.cmi typed_ast_syntax.mli - ocamlfind ocamldep -package zarith -modules external_constants.ml > external_constants.ml.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o external_constants.cmo external_constants.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typed_ast.cmx typed_ast.ml - + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typed_ast.cmx typed_ast.ml - File "typed_ast.ml", lines 2496-2512, characters 4-13: - 2496 | ....match t.term with - 2497 | | Typ_wild _ | Typ_var _ | Typ_paren _ | Typ_len _ -> t (*TODO Check that parens aren't needed *) - 2498 | | Typ_fn _ -> - 2499 | if ctxt = TC_fn_right then - 2500 | t - ... - 2509 | if ctxt = TC_app then - 2510 | mk_tparen Ast.Unknown None t None (Some(t.typ)) - 2511 | else - 2512 | t - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Typ_with_sort (_, _) - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o external_constants.cmx external_constants.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typed_ast_syntax.cmx typed_ast_syntax.ml - + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typed_ast_syntax.cmx typed_ast_syntax.ml - File "typed_ast_syntax.ml", lines 968-976, characters 2-52: - 968 | ..match t.term with - 969 | | Typ_wild _ -> ue - 970 | | Typ_var _ -> ue - 971 | | Typ_len _ -> ue - 972 | | Typ_fn (t1, _, t2) -> add_src_t_entities (add_src_t_entities ue t1) t2 - 973 | | Typ_tup sp -> Seplist.fold_left (fun t ue -> add_src_t_entities ue t) ue sp - 974 | | Typ_app (id, args) -> List.fold_left add_src_t_entities (used_entities_add_type ue id.descr) args - 975 | | Typ_backend (_, args) -> List.fold_left add_src_t_entities ue args - 976 | | Typ_paren (_, t, _) -> add_src_t_entities ue t - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Typ_with_sort (_, _) - ocamlfind ocamldep -package zarith -modules precedence.ml > precedence.ml.depends - ocamlfind ocamldep -package zarith -modules precedence.mli > precedence.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o precedence.cmi precedence.mli - ocamlfind ocamldep -package zarith -modules share_directory.ml > share_directory.ml.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o share_directory.cmo share_directory.ml - ocamlfind ocamldep -package zarith -modules target_binding.ml > target_binding.ml.depends - ocamlfind ocamldep -package zarith -modules target_binding.mli > target_binding.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o target_binding.cmi target_binding.mli - ocamlfind ocamldep -package zarith -modules macro_expander.ml > macro_expander.ml.depends - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o pattern_syntax.cmx pattern_syntax.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o precedence.cmx precedence.ml - + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o precedence.cmx precedence.ml - File "_none_", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The str subdirectory has been - automatically added to the search path, but you should add -I +str to the - command-line to silence this alert (e.g. by adding str to the list of - libraries in your dune file, or adding use_str to your _tags file for - ocamlbuild, or using -package str for ocamlfind). - - File "precedence.ml", line 85, characters 14-15: - 85 | | P_special _ -> -1 - ^ - Warning 28 [wildcard-arg-to-constant-constr]: wildcard pattern given as argument to a constant constructor - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o share_directory.cmx share_directory.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o target_binding.cmx target_binding.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o macro_expander.cmx macro_expander.ml - ocamlfind ocamldep -package zarith -modules coq_backend.ml > coq_backend.ml.depends - ocamlfind ocamldep -package zarith -modules coq_backend_utils.ml > coq_backend_utils.ml.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o coq_backend_utils.cmo coq_backend_utils.ml - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o coq_backend.cmo coq_backend.ml - + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o coq_backend.cmo coq_backend.ml - File "_none_", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The str subdirectory has been - automatically added to the search path, but you should add -I +str to the - command-line to silence this alert (e.g. by adding str to the list of - libraries in your dune file, or adding use_str to your _tags file for - ocamlbuild, or using -package str for ocamlfind). - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o backend_common.cmx backend_common.ml - + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o backend_common.cmx backend_common.ml - File "_none_", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The str subdirectory has been - automatically added to the search path, but you should add -I +str to the - command-line to silence this alert (e.g. by adding str to the list of - libraries in your dune file, or adding use_str to your _tags file for - ocamlbuild, or using -package str for ocamlfind). - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o coq_backend_utils.cmx coq_backend_utils.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o coq_backend.cmx coq_backend.ml - + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o coq_backend.cmx coq_backend.ml - File "_none_", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The str subdirectory has been - automatically added to the search path, but you should add -I +str to the - command-line to silence this alert (e.g. by adding str to the list of - libraries in your dune file, or adding use_str to your _tags file for - ocamlbuild, or using -package str for ocamlfind). - ocamlfind ocamldep -package zarith -modules debug.ml > debug.ml.depends - ocamlfind ocamldep -package zarith -modules pcombinators.mli > pcombinators.mli.depends - ocamlfind ocamldep -package zarith -modules syntactic_tests.mli > syntactic_tests.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o pcombinators.cmi pcombinators.mli - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o syntactic_tests.cmi syntactic_tests.mli - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o debug.cmo debug.ml - ocamlfind ocamldep -package zarith -modules pcombinators.ml > pcombinators.ml.depends - ocamlfind ocamldep -package zarith -modules syntactic_tests.ml > syntactic_tests.ml.depends - ocamlfind ocamldep -package zarith -modules reporting.ml > reporting.ml.depends - ocamlfind ocamldep -package zarith -modules reporting.mli > reporting.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o reporting.cmi reporting.mli - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o backend.cmx backend.ml - + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o backend.cmx backend.ml - File "_none_", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The str subdirectory has been - automatically added to the search path, but you should add -I +str to the - command-line to silence this alert (e.g. by adding str to the list of - libraries in your dune file, or adding use_str to your _tags file for - ocamlbuild, or using -package str for ocamlfind). - - File "backend.ml", lines 1643-1650, characters 2-35: - 1643 | ..match c_id_string with - 1644 | | "AilSyntax.Plus" -> false - 1645 | | "AilSyntax.Minus" -> false - 1646 | | "AilSyntax.Bnot" -> false - 1647 | | "AilSyntax.Address" -> false - 1648 | | "AilSyntax.Indirection" -> false - 1649 | | "AilSyntax.PostfixIncr" -> true - 1650 | | "AilSyntax.PostfixDecr" -> true - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - "" - - File "backend.ml", lines 1943-1948, characters 14-17: - 1943 | ..............begin - 1944 | match ppc (c_id_string',[]), ail_unary_is_postfix c_id_string' with - 1945 | | (kind,(Some op_output)), true -> Ail, Some [pparg e; (concat emp op_output) ] - 1946 | | (kind,(Some op_output)), false -> Ail, Some [pparg_flip_lskip (concat emp op_output) e ] - 1947 | | (kind,None), true -> Ail, Some [pparg op; pparg e;] - 1948 | end - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_, None), false) - - File "backend.ml", lines 1940-1950, characters 8-11: - 1940 | ........begin - 1941 | match deconstruct_arg op with - 1942 | | Some (c_id_string',[]) -> - 1943 | begin - 1944 | match ppc (c_id_string',[]), ail_unary_is_postfix c_id_string' with - ... - 1947 | | (kind,None), true -> Ail, Some [pparg op; pparg e;] - 1948 | end - 1949 | | None -> Ail, Some [pparg op; pparg e;] - 1950 | end - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Some (c_id_string', _::_) - - File "backend.ml", lines 2915-2954, characters 40-73: - 2915 | ........................................match t.term with - 2916 | | Typ_wild(sk) -> t - 2917 | | Typ_var(sk,tv) -> t - 2918 | | Typ_len(n) -> t - 2919 | | Typ_fn(t1,sk,t2) -> - ... - 2951 | { t with term = Typ_backend(id, List.map (hol_strip_args_t type_names) ts) } - 2952 | end - 2953 | | Typ_paren(sk1,t,sk2) -> - 2954 | { t with term = Typ_paren(sk1,hol_strip_args_t type_names t, sk2) } - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Typ_with_sort (_, _) - - File "backend.ml", line 2170, characters 9-16: - 2170 | let (c_descr : Typed_ast.const_descr) = c_env_lookup Ast.Unknown A.env.c_env cd.descr in - ^^^^^^^ - Warning 26 [unused-var]: unused variable c_descr. - - File "backend.ml", line 3751, characters 12-69: - 3751 | | Val_def ((Let_def(s1, targets,(p, name_map, topt,sk, e)) as def)) -> - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 26 [unused-var]: unused variable def. - - File "backend.ml", line 3762, characters 12-63: - 3762 | | Val_def ((Fun_def (s1, rec_flag, targets, clauses) as def)) -> - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 26 [unused-var]: unused variable def. - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o reporting.cmx reporting.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o pcombinators.cmx pcombinators.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o syntactic_tests.cmx syntactic_tests.ml - + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o syntactic_tests.cmx syntactic_tests.ml - File "_none_", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The str subdirectory has been - automatically added to the search path, but you should add -I +str to the - command-line to silence this alert (e.g. by adding str to the list of - libraries in your dune file, or adding use_str to your _tags file for - ocamlbuild, or using -package str for ocamlfind). - - File "syntactic_tests.ml", line 165, characters 10-70: - 165 | List.map (fun x -> check_decidable_equality_def' env x true) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 5 [ignored-partial-application]: this function application is partial, - maybe some arguments are missing. - ocamlfind ocamldep -package zarith -modules initial_env.ml > initial_env.ml.depends - ocamlfind ocamldep -package zarith -modules initial_env.mli > initial_env.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o initial_env.cmi initial_env.mli - ocamlfind ocamldep -package zarith -modules process_file.ml > process_file.ml.depends - ocamlfind ocamldep -package zarith -modules process_file.mli > process_file.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o process_file.cmi process_file.mli - /usr/home/opam/.opam/5.1.0/bin/ocamllex.opt -q lexer.mll - ocamlfind ocamldep -package zarith -modules lexer.ml > lexer.ml.depends - /usr/home/opam/.opam/5.1.0/bin/ocamlyacc parser.mly - + /usr/home/opam/.opam/5.1.0/bin/ocamlyacc parser.mly - 5 rules never reduced - 2 shift/reduce conflicts, 2 reduce/reduce conflicts. - ocamlfind ocamldep -package zarith -modules parser.mli > parser.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o parser.cmi parser.mli - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o lexer.cmo lexer.ml - ocamlfind ocamldep -package zarith -modules parser.ml > parser.ml.depends - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o parser.cmx parser.ml - ocamlfind ocamldep -package zarith -modules trans.ml > trans.ml.depends - ocamlfind ocamldep -package zarith -modules trans.mli > trans.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o trans.cmi trans.mli - ocamlfind ocamldep -package zarith -modules patterns.ml > patterns.ml.depends - ocamlfind ocamldep -package zarith -modules patterns.mli > patterns.mli.depends - ocamlfind ocamldep -package zarith -modules def_trans.mli > def_trans.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o def_trans.cmi def_trans.mli - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o patterns.cmi patterns.mli - ocamlfind ocamldep -package zarith -modules def_trans.ml > def_trans.ml.depends - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o def_trans.cmx def_trans.ml - + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o def_trans.cmx def_trans.ml - File "def_trans.ml", line 129, characters 32-55: - 129 | let remove_import_include _ env (((d,s),l,lenv) as def) = - ^^^^^^^^^^^^^^^^^^^^^^^ - Warning 26 [unused-var]: unused variable def. - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o patterns.cmx patterns.ml - + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o patterns.cmx patterns.ml - File "patterns.ml", line 94, characters 35-77: - 94 | let check_number_patterns env p = (for_all_subpat check_number_patterns_aux p; ()) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 10 [non-unit-statement]: this expression should have type unit. - - File "patterns.ml", line 2145, characters 6-21: - 2145 | let new_list_wc_pat = matrix_compile_mk_pwild list_ty in - ^^^^^^^^^^^^^^^ - Warning 26 [unused-var]: unused variable new_list_wc_pat. - - File "patterns.ml", line 2146, characters 6-21: - 2146 | let new_elem_wc_pat = matrix_compile_mk_pwild elem_ty in - ^^^^^^^^^^^^^^^ - Warning 26 [unused-var]: unused variable new_elem_wc_pat. - - File "patterns.ml", line 2190, characters 6-14: - 2190 | let nil_pats = - ^^^^^^^^ - Warning 26 [unused-var]: unused variable nil_pats. - - File "patterns.ml", line 2192, characters 6-15: - 2192 | let cons_pats = - ^^^^^^^^^ - Warning 26 [unused-var]: unused variable cons_pats. - - File "patterns.ml", line 2346, characters 6-19: - 2346 | let case_fun_else p ee = - ^^^^^^^^^^^^^ - Warning 26 [unused-var]: unused variable case_fun_else. - - File "patterns.ml", line 2348, characters 6-18: - 2348 | let dest_in_else e = [] in - ^^^^^^^^^^^^ - Warning 26 [unused-var]: unused variable dest_in_else. - - File "patterns.ml", line 2349, characters 6-20: - 2349 | let restr_pat_else _ = matrix_compile_mk_pwild p_ty in - ^^^^^^^^^^^^^^ - Warning 26 [unused-var]: unused variable restr_pat_else. - - File "patterns.ml", line 2351, characters 6-10: - 2351 | let nall = List.length all_args in - ^^^^ - Warning 26 [unused-var]: unused variable nall. - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o lexer.cmx lexer.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o trans.cmx trans.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o process_file.cmx process_file.ml - ocamlfind ocamldep -package zarith -modules module_dependencies.ml > module_dependencies.ml.depends - ocamlfind ocamldep -package zarith -modules module_dependencies.mli > module_dependencies.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o module_dependencies.cmi module_dependencies.mli - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ast_util.cmx ast_util.ml - ocamlfind ocamldep -package zarith -modules rename_top_level.ml > rename_top_level.ml.depends - ocamlfind ocamldep -package zarith -modules rename_top_level.mli > rename_top_level.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o rename_top_level.cmi rename_top_level.mli - ocamlfind ocamldep -package zarith -modules target_trans.ml > target_trans.ml.depends - ocamlfind ocamldep -package zarith -modules target_trans.mli > target_trans.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o target_trans.cmi target_trans.mli - ocamlfind ocamldep -package zarith -modules convert_relations.ml > convert_relations.ml.depends - ocamlfind ocamldep -package zarith -modules typecheck_ctxt.mli > typecheck_ctxt.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o typecheck_ctxt.cmi typecheck_ctxt.mli - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o convert_relations.cmo convert_relations.ml - + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o convert_relations.cmo convert_relations.ml - File "convert_relations.ml", lines 1494-1496, characters 6-45: - 1494 | ......let Some (c_ref) = Nfmap.apply c_ref_m c_rule in - 1495 | let c_args = sep_no_skips (List.map t_to_src_t c_args) in - 1496 | (mk_name_l c_name, c_ref, None, c_args) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - None - - File "convert_relations.ml", lines 2014-2019, characters 6-55: - 2014 | ......let ([output], equalities) = - 2015 | extract_patterns env avoid [v] [true] in - 2016 | let bound = Nmap.domain (pat_to_bound output) in - 2017 | LET(output, u, - 2018 | build_code (Nset.union bound known) indconds - 2019 | sideconds2 (equalities@eqconds2) usefuleqs) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ({typ=_; rest=_; _ }::{typ=_; rest=_; _ }::_, _) - - File "convert_relations.ml", line 1870, characters 6-10: - 1870 | let vars = Nfmap.domain (Nfmap.from_list rule.rule_vars) in - ^^^^ - Warning 26 [unused-var]: unused variable vars. - ocamlfind ocamldep -package zarith -modules typecheck_ctxt.ml > typecheck_ctxt.ml.depends - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typecheck_ctxt.cmx typecheck_ctxt.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o rename_top_level.cmx rename_top_level.ml - ocamlfind ocamldep -package zarith -modules target_syntax.ml > target_syntax.ml.depends - ocamlfind ocamldep -package zarith -modules target_syntax.mli > target_syntax.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o target_syntax.cmi target_syntax.mli - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o convert_relations.cmx convert_relations.ml - + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o convert_relations.cmx convert_relations.ml - File "convert_relations.ml", lines 1494-1496, characters 6-45: - 1494 | ......let Some (c_ref) = Nfmap.apply c_ref_m c_rule in - 1495 | let c_args = sep_no_skips (List.map t_to_src_t c_args) in - 1496 | (mk_name_l c_name, c_ref, None, c_args) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - None - - File "convert_relations.ml", lines 2014-2019, characters 6-55: - 2014 | ......let ([output], equalities) = - 2015 | extract_patterns env avoid [v] [true] in - 2016 | let bound = Nmap.domain (pat_to_bound output) in - 2017 | LET(output, u, - 2018 | build_code (Nset.union bound known) indconds - 2019 | sideconds2 (equalities@eqconds2) usefuleqs) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ({typ=_; rest=_; _ }::{typ=_; rest=_; _ }::_, _) - - File "convert_relations.ml", line 1870, characters 6-10: - 1870 | let vars = Nfmap.domain (Nfmap.from_list rule.rule_vars) in - ^^^^ - Warning 26 [unused-var]: unused variable vars. - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o target_syntax.cmx target_syntax.ml - ocamlfind ocamldep -package zarith -modules typecheck.ml > typecheck.ml.depends - ocamlfind ocamldep -package zarith -modules typecheck.mli > typecheck.mli.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o typecheck.cmi typecheck.mli - ocamlfind ocamldep -package zarith -modules version.ml > version.ml.depends - ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o version.cmo version.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o debug.cmx debug.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o initial_env.cmx initial_env.ml - + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o initial_env.cmx initial_env.ml - File "_none_", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The str subdirectory has been - automatically added to the search path, but you should add -I +str to the - command-line to silence this alert (e.g. by adding str to the list of - libraries in your dune file, or adding use_str to your _tags file for - ocamlbuild, or using -package str for ocamlfind). - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o module_dependencies.cmx module_dependencies.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o target_trans.cmx target_trans.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typecheck.cmx typecheck.ml - + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typecheck.cmx typecheck.ml - File "_none_", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The str subdirectory has been - automatically added to the search path, but you should add -I +str to the - command-line to silence this alert (e.g. by adding str to the list of - libraries in your dune file, or adding use_str to your _tags file for - ocamlbuild, or using -package str for ocamlfind). - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o version.cmx version.ml - ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o main.cmx main.ml - + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o main.cmx main.ml - File "_none_", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The str subdirectory has been - automatically added to the search path, but you should add -I +str to the - command-line to silence this alert (e.g. by adding str to the list of - libraries in your dune file, or adding use_str to your _tags file for - ocamlbuild, or using -package str for ocamlfind). - ocamlfind ocamlopt -linkpkg str.cmxa -package zarith -I ulib ulib/batReturn.cmx ulib/batUChar.cmx ulib/batUTF8.cmx ulib/batText.cmx ulib/ulib.cmx ast.cmx pp.cmx reporting_basic.cmx util.cmx output.cmx name.cmx ident.cmx path.cmx ast_util.cmx external_constants.cmx finite_map.cmx nvar.cmx seplist.cmx target.cmx tyvar.cmx types.cmx typed_ast.cmx macro_expander.cmx typed_ast_syntax.cmx pattern_syntax.cmx precedence.cmx share_directory.cmx target_binding.cmx backend_common.cmx coq_backend_utils.cmx coq_backend.cmx backend.cmx def_trans.cmx reporting.cmx patterns.cmx typecheck_ctxt.cmx convert_relations.cmx pcombinators.cmx syntactic_tests.cmx debug.cmx parser.cmx lexer.cmx trans.cmx process_file.cmx initial_env.cmx module_dependencies.cmx rename_top_level.cmx target_syntax.cmx target_trans.cmx typecheck.cmx version.cmx main.cmx -o main.native - + ocamlfind ocamlopt -linkpkg str.cmxa -package zarith -I ulib ulib/batReturn.cmx ulib/batUChar.cmx ulib/batUTF8.cmx ulib/batText.cmx ulib/ulib.cmx ast.cmx pp.cmx reporting_basic.cmx util.cmx output.cmx name.cmx ident.cmx path.cmx ast_util.cmx external_constants.cmx finite_map.cmx nvar.cmx seplist.cmx target.cmx tyvar.cmx types.cmx typed_ast.cmx macro_expander.cmx typed_ast_syntax.cmx pattern_syntax.cmx precedence.cmx share_directory.cmx target_binding.cmx backend_common.cmx coq_backend_utils.cmx coq_backend.cmx backend.cmx def_trans.cmx reporting.cmx patterns.cmx typecheck_ctxt.cmx convert_relations.cmx pcombinators.cmx syntactic_tests.cmx debug.cmx parser.cmx lexer.cmx trans.cmx process_file.cmx initial_env.cmx module_dependencies.cmx rename_top_level.cmx target_syntax.cmx target_trans.cmx typecheck.cmx version.cmx main.cmx -o main.native - File "_none_", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The str subdirectory has been - automatically added to the search path, but you should add -I +str to the - command-line to silence this alert (e.g. by adding str to the list of - libraries in your dune file, or adding use_str to your _tags file for - ocamlbuild, or using -package str for ocamlfind). - gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/lem.2022-12-10/src' - ln -sf src/main.native lem - cat lem.sh >lem - chmod a+x lem - mkdir -p bin - cd bin && ln -sf ../src/main.native lem - /usr/local/bin/gmake -C library - gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/lem.2022-12-10/library' - /usr/local/bin/gmake -C .. build-lem - gmake[2]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/lem.2022-12-10' - echo "(* Generated file -- do not edit. *)" > src/version.ml - echo 'let v="2022-12-10"' >> src/version.ml - echo "(* Generated file -- do not edit. *)" > src/share_directory.ml - echo let d=\"/usr/home/opam/.opam/5.1.0/share/lem\" >> src/share_directory.ml - /usr/local/bin/gmake -C src all - gmake[3]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/lem.2022-12-10/src' - ocamlbuild -use-ocamlfind -cflags -g main.native - ocamlfind ocamlopt -linkpkg str.cmxa -package zarith -I ulib ulib/batReturn.cmx ulib/batUChar.cmx ulib/batUTF8.cmx ulib/batText.cmx ulib/ulib.cmx ast.cmx pp.cmx reporting_basic.cmx util.cmx output.cmx name.cmx ident.cmx path.cmx ast_util.cmx external_constants.cmx finite_map.cmx nvar.cmx seplist.cmx target.cmx tyvar.cmx types.cmx typed_ast.cmx macro_expander.cmx typed_ast_syntax.cmx pattern_syntax.cmx precedence.cmx share_directory.cmx target_binding.cmx backend_common.cmx coq_backend_utils.cmx coq_backend.cmx backend.cmx def_trans.cmx reporting.cmx patterns.cmx typecheck_ctxt.cmx convert_relations.cmx pcombinators.cmx syntactic_tests.cmx debug.cmx parser.cmx lexer.cmx trans.cmx process_file.cmx initial_env.cmx module_dependencies.cmx rename_top_level.cmx target_syntax.cmx target_trans.cmx typecheck.cmx version.cmx main.cmx -o main.native - + ocamlfind ocamlopt -linkpkg str.cmxa -package zarith -I ulib ulib/batReturn.cmx ulib/batUChar.cmx ulib/batUTF8.cmx ulib/batText.cmx ulib/ulib.cmx ast.cmx pp.cmx reporting_basic.cmx util.cmx output.cmx name.cmx ident.cmx path.cmx ast_util.cmx external_constants.cmx finite_map.cmx nvar.cmx seplist.cmx target.cmx tyvar.cmx types.cmx typed_ast.cmx macro_expander.cmx typed_ast_syntax.cmx pattern_syntax.cmx precedence.cmx share_directory.cmx target_binding.cmx backend_common.cmx coq_backend_utils.cmx coq_backend.cmx backend.cmx def_trans.cmx reporting.cmx patterns.cmx typecheck_ctxt.cmx convert_relations.cmx pcombinators.cmx syntactic_tests.cmx debug.cmx parser.cmx lexer.cmx trans.cmx process_file.cmx initial_env.cmx module_dependencies.cmx rename_top_level.cmx target_syntax.cmx target_trans.cmx typecheck.cmx version.cmx main.cmx -o main.native - File "_none_", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The str subdirectory has been - automatically added to the search path, but you should add -I +str to the - command-line to silence this alert (e.g. by adding str to the list of - libraries in your dune file, or adding use_str to your _tags file for - ocamlbuild, or using -package str for ocamlfind). - gmake[3]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/lem.2022-12-10/src' - ln -sf src/main.native lem - gmake[2]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/lem.2022-12-10' - ../lem -ocaml -outdir ../ocaml-lib -wl ign -wl_auto_import err -wl_rename err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem debug.lem -auxiliary_level none -only_changed_output - ../lem -hol -hol_remove_matches -outdir ../hol-lib -wl ign -wl_auto_import err -wl_rename err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem debug.lem -auxiliary_level none -only_changed_output - ../lem -isa -outdir ../isabelle-lib -wl ign -wl_auto_import err -wl_rename err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem debug.lem -auxiliary_level none -only_changed_output - ../lem -coq -outdir ../coq-lib -wl ign -wl_auto_import err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem debug.lem -auxiliary_level none -only_changed_output - ../lem -tex_all ../tex-lib/lem-libs.tex -wl ign -wl_auto_import err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem debug.lem - ../lem -html -outdir ../html-lib -wl ign -wl_auto_import err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem debug.lem - gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/lem.2022-12-10/library' - /usr/local/bin/gmake ocaml-libs - gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/lem.2022-12-10' - /usr/local/bin/gmake -C ocaml-lib all - gmake[2]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/lem.2022-12-10/ocaml-lib' - Makefile:10: warning: overriding recipe for target 'clean' - ocamlbuild.mk:20: warning: ignoring old recipe for target 'clean' - ocamlbuild -build-dir _build_zarith -X local -X dependencies -I num_impl_zarith -use-ocamlfind -pkg zarith extract.cma extract.cmxa - ocamlfind ocamldep -package zarith -modules num_impl_zarith/big_int_impl.mli > num_impl_zarith/big_int_impl.mli.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o num_impl_zarith/big_int_impl.cmi num_impl_zarith/big_int_impl.mli - ocamlfind ocamldep -package zarith -modules num_impl_zarith/big_int_impl.ml > num_impl_zarith/big_int_impl.ml.depends - ocamlfind ocamldep -package zarith -modules num_impl_zarith/rational_impl.mli > num_impl_zarith/rational_impl.mli.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o num_impl_zarith/rational_impl.cmi num_impl_zarith/rational_impl.mli - ocamlfind ocamldep -package zarith -modules num_impl_zarith/rational_impl.ml > num_impl_zarith/rational_impl.ml.depends - ocamlfind ocamldep -package zarith -modules nat_big_num.mli > nat_big_num.mli.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o nat_big_num.cmi nat_big_num.mli - ocamlfind ocamldep -package zarith -modules nat_big_num.ml > nat_big_num.ml.depends - ocamlfind ocamldep -package zarith -modules nat_num.mli > nat_num.mli.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o nat_num.cmi nat_num.mli - ocamlfind ocamldep -package zarith -modules nat_num.ml > nat_num.ml.depends - ocamlfind ocamldep -package zarith -modules rational.mli > rational.mli.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o rational.cmi rational.mli - ocamlfind ocamldep -package zarith -modules rational.ml > rational.ml.depends - ocamlfind ocamldep -package zarith -modules pset.mli > pset.mli.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o pset.cmi pset.mli - ocamlfind ocamldep -package zarith -modules pset.ml > pset.ml.depends - ocamlfind ocamldep -package zarith -modules pmap.mli > pmap.mli.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o pmap.cmi pmap.mli - ocamlfind ocamldep -package zarith -modules pmap.ml > pmap.ml.depends - ocamlfind ocamldep -package zarith -modules vector.mli > vector.mli.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o vector.cmi vector.mli - ocamlfind ocamldep -package zarith -modules vector.ml > vector.ml.depends - ocamlfind ocamldep -package zarith -modules bit.mli > bit.mli.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o bit.cmi bit.mli - ocamlfind ocamldep -package zarith -modules bit.ml > bit.ml.depends - ocamlfind ocamldep -package zarith -modules xstring.mli > xstring.mli.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o xstring.cmi xstring.mli - ocamlfind ocamldep -package zarith -modules xstring.ml > xstring.ml.depends - ocamlfind ocamldep -package zarith -modules either.ml > either.ml.depends - ocamlfind ocamldep -package zarith -modules lem.ml > lem.ml.depends - ocamlfind ocamldep -package zarith -modules lem_assert_extra.ml > lem_assert_extra.ml.depends - ocamlfind ocamldep -package zarith -modules lem_basic_classes.ml > lem_basic_classes.ml.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem.cmo lem.ml - ocamlfind ocamldep -package zarith -modules lem_bool.ml > lem_bool.ml.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_bool.cmo lem_bool.ml - ocamlfind ocamldep -package zarith -modules lem_either.ml > lem_either.ml.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o either.cmo either.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_basic_classes.cmo lem_basic_classes.ml - ocamlfind ocamldep -package zarith -modules lem_list.ml > lem_list.ml.depends - ocamlfind ocamldep -package zarith -modules lem_function.ml > lem_function.ml.depends - ocamlfind ocamldep -package zarith -modules lem_maybe.ml > lem_maybe.ml.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_function.cmo lem_function.ml - ocamlfind ocamldep -package zarith -modules lem_num.ml > lem_num.ml.depends - ocamlfind ocamldep -package zarith -modules lem_tuple.ml > lem_tuple.ml.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_maybe.cmo lem_maybe.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_num.cmo lem_num.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_tuple.cmo lem_tuple.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_list.cmo lem_list.ml - ocamlfind ocamldep -package zarith -modules lem_function_extra.ml > lem_function_extra.ml.depends - ocamlfind ocamldep -package zarith -modules lem_list_extra.ml > lem_list_extra.ml.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_assert_extra.cmo lem_assert_extra.ml - ocamlfind ocamldep -package zarith -modules lem_machine_word.ml > lem_machine_word.ml.depends - ocamlfind ocamldep -package zarith -modules lem_show.ml > lem_show.ml.depends - ocamlfind ocamldep -package zarith -modules lem_string.ml > lem_string.ml.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_string.cmo lem_string.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_show.cmo lem_show.ml - ocamlfind ocamldep -package zarith -modules lem_map.ml > lem_map.ml.depends - ocamlfind ocamldep -package zarith -modules lem_set.ml > lem_set.ml.depends - ocamlfind ocamldep -package zarith -modules lem_set_helpers.ml > lem_set_helpers.ml.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_set_helpers.cmo lem_set_helpers.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_set.cmo lem_set.ml - ocamlfind ocamldep -package zarith -modules lem_map_extra.ml > lem_map_extra.ml.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_map.cmo lem_map.ml - ocamlfind ocamldep -package zarith -modules lem_maybe_extra.ml > lem_maybe_extra.ml.depends - ocamlfind ocamldep -package zarith -modules lem_num_extra.ml > lem_num_extra.ml.depends - ocamlfind ocamldep -package zarith -modules lem_pervasives.ml > lem_pervasives.ml.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_either.cmo lem_either.ml - ocamlfind ocamldep -package zarith -modules lem_word.ml > lem_word.ml.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_word.cmo lem_word.ml - ocamlfind ocamldep -package zarith -modules lem_pervasives_extra.ml > lem_pervasives_extra.ml.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_function_extra.cmo lem_function_extra.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_list_extra.cmo lem_list_extra.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_machine_word.cmo lem_machine_word.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_map_extra.cmo lem_map_extra.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_maybe_extra.cmo lem_maybe_extra.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_num_extra.cmo lem_num_extra.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_pervasives.cmo lem_pervasives.ml - ocamlfind ocamldep -package zarith -modules lem_set_extra.ml > lem_set_extra.ml.depends - ocamlfind ocamldep -package zarith -modules lem_sorting.ml > lem_sorting.ml.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_sorting.cmo lem_sorting.ml - ocamlfind ocamldep -package zarith -modules lem_show_extra.ml > lem_show_extra.ml.depends - ocamlfind ocamldep -package zarith -modules lem_relation.ml > lem_relation.ml.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_relation.cmo lem_relation.ml - ocamlfind ocamldep -package zarith -modules lem_string_extra.ml > lem_string_extra.ml.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_set_extra.cmo lem_set_extra.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_show_extra.cmo lem_show_extra.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_string_extra.cmo lem_string_extra.ml - ocamlfind ocamldep -package zarith -modules lem_debug.ml > lem_debug.ml.depends - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o num_impl_zarith/big_int_impl.cmo num_impl_zarith/big_int_impl.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o num_impl_zarith/rational_impl.cmo num_impl_zarith/rational_impl.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o nat_big_num.cmo nat_big_num.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o nat_num.cmo nat_num.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o rational.cmo rational.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o pset.cmo pset.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o pmap.cmo pmap.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o vector.cmo vector.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o bit.cmo bit.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o xstring.cmo xstring.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_pervasives_extra.cmo lem_pervasives_extra.ml - ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_debug.cmo lem_debug.ml - ocamlfind ocamlc -a -package zarith -I num_impl_zarith num_impl_zarith/big_int_impl.cmo num_impl_zarith/rational_impl.cmo nat_big_num.cmo nat_num.cmo rational.cmo pset.cmo pmap.cmo vector.cmo bit.cmo xstring.cmo either.cmo lem.cmo lem_assert_extra.cmo lem_bool.cmo lem_basic_classes.cmo lem_function.cmo lem_maybe.cmo lem_num.cmo lem_tuple.cmo lem_list.cmo lem_either.cmo lem_function_extra.cmo lem_list_extra.cmo lem_string.cmo lem_show.cmo lem_machine_word.cmo lem_set_helpers.cmo lem_set.cmo lem_map.cmo lem_map_extra.cmo lem_maybe_extra.cmo lem_num_extra.cmo lem_word.cmo lem_pervasives.cmo lem_sorting.cmo lem_set_extra.cmo lem_relation.cmo lem_show_extra.cmo lem_string_extra.cmo lem_pervasives_extra.cmo lem_debug.cmo -o extract.cma - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o num_impl_zarith/big_int_impl.cmx num_impl_zarith/big_int_impl.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o num_impl_zarith/rational_impl.cmx num_impl_zarith/rational_impl.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o pset.cmx pset.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o nat_num.cmx nat_num.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o nat_big_num.cmx nat_big_num.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o xstring.cmx xstring.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem.cmx lem.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_bool.cmx lem_bool.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o either.cmx either.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_basic_classes.cmx lem_basic_classes.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_function.cmx lem_function.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o rational.cmx rational.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_maybe.cmx lem_maybe.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_num.cmx lem_num.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_tuple.cmx lem_tuple.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_list.cmx lem_list.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_assert_extra.cmx lem_assert_extra.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_string.cmx lem_string.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_show.cmx lem_show.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_set_helpers.cmx lem_set_helpers.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o pmap.cmx pmap.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_set.cmx lem_set.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_map.cmx lem_map.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_either.cmx lem_either.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_word.cmx lem_word.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_function_extra.cmx lem_function_extra.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_list_extra.cmx lem_list_extra.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_machine_word.cmx lem_machine_word.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_map_extra.cmx lem_map_extra.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_maybe_extra.cmx lem_maybe_extra.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_num_extra.cmx lem_num_extra.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_pervasives.cmx lem_pervasives.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_sorting.cmx lem_sorting.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_relation.cmx lem_relation.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_set_extra.cmx lem_set_extra.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_show_extra.cmx lem_show_extra.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_string_extra.cmx lem_string_extra.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o vector.cmx vector.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o bit.cmx bit.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_pervasives_extra.cmx lem_pervasives_extra.ml - ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_debug.cmx lem_debug.ml - ocamlfind ocamlopt -a -package zarith -I num_impl_zarith num_impl_zarith/big_int_impl.cmx num_impl_zarith/rational_impl.cmx nat_big_num.cmx nat_num.cmx rational.cmx pset.cmx pmap.cmx vector.cmx bit.cmx xstring.cmx either.cmx lem.cmx lem_assert_extra.cmx lem_bool.cmx lem_basic_classes.cmx lem_function.cmx lem_maybe.cmx lem_num.cmx lem_tuple.cmx lem_list.cmx lem_either.cmx lem_function_extra.cmx lem_list_extra.cmx lem_string.cmx lem_show.cmx lem_machine_word.cmx lem_set_helpers.cmx lem_set.cmx lem_map.cmx lem_map_extra.cmx lem_maybe_extra.cmx lem_num_extra.cmx lem_word.cmx lem_pervasives.cmx lem_relation.cmx lem_sorting.cmx lem_set_extra.cmx lem_show_extra.cmx lem_string_extra.cmx lem_pervasives_extra.cmx lem_debug.cmx -o extract.cmxa - ocamlbuild -build-dir _build_num -X local -X dependencies -I num_impl_num -use-ocamlfind -pkg num extract.cma extract.cmxa - ocamlfind ocamldep -package num -modules num_impl_num/big_int_impl.mli > num_impl_num/big_int_impl.mli.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o num_impl_num/big_int_impl.cmi num_impl_num/big_int_impl.mli - ocamlfind ocamldep -package num -modules num_impl_num/big_int_impl.ml > num_impl_num/big_int_impl.ml.depends - ocamlfind ocamldep -package num -modules num_impl_num/rational_impl.mli > num_impl_num/rational_impl.mli.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o num_impl_num/rational_impl.cmi num_impl_num/rational_impl.mli - ocamlfind ocamldep -package num -modules num_impl_num/rational_impl.ml > num_impl_num/rational_impl.ml.depends - ocamlfind ocamldep -package num -modules nat_big_num.mli > nat_big_num.mli.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o nat_big_num.cmi nat_big_num.mli - ocamlfind ocamldep -package num -modules nat_big_num.ml > nat_big_num.ml.depends - ocamlfind ocamldep -package num -modules nat_num.mli > nat_num.mli.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o nat_num.cmi nat_num.mli - ocamlfind ocamldep -package num -modules nat_num.ml > nat_num.ml.depends - ocamlfind ocamldep -package num -modules rational.mli > rational.mli.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o rational.cmi rational.mli - ocamlfind ocamldep -package num -modules rational.ml > rational.ml.depends - ocamlfind ocamldep -package num -modules pset.mli > pset.mli.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o pset.cmi pset.mli - ocamlfind ocamldep -package num -modules pset.ml > pset.ml.depends - ocamlfind ocamldep -package num -modules pmap.mli > pmap.mli.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o pmap.cmi pmap.mli - ocamlfind ocamldep -package num -modules pmap.ml > pmap.ml.depends - ocamlfind ocamldep -package num -modules vector.mli > vector.mli.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o vector.cmi vector.mli - ocamlfind ocamldep -package num -modules vector.ml > vector.ml.depends - ocamlfind ocamldep -package num -modules bit.mli > bit.mli.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o bit.cmi bit.mli - ocamlfind ocamldep -package num -modules bit.ml > bit.ml.depends - ocamlfind ocamldep -package num -modules xstring.mli > xstring.mli.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o xstring.cmi xstring.mli - ocamlfind ocamldep -package num -modules xstring.ml > xstring.ml.depends - ocamlfind ocamldep -package num -modules either.ml > either.ml.depends - ocamlfind ocamldep -package num -modules lem.ml > lem.ml.depends - ocamlfind ocamldep -package num -modules lem_assert_extra.ml > lem_assert_extra.ml.depends - ocamlfind ocamldep -package num -modules lem_basic_classes.ml > lem_basic_classes.ml.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o lem.cmo lem.ml - ocamlfind ocamldep -package num -modules lem_bool.ml > lem_bool.ml.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_bool.cmo lem_bool.ml - ocamlfind ocamldep -package num -modules lem_either.ml > lem_either.ml.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o either.cmo either.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_basic_classes.cmo lem_basic_classes.ml - ocamlfind ocamldep -package num -modules lem_list.ml > lem_list.ml.depends - ocamlfind ocamldep -package num -modules lem_function.ml > lem_function.ml.depends - ocamlfind ocamldep -package num -modules lem_maybe.ml > lem_maybe.ml.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_function.cmo lem_function.ml - ocamlfind ocamldep -package num -modules lem_num.ml > lem_num.ml.depends - ocamlfind ocamldep -package num -modules lem_tuple.ml > lem_tuple.ml.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_maybe.cmo lem_maybe.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_num.cmo lem_num.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_tuple.cmo lem_tuple.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_list.cmo lem_list.ml - ocamlfind ocamldep -package num -modules lem_function_extra.ml > lem_function_extra.ml.depends - ocamlfind ocamldep -package num -modules lem_list_extra.ml > lem_list_extra.ml.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_assert_extra.cmo lem_assert_extra.ml - ocamlfind ocamldep -package num -modules lem_machine_word.ml > lem_machine_word.ml.depends - ocamlfind ocamldep -package num -modules lem_show.ml > lem_show.ml.depends - ocamlfind ocamldep -package num -modules lem_string.ml > lem_string.ml.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_string.cmo lem_string.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_show.cmo lem_show.ml - ocamlfind ocamldep -package num -modules lem_map.ml > lem_map.ml.depends - ocamlfind ocamldep -package num -modules lem_set.ml > lem_set.ml.depends - ocamlfind ocamldep -package num -modules lem_set_helpers.ml > lem_set_helpers.ml.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_set_helpers.cmo lem_set_helpers.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_set.cmo lem_set.ml - ocamlfind ocamldep -package num -modules lem_map_extra.ml > lem_map_extra.ml.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_map.cmo lem_map.ml - ocamlfind ocamldep -package num -modules lem_maybe_extra.ml > lem_maybe_extra.ml.depends - ocamlfind ocamldep -package num -modules lem_num_extra.ml > lem_num_extra.ml.depends - ocamlfind ocamldep -package num -modules lem_pervasives.ml > lem_pervasives.ml.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_either.cmo lem_either.ml - ocamlfind ocamldep -package num -modules lem_word.ml > lem_word.ml.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_word.cmo lem_word.ml - ocamlfind ocamldep -package num -modules lem_pervasives_extra.ml > lem_pervasives_extra.ml.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_function_extra.cmo lem_function_extra.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_list_extra.cmo lem_list_extra.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_machine_word.cmo lem_machine_word.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_map_extra.cmo lem_map_extra.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_maybe_extra.cmo lem_maybe_extra.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_num_extra.cmo lem_num_extra.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_pervasives.cmo lem_pervasives.ml - ocamlfind ocamldep -package num -modules lem_set_extra.ml > lem_set_extra.ml.depends - ocamlfind ocamldep -package num -modules lem_sorting.ml > lem_sorting.ml.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_sorting.cmo lem_sorting.ml - ocamlfind ocamldep -package num -modules lem_show_extra.ml > lem_show_extra.ml.depends - ocamlfind ocamldep -package num -modules lem_relation.ml > lem_relation.ml.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_relation.cmo lem_relation.ml - ocamlfind ocamldep -package num -modules lem_string_extra.ml > lem_string_extra.ml.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_set_extra.cmo lem_set_extra.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_show_extra.cmo lem_show_extra.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_string_extra.cmo lem_string_extra.ml - ocamlfind ocamldep -package num -modules lem_debug.ml > lem_debug.ml.depends - ocamlfind ocamlc -c -package num -I num_impl_num -o num_impl_num/big_int_impl.cmo num_impl_num/big_int_impl.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o num_impl_num/rational_impl.cmo num_impl_num/rational_impl.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o nat_big_num.cmo nat_big_num.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o nat_num.cmo nat_num.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o rational.cmo rational.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o pset.cmo pset.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o pmap.cmo pmap.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o vector.cmo vector.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o bit.cmo bit.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o xstring.cmo xstring.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_pervasives_extra.cmo lem_pervasives_extra.ml - ocamlfind ocamlc -c -package num -I num_impl_num -o lem_debug.cmo lem_debug.ml - ocamlfind ocamlc -a -package num -I num_impl_num num_impl_num/big_int_impl.cmo num_impl_num/rational_impl.cmo nat_big_num.cmo nat_num.cmo rational.cmo pset.cmo pmap.cmo vector.cmo bit.cmo xstring.cmo either.cmo lem.cmo lem_assert_extra.cmo lem_bool.cmo lem_basic_classes.cmo lem_function.cmo lem_maybe.cmo lem_num.cmo lem_tuple.cmo lem_list.cmo lem_either.cmo lem_function_extra.cmo lem_list_extra.cmo lem_string.cmo lem_show.cmo lem_machine_word.cmo lem_set_helpers.cmo lem_set.cmo lem_map.cmo lem_map_extra.cmo lem_maybe_extra.cmo lem_num_extra.cmo lem_word.cmo lem_pervasives.cmo lem_sorting.cmo lem_set_extra.cmo lem_relation.cmo lem_show_extra.cmo lem_string_extra.cmo lem_pervasives_extra.cmo lem_debug.cmo -o extract.cma - ocamlfind ocamlopt -c -package num -I num_impl_num -o num_impl_num/big_int_impl.cmx num_impl_num/big_int_impl.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o num_impl_num/rational_impl.cmx num_impl_num/rational_impl.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o pset.cmx pset.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o nat_num.cmx nat_num.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o nat_big_num.cmx nat_big_num.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o xstring.cmx xstring.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem.cmx lem.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_bool.cmx lem_bool.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o either.cmx either.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_basic_classes.cmx lem_basic_classes.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_function.cmx lem_function.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o rational.cmx rational.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_maybe.cmx lem_maybe.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_num.cmx lem_num.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_tuple.cmx lem_tuple.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_list.cmx lem_list.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_assert_extra.cmx lem_assert_extra.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_string.cmx lem_string.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_show.cmx lem_show.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_set_helpers.cmx lem_set_helpers.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o pmap.cmx pmap.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_set.cmx lem_set.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_map.cmx lem_map.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_either.cmx lem_either.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_word.cmx lem_word.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_function_extra.cmx lem_function_extra.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_list_extra.cmx lem_list_extra.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_machine_word.cmx lem_machine_word.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_map_extra.cmx lem_map_extra.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_maybe_extra.cmx lem_maybe_extra.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_num_extra.cmx lem_num_extra.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_pervasives.cmx lem_pervasives.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_sorting.cmx lem_sorting.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_relation.cmx lem_relation.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_set_extra.cmx lem_set_extra.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_show_extra.cmx lem_show_extra.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_string_extra.cmx lem_string_extra.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o vector.cmx vector.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o bit.cmx bit.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_pervasives_extra.cmx lem_pervasives_extra.ml - ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_debug.cmx lem_debug.ml - ocamlfind ocamlopt -a -package num -I num_impl_num num_impl_num/big_int_impl.cmx num_impl_num/rational_impl.cmx nat_big_num.cmx nat_num.cmx rational.cmx pset.cmx pmap.cmx vector.cmx bit.cmx xstring.cmx either.cmx lem.cmx lem_assert_extra.cmx lem_bool.cmx lem_basic_classes.cmx lem_function.cmx lem_maybe.cmx lem_num.cmx lem_tuple.cmx lem_list.cmx lem_either.cmx lem_function_extra.cmx lem_list_extra.cmx lem_string.cmx lem_show.cmx lem_machine_word.cmx lem_set_helpers.cmx lem_set.cmx lem_map.cmx lem_map_extra.cmx lem_maybe_extra.cmx lem_num_extra.cmx lem_word.cmx lem_pervasives.cmx lem_relation.cmx lem_sorting.cmx lem_set_extra.cmx lem_show_extra.cmx lem_string_extra.cmx lem_pervasives_extra.cmx lem_debug.cmx -o extract.cmxa - gmake[2]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/lem.2022-12-10/ocaml-lib' - /usr/local/bin/gmake -C library ocaml-lib-tests - gmake[2]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/lem.2022-12-10/library' - lem_basic_classesAuxiliary.ml - lem_boolAuxiliary.ml - lem_eitherAuxiliary.ml - lem_function_extraAuxiliary.ml - lem_listAuxiliary.ml - lem_list_extraAuxiliary.ml - lem_machine_wordAuxiliary.ml - lem_mapAuxiliary.ml - lem_map_extraAuxiliary.ml - lem_maybeAuxiliary.ml - lem_numAuxiliary.ml - lem_num_extraAuxiliary.ml - lem_relationAuxiliary.ml - lem_setAuxiliary.ml - lem_set_extraAuxiliary.ml - lem_sortingAuxiliary.ml - lem_stringAuxiliary.ml - lem_string_extraAuxiliary.ml - lem_tupleAuxiliary.ml - lem_wordAuxiliary.ml - \n\n\n - *************************************************** - * Testing lem_basic_classes - ***************************************************\n - ordering_cases_0: ok - ordering_cases_1: ok - ordering_cases_2: ok - ordering_match_1: ok - ordering_match_2: ok - ordering_match_3: ok - ordering_match_4: ok - ordering_match_5: ok - ordering_match_6: ok - \n\n\n - *************************************************** - * Testing lem_bool - ***************************************************\n - not_1: ok - not_2: ok - and_1: ok - and_2: ok - and_3: ok - and_4: ok - or_1: ok - or_2: ok - or_3: ok - or_4: ok - imp_1: ok - imp_2: ok - imp_3: ok - imp_4: ok - equiv_1: ok - equiv_2: ok - equiv_3: ok - equiv_4: ok - xor_1: ok - xor_2: ok - xor_3: ok - xor_4: ok - \n\n\n - *************************************************** - * Testing lem_either - ***************************************************\n - either_equal_1: ok - either_equal_2: ok - either_equal_3: ok - either_equal_4: ok - either_equal_5: ok - either_equal_6: ok - either_equal_7: ok - either_pattern_1: ok - either_pattern_2: ok - either_pattern_3: ok - either_pattern_4: ok - isLeft_1: ok - isLeft_2: ok - isRight_1: ok - isRight_2: ok - either_1: ok - either_2: ok - either_3: ok - either_4: ok - partitionEither_1: ok - lefts_1: ok - rights_1: ok - \n\n\n - *************************************************** - * Testing lem_function_extra - ***************************************************\n - id_0: ok - id_1: ok - id_2: ok - const_0: ok - const_1: ok - const_2: ok - comb_0: ok - comb_1: ok - apply_0: ok - apply_1: ok - flip_0: ok - flip_1: ok - \n\n\n - *************************************************** - * Testing lem_list - ***************************************************\n - null_simple_1: ok - null_simple_2: ok - null_simple_3: ok - length_0: ok - length_1: ok - length_2: ok - list_ord_1: ok - list_ord_2: ok - list_ord_3: ok - list_ord_4: ok - list_ord_5: ok - list_ord_6: ok - list_ord_7: ok - list_ord_8: ok - list_ord_9: ok - append_1: ok - snoc_1: ok - snoc_2: ok - snoc_3: ok - reverseAppend_1: ok - reverse_nil: ok - reverse_1: ok - reverse_2: ok - reverse_5: ok - map_nil: ok - map_1: ok - map_2: ok - map_3: ok - map_4: ok - map_5: ok - map_6: ok - foldl_0: ok - foldl_1: ok - foldl_4: ok - foldr_0: ok - foldr_1: ok - foldr_4: ok - concat_nil: ok - concat_1: ok - concat_2: ok - concat_3: ok - concatMap_nil: ok - concatMap_1: ok - concatMap_2: ok - concatMap_3: ok - all_0: ok - all_4: ok - all_4_neg: ok - any_0: ok - any_4: ok - any_4_neg: ok - dest_init_0: ok - dest_init_1: ok - dest_init_2: ok - index_0: ok - index_1: ok - index_2: ok - index_3: ok - index_4: ok - index_5: ok - index_6: ok - findIndices_1: ok - findIndices_2: ok - findIndices_3: ok - find_index0: ok - find_index1: ok - find_index2: ok - elemIndices_0: ok - elemIndices_1: ok - elemIndices_2: ok - elemIndex_0: ok - elemIndex_1: ok - elemIndex_2: ok - genlist_0: ok - genlist_1: ok - genlist_2: ok - genlist_3: ok - replicate_0: ok - replicate_1: ok - replicate_2: ok - replicate_3: ok - splitAt_1: ok - splitAt_2: ok - splitAt_3: ok - take_1: ok - take_2: ok - take_3: ok - drop_1: ok - drop_2: ok - drop_3: ok - splitWhile_1: ok - splitWhile_2: ok - dropWhile_0: ok - dropWhile_1: ok - dropWhile_2: ok - dropWhile_3: ok - takeWhile_0: ok - takeWhile_1: ok - takeWhile_2: ok - takeWhile_3: ok - isPrefixOf_0: ok - isPrefixOf_1: ok - isPrefixOf_2: ok - isPrefixOf_3: ok - isPrefixOf_4: ok - list_update_1: ok - list_update_2: ok - list_update_3: ok - list_update_4: ok - list_update_5: ok - elem_1: ok - elem_2: ok - elem_3: ok - elem_4: ok - find_1: ok - find_2: ok - find_3: ok - find_4: ok - lookup_1: ok - lookup_2: ok - lookup_3: ok - filter_0: ok - filter_1: ok - partition_0: ok - partition_1: ok - deleteFirst_1: ok - deleteFirst_2: ok - deleteFirst_3: ok - delete_1: ok - delete_2: ok - delete_3: ok - delete_4: ok - zip_1: ok - zip_2: ok - unzip_1: ok - unzip_2: ok - \n\n\n - *************************************************** - * Testing lem_list_extra - ***************************************************\n - head_simple_1: ok - head_simple_2: ok - tail_simple_1: ok - tail_simple_2: ok - tail_simple_3: ok - last_simple_1: ok - last_simple_2: ok - init_simple_1: ok - init_simple_2: ok - init_simple_3: ok - nth_0: ok - nth_1: ok - nth_2: ok - nth_3: ok - nth_4: ok - nth_5: ok - zipSameLength_1: ok - \n\n\n - *************************************************** - * Testing lem_machine_word - ***************************************************\n - size_test: ok - size_itself_test: ok - length_test: ok - signedIntFromword_test: ok - wordFromBitlist_test: ok - bitlistFromWord_test: ok - wordFromBitlist_bitListFromWord_test: ok - extract_concat_test: ok - update_test: ok - setBit_test1: ok - setBit_test2: ok - setBit_test3: ok - getBit_test: ok - msb_test1: ok - msb_test2: ok - lsb_test1: ok - lsb_test2: ok - shift_test1: ok - shift_test2: ok - shift_test3: ok - shift_test4: ok - and_test: ok - or_test: ok - xor_test: ok - not_test: ok - rotateR_test: ok - rotateL_test: ok - zext_test_0: ok - zext_test_1: ok - wordFromInteger_nat_test1: ok - wordFromInteger_nat_test2: ok - plus_test: ok - minus_test: ok - times_test: ok - udiv_test: ok - sdiv_test: ok - signedLess_test_1: ok - signedLess_test_2: ok - signedLess_test_3: ok - signedLessEq_test_1: ok - signedLessEq_test_2: ok - signedLessEq_test_3: ok - unsignedLess_test_1: ok - unsignedLess_test_2: ok - unsignedLess_test_3: ok - unsignedLessEq_test_1: ok - unsignedLessEq_test_2: ok - unsignedLessEq_test_3: ok - signed_shift_test1: ok - sext_test_0: ok - sext_test_1: ok - \n\n\n - *************************************************** - * Testing lem_map - ***************************************************\n - insert_equal_singleton: ok - commutative_insert_1: ok - commutative_insert_2: ok - empty_null: ok - lookup_insert_1: ok - lookup_insert_2: ok - lookup_insert_3: ok - lookup_empty_0: ok - find_insert_0: ok - fromList_0: ok - fromList_1: ok - toSet_0: ok - toSet_1: ok - toSet_2: ok - domain_0: ok - domain_1: ok - domain_2: ok - range_0: ok - range_1: ok - range_2: ok - member_insert_1: ok - member_insert_2: ok - member_insert_3: ok - any_0: ok - any_1: ok - any_2: ok - any_3: ok - all_0: ok - all_1: ok - all_2: ok - all_3: ok - delete_insert_1: ok - delete_insert_2: ok - delete_delete: ok - map_0: ok - empty_size: ok - singleton_size: ok - \n\n\n - *************************************************** - * Testing lem_map_extra - ***************************************************\n - find_insert_1: ok - find_insert_2: ok - \n\n\n - *************************************************** - * Testing lem_maybe - ***************************************************\n - maybe_eq_1: ok - maybe_eq_2: ok - maybe_eq_3: ok - maybe_eq_4: ok - maybe_1: ok - maybe_2: ok - maybe_3: ok - maybe_4: ok - isJust_1: ok - isJust_2: ok - isNothing_1: ok - isNothing_2: ok - fromMaybe_1: ok - fromMaybe_2: ok - fromMaybe_3: ok - fromMaybe_4: ok - map_1: ok - map_2: ok - map_3: ok - bind_1: ok - bind_2: ok - bind_3: ok - bind_4: ok - \n\n\n - *************************************************** - * Testing lem_num - ***************************************************\n - nat_test1: ok - nat_test2: ok - nat_test3: ok - nat_test4: ok - nat_test5: ok - nat_test6: ok - nat_test7: ok - nat_test8: ok - nat_test9: ok - nat_test10: ok - nat_test11: ok - nat_test12: ok - nat_test13: ok - nat_test14: ok - nat_test15: ok - nat_test16: ok - nat_test17: ok - nat_test18: ok - nat_test19: ok - nat_test20: ok - nat_test21: ok - nat_test22: ok - nat_test23: ok - nat_test24: ok - nat_test25: ok - nat_test26: ok - nat_test27: ok - nat_test28a: ok - nat_test28b: ok - nat_test29: ok - natural_test1: ok - natural_test2: ok - natural_test3: ok - natural_test4: ok - natural_test5: ok - natural_test6: ok - natural_test7: ok - natural_test8: ok - natural_test9: ok - natural_test10: ok - natural_test11: ok - natural_test12: ok - natural_test13: ok - natural_test14: ok - natural_test15: ok - natural_test16: ok - natural_test17: ok - natural_test18: ok - natural_test19: ok - natural_test20: ok - natural_test21: ok - natural_test22: ok - natural_test23: ok - natural_test24: ok - natural_test25: ok - natural_test26: ok - natural_test27: ok - natural_test28a: ok - natural_test28b: ok - natural_test29: ok - int_test1: ok - int_test2: ok - int_test3: ok - int_test4: ok - int_test5: ok - int_test6: ok - int_test6a: ok - int_test7: ok - int_test7a: ok - int_test8: ok - int_test8at: ok - int_test9: ok - int_test10: ok - int_test11: ok - int_test12: ok - int_test13: ok - int_test14: ok - int_test15: ok - int_test16: ok - int_test17: ok - int_test18: ok - int_test19: ok - int_test20: ok - int_test21: ok - int_test22: ok - int_test23: ok - int_test24: ok - int_test25: ok - int_test26: ok - int_test27: ok - int_test28: ok - int_test29: ok - int32_test1: ok - int32_test2: ok - int32_test3: ok - int32_test4: ok - int32_test5: ok - int32_test6: ok - int32_test7: ok - int32_test8: ok - int32_test9: ok - int32_test10: ok - int32_test11: ok - int32_test12: ok - int32_test13: ok - int32_test13a: ok - int32_test14: ok - int32_test15: ok - int32_test16: ok - int32_test17: ok - int32_test18: ok - int32_test19: ok - int32_test20: ok - int32_test21: ok - int32_test22: ok - int32_test23: ok - int32_test24: ok - int32_test25: ok - int32_test26: ok - int32_test27: ok - int32_test28: ok - int64_test1: ok - int64_test2: ok - int64_test3: ok - int64_test4: ok - int64_test5: ok - int64_test6: ok - int64_test7: ok - int64_test8: ok - int64_test9: ok - int64_test10: ok - int64_test11: ok - int64_test12: ok - int64_test13: ok - int64_test13a: ok - int64_test14: ok - int64_test15: ok - int64_test16: ok - int64_test17: ok - int64_test18: ok - int64_test19: ok - int64_test20: ok - int64_test21: ok - int64_test22: ok - int64_test23: ok - int64_test24: ok - int64_test25: ok - int64_test26: ok - int64_test27: ok - int64_test28: ok - integer_test1: ok - integer_test2: ok - integer_test3: ok - integer_test4: ok - integer_test5: ok - integer_test6: ok - integer_test6a: ok - integer_test7: ok - integer_test7a: ok - integer_test8: ok - integer_test8a: ok - integer_test9: ok - integer_test10: ok - integer_test11: ok - integer_test12: ok - integer_test13: ok - integer_test14: ok - integer_test15: ok - integer_test16: ok - integer_test17: ok - integer_test18: ok - integer_test19: ok - integer_test20: ok - integer_test21: ok - integer_test22: ok - integer_test23: ok - integer_test24: ok - integer_test25: ok - integer_test26: ok - integer_test27: ok - integer_test28: ok - integer_test29: ok - integer_test30: ok - rational_test1: ok - rational_test2: ok - rational_test3: ok - rational_test4: ok - rational_test5: ok - rational_test5a: ok - rational_test5b: ok - rational_test5c: ok - rational_test6: ok - rational_test6a: ok - rational_test7: ok - rational_test8: ok - rational_test9: ok - rational_test10: ok - rational_test11: ok - rational_test12: ok - rational_test13: ok - rational_test14: ok - rational_test15: ok - rational_test16: ok - rational_test17: ok - rational_test18: ok - rational_test19: ok - rational_test20: ok - rational_test21: ok - rational_test22: ok - rational_test23: ok - rational_test24: ok - rational_test25: ok - rational_test26: ok - rational_test27: ok - rational_test28: ok - rational_test29: ok - real_test1: ok - real_test2: ok - real_test3: ok - real_test4: ok - real_test5: ok - real_test5a: ok - real_test5b: ok - real_test5c: ok - real_test6: ok - real_test6a: ok - real_test7: ok - real_test8: ok - real_test9: ok - real_test10: ok - real_test11: ok - real_test12: ok - real_test13: ok - real_test14: ok - real_test15: ok - real_test16: ok - real_test17: ok - real_test18: ok - real_test19: ok - real_test20: ok - real_test21: ok - real_test22: ok - real_test23: ok - real_test24: ok - real_test25: ok - real_test26: ok - real_test27: ok - real_test28: ok - real_test29: ok - real_test30: ok - real_test31: ok - real_test32: ok - real_test33: ok - integer_from_int_0: ok - integer_from_int_1: ok - integer_from_int_2: ok - integer_from_nat_0: ok - integer_from_nat_1: ok - integer_from_nat_2: ok - integerFromNatural_0: ok - integerFromNatural_1: ok - integerFromNatural_2: ok - integer_from_int32_0: ok - integer_from_int32_1: ok - integer_from_int32_2: ok - integer_from_int32_3: ok - integer_from_int32_4: ok - integer_from_int32_5: ok - integer_from_int64_0: ok - integer_from_int64_1: ok - integer_from_int64_2: ok - integer_from_int64_3: ok - integer_from_int64_4: ok - integer_from_int64_5: ok - natural_from_nat_0: ok - natural_from_nat_1: ok - natural_from_nat_2: ok - natural_from_integer_0: ok - natural_from_integer_1: ok - natural_from_integer_2: ok - int_from_integer_0: ok - int_from_integer_1: ok - int_from_integer_2: ok - int_from_nat_0: ok - int_from_nat_1: ok - int_from_nat_2: ok - nat_from_natural_0: ok - nat_from_natural_1: ok - nat_from_natural_2: ok - nat_from_int_0: ok - nat_from_int_1: ok - nat_from_int_2: ok - int32_from_nat_0: ok - int32_from_nat_1: ok - int32_from_nat_2: ok - int32_from_natural_0: ok - int32_from_natural_1: ok - int32_from_natural_2: ok - int32_from_integer_0: ok - int32_from_integer_1: ok - int32_from_integer_2: ok - int32_from_integer_3: ok - int32_from_integer_4: ok - int32_from_integer_5: ok - int32_from_int_0: ok - int32_from_int_1: ok - int32_from_int_2: ok - int32_from_int_3: ok - int32_from_int_4: ok - int32_from_int_5: ok - int32_from_int_64_0: ok - int32_from_int_64_1: ok - int32_from_int_64_2: ok - int32_from_int_64_3: ok - int32_from_int_64_4: ok - int32_from_int_64_5: ok - int64_from_nat_0: ok - int64_from_nat_1: ok - int64_from_nat_2: ok - int64_from_natural_0: ok - int64_from_natural_1: ok - int64_from_natural_2: ok - int64_from_integer_0: ok - int64_from_integer_1: ok - int64_from_integer_2: ok - int64_from_integer_3: ok - int64_from_integer_4: ok - int64_from_integer_5: ok - int64_from_int_0: ok - int64_from_int_1: ok - int64_from_int_2: ok - int64_from_int_3: ok - int64_from_int_4: ok - int64_from_int_5: ok - int64_from_int_33_0: ok - int64_from_int_32_1: ok - int64_from_int_32_2: ok - int64_from_int_32_3: ok - int64_from_int_32_4: ok - int64_from_int_32_5: ok - natural_from_int_0: ok - natural_from_int_1: ok - natural_from_int_2: ok - natural_from_int32_0: ok - natural_from_int32_1: ok - natural_from_int32_2: ok - natural_from_int64_0: ok - natural_from_int64_1: ok - natural_from_int64_2: ok - int_from_natural_0: ok - int_from_natural_1: ok - int_from_natural_2: ok - int_from_int32_0: ok - int_from_int32_1: ok - int_from_int32_2: ok - int_from_int64_0: ok - int_from_int64_1: ok - int_from_int64_2: ok - nat_from_integer_0: ok - nat_from_integer_1: ok - nat_from_integer_2: ok - nat_from_int32_0: ok - nat_from_int32_1: ok - nat_from_int32_2: ok - nat_from_int64_0: ok - nat_from_int64_1: ok - nat_from_int64_2: ok - \n\n\n - *************************************************** - * Testing lem_num_extra - ***************************************************\n - integerOfString_test_1: ok - integerOfString_test_2: ok - \n\n\n - *************************************************** - * Testing lem_relation - ***************************************************\n - rel_basic_0: ok - rel_basic_1: ok - rel_basic_2: ok - in_rel_0: ok - in_rel_1: ok - in_rel_2: ok - in_rel_3: ok - relEmpty_0: ok - relEmpty_1: ok - relAdd_0: ok - relAdd_1: ok - relAdd_2: ok - relAdd_3: ok - rel_id_0: ok - rel_id_1: ok - rel_id_2: ok - rel_id_3: ok - rel_union_0: ok - rel_inter_0: ok - rel_comp_0: ok - rel_restrict_0: ok - rel_converse_0: ok - rel_domain_0: ok - rel_domain_1: ok - rel_domain_2: ok - rel_range_0: ok - rel_range_1: ok - rel_range_2: ok - rel_field_0: ok - rel_field_1: ok - rel_field_2: ok - rel_over_0: ok - rel_over_1: ok - rel_apply_0: ok - rel_apply_1: ok - is_subrel_0: ok - is_subrel_1: ok - is_subrel_2: ok - is_subrel_3: ok - is_reflexive_on_0: ok - is_reflexive_on_1: ok - is_reflexive_on_2: ok - is_irreflexive_on_0: ok - is_irreflexive_on_1: ok - is_irreflexive_on_2: ok - is_irreflexive_on_3: ok - is_irreflexive_0: ok - is_irreflexive_1: ok - is_symmetric_on_0: ok - is_symmetric_on_1: ok - is_symmetric_on_2: ok - is_symmetric_0: ok - is_symmetric_1: ok - is_antisymmetric_on_0: ok - is_antisymmetric_on_1: ok - is_antisymmetric_0: ok - is_antisymmetric_1: ok - is_transitive_on_0: ok - is_transitive_on_1: ok - is_transitive_0: ok - is_transitive_1: ok - is_total_on_0: ok - is_total_on_1: ok - is_trichotomous_on_0: ok - is_trichotomous_on_1: ok - is_single_valued_0: ok - is_single_valued_1: ok - is_equivalence_0: ok - is_equivalence_1: ok - is_equivalence_2: ok - is_preorder_0: ok - is_preorder_1: ok - is_preorder_2: ok - is_partialorder_0: ok - is_partialorder_1: ok - is_partialorder_2: ok - is_partialorder_3: ok - is_strict_partialorder_on_0: ok - is_strict_partialorder_on_1: ok - is_strict_partialorder_on_2: ok - is_strict_partialorder_on_3: ok - is_strict_partialorder_on_4: ok - is_strict_partialorder_0: ok - is_strict_partialorder_1: ok - is_strict_partialorder_2: ok - is_strict_partialorder_3: ok - is_strict_partialorder_4: ok - is_totalorder_on_0: ok - is_totalorder_on_1: ok - is_totalorder_on_2: ok - is_strict_totalorder_on_0: ok - is_strict_totalorder_on_1: ok - transitive_closure_0: ok - transitive_closure_1: ok - transitive_closure_add_0: ok - transitive_closure_add_1: ok - transitive_closure_add_2: ok - reflexive_transitive_closure_0: ok - withoutTransitiveEdges_0: ok - withoutTransitiveEdges_1: ok - withoutTransitiveEdges_2: ok - withoutTransitiveEdges_3: ok - \n\n\n - *************************************************** - * Testing lem_set - ***************************************************\n - empty_0: ok - empty_1: ok - empty_2: ok - empty_3: ok - any_0: ok - any_1: ok - all_0: ok - all_1: ok - in_1: ok - in_2: ok - in_3: ok - in_4: ok - nin_1: ok - nin_2: ok - nin_3: ok - nin_4: ok - null_1: ok - null_2: ok - singleton_1: ok - singleton_2: ok - singleton_3: ok - singleton_4: ok - size_1: ok - size_2: ok - size_3: ok - size_4: ok - size_5: ok - set_patterns_0: ok - set_patterns_1: ok - set_patterns_2: ok - set_patterns_3: ok - set_patterns_4: ok - set_patterns_5: ok - set_patterns_6: ok - set_patterns_7: ok - set_patterns_8: ok - set_patterns_9: ok - set_patterns_10: ok - union_1: ok - insert_1: ok - insert_2: ok - insert_3: ok - filter_1: ok - filter_2: ok - split_simple: ok - isSubsetOf_1: ok - isSubsetOf_2: ok - isSubsetOf_3: ok - isProperSubsetOf_1: ok - isProperSubsetOf_2: ok - isProperSubsetOf_3: ok - bigunion_0: ok - bigunion_1: ok - bigunion_2: ok - bigunion_3: ok - difference_1: ok - intersection_1: ok - map_1: ok - map_2: ok - bigunionmap_0: ok - bigunionmap_1: ok - fromList_1: ok - fromList_2: ok - fromList_3: ok - Sigma_1: ok - cross_1: ok - lfp_empty_0: ok - lfp_empty_1: ok - lfp_saturate_neg_1: ok - lfp_saturate_neg_2: ok - lfp_saturate_mod_3: ok - lfp_saturate_mod_4: ok - lfp_saturate_mod_5: ok - lfp_termination: ok - \n\n\n - *************************************************** - * Testing lem_set_extra - ***************************************************\n - choose_0: ok - choose_1: ok - choose_2: ok - choose_3: ok - toList_0: ok - toList_1: ok - toList_2: ok - toOrderedList_0: ok - toOrderedList_1: ok - toOrderedList_2: ok - lfp_empty: ok - lfp_saturate_neg: ok - lfp_saturate_mod: ok - \n\n\n - *************************************************** - * Testing lem_sorting - ***************************************************\n - perm_1: ok - perm_2: ok - perm_3: ok - perm_4: ok - perm_5: ok - perm_6: ok - isSorted_1: ok - isSorted_2: ok - isSorted_3: ok - isSorted_4: ok - isSorted_5: ok - isSorted_6: ok - sort_1: ok - sort_2: ok - sort_3: ok - \n\n\n - *************************************************** - * Testing lem_string - ***************************************************\n - char_simple_0: ok - char_simple_1: ok - char_simple_2: ok - char_simple_3: ok - char_simple_4: ok - char_simple_5: ok - char_simple_6: ok - string_simple_0: ok - string_simple_1: ok - string_simple_2: ok - string_simple_3: ok - toCharList_0: ok - toCharList_1: ok - toString_0: ok - toString_1: ok - makeString_0: ok - makeString_1: ok - makeString_2: ok - stringLength_0: ok - stringLength_1: ok - stringLength_2: ok - stringAppend_0: ok - empty_string_0: ok - empty_string_1: ok - string_cons_0: ok - string_cons_1: ok - string_patterns_0: ok - string_patterns_1: ok - \n\n\n - *************************************************** - * Testing lem_string_extra - ***************************************************\n - stringFromNat_0: ok - stringFromNat_1: ok - stringFromNat_2: ok - stringFromNatural_0: ok - stringFromNatural_1: ok - stringFromNatural_2: ok - stringFromInt_0: ok - stringFromInt_1: ok - stringFromInt_2: ok - stringFromInt_3: ok - stringFromInteger_0: ok - stringFromInteger_1: ok - stringFromInteger_2: ok - stringFromInteger_3: ok - string_compare_1: ok - string_compare_2: ok - string_compare_3: ok - \n\n\n - *************************************************** - * Testing lem_tuple - ***************************************************\n - fst_1: ok - fst_2: ok - snd_1: ok - snd_2: ok - curry_1: ok - uncurry_1: ok - swap_1: ok - \n\n\n - *************************************************** - * Testing lem_word - ***************************************************\n - boolListFrombitSeq_0: ok - boolListFrombitSeq_1: ok - boolListFrombitSeq_2: ok - bitSeqFromBoolList_0: ok - bitSeqFromBoolList_1: ok - bitSeqFromBoolList_2: ok - cleanBitSeq_0: ok - cleanBitSeq_1: ok - cleanBitSeq_2: ok - resizeBitSeq_0: ok - resizeBitSeq_1: ok - resizeBitSeq_2: ok - resizeBitSeq_3: ok - resizeBitSeq_4: ok - bitSeqNot_0: ok - integerFromBoolList_0: ok - integerFromBoolList_1: ok - integerFromBoolList_2: ok - integerFromBoolList_3: ok - integerFromBoolList_4: ok - boolListFromInteger_0: ok - boolListFromInteger_1: ok - boolListFromInteger_2: ok - boolListFromInteger_3: ok - boolListFromInteger_4: ok - bitSeqFromInteger_0: ok - bitSeqFromInteger_1: ok - bitSeqFromInteger_2: ok - bitSeqFromInteger_3: ok - bitSeqFromInteger_4: ok - bitSeqFromInteger_5: ok - integerFromBitSeq_0: ok - integerFromBitSeq_1: ok - integerFromBitSeq_2: ok - integerFromBitSeq_3: ok - integerFromBitSeq_inv_0: ok - integerFromBitSeq_inv_1: ok - integerFromBitSeq_inv_2: ok - bitSequence_test1: ok - bitSequence_test2: ok - bitSequence_test3: ok - bitSequence_test4: ok - bitSequence_test5: ok - bitSequence_test6: ok - bitSequence_test6a: ok - bitSequence_test7: ok - bitSequence_test7a: ok - bitSequence_test8: ok - bitSequence_test8a: ok - bitSequence_test9: ok - bitSequence_test10: ok - bitSequence_test11: ok - bitSequence_test12: ok - bitSequence_test13: ok - bitSequence_test14: ok - bitSequence_test15: ok - bitSequence_test16: ok - bitSequence_test17: ok - bitSequence_test18: ok - bitSequence_test19: ok - bitSequence_test20: ok - bitSequence_test21: ok - bitSequence_test22: ok - bitSequence_test23: ok - bitSequence_test24: ok - bitSequence_test25: ok - bitSequence_test26: ok - bitSequence_bittest1: ok - bitSequence_bittest2: ok - bitSequence_bittest3: ok - bitSequence_bittest4: ok - bitSequence_bittest5: ok - bitSequence_bittest6: ok - bitSequence_bittest7: ok - bitSequence_bittest8: ok - bitSequence_bittest9: ok - bitSequence_bittest10: ok - bitSequence_bittest11: ok - bitSequence_bittest12: ok - bitSequence_bittest13: ok - bitSequence_bittest14: ok - bitSequence_bittest15: ok - bitSequence_bittest16: ok - bitSequence_bittest17: ok - bitSequence_bittest18: ok - bitSequence_bittest19: ok - bitSequence_bittest20: ok - bitSequence_bittest21: ok - bitSequence_bittest22: ok - bitSequence_bittest23: ok - bitSequence_bittest24: ok - int32_bittest1: ok - int32_bittest2: ok - int32_bittest3: ok - int32_bittest4: ok - int32_bittest5: ok - int32_bittest6: ok - int32_bittest7: ok - int32_bittest8: ok - int32_bittest9: ok - int32_bittest10: ok - int32_bittest11: ok - int32_bittest12: ok - int32_bittest13: ok - int32_bittest14: ok - int32_bittest15: ok - int32_bittest16: ok - int32_bittest17: ok - int32_bittest18: ok - int32_bittest19: ok - int32_bittest20: ok - int32_bittest21: ok - int32_bittest22: ok - int32_bittest23: ok - int32_bittest24: ok - int64_bittest1: ok - int64_bittest2: ok - int64_bittest3: ok - int64_bittest4: ok - int64_bittest5: ok - int64_bittest6: ok - int64_bittest7: ok - int64_bittest8: ok - int64_bittest9: ok - int64_bittest10: ok - int64_bittest11: ok - int64_bittest12: ok - int64_bittest13: ok - int64_bittest14: ok - int64_bittest15: ok - int64_bittest16: ok - int64_bittest17: ok - int64_bittest18: ok - int64_bittest19: ok - int64_bittest20: ok - int64_bittest21: ok - int64_bittest22: ok - int64_bittest23: ok - int64_bittest24: ok - integer_bittest1: ok - integer_bittest2: ok - integer_bittest3: ok - integer_bittest4: ok - integer_bittest5: ok - integer_bittest6: ok - integer_bittest7: ok - integer_bittest8: ok - integer_bittest9: ok - integer_bittest10: ok - integer_bittest11: ok - integer_bittest12: ok - integer_bittest13: ok - integer_bittest14: ok - integer_bittest15: ok - integer_bittest16: ok - integer_bittest17: ok - integer_bittest18: ok - integer_bittest19: ok - integer_bittest20: ok - integer_bittest22: ok - integer_bittest24: ok - int_bittest1: ok - int_bittest2: ok - int_bittest3: ok - int_bittest4: ok - int_bittest5: ok - int_bittest6: ok - int_bittest7: ok - int_bittest8: ok - int_bittest9: ok - int_bittest10: ok - int_bittest11: ok - int_bittest12: ok - int_bittest17: ok - int_bittest18: ok - int_bittest19: ok - int_bittest20: ok - int_bittest22: ok - int_bittest24: ok - natural_bittest1: ok - natural_bittest2: ok - natural_bittest3: ok - natural_bittest4: ok - natural_bittest5: ok - natural_bittest6: ok - natural_bittest9: ok - natural_bittest10: ok - natural_bittest11: ok - natural_bittest12: ok - natural_bittest13: ok - natural_bittest14: ok - natural_bittest15: ok - natural_bittest16: ok - natural_bittest17: ok - natural_bittest18: ok - natural_bittest19: ok - natural_bittest20: ok - nat_bittest1: ok - nat_bittest2: ok - nat_bittest3: ok - nat_bittest4: ok - nat_bittest5: ok - nat_bittest6: ok - nat_bittest9: ok - nat_bittest10: ok - nat_bittest11: ok - nat_bittest12: ok - nat_bittest17: ok - nat_bittest18: ok - nat_bittest19: ok - nat_bittest20: ok - gmake[2]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/lem.2022-12-10/library' - gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/lem.2022-12-10' -> compiled lem.2022-12-10 Processing 21/21: [lem: gmake install] + /usr/local/bin/gmake "INSTALL_DIR=/usr/home/opam/.opam/5.1.0" "install" (CWD=/usr/home/opam/.opam/5.1.0/.opam-switch/build/lem.2022-12-10) - mkdir -p /usr/home/opam/.opam/5.1.0/bin - rm -f /usr/home/opam/.opam/5.1.0/bin/lem - cp src/main.native /usr/home/opam/.opam/5.1.0/bin/lem - rm -rf /usr/home/opam/.opam/5.1.0/share/lem - mkdir -p /usr/home/opam/.opam/5.1.0/share/lem/library - cp library/*.lem /usr/home/opam/.opam/5.1.0/share/lem/library - cp library/*_constants /usr/home/opam/.opam/5.1.0/share/lem/library - /usr/local/bin/gmake -C ocaml-lib install - gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/lem.2022-12-10/ocaml-lib' - Makefile:10: warning: overriding recipe for target 'clean' - ocamlbuild.mk:20: warning: ignoring old recipe for target 'clean' - ocamlbuild -build-dir _build_zarith -X local -X dependencies -I num_impl_zarith -use-ocamlfind -pkg zarith extract.cma extract.cmxa - /usr/local/bin/gmake /usr/home/opam/.opam/5.1.0/lib/lem_zarith/META - gmake[2]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/lem.2022-12-10/ocaml-lib' - Makefile:10: warning: overriding recipe for target 'clean' - ocamlbuild.mk:20: warning: ignoring old recipe for target 'clean' - ocamlfind remove -destdir /usr/home/opam/.opam/5.1.0/lib lem_zarith - ocamlfind: [WARNING] No such file: /usr/home/opam/.opam/5.1.0/lib/lem_zarith/META - ocamlfind install -destdir /usr/home/opam/.opam/5.1.0/lib -patch-version "" lem_zarith num_impl_zarith/META _build_zarith/extract.cma _build_zarith/extract.cmxa _build_zarith/extract.a `find _build_zarith -name '*.cmi' -o -name '*.cmx' -o -name '*.mli'` - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_string.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_string_extra.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_list_extra.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/pmap.mli - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_set_extra.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_num_extra.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/bit.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_set_helpers.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_function_extra.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_relation.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/nat_num.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_show.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_map.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/rational.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/xstring.mli - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_pervasives.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_basic_classes.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_sorting.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/pset.mli - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_list.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_word.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/either.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_set.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/nat_big_num.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_pervasives_extra.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/vector.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/rational_impl.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/rational_impl.mli - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/big_int_impl.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/big_int_impl.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/big_int_impl.mli - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/rational_impl.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/vector.mli - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/xstring.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_bool.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_maybe_extra.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_machine_word.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_show_extra.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_either.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_function.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/pset.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/nat_num.mli - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_tuple.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/rational.mli - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_assert_extra.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_maybe.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_map_extra.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_debug.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_num.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/pmap.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/nat_big_num.mli - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_function.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/pset.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_show_extra.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_either.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_machine_word.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_bool.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/xstring.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_maybe_extra.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_assert_extra.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_tuple.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/bit.mli - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/pmap.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_debug.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_num.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_map_extra.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_maybe.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/bit.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_num_extra.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_set_helpers.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_set_extra.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_list_extra.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_string.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_string_extra.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/rational.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_map.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_show.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/nat_num.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_relation.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_function_extra.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_sorting.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_basic_classes.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_pervasives.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/vector.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_pervasives_extra.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/nat_big_num.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_set.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/either.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_list.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/lem_word.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/extract.a - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/extract.cmxa - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/extract.cma - Installed /usr/home/opam/.opam/5.1.0/lib/lem_zarith/META - touch /usr/home/opam/.opam/5.1.0/lib/lem_zarith/META - gmake[2]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/lem.2022-12-10/ocaml-lib' - ocamlbuild -build-dir _build_num -X local -X dependencies -I num_impl_num -use-ocamlfind -pkg num extract.cma extract.cmxa - /usr/local/bin/gmake /usr/home/opam/.opam/5.1.0/lib/lem_num/META - gmake[2]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/lem.2022-12-10/ocaml-lib' - Makefile:10: warning: overriding recipe for target 'clean' - ocamlbuild.mk:20: warning: ignoring old recipe for target 'clean' - ocamlfind remove -destdir /usr/home/opam/.opam/5.1.0/lib lem_num - ocamlfind: [WARNING] No such file: /usr/home/opam/.opam/5.1.0/lib/lem_num/META - ocamlfind install -destdir /usr/home/opam/.opam/5.1.0/lib -patch-version "" lem_num num_impl_num/META _build_num/extract.cma _build_num/extract.cmxa _build_num/extract.a `find _build_num -name '*.cmi' -o -name '*.cmx' -o -name '*.mli'` - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_map_extra.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_basic_classes.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_pervasives_extra.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/nat_num.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_map.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_either.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/xstring.mli - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_function.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_maybe_extra.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/vector.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_string_extra.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_bool.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/either.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/bit.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_set.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_show_extra.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_function_extra.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_pervasives.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_maybe.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/rational_impl.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/big_int_impl.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/big_int_impl.mli - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/rational_impl.mli - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/rational_impl.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/big_int_impl.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_string.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/vector.mli - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_debug.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/bit.mli - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_assert_extra.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/xstring.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_word.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_tuple.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_list.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/pset.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/nat_num.mli - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_relation.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/nat_big_num.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_machine_word.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_list_extra.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_show.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_set_helpers.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/rational.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_num_extra.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/pmap.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_sorting.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_num.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_set_extra.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_debug.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_string.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_maybe.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_pervasives.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/pset.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_tuple.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_word.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_list.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/xstring.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_assert_extra.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_list_extra.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_machine_word.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/nat_big_num.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_relation.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_set_extra.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_num.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_sorting.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/pmap.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_num_extra.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/rational.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_set_helpers.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_show.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_pervasives_extra.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/pmap.mli - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/rational.mli - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_basic_classes.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_map_extra.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_either.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/nat_big_num.mli - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_map.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/nat_num.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_maybe_extra.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/pset.mli - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_function.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_function_extra.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_show_extra.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/bit.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_set.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/either.cmx - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_string_extra.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/lem_bool.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/vector.cmi - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/extract.a - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/extract.cmxa - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/extract.cma - Installed /usr/home/opam/.opam/5.1.0/lib/lem_num/META - touch /usr/home/opam/.opam/5.1.0/lib/lem_num/META - gmake[2]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/lem.2022-12-10/ocaml-lib' - /usr/local/bin/gmake /usr/home/opam/.opam/5.1.0/lib/lem/META - gmake[2]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/lem.2022-12-10/ocaml-lib' - Makefile:10: warning: overriding recipe for target 'clean' - ocamlbuild.mk:20: warning: ignoring old recipe for target 'clean' - ocamlfind remove -destdir /usr/home/opam/.opam/5.1.0/lib lem - ocamlfind: [WARNING] No such file: /usr/home/opam/.opam/5.1.0/lib/lem/META - ocamlfind install -destdir /usr/home/opam/.opam/5.1.0/lib -patch-version "" lem META - Installed /usr/home/opam/.opam/5.1.0/lib/lem/META - touch /usr/home/opam/.opam/5.1.0/lib/lem/META - gmake[2]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/lem.2022-12-10/ocaml-lib' - gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/lem.2022-12-10/ocaml-lib' - cp -R coq-lib /usr/home/opam/.opam/5.1.0/share/lem - cp -R hol-lib /usr/home/opam/.opam/5.1.0/share/lem - cp -R isabelle-lib /usr/home/opam/.opam/5.1.0/share/lem -> installed lem.2022-12-10 Done. 2023-09-17 03:59.01 ---> saved as "5da84990779b1cf14038d935779b5dcdb0207603ec396b88c486dcef61c3b154" Job succeeded