Building on apache.ocamllabs.io
(from ocurrent/opam:debian-unstable)
---> using "ec5d5faa8619574bfe663422158251f52f4b465bd9d157e348e692194b4f4a2a" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMDEPEXTYES 1)
/: (env OPAMUTF8 never)
/: (run (network host)
(shell "\
\n set -e\
\n git clone -q git://github.com/kit-ty-kate/opam.git /tmp/opam\
\n git -C /tmp/opam checkout -q 'dcdba1db7b6ad3d18cc0b07e8337d02c160c62b3'\
\n opam remote set-url default git://github.com/ocaml/opam-repository.git\
\n opam pin add -yn /tmp/opam > /dev/null\
\n opam install -y opam-devel opam-0install-cudf 'ocamlfind>=1.9'\
\n sudo mv \"$(opam var opam-devel:lib)/opam\" /usr/bin/opam\
\n rm -rf /tmp/opam /tmp/depext.txt ~/.opam\
\n if ! test -d ~/opam-repository; then\
\n git clone -q git://github.com/ocaml/opam-repository.git ~/opam-repository\
\n else\
\n git -C ~/opam-repository pull -q origin master\
\n fi\
\n git -C ~/opam-repository checkout -q '7af4b295dc2de0b2b594c05ab4af40ef963bbc5c'\
\n "))
[default] Initialised
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[opam-devel.2.1.0~beta4] no changes from git+file:///tmp/opam#HEAD
The following actions will be performed:
- install ocamlfind 1.9.1
- install seq base [required by fmt]
- install cmdliner 1.0.4 [required by opam-0install-cudf, opam-devel]
- install dune 2.8.5 [required by opam-0install-cudf, opam-devel]
- install ocamlbuild 0.14.0 [required by cudf, fmt]
- install base-bytes base [required by extlib]
- install stdlib-shims 0.3.0 [required by fmt]
- install re 1.9.0 [required by opam-client]
- install opam-file-format 2.3.0* [required by opam-format]
- install cppo 1.6.7 [required by extlib]
- install 0install-solver 2.17 [required by opam-0install-cudf]
- install topkg 1.0.3 [required by fmt]
- install ocamlgraph 2.0.0 [required by dose3]
- install extlib 1.7.7-1 [required by cudf, opam-client]
- install fmt 0.8.9 [required by opam-0install-cudf]
- install opam-core 2.1.0~beta4* [required by opam-format]
- install cudf 0.9-1 [required by opam-0install-cudf]
- install opam-format 2.1.0~beta4* [required by opam-repository, opam-solver]
- install opam-0install-cudf 0.4
- install mccs 1.1+12 [required by opam-solver]
- install dose3 5.0.1-1 [required by opam-solver]
- install opam-repository 2.1.0~beta4* [required by opam-client]
- install opam-solver 2.1.0~beta4* [required by opam-client]
- install opam-state 2.1.0~beta4* [required by opam-client]
- install opam-client 2.1.0~beta4* [required by opam-devel]
- install opam-devel 2.1.0~beta4*
===== 26 to install =====
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[cmdliner.1.0.4] downloaded from http://erratique.ch/software/cmdliner/releases/cmdliner-1.0.4.tbz
[0install-solver.2.17] downloaded from https://github.com/0install/0install/releases/download/v2.17/0install-v2.17.tbz
[cppo.1.6.7] downloaded from https://github.com/ocaml-community/cppo/releases/download/v1.6.7/cppo-v1.6.7.tbz
[cudf.0.9-1] downloaded from https://gforge.inria.fr/frs/download.php/36602/cudf-0.9.tar.gz
[dose3.5.0.1-1] downloaded from https://gforge.inria.fr/frs/download.php/file/36063/dose3-5.0.1.tar.gz
[dune.2.8.5] downloaded from https://github.com/ocaml/dune/releases/download/2.8.5/dune-2.8.5.tbz
[fmt.0.8.9] downloaded from https://erratique.ch/software/fmt/releases/fmt-0.8.9.tbz
[extlib.1.7.7-1] downloaded from https://ygrek.org/p/release/ocaml-extlib/extlib-1.7.7.tar.gz
[mccs.1.1+12] downloaded from https://github.com/AltGr/ocaml-mccs/archive/1.1+12.tar.gz
[ocamlfind.1.9.1] downloaded from http://download.camlcity.org/download/findlib-1.9.1.tar.gz
[ocamlbuild.0.14.0] downloaded from https://github.com/ocaml/ocamlbuild/archive/0.14.0.tar.gz
[ocamlgraph.2.0.0] downloaded from https://github.com/backtracking/ocamlgraph/releases/download/2.0.0/ocamlgraph-2.0.0.tbz
[opam-0install-cudf.0.4] downloaded from https://github.com/ocaml-opam/opam-0install-solver/releases/download/v0.4/opam-0install-cudf-v0.4.tbz
[re.1.9.0] downloaded from https://github.com/ocaml/ocaml-re/releases/download/1.9.0/re-1.9.0.tbz
[stdlib-shims.0.3.0] downloaded from https://github.com/ocaml/stdlib-shims/releases/download/0.3.0/stdlib-shims-0.3.0.tbz
[topkg.1.0.3] downloaded from http://erratique.ch/software/topkg/releases/topkg-1.0.3.tbz
[opam-file-format.2.3.0] synchronised from git+https://github.com/rjbou/opam-file-format#endpos
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed seq.base
-> installed cmdliner.1.0.4
-> installed ocamlfind.1.9.1
-> installed base-bytes.base
-> installed ocamlbuild.0.14.0
-> installed dune.2.8.5
-> installed topkg.1.0.3
-> installed 0install-solver.2.17
-> installed cppo.1.6.7
-> installed opam-file-format.2.3.0
-> installed re.1.9.0
-> installed stdlib-shims.0.3.0
-> installed fmt.0.8.9
-> installed ocamlgraph.2.0.0
-> installed extlib.1.7.7-1
-> installed cudf.0.9-1
-> installed opam-0install-cudf.0.4
-> installed opam-core.2.1.0~beta4
-> installed mccs.1.1+12
-> installed opam-format.2.1.0~beta4
-> installed opam-repository.2.1.0~beta4
-> installed dose3.5.0.1-1
-> installed opam-solver.2.1.0~beta4
-> installed opam-state.2.1.0~beta4
-> installed opam-client.2.1.0~beta4
-> installed opam-devel.2.1.0~beta4
Done.
<><> opam-devel.2.1.0~beta4 installed successfully ><><><><><><><><><><><><><><>
=> The development version of opam has been successfully compiled into /home/opam/.opam/4.11/lib/opam-devel. You should not run it from there, please install the binaries to your PATH, e.g. with
sudo cp /home/opam/.opam/4.11/lib/opam-devel/opam /usr/local/bin
If you just want to give it a try without altering your current installation, you could use instead:
alias opam2="OPAMROOT=~/.opam2 /home/opam/.opam/4.11/lib/opam-devel/opam"
# Run eval $(opam env) to update the current shell environment
---> using "310fb7594d9f0873efc277b6742d0667f048239b4a32d1032c7317df22d8acfe" from cache
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --disable-sandboxing ~/opam-repository"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
---> using "6e0e4cb8d83a997aa93a89995166c703e50432ac925f85088097ad965e1b2fdd" from cache
/: (run (network host)
(shell "git clone -q 'git://github.com/ocaml/ocaml-beta-repository.git' ~/'beta' && git -C ~/'beta' checkout -q 79aeeadd813bdae424ab53f882f08bee0a4e0b89"))
---> using "fec8f0ca87dd016419bfc26712d0aae42451d64e2ffbfdfa9fb56f27d891d00e" from cache
/: (run (shell "opam repository add --dont-select 'beta' ~/'beta'"))
[beta] Initialised
---> using "9db56549e55b576bd26307f46fea6c6449257ac7eeae4cd6652544efa56b5957" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=beta,default 4.02.3"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.02.3"} | "ocaml-system" {= "4.02.3"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-base-compiler.4.02.3 (cached)
-> installed ocaml-base-compiler.4.02.3
-> installed ocaml-config.1
-> installed ocaml.4.02.3
-> installed base-ocamlbuild.base
Done.
# Run eval $(opam env --switch=4.02.3) to update the current shell environment
---> using "fcc45e901d3af2041649225f589eb5651444baf189b9241f18e5a073e52aec87" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [157 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Ign:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages [8625 kB]
- Fetched 8846 kB in 3s (3505 kB/s)
- Reading package lists...
-
---> using "052c25f5e81e9bde9f607068505d8c5f453fe864e7f245c19bedab4fa2b30a8c" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install -y ocaml-secondary-compiler"))
The following actions will be performed:
- install ocaml-secondary-compiler 4.08.1-1
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-secondary-compiler.4.08.1-1 (cached)
-> installed ocaml-secondary-compiler.4.08.1-1
Done.
# Run eval $(opam env) to update the current shell environment
---> using "4a5fb3aba44182eb5e054414a44b3c8b1d69d91c0791cca66d3f3c8de80c36f0" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam install -vy \"lem.2020-06-03\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"lem.2020-06-03\" | grep -q '\"debian-unstable\"'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\n\
\nfi\
\nexit $res\
\n"))
The following actions will be performed:
- remove ocaml-secondary-compiler 4.08.1-1
- install base-num base [required by num]
- install ocamlfind 1.9.1 [required by lem]
- install conf-perl 1 [required by zarith]
- install ocamlbuild 0 [required by lem]
- install conf-gmp 3 [required by zarith]
- install conf-findutils 1 [required by lem]
- install num 0 [required by lem]
- install zarith 1.11 [required by lem]
- install lem 2020-06-03
===== 9 to install | 1 to remove =====
The following system packages will first need to be installed:
libgmp-dev
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
Let opam run your package manager to install the required system packages? [Y/n] y
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 17845 files and directories currently installed.)
- Preparing to unpack .../libgmp10_2%3a6.2.1+dfsg-1_amd64.deb ...
- Unpacking libgmp10:amd64 (2:6.2.1+dfsg-1) over (2:6.2.0+dfsg-6) ...
- Setting up libgmp10:amd64 (2:6.2.1+dfsg-1) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 17846 files and directories currently installed.)
- Preparing to unpack .../libgmpxx4ldbl_2%3a6.2.1+dfsg-1_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-1) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../libgmp-dev_2%3a6.2.1+dfsg-1_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg-1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-1) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg-1) ...
- Processing triggers for libc-bin (2.31-4) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> removed ocaml-secondary-compiler.4.08.1-1
Processing 6/28:
Processing 7/28:
Processing 8/28:
Processing 9/28:
Processing 10/28:
Processing 11/28:
Processing 12/28: [conf-findutils: sh find . -name .]
Processing 13/28: [conf-findutils: sh find . -name .] [conf-gmp: sh]
Processing 14/28: [conf-findutils: sh find . -name .] [conf-gmp: sh] [conf-perl: perl]
Processing 15/28: [conf-findutils: sh find . -name .] [conf-gmp: sh] [conf-perl: perl]
-> installed base-num.base
Processing 16/28: [conf-findutils: sh find . -name .] [conf-gmp: sh] [conf-perl: perl]
Processing 17/28: [conf-findutils: sh find . -name .] [conf-gmp: sh] [conf-perl: perl]
-> installed num.0
Processing 18/28: [conf-findutils: sh find . -name .] [conf-gmp: sh] [conf-perl: perl]
-> installed ocamlbuild.0
Processing 19/28: [conf-findutils: sh find . -name .] [conf-gmp: sh] [conf-perl: perl]
-> retrieved lem.2020-06-03 (cached)
-> retrieved ocamlfind.1.9.1 (cached)
Processing 20/28: [conf-findutils: sh find . -name .] [conf-gmp: sh] [conf-perl: perl] [ocamlfind: ./configure]
-> retrieved zarith.1.11 (cached)
+ /bin/sh "-exc" "find . -name ." (CWD=/home/opam/.opam/4.02.3/.opam-switch/build/conf-findutils.1)
- + find . -name .
- .
- + find . -name .
- .
-> compiled conf-findutils.1
Processing 20/28: [conf-gmp: sh] [conf-perl: perl] [ocamlfind: ./configure]
-> installed conf-findutils.1
Processing 21/28: [conf-gmp: sh] [conf-perl: perl] [ocamlfind: ./configure]
+ /bin/sh "-exc" "cc -c $CFLAGS -I/usr/local/include test.c" (CWD=/home/opam/.opam/4.02.3/.opam-switch/build/conf-gmp.3)
- + cc -c -I/usr/local/include test.c
- + cc -c -I/usr/local/include test.c
-> compiled conf-gmp.3
Processing 21/28: [conf-perl: perl] [ocamlfind: ./configure]
-> installed conf-gmp.3
Processing 22/28: [conf-perl: perl] [ocamlfind: ./configure]
+ /usr/bin/perl "--version" (CWD=/home/opam/.opam/4.02.3/.opam-switch/build/conf-perl.1)
-
- This is perl 5, version 30, subversion 3 (v5.30.3) built for x86_64-linux-gnu-thread-multi
- (with 50 registered patches, see perl -V for more detail)
-
- Copyright 1987-2020, Larry Wall
-
- Perl may be copied only under the terms of either the Artistic License or the
- GNU General Public License, which may be found in the Perl 5 source kit.
-
- Complete documentation for Perl, including FAQ lists, should be found on
- this system using "man perl" or "perldoc perl". If you have access to the
- Internet, point your browser at http://www.perl.org/, the Perl Home Page.
-
-
- This is perl 5, version 30, subversion 3 (v5.30.3) built for x86_64-linux-gnu-thread-multi
- (with 50 registered patches, see perl -V for more detail)
-
- Copyright 1987-2020, Larry Wall
-
- Perl may be copied only under the terms of either the Artistic License or the
- GNU General Public License, which may be found in the Perl 5 source kit.
-
- Complete documentation for Perl, including FAQ lists, should be found on
- this system using "man perl" or "perldoc perl". If you have access to the
- Internet, point your browser at http://www.perl.org/, the Perl Home Page.
-
-> compiled conf-perl.1
Processing 22/28: [ocamlfind: ./configure]
-> installed conf-perl.1
Processing 23/28: [ocamlfind: ./configure]
+ /home/opam/.opam/4.02.3/.opam-switch/build/ocamlfind.1.9.1/./configure "-bindir" "/home/opam/.opam/4.02.3/bin" "-sitelib" "/home/opam/.opam/4.02.3/lib" "-mandir" "/home/opam/.opam/4.02.3/man" "-config" "/home/opam/.opam/4.02.3/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.02.3/.opam-switch/build/ocamlfind.1.9.1)
- Welcome to findlib version 1.9.1
- Configuring core...
- Checking for #remove_directory...
- Testing threading model...
- systhread_supported: true
- Testing DLLs...
- Testing whether ppxopt can be supported...
- Checking for ocamlc -opaque...
- Querying installation: META list not found
- make install will double-check installed META files
- Configuring libraries...
- unix: found
- bigarray: found
- compiler-libs: found
- dbm: not present (normal since 4.00)
- graphics: found
- num: found
- ocamlbuild: found
- ocamldoc: found
- raw_spacetime: not present (normal since 4.12)
- threads: found
- str: found
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- Configuration for dynlink written to site-lib-src/dynlink/META
- Configuration for stdlib written to site-lib-src/stdlib/META
- Configuration for unix written to site-lib-src/unix/META
- Configuration for bigarray written to site-lib-src/bigarray/META
- Configuration for compiler-libs written to site-lib-src/compiler-libs/META
- Configuration for graphics written to site-lib-src/graphics/META
- Configuration for num written to site-lib-src/num/META
- Configuration for num-top written to site-lib-src/num-top/META
- Configuration for ocamlbuild written to site-lib-src/ocamlbuild/META
- Configuration for ocamldoc written to site-lib-src/ocamldoc/META
- Configuration for threads written to site-lib-src/threads/META
- Configuration for str written to site-lib-src/str/META
- Configuration for bytes written to site-lib-src/bytes/META
- Detecting compiler arguments: (extractor built) ok
-
- About the OCAML core installation:
- Standard library: /home/opam/.opam/4.02.3/lib/ocaml
- Binaries: /home/opam/.opam/4.02.3/bin
- Manual pages: /home/opam/.opam/4.02.3/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /home/opam/.opam/4.02.3/lib
- The configuration file is written to:
- findlib config file: /home/opam/.opam/4.02.3/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /home/opam/.opam/4.02.3/bin
- Manual pages: /home/opam/.opam/4.02.3/man
- topfind script: /home/opam/.opam/4.02.3/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 23/28: [ocamlfind: make all]
+ /usr/bin/make "all" (CWD=/home/opam/.opam/4.02.3/.opam-switch/build/ocamlfind.1.9.1)
- for p in findlib; do ( cd src/$p; /usr/bin/make all ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/4.02.3/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- ocamllex fl_meta.mll
- 22 states, 392 transitions, table size 1700 bytes
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib_config.mlp | \
- ../../tools/patch '@CONFIGFILE@' '/home/opam/.opam/4.02.3/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.02.3/lib/ocaml' | \
- sed -e 's;@AUTOLINK@;true;g' \
- -e 's;@SYSTEM@;linux;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 -g -c findlib_config.ml
- ocamlc -I +compiler-libs -g -c fl_split.ml
- ocamlc -I +compiler-libs -g -c fl_metatoken.ml
- ocamlc -I +compiler-libs -g -c fl_meta.ml
- ocamlc -I +compiler-libs -c fl_metascanner.mli
- ocamlc -I +compiler-libs -g -c fl_metascanner.ml
- ocamlc -I +compiler-libs -c fl_topo.mli
- ocamlc -I +compiler-libs -g -c fl_topo.ml
- ocamlc -I +compiler-libs -c fl_package_base.mli
- ocamlc -I +compiler-libs -g -c fl_package_base.ml
- ocamlc -I +compiler-libs -c findlib.mli
- ocamlc -I +compiler-libs -g -c findlib.ml
- ocamlc -I +compiler-libs -g -c fl_args.ml
- ocamlc -I +compiler-libs -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 -g -c ocaml_args.ml
- ocamlc -I +compiler-libs -g -c frontend.ml
- File "frontend.ml", line 1826, characters 16-29:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- ocamlc -I +compiler-libs -o ocamlfind -g findlib.cma unix.cma \
- ocaml_args.cmo frontend.cmo
- ocamlc -I +compiler-libs -c topfind.mli
- ocamlc -I +compiler-libs -g -c topfind.ml
- ocamlc -I +compiler-libs -a -o findlib_top.cma topfind.cmo
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat topfind_rd1.p | \
- ../../tools/patch '@SITELIB@' '/home/opam/.opam/4.02.3/lib' \
- >topfind
- ocamlc -I +compiler-libs -c num_top_printers.mli
- ocamlc -I +compiler-libs -g -c num_top_printers.ml
- ocamlc -I +compiler-libs -c num_top.mli
- ocamlc -I +compiler-libs -g -c num_top.ml
- ocamlc -I +compiler-libs -a -o num_top.cma num_top_printers.cmo num_top.cmo
- ocamlc -I +compiler-libs -c fl_dynload.mli
- ocamlc -I +compiler-libs -g -c fl_dynload.ml
- ocamlc -I +compiler-libs -a -o findlib_dynload.cma fl_dynload.cmo
- make[1]: Leaving directory '/home/opam/.opam/4.02.3/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- /usr/bin/make all-config
- make[1]: Entering directory '/home/opam/.opam/4.02.3/.opam-switch/build/ocamlfind.1.9.1'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/home/opam/.opam/4.02.3/lib' >findlib.conf
- if ./tools/cmd_from_same_dir ocamlc; then \
- echo 'ocamlc="ocamlc.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamlopt; then \
- echo 'ocamlopt="ocamlopt.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldep; then \
- echo 'ocamldep="ocamldep.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldoc; then \
- echo 'ocamldoc="ocamldoc.opt"' >>findlib.conf; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.02.3/.opam-switch/build/ocamlfind.1.9.1'
Processing 23/28: [ocamlfind: make opt]
+ /usr/bin/make "opt" (CWD=/home/opam/.opam/4.02.3/.opam-switch/build/ocamlfind.1.9.1)
- for p in findlib; do ( cd src/$p; /usr/bin/make opt ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/4.02.3/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- ocamlopt -I +compiler-libs -g -c findlib_config.ml
- ocamlopt -I +compiler-libs -g -c fl_split.ml
- ocamlopt -I +compiler-libs -g -c fl_metatoken.ml
- ocamlopt -I +compiler-libs -g -c fl_meta.ml
- ocamlopt -I +compiler-libs -g -c fl_metascanner.ml
- ocamlopt -I +compiler-libs -g -c fl_topo.ml
- ocamlopt -I +compiler-libs -g -c fl_package_base.ml
- ocamlopt -I +compiler-libs -g -c findlib.ml
- ocamlopt -I +compiler-libs -g -c fl_args.ml
- ocamlopt -I +compiler-libs -g -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 -c ocaml_args.ml
- ocamlopt -I +compiler-libs -g -c frontend.ml
- File "frontend.ml", line 1826, characters 16-29:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- ocamlopt -I +compiler-libs -g -o ocamlfind_opt findlib.cmxa unix.cmxa \
- ocaml_args.cmx frontend.cmx
- ocamlopt -I +compiler-libs -g -c topfind.ml
- 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 -c fl_dynload.ml
- ocamlopt -I +compiler-libs -g -a -o findlib_dynload.cmxa fl_dynload.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_dynload.cmxs fl_dynload.cmx; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.02.3/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
-> compiled ocamlfind.1.9.1
Processing 24/28: [ocamlfind: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/4.02.3/.opam-switch/build/ocamlfind.1.9.1)
- if [ "1" -eq 1 ]; then \
- for x in camlp4 dbm graphics labltk num ocamlbuild; do \
- if [ -f "/home/opam/.opam/4.02.3/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.02.3/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
- mkdir -p "/home/opam/.opam/4.02.3/bin"
- mkdir -p "/home/opam/.opam/4.02.3/man"
- /usr/bin/make install-config
- make[1]: Entering directory '/home/opam/.opam/4.02.3/.opam-switch/build/ocamlfind.1.9.1'
- mkdir -p "`dirname \"/home/opam/.opam/4.02.3/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/4.02.3/lib/findlib.conf" || cp findlib.conf "/home/opam/.opam/4.02.3/lib/findlib.conf"
- make[1]: Leaving directory '/home/opam/.opam/4.02.3/.opam-switch/build/ocamlfind.1.9.1'
- for p in findlib; do ( cd src/$p; /usr/bin/make install ); done
- make[1]: Entering directory '/home/opam/.opam/4.02.3/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- mkdir -p "/home/opam/.opam/4.02.3/lib/findlib"
- mkdir -p "/home/opam/.opam/4.02.3/bin"
- test 1 -eq 0 || cp topfind "/home/opam/.opam/4.02.3/lib/ocaml"
- files=` ../../tools/collect_files ../../Makefile.config findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib.a findlib.cmxs topfind.cmi topfind.mli 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` && \
- cp $files "/home/opam/.opam/4.02.3/lib/findlib"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- cp $f "/home/opam/.opam/4.02.3/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/4.02.3/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/home/opam/.opam/4.02.3/lib/ocaml/compiler-libs/"; \
- cp topdirs.cmi toploop.cmi "/home/opam/.opam/4.02.3/lib/findlib/"; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.02.3/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- /usr/bin/make install-meta
- make[1]: Entering directory '/home/opam/.opam/4.02.3/.opam-switch/build/ocamlfind.1.9.1'
- for x in bigarray bytes compiler-libs dynlink graphics num num-top ocamlbuild ocamldoc stdlib str threads unix ; do mkdir -p "/home/opam/.opam/4.02.3/lib/$x"; cp site-lib-src/$x/META "/home/opam/.opam/4.02.3/lib/$x"; done
- mkdir -p "/home/opam/.opam/4.02.3/lib/findlib"; cp Makefile.packages "/home/opam/.opam/4.02.3/lib/findlib/Makefile.packages"
- make[1]: Leaving directory '/home/opam/.opam/4.02.3/.opam-switch/build/ocamlfind.1.9.1'
- test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; /usr/bin/make install-num-top; }
- make[1]: Entering directory '/home/opam/.opam/4.02.3/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- mkdir -p "/home/opam/.opam/4.02.3/lib/num-top"
- cp num_top.cma num_top.cmi num_top_printers.cmi \
- "/home/opam/.opam/4.02.3/lib/num-top"
- make[1]: Leaving directory '/home/opam/.opam/4.02.3/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- test ! -f 'site-lib-src/camlp4/META' || cp tools/safe_camlp4 "/home/opam/.opam/4.02.3/bin"
- /usr/bin/make install-doc
- make[1]: Entering directory '/home/opam/.opam/4.02.3/.opam-switch/build/ocamlfind.1.9.1'
- mkdir -p "/home/opam/.opam/4.02.3/man/man1" "/home/opam/.opam/4.02.3/man/man3" "/home/opam/.opam/4.02.3/man/man5"
- cp doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.02.3/man/man1"
- cp doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.02.3/man/man5"
- make[1]: Leaving directory '/home/opam/.opam/4.02.3/.opam-switch/build/ocamlfind.1.9.1'
-> installed ocamlfind.1.9.1
Processing 25/28: [zarith: ./configure]
+ /home/opam/.opam/4.02.3/.opam-switch/build/zarith.1.11/./configure (CWD=/home/opam/.opam/4.02.3/.opam-switch/build/zarith.1.11)
- binary ocaml: found in /home/opam/.opam/4.02.3/bin
- binary ocamlc: found in /home/opam/.opam/4.02.3/bin
- binary ocamldep: found in /home/opam/.opam/4.02.3/bin
- binary ocamlmklib: found in /home/opam/.opam/4.02.3/bin
- binary ocamldoc: found in /home/opam/.opam/4.02.3/bin
- binary ar: found in /usr/bin
- binary perl: found in /usr/bin
- binary gcc: found in /usr/bin
- binary ocamlopt: found in /home/opam/.opam/4.02.3/bin
- checking compilation with gcc -O3 -Wall -Wextra : working
- include caml/mlvalues.h: found
- library dynlink.cmxa: found
- binary ocamlfind: found in /home/opam/.opam/4.02.3/bin
- OCaml's word size is 64
- binary uname: found in /bin
- include gmp.h: found
- library gmp: found
- OCaml extended comparison supported
- OCaml new hash functions available
- OCaml supports -bin-annot to produce documentation
- Using OCaml legacy C API custom operations
-
- detected configuration:
-
- native-code: yes
- dynamic linking: yes
- asm path: x86_64
- defines: -DZ_OCAML_LEGACY_CUSTOM_OPERATIONS -DZ_OCAML_HASH -DZ_OCAML_COMPARE_EXT -DHAS_GMP -DZ_ELF -DZ_DOT_LABEL_PREFIX
- libraries: -lgmp
- C options: -O3 -Wall -Wextra
- asm options
- installation path: /home/opam/.opam/4.02.3/lib
- installation method findlib
-
- configuration successful!
- now type "make" to build
- then type "make install" or "sudo make install" to install
Processing 25/28: [zarith: make]
+ /usr/bin/make (CWD=/home/opam/.opam/4.02.3/.opam-switch/build/zarith.1.11)
- ./z_pp.pl x86_64
- Name "main::extra" used only once: possible typo at ./z_pp.pl line 29.
- found assembly file caml_z_x86_64.S
- found abs
- found add
- found div
- found divexact
- found logand
- found lognot
- found logor
- found logxor
- found mul
- found neg
- found pred
- found rem
- found shift_left
- found shift_right
- found sub
- found succ
- ocamldep -native z.ml q.ml big_int_Z.ml z.mli q.mli big_int_Z.mli > depend
- ocamlc -I +compiler-libs -bin-annot -c z.mli
- ocamlc -I +compiler-libs -bin-annot -c z.ml
- ocamlc -I +compiler-libs -bin-annot -c q.mli
- ocamlc -I +compiler-libs -bin-annot -c q.ml
- ocamlc -I +compiler-libs -bin-annot -c big_int_Z.mli
- ocamlc -I +compiler-libs -bin-annot -c big_int_Z.ml
- ocamlmklib -failsafe -o zarith z.cmo q.cmo big_int_Z.cmo -lgmp
- gcc -DZ_OCAML_LEGACY_CUSTOM_OPERATIONS -DZ_OCAML_HASH -DZ_OCAML_COMPARE_EXT -DHAS_GMP -DZ_ELF -DZ_DOT_LABEL_PREFIX -c -o caml_z_x86_64.o caml_z_x86_64.S
- ocamlc -ccopt "-I/home/opam/.opam/4.02.3/lib/ocaml -DZ_OCAML_LEGACY_CUSTOM_OPERATIONS -DZ_OCAML_HASH -DZ_OCAML_COMPARE_EXT -DHAS_GMP -DZ_ELF -DZ_DOT_LABEL_PREFIX -O3 -Wall -Wextra " -c caml_z.c
- In file included from zarith.h:29,
- from caml_z.c:39:
- caml_z.c: In function 'ml_z_reduce':
- /home/opam/.opam/4.02.3/lib/ocaml/caml/mlvalues.h:71:39: warning: left shift of negative value [-Wshift-negative-value]
- 71 | #define Val_long(x) (((intnat)(x) << 1) + 1)
- | ^~
- caml_z.c:414:14: note: in expansion of macro 'Val_long'
- 414 | return Val_long(Z_MIN_INT);
- | ^~~~~~~~
- caml_z.c: In function 'ml_z_compare':
- /home/opam/.opam/4.02.3/lib/ocaml/caml/mlvalues.h:71:39: warning: left shift of negative value [-Wshift-negative-value]
- 71 | #define Val_long(x) (((intnat)(x) << 1) + 1)
- | ^~
- caml_z.c:1074:42: note: in expansion of macro 'Val_long'
- 1074 | return arg1 > arg2 ? Val_long(1) : Val_long(-1);
- | ^~~~~~~~
- /home/opam/.opam/4.02.3/lib/ocaml/caml/mlvalues.h:71:39: warning: left shift of negative value [-Wshift-negative-value]
- 71 | #define Val_long(x) (((intnat)(x) << 1) + 1)
- | ^~
- caml_z.c:1078:29: note: in expansion of macro 'Val_long'
- 1078 | return Z_SIGN(arg1) ? Val_long(-1) : Val_long(1);
- | ^~~~~~~~
- /home/opam/.opam/4.02.3/lib/ocaml/caml/mlvalues.h:71:39: warning: left shift of negative value [-Wshift-negative-value]
- 71 | #define Val_long(x) (((intnat)(x) << 1) + 1)
- | ^~
- caml_z.c:1084:41: note: in expansion of macro 'Val_long'
- 1084 | return Z_SIGN(arg2) ? Val_long(1) : Val_long(-1);
- | ^~~~~~~~
- caml_z.c: In function 'ml_z_rdiv':
- /home/opam/.opam/4.02.3/lib/ocaml/caml/mlvalues.h:71:39: warning: left shift of negative value [-Wshift-negative-value]
- 71 | #define Val_long(x) (((intnat)(x) << 1) + 1)
- | ^~
- caml_z.c:1622:20: note: in expansion of macro 'Val_long'
- 1622 | if (dir) q = Val_long(-1);
- | ^~~~~~~~
- caml_z.c: In function 'ml_z_shift_right':
- /home/opam/.opam/4.02.3/lib/ocaml/caml/mlvalues.h:71:39: warning: left shift of negative value [-Wshift-negative-value]
- 71 | #define Val_long(x) (((intnat)(x) << 1) + 1)
- | ^~
- caml_z.c:2296:26: note: in expansion of macro 'Val_long'
- 2296 | if (sign_arg) return Val_long(-1);
- | ^~~~~~~~
- ocamlmklib -failsafe -o zarith caml_z_x86_64.o caml_z.o -lgmp
- ocamlc -I +compiler-libs -bin-annot -c zarith_top.ml
- ocamlc -o zarith_top.cma -a zarith_top.cmo
- ocamlopt -I +compiler-libs -c z.ml
- ocamlopt -I +compiler-libs -c q.ml
- ocamlopt -I +compiler-libs -c big_int_Z.ml
- ocamlmklib -failsafe -o zarith z.cmx q.cmx big_int_Z.cmx -lgmp
- ocamlopt -shared -o zarith.cmxs -I . zarith.cmxa -linkall
-> compiled zarith.1.11
Processing 26/28: [zarith: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/4.02.3/.opam-switch/build/zarith.1.11)
- ocamlfind install -destdir "/home/opam/.opam/4.02.3/lib" zarith META zarith.h zarith.cma libzarith.a z.mli q.mli big_int_Z.mli z.cmi q.cmi big_int_Z.cmi zarith_top.cma zarith.a zarith.cmxa z.cmx q.cmx big_int_Z.cmx zarith.cmxs z.cmti q.cmti big_int_Z.cmti -optional dllzarith.so
- Installed /home/opam/.opam/4.02.3/lib/zarith/big_int_Z.cmti
- Installed /home/opam/.opam/4.02.3/lib/zarith/q.cmti
- Installed /home/opam/.opam/4.02.3/lib/zarith/z.cmti
- Installed /home/opam/.opam/4.02.3/lib/zarith/zarith.cmxs
- Installed /home/opam/.opam/4.02.3/lib/zarith/big_int_Z.cmx
- Installed /home/opam/.opam/4.02.3/lib/zarith/q.cmx
- Installed /home/opam/.opam/4.02.3/lib/zarith/z.cmx
- Installed /home/opam/.opam/4.02.3/lib/zarith/zarith.cmxa
- Installed /home/opam/.opam/4.02.3/lib/zarith/zarith.a
- Installed /home/opam/.opam/4.02.3/lib/zarith/zarith_top.cma
- Installed /home/opam/.opam/4.02.3/lib/zarith/big_int_Z.cmi
- Installed /home/opam/.opam/4.02.3/lib/zarith/q.cmi
- Installed /home/opam/.opam/4.02.3/lib/zarith/z.cmi
- Installed /home/opam/.opam/4.02.3/lib/zarith/big_int_Z.mli
- Installed /home/opam/.opam/4.02.3/lib/zarith/q.mli
- Installed /home/opam/.opam/4.02.3/lib/zarith/z.mli
- Installed /home/opam/.opam/4.02.3/lib/zarith/libzarith.a
- Installed /home/opam/.opam/4.02.3/lib/zarith/zarith.cma
- Installed /home/opam/.opam/4.02.3/lib/zarith/zarith.h
- Installed /home/opam/.opam/4.02.3/lib/stublibs/dllzarith.so
- Installed /home/opam/.opam/4.02.3/lib/stublibs/dllzarith.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/4.02.3/lib/stublibs is not mentioned in ld.conf
- Installed /home/opam/.opam/4.02.3/lib/zarith/META
-> installed zarith.1.11
Processing 27/28: [lem: make]
+ /usr/bin/make "INSTALL_DIR=/home/opam/.opam/4.02.3" (CWD=/home/opam/.opam/4.02.3/.opam-switch/build/lem.2020-06-03)
- echo "(* Generated file -- do not edit. *)" > src/version.ml
- echo 'let v="2020-06-03"' >> src/version.ml
- echo "(* Generated file -- do not edit. *)" > src/share_directory.ml
- echo let d=\"/home/opam/.opam/4.02.3/share/lem\" >> src/share_directory.ml
- /usr/bin/make -C src all
- make[1]: Entering directory '/home/opam/.opam/4.02.3/.opam-switch/build/lem.2020-06-03/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/batUTF8.cmx ulib/batUTF8.ml
- File "ulib/batUTF8.ml", line 209, characters 2-13:
- Warning 3: deprecated: String.copy
- 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 reporting_basic.cmx reporting_basic.ml
- File "reporting_basic.ml", line 80, characters 12-25:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- File "reporting_basic.ml", line 82, characters 51-62:
- Warning 3: deprecated: String.fill
- Use Bytes.fill instead.
- 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 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", line 109, characters 2-228:
- Warning 8: this pattern-matching is not exhaustive.
- Here is an example of a value 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 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 "types.ml", line 1615, characters 12-28:
- Warning 26: 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", line 2496, characters 4-592:
- Warning 8: this pattern-matching is not exhaustive.
- Here is an example of a value 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", line 968, characters 2-475:
- Warning 8: this pattern-matching is not exhaustive.
- Here is an example of a value 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 "precedence.ml", line 85, characters 14-15:
- Warning 28: 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 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 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 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 "backend.ml", line 1644, characters 2-281:
- Warning 8: this pattern-matching is not exhaustive.
- Here is an example of a value that is not matched:
- ""
- File "backend.ml", line 1944, characters 14-398:
- Warning 8: this pattern-matching is not exhaustive.
- Here is an example of a value that is not matched:
- ((_, None), false)
- File "backend.ml", line 1941, characters 8-553:
- Warning 8: this pattern-matching is not exhaustive.
- Here is an example of a value that is not matched:
- Some (_, _::_)
- File "backend.ml", line 2916, characters 40-1741:
- Warning 8: this pattern-matching is not exhaustive.
- Here is an example of a value that is not matched:
- Typ_with_sort (_, _)
- File "backend.ml", line 2171, characters 9-16:
- Warning 26: unused variable c_descr.
- File "backend.ml", line 3753, characters 12-69:
- Warning 26: unused variable def.
- File "backend.ml", line 3764, characters 12-63:
- Warning 26: 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 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
- /home/opam/.opam/4.02.3/bin/ocamllex.opt -q lexer.mll
- ocamlfind ocamldep -package zarith -modules lexer.ml > lexer.ml.depends
- /home/opam/.opam/4.02.3/bin/ocamlyacc parser.mly
- + /home/opam/.opam/4.02.3/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:
- Warning 26: 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:
- Warning 10: this expression should have type unit.
- File "patterns.ml", line 2145, characters 6-21:
- Warning 26: unused variable new_list_wc_pat.
- File "patterns.ml", line 2146, characters 6-21:
- Warning 26: unused variable new_elem_wc_pat.
- File "patterns.ml", line 2190, characters 6-14:
- Warning 26: unused variable nil_pats.
- File "patterns.ml", line 2192, characters 6-15:
- Warning 26: unused variable cons_pats.
- File "patterns.ml", line 2346, characters 6-19:
- Warning 26: unused variable case_fun_else.
- File "patterns.ml", line 2348, characters 6-18:
- Warning 26: unused variable dest_in_else.
- File "patterns.ml", line 2349, characters 6-20:
- Warning 26: unused variable restr_pat_else.
- File "patterns.ml", line 2351, characters 6-10:
- Warning 26: 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", line 1494, characters 10-22:
- Warning 8: this pattern-matching is not exhaustive.
- Here is an example of a value that is not matched:
- None
- File "convert_relations.ml", line 2014, characters 10-32:
- Warning 8: this pattern-matching is not exhaustive.
- Here is an example of a value that is not matched:
- ([], _)
- File "convert_relations.ml", line 1870, characters 6-10:
- Warning 26: 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", line 1494, characters 10-22:
- Warning 8: this pattern-matching is not exhaustive.
- Here is an example of a value that is not matched:
- None
- File "convert_relations.ml", line 2014, characters 10-32:
- Warning 8: this pattern-matching is not exhaustive.
- Here is an example of a value that is not matched:
- ([], _)
- File "convert_relations.ml", line 1870, characters 6-10:
- Warning 26: 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 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 target_trans.cmx target_trans.ml
- File "target_trans.ml", line 205, characters 48-63:
- Warning 40: type_target_rep was selected from type Types.type_descr.
- It is not visible in the current scope, and will not
- be selected if the type becomes unknown.
- File "target_trans.ml", line 206, characters 13-23:
- Warning 40: TYR_simple was selected from type Types.type_target_rep.
- It is not visible in the current scope, and will not
- be selected if the type becomes unknown.
- ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typecheck.cmx typecheck.ml
- 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 -linkpkg str.cmxa -package zarith 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
- make[1]: Leaving directory '/home/opam/.opam/4.02.3/.opam-switch/build/lem.2020-06-03/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/bin/make -C library
- make[1]: Entering directory '/home/opam/.opam/4.02.3/.opam-switch/build/lem.2020-06-03/library'
- /usr/bin/make -C .. build-lem
- make[2]: Entering directory '/home/opam/.opam/4.02.3/.opam-switch/build/lem.2020-06-03'
- echo "(* Generated file -- do not edit. *)" > src/version.ml
- echo 'let v="2020-06-03"' >> src/version.ml
- echo "(* Generated file -- do not edit. *)" > src/share_directory.ml
- echo let d=\"/home/opam/.opam/4.02.3/share/lem\" >> src/share_directory.ml
- /usr/bin/make -C src all
- make[3]: Entering directory '/home/opam/.opam/4.02.3/.opam-switch/build/lem.2020-06-03/src'
- ocamlbuild -use-ocamlfind -cflags -g main.native
- ocamlfind ocamlopt -linkpkg str.cmxa -package zarith 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
- make[3]: Leaving directory '/home/opam/.opam/4.02.3/.opam-switch/build/lem.2020-06-03/src'
- ln -sf src/main.native lem
- make[2]: Leaving directory '/home/opam/.opam/4.02.3/.opam-switch/build/lem.2020-06-03'
- ../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 -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 -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 -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 -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
- ../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
- make[1]: Leaving directory '/home/opam/.opam/4.02.3/.opam-switch/build/lem.2020-06-03/library'
- /usr/bin/make ocaml-libs
- make[1]: Entering directory '/home/opam/.opam/4.02.3/.opam-switch/build/lem.2020-06-03'
- /usr/bin/make -C ocaml-lib all
- make[2]: Entering directory '/home/opam/.opam/4.02.3/.opam-switch/build/lem.2020-06-03/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 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 -a -package 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 -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 -a -package 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 -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 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 -a -package 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 -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 -a -package 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 -o extract.cmxa
- make[2]: Leaving directory '/home/opam/.opam/4.02.3/.opam-switch/build/lem.2020-06-03/ocaml-lib'
- /usr/bin/make -C library ocaml-lib-tests
- make[2]: Entering directory '/home/opam/.opam/4.02.3/.opam-switch/build/lem.2020-06-03/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
-
-
-
-
- ***************************************************
- * Testing lem_basic_classes
- ***************************************************
-
- 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
-
-
-
-
- ***************************************************
- * Testing lem_bool
- ***************************************************
-
- 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
-
-
-
-
- ***************************************************
- * Testing lem_either
- ***************************************************
-
- 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
-
-
-
-
- ***************************************************
- * Testing lem_function_extra
- ***************************************************
-
- 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
-
-
-
-
- ***************************************************
- * Testing lem_list
- ***************************************************
-
- 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
-
-
-
-
- ***************************************************
- * Testing lem_list_extra
- ***************************************************
-
- 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
-
-
-
-
- ***************************************************
- * Testing lem_machine_word
- ***************************************************
-
- 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
- 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
- sext_test_0: ok
- sext_test_1: ok
-
-
-
-
- ***************************************************
- * Testing lem_map
- ***************************************************
-
- 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
-
-
-
-
- ***************************************************
- * Testing lem_map_extra
- ***************************************************
-
- find_insert_1: ok
- find_insert_2: ok
-
-
-
-
- ***************************************************
- * Testing lem_maybe
- ***************************************************
-
- 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
-
-
-
-
- ***************************************************
- * Testing lem_num
- ***************************************************
-
- 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
-
-
-
-
- ***************************************************
- * Testing lem_num_extra
- ***************************************************
-
- integerOfString_test_1: ok
- integerOfString_test_2: ok
-
-
-
-
- ***************************************************
- * Testing lem_relation
- ***************************************************
-
- 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
-
-
-
-
- ***************************************************
- * Testing lem_set
- ***************************************************
-
- 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
-
-
-
-
- ***************************************************
- * Testing lem_set_extra
- ***************************************************
-
- 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
-
-
-
-
- ***************************************************
- * Testing lem_sorting
- ***************************************************
-
- 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
-
-
-
-
- ***************************************************
- * Testing lem_string
- ***************************************************
-
- 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
-
-
-
-
- ***************************************************
- * Testing lem_string_extra
- ***************************************************
-
- 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
-
-
-
-
- ***************************************************
- * Testing lem_tuple
- ***************************************************
-
- fst_1: ok
- fst_2: ok
- snd_1: ok
- snd_2: ok
- curry_1: ok
- uncurry_1: ok
- swap_1: ok
-
-
-
-
- ***************************************************
- * Testing lem_word
- ***************************************************
-
- 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
- make[2]: Leaving directory '/home/opam/.opam/4.02.3/.opam-switch/build/lem.2020-06-03/library'
- make[1]: Leaving directory '/home/opam/.opam/4.02.3/.opam-switch/build/lem.2020-06-03'
-> compiled lem.2020-06-03
Processing 28/28: [lem: make install]
+ /usr/bin/make "INSTALL_DIR=/home/opam/.opam/4.02.3" "install" (CWD=/home/opam/.opam/4.02.3/.opam-switch/build/lem.2020-06-03)
- mkdir -p /home/opam/.opam/4.02.3/bin
- rm -f /home/opam/.opam/4.02.3/bin/lem
- cp src/main.native /home/opam/.opam/4.02.3/bin/lem
- rm -rf /home/opam/.opam/4.02.3/share/lem
- mkdir -p /home/opam/.opam/4.02.3/share/lem/library
- cp library/*.lem /home/opam/.opam/4.02.3/share/lem/library
- cp library/*_constants /home/opam/.opam/4.02.3/share/lem/library
- /usr/bin/make -C ocaml-lib install
- make[1]: Entering directory '/home/opam/.opam/4.02.3/.opam-switch/build/lem.2020-06-03/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/bin/make /home/opam/.opam/4.02.3/lib/lem_zarith/META
- make[2]: Entering directory '/home/opam/.opam/4.02.3/.opam-switch/build/lem.2020-06-03/ocaml-lib'
- Makefile:10: warning: overriding recipe for target 'clean'
- ocamlbuild.mk:20: warning: ignoring old recipe for target 'clean'
- ocamlfind remove -destdir /home/opam/.opam/4.02.3/lib lem_zarith
- ocamlfind: [WARNING] No such file: /home/opam/.opam/4.02.3/lib/lem_zarith/META
- ocamlfind install -destdir /home/opam/.opam/4.02.3/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 /home/opam/.opam/4.02.3/lib/lem_zarith/lem_pervasives_extra.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/bit.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/vector.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_string_extra.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_show_extra.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_set_extra.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_relation.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_sorting.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_pervasives.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_num_extra.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_maybe_extra.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_map_extra.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_machine_word.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_list_extra.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_function_extra.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_word.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_either.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_map.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_set.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/pmap.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_set_helpers.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_show.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_string.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_assert_extra.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_list.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_tuple.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_num.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_maybe.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/rational.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_function.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_basic_classes.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/either.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_bool.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/xstring.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/nat_big_num.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/nat_num.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/pset.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_pervasives_extra.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_string_extra.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_show_extra.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_set_extra.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_relation.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_sorting.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_pervasives.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_num_extra.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_maybe_extra.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_map_extra.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_machine_word.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_list_extra.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_function_extra.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_word.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_either.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_map.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_set.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_set_helpers.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_show.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_string.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_assert_extra.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_list.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_tuple.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_num.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_maybe.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_function.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_basic_classes.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/either.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem_bool.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/lem.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/xstring.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/xstring.mli
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/bit.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/bit.mli
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/vector.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/vector.mli
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/pmap.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/pmap.mli
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/pset.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/pset.mli
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/rational.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/rational.mli
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/nat_num.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/nat_num.mli
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/nat_big_num.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/nat_big_num.mli
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/rational_impl.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/big_int_impl.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/rational_impl.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/rational_impl.mli
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/big_int_impl.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/big_int_impl.mli
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/extract.a
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/extract.cmxa
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/extract.cma
- Installed /home/opam/.opam/4.02.3/lib/lem_zarith/META
- touch /home/opam/.opam/4.02.3/lib/lem_zarith/META
- make[2]: Leaving directory '/home/opam/.opam/4.02.3/.opam-switch/build/lem.2020-06-03/ocaml-lib'
- ocamlbuild -build-dir _build_num -X local -X dependencies -I num_impl_num -use-ocamlfind -pkg num extract.cma extract.cmxa
- /usr/bin/make /home/opam/.opam/4.02.3/lib/lem_num/META
- make[2]: Entering directory '/home/opam/.opam/4.02.3/.opam-switch/build/lem.2020-06-03/ocaml-lib'
- Makefile:10: warning: overriding recipe for target 'clean'
- ocamlbuild.mk:20: warning: ignoring old recipe for target 'clean'
- ocamlfind remove -destdir /home/opam/.opam/4.02.3/lib lem_num
- ocamlfind: [WARNING] No such file: /home/opam/.opam/4.02.3/lib/lem_num/META
- ocamlfind install -destdir /home/opam/.opam/4.02.3/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 /home/opam/.opam/4.02.3/lib/lem_num/lem_pervasives_extra.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/bit.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/vector.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_string_extra.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_show_extra.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_set_extra.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_relation.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_sorting.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_pervasives.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_num_extra.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_maybe_extra.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_map_extra.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_machine_word.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_list_extra.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_function_extra.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_word.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_either.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_map.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_set.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/pmap.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_set_helpers.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_show.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_string.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_assert_extra.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_list.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_tuple.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_num.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_maybe.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/rational.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_function.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_basic_classes.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/either.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_bool.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/xstring.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/nat_big_num.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/nat_num.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/pset.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_pervasives_extra.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_string_extra.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_show_extra.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_set_extra.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_relation.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_sorting.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_pervasives.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_num_extra.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_maybe_extra.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_map_extra.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_machine_word.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_list_extra.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_function_extra.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_word.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_either.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_map.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_set.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_set_helpers.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_show.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_string.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_assert_extra.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_list.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_tuple.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_num.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_maybe.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_function.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_basic_classes.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/either.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem_bool.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/lem.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/xstring.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/xstring.mli
- Installed /home/opam/.opam/4.02.3/lib/lem_num/bit.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/bit.mli
- Installed /home/opam/.opam/4.02.3/lib/lem_num/vector.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/vector.mli
- Installed /home/opam/.opam/4.02.3/lib/lem_num/pmap.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/pmap.mli
- Installed /home/opam/.opam/4.02.3/lib/lem_num/pset.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/pset.mli
- Installed /home/opam/.opam/4.02.3/lib/lem_num/rational.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/rational.mli
- Installed /home/opam/.opam/4.02.3/lib/lem_num/nat_num.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/nat_num.mli
- Installed /home/opam/.opam/4.02.3/lib/lem_num/nat_big_num.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/nat_big_num.mli
- Installed /home/opam/.opam/4.02.3/lib/lem_num/rational_impl.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/big_int_impl.cmx
- Installed /home/opam/.opam/4.02.3/lib/lem_num/rational_impl.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/rational_impl.mli
- Installed /home/opam/.opam/4.02.3/lib/lem_num/big_int_impl.cmi
- Installed /home/opam/.opam/4.02.3/lib/lem_num/big_int_impl.mli
- Installed /home/opam/.opam/4.02.3/lib/lem_num/extract.a
- Installed /home/opam/.opam/4.02.3/lib/lem_num/extract.cmxa
- Installed /home/opam/.opam/4.02.3/lib/lem_num/extract.cma
- Installed /home/opam/.opam/4.02.3/lib/lem_num/META
- touch /home/opam/.opam/4.02.3/lib/lem_num/META
- make[2]: Leaving directory '/home/opam/.opam/4.02.3/.opam-switch/build/lem.2020-06-03/ocaml-lib'
- /usr/bin/make /home/opam/.opam/4.02.3/lib/lem/META
- make[2]: Entering directory '/home/opam/.opam/4.02.3/.opam-switch/build/lem.2020-06-03/ocaml-lib'
- Makefile:10: warning: overriding recipe for target 'clean'
- ocamlbuild.mk:20: warning: ignoring old recipe for target 'clean'
- ocamlfind remove -destdir /home/opam/.opam/4.02.3/lib lem
- ocamlfind: [WARNING] No such file: /home/opam/.opam/4.02.3/lib/lem/META
- ocamlfind install -destdir /home/opam/.opam/4.02.3/lib -patch-version "" lem META
- Installed /home/opam/.opam/4.02.3/lib/lem/META
- touch /home/opam/.opam/4.02.3/lib/lem/META
- make[2]: Leaving directory '/home/opam/.opam/4.02.3/.opam-switch/build/lem.2020-06-03/ocaml-lib'
- make[1]: Leaving directory '/home/opam/.opam/4.02.3/.opam-switch/build/lem.2020-06-03/ocaml-lib'
- cp -R coq-lib /home/opam/.opam/4.02.3/share/lem
- cp -R hol-lib /home/opam/.opam/4.02.3/share/lem
- cp -R isabelle-lib /home/opam/.opam/4.02.3/share/lem
-> installed lem.2020-06-03
Done.
# Run eval $(opam env) to update the current shell environment
---> saved as "155117b683d570527900d9c5bf90917a754e433e7a2858075d84fcfc6aa270f3"
Job succeeded
Home|Differences with the last checks|Previous runs