Building on m1-b.ocamllabs.io (from ocurrent/opam:debian-unstable) WARNING: Error loading config file: .dockercfg: $HOME is not defined 2021-07-03 17:24.29 ---> 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 '72695bfac80dbcd1d2f10287b2626d18d4acc9f2'\ \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 '9c3fe9d253394788e95360e5c2bcb22722fae6f5'\ \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 re] - install cmdliner 1.0.4 [required by opam-devel] - install dune 2.9.0 [required by opam-0install-cudf, opam-devel] - install ocamlbuild 0.14.0 [required by cudf] - install base-bytes base [required by extlib] - install stdlib-shims 0.3.0 [required by ocamlgraph] - install re 1.9.0 [required by opam-client] - install opam-file-format 2.1.3 [required by opam-format] - install cppo 1.6.7 [required by extlib] - install 0install-solver 2.17 [required by opam-0install-cudf] - install ocamlgraph 2.0.0 [required by dose3] - install extlib 1.7.7-1 [required by cudf, opam-client] - 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.2 - install mccs 1.1+13 [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* ===== 24 to install ===== <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [cppo.1.6.7] downloaded from https://github.com/ocaml-community/cppo/releases/download/v1.6.7/cppo-v1.6.7.tbz [0install-solver.2.17] downloaded from https://github.com/0install/0install/releases/download/v2.17/0install-v2.17.tbz [cmdliner.1.0.4] downloaded from http://erratique.ch/software/cmdliner/releases/cmdliner-1.0.4.tbz [dose3.5.0.1-1] downloaded from https://gforge.inria.fr/frs/download.php/file/36063/dose3-5.0.1.tar.gz [dune.2.9.0] downloaded from https://github.com/ocaml/dune/releases/download/2.9.0/dune-2.9.0.tbz [cudf.0.9-1] downloaded from https://gforge.inria.fr/frs/download.php/36602/cudf-0.9.tar.gz [extlib.1.7.7-1] downloaded from https://ygrek.org/p/release/ocaml-extlib/extlib-1.7.7.tar.gz [mccs.1.1+13] downloaded from https://github.com/AltGr/ocaml-mccs/archive/1.1+13.tar.gz [ocamlbuild.0.14.0] downloaded from https://github.com/ocaml/ocamlbuild/archive/0.14.0.tar.gz [ocamlfind.1.9.1] downloaded from http://download.camlcity.org/download/findlib-1.9.1.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.2] downloaded from https://github.com/ocaml-opam/opam-0install-solver/releases/download/v0.4.2/opam-0install-cudf-v0.4.2.tbz [opam-file-format.2.1.3] downloaded from https://github.com/ocaml/opam-file-format/archive/2.1.3.tar.gz [stdlib-shims.0.3.0] downloaded from https://github.com/ocaml/stdlib-shims/releases/download/0.3.0/stdlib-shims-0.3.0.tbz [re.1.9.0] downloaded from https://github.com/ocaml/ocaml-re/releases/download/1.9.0/re-1.9.0.tbz <><> 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.9.0 -> installed stdlib-shims.0.3.0 -> installed opam-file-format.2.1.3 -> installed 0install-solver.2.17 -> installed cppo.1.6.7 -> installed re.1.9.0 -> installed ocamlgraph.2.0.0 -> installed extlib.1.7.7-1 -> installed opam-core.2.1.0~beta4 -> installed cudf.0.9-1 -> installed opam-0install-cudf.0.4.2 -> installed mccs.1.1+13 -> installed opam-format.2.1.0~beta4 -> installed opam-repository.2.1.0~beta4 -> installed dose3.5.0.1-1 -> installed opam-state.2.1.0~beta4 -> installed opam-solver.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 Updating files: 96% (11734/12211) Updating files: 97% (11845/12211) Updating files: 98% (11967/12211) Updating files: 99% (12089/12211) Updating files: 100% (12211/12211) Updating files: 100% (12211/12211), done. 2021-07-03 17:24.29 ---> using "307be9aa5cdafafceded4bdc6f1d2d6cc6421661c3851f395cf39dd0065265a9" from cache /: (env OPAMEXTERNALSOLVER builtin-0install) /: (env OPAMCRITERIA +removed) /: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository")) Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally 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. 2021-07-03 17:24.29 ---> using "f9d18559158c26cb0236b11f8c3f1aca1927d54f77b8b978800f7461ab605d60" from cache /: (run (network host) (shell "git clone -q 'git://github.com/ocaml/ocaml-beta-repository.git' ~/'beta' && git -C ~/'beta' checkout -q 79aeeadd813bdae424ab53f882f08bee0a4e0b89")) 2021-07-03 17:24.29 ---> using "0123e084a7b7841fc01d674ea3cc62b640a19885601c401c0149be13108a5da4" from cache /: (run (shell "opam repository add --dont-select 'beta' ~/'beta'")) [beta] Initialised 2021-07-03 17:24.29 ---> using "4382217c65ee8c899c1e38e76fe879b949ffb708f73e6e0a95f0a3814d01dd54" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=beta,default 4.03.0")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "4.03.0"} | "ocaml-system" {= "4.03.0"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> retrieved ocaml-base-compiler.4.03.0 (cached) -> installed ocaml-base-compiler.4.03.0 -> installed ocaml-config.1 -> installed ocaml.4.03.0 Done. # Run eval $(opam env --switch=4.03.0) to update the current shell environment 2021-07-03 17:24.29 ---> using "aa983810274567568b37746fa2536daf0870f26a0bfc97d248f67cf9e6f43be2" from cache /: (run (network host) (shell "opam update --depexts")) + /usr/bin/sudo "apt-get" "update" - Get:1 http://deb.debian.org/debian unstable InRelease [161 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 [8640 kB] - Fetched 8865 kB in 2s (5164 kB/s) - Reading package lists... - 2021-07-03 17:24.29 ---> using "827f05018f9eefe1d681c27be0df0df6a81c706f36d266e7ffd03581b222da80" 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 2021-07-03 17:24.29 ---> using "85afaaf0fc6456054a229745c286b7e7256c5a6f7894a0c915a99060f8a36cab" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"flowcaml.1.07\"\ \nopam install -vy \"flowcaml.1.07\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"flowcaml.1.07\" | 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\ \nfi\ \n\ \n\ \nexit $res\ \n")) [NOTE] flowcaml.1.07 is not installed. Nothing to do. The following actions will be performed: - remove ocaml-secondary-compiler 4.08.1-1 - install flowcaml 1.07 ===== 1 to install | 1 to remove ===== <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> removed ocaml-secondary-compiler.4.08.1-1 Processing 2/4: [flowcaml.1.07: http] Processing 2/4: -> retrieved flowcaml.1.07 (http://www.normalesup.org/~simonet/soft/flowcaml/flowcaml-1.07.tar.gz) Processing 3/4: [flowcaml: sh] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-c" "cd src-flowcaml && ./configure --prefix /home/opam/.opam/4.03.0 --with-runlib=/home/opam/.opam/4.03.0/lib/flowcaml" (CWD=/home/opam/.opam/4.03.0/.opam-switch/build/flowcaml.1.07) - checking build system type... x86_64-unknown-linux-gnu - checking host system type... x86_64-unknown-linux-gnu - Suffix of executable files: "" - checking for gcc... gcc - checking for C compiler default output file name... a.out - checking whether the C compiler works... yes - checking whether we are cross compiling... no - checking for suffix of executables... - checking for suffix of object files... o - checking whether we are using the GNU C compiler... yes - checking whether gcc accepts -g... yes - checking for gcc option to accept ANSI C... none needed - checking how to run the C preprocessor... gcc -E - - *** Objective Caml - checking for ocamlc... /home/opam/.opam/4.03.0/bin/ocamlc - checking ocamlc version... 4.03.0 - checking Objective Caml library path... /home/opam/.opam/4.03.0/lib/ocaml - checking for ocamlopt... /home/opam/.opam/4.03.0/bin/ocamlopt - checking ocamlopt version... 4.03.0 - checking for ocamlyacc... /home/opam/.opam/4.03.0/bin/ocamlyacc - checking for ocamllex... /home/opam/.opam/4.03.0/bin/ocamllex - checking for ocamldep... /home/opam/.opam/4.03.0/bin/ocamldep - Enabling run-time assertion checks - link bytecode executables in default mode - checking for /home/opam/.opam/4.03.0/lib/ocaml/graphics.cma... yes - - *** Auxiliary programs - checking for dot... no - - *** Installation directories - checking binaries installation path:... /home/opam/.opam/4.03.0/bin - checking standard library installation path:... /home/opam/.opam/4.03.0/lib/flowcaml - checking runtime library installation path:... /home/opam/.opam/4.03.0/lib/flowcaml - - configure: creating ./config.status - config.status: creating ../Makefile.common - config.status: creating Makefile.config - config.status: creating utils/config.ml - - ------------------------------------------------------------ - Everything seems to be ok. - You can now start compilation by 'make world'. - ------------------------------------------------------------ Processing 3/4: [flowcaml: sh cd src-flowcaml && make world] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-c" "cd src-flowcaml && make world" (CWD=/home/opam/.opam/4.03.0/.opam-switch/build/flowcaml.1.07) - make all - make[1]: Entering directory '/home/opam/.opam/4.03.0/.opam-switch/build/flowcaml.1.07/src-flowcaml' - cpp -DGRAPHICS -P ../src-averell/avl_graphics.mlp > ../src-averell/avl_graphics.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_graphics.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_topo.mli - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_topo.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_tarjan.mli - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_tarjan.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_closure.mli - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_closure.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_kernel.mli - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_kernel.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_graphviz.mli - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_graphviz.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_draw.mli - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_draw.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton_lib.mli - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton_lib.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton_tree.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton_list.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton_debug.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton_aux.mli - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton_aux.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton_sig.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton_templates.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton_dumb.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton_light.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/standard.mli - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton.mli - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/graphps.mli - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/graphps.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/draw.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/config.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/clflags.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/compare.mli - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/compare.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/option.mli - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/option.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/standard.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/datastruct.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/misc.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/terminfo.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/lattice_solver.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/bool_solver.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/variance_solver.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/tbl.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c parsing/longident.ml - /home/opam/.opam/4.03.0/bin/ocamllex parsing/linenum.mll - 12 states, 323 transitions, table size 1364 bytes - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c parsing/linenum.mli - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c parsing/linenum.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c parsing/location.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c parsing/syntaxerr.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c parsing/asttypes.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c parsing/parsetree.ml - /home/opam/.opam/4.03.0/bin/ocamlyacc -v parsing/parser.mly - 28 shift/reduce conflicts. - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c parsing/parser.mli - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c parsing/parser.ml - /home/opam/.opam/4.03.0/bin/ocamllex parsing/lexer.mll - 149 states, 2823 transitions, table size 12186 bytes - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c parsing/lexer.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c parsing/parse.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c stripping/stripinfo.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c stripping/oast.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c stripping/gen_source.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c stripping/gen_ast.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/ident.mli - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/ident.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/path.mli - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/path.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/fkind.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/type_constructor.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/principal.mli - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/principal.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/level.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/expr_context.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/pat_context.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/solver.mli - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/types.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/subst.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/env.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/solver.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/value_description.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/constructor_description.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/label_description.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/exception_declaration.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/type_declaration.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/print_types.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/predef.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/typedtree.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/include_error.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/transl_levelexpr.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/transl_typeexpr.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/transl_typedecl.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/transl_leveldecl.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/transl_exception.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/bound.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/type_core.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/transl_value.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/mtype.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/include_mod.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/type_mod.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/comp_unit.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c driver/formatters.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c driver/errors.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c driver/compile.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c toplevel/topgraph.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c toplevel/toploop.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c toplevel/topmain.ml - /home/opam/.opam/4.03.0/bin/ocamlc -o flowcaml unix.cma graphics.cma ../src-averell/avl_graphics.cmo ../src-averell/avl_topo.cmo ../src-averell/avl_tarjan.cmo ../src-averell/avl_closure.cmo ../src-averell/avl_kernel.cmo ../src-averell/avl_graphviz.cmo ../src-averell/avl_draw.cmo ../src-dalton/dalton_lib.cmo ../src-dalton/dalton_tree.cmo ../src-dalton/dalton_list.cmo ../src-dalton/dalton_debug.cmo ../src-dalton/dalton_aux.cmo ../src-dalton/dalton_sig.cmo ../src-dalton/dalton_templates.cmo ../src-dalton/dalton_dumb.cmo ../src-dalton/dalton_light.cmo ../src-dalton/dalton.cmo utils/graphps.cmo utils/draw.cmo utils/config.cmo utils/clflags.cmo utils/compare.cmo utils/option.cmo utils/standard.cmo utils/datastruct.cmo utils/misc.cmo utils/terminfo.cmo utils/lattice_solver.cmo utils/bool_solver.cmo utils/variance_solver.cmo utils/tbl.cmo parsing/longident.cmo parsing/linenum.cmo parsing/location.cmo parsing/syntaxerr.cmo parsing/asttypes.cmo parsing/parsetree.cmo parsing/parser.cmo parsing/lexer.cmo parsing/parse.cmo stripping/stripinfo.cmo stripping/oast.cmo stripping/gen_source.cmo stripping/gen_ast.cmo types/ident.cmo types/path.cmo types/fkind.cmo types/type_constructor.cmo types/principal.cmo types/level.cmo types/expr_context.cmo types/pat_context.cmo types/types.cmo types/subst.cmo types/env.cmo types/solver.cmo types/value_description.cmo types/constructor_description.cmo types/label_description.cmo types/exception_declaration.cmo types/type_declaration.cmo types/print_types.cmo types/predef.cmo typing/typedtree.cmo typing/include_error.cmo typing/transl_levelexpr.cmo typing/transl_typeexpr.cmo typing/transl_typedecl.cmo typing/transl_leveldecl.cmo typing/transl_exception.cmo typing/type_core.cmo typing/transl_value.cmo typing/mtype.cmo typing/include_mod.cmo typing/type_mod.cmo typing/comp_unit.cmo driver/formatters.cmo driver/errors.cmo driver/compile.cmo toplevel/topgraph.cmo toplevel/toploop.cmo toplevel/topmain.cmo - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c driver/main.ml - /home/opam/.opam/4.03.0/bin/ocamlc -o flowcamlc unix.cma graphics.cma ../src-averell/avl_graphics.cmo ../src-averell/avl_topo.cmo ../src-averell/avl_tarjan.cmo ../src-averell/avl_closure.cmo ../src-averell/avl_kernel.cmo ../src-averell/avl_graphviz.cmo ../src-averell/avl_draw.cmo ../src-dalton/dalton_lib.cmo ../src-dalton/dalton_tree.cmo ../src-dalton/dalton_list.cmo ../src-dalton/dalton_debug.cmo ../src-dalton/dalton_aux.cmo ../src-dalton/dalton_sig.cmo ../src-dalton/dalton_templates.cmo ../src-dalton/dalton_dumb.cmo ../src-dalton/dalton_light.cmo ../src-dalton/dalton.cmo utils/graphps.cmo utils/draw.cmo utils/config.cmo utils/clflags.cmo utils/compare.cmo utils/option.cmo utils/standard.cmo utils/datastruct.cmo utils/misc.cmo utils/terminfo.cmo utils/lattice_solver.cmo utils/bool_solver.cmo utils/variance_solver.cmo utils/tbl.cmo parsing/longident.cmo parsing/linenum.cmo parsing/location.cmo parsing/syntaxerr.cmo parsing/asttypes.cmo parsing/parsetree.cmo parsing/parser.cmo parsing/lexer.cmo parsing/parse.cmo stripping/stripinfo.cmo stripping/oast.cmo stripping/gen_source.cmo stripping/gen_ast.cmo types/ident.cmo types/path.cmo types/fkind.cmo types/type_constructor.cmo types/principal.cmo types/level.cmo types/expr_context.cmo types/pat_context.cmo types/types.cmo types/subst.cmo types/env.cmo types/solver.cmo types/value_description.cmo types/constructor_description.cmo types/label_description.cmo types/exception_declaration.cmo types/type_declaration.cmo types/print_types.cmo types/predef.cmo typing/typedtree.cmo typing/include_error.cmo typing/transl_levelexpr.cmo typing/transl_typeexpr.cmo typing/transl_typedecl.cmo typing/transl_leveldecl.cmo typing/transl_exception.cmo typing/type_core.cmo typing/transl_value.cmo typing/mtype.cmo typing/include_mod.cmo typing/type_mod.cmo typing/comp_unit.cmo driver/formatters.cmo driver/errors.cmo driver/compile.cmo driver/main.cmo - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c tools/flowcamlpol.ml - /home/opam/.opam/4.03.0/bin/ocamlc -o flowcamlpol unix.cma graphics.cma ../src-averell/avl_graphics.cmo ../src-averell/avl_topo.cmo ../src-averell/avl_tarjan.cmo ../src-averell/avl_closure.cmo ../src-averell/avl_kernel.cmo ../src-averell/avl_graphviz.cmo ../src-averell/avl_draw.cmo utils/config.cmo utils/datastruct.cmo types/principal.cmo tools/flowcamlpol.cmo - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c tools/depend.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c tools/flowcamldep.ml - /home/opam/.opam/4.03.0/bin/ocamlc -o flowcamldep utils/config.cmo utils/clflags.cmo utils/datastruct.cmo utils/misc.cmo utils/terminfo.cmo parsing/linenum.cmo parsing/location.cmo parsing/longident.cmo parsing/syntaxerr.cmo parsing/parser.cmo parsing/lexer.cmo parsing/parse.cmo tools/depend.cmo tools/flowcamldep.cmo - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c tools/flowcamlmerge.ml - /home/opam/.opam/4.03.0/bin/ocamlc -o flowcamlmerge unix.cma graphics.cma utils/config.cmo tools/flowcamlmerge.cmo - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c docgen/doc_images.ml - /home/opam/.opam/4.03.0/bin/ocamlyacc -v docgen/doc_parser.mly - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c docgen/doc_parsetree.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c docgen/doc_parser.mli - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c docgen/doc_parser.ml - /home/opam/.opam/4.03.0/bin/ocamllex docgen/doc_lexer.mll - 52 states, 584 transitions, table size 2648 bytes - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c docgen/doc_lexer.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c docgen/doc_comments.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c docgen/doc_latex.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c docgen/doc_gen.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c docgen/doc_main.ml - /home/opam/.opam/4.03.0/bin/ocamlc -o flowcamldoc unix.cma graphics.cma ../src-averell/avl_graphics.cmo ../src-averell/avl_topo.cmo ../src-averell/avl_tarjan.cmo ../src-averell/avl_closure.cmo ../src-averell/avl_kernel.cmo ../src-averell/avl_graphviz.cmo ../src-averell/avl_draw.cmo ../src-dalton/dalton_lib.cmo ../src-dalton/dalton_tree.cmo ../src-dalton/dalton_list.cmo ../src-dalton/dalton_debug.cmo ../src-dalton/dalton_aux.cmo ../src-dalton/dalton_sig.cmo ../src-dalton/dalton_templates.cmo ../src-dalton/dalton_dumb.cmo ../src-dalton/dalton_light.cmo ../src-dalton/dalton.cmo utils/graphps.cmo utils/draw.cmo utils/config.cmo utils/clflags.cmo utils/compare.cmo utils/option.cmo utils/standard.cmo utils/datastruct.cmo utils/misc.cmo utils/terminfo.cmo utils/lattice_solver.cmo utils/bool_solver.cmo utils/variance_solver.cmo utils/tbl.cmo parsing/longident.cmo parsing/linenum.cmo parsing/location.cmo parsing/syntaxerr.cmo parsing/asttypes.cmo parsing/parsetree.cmo parsing/parser.cmo parsing/lexer.cmo parsing/parse.cmo stripping/stripinfo.cmo stripping/oast.cmo stripping/gen_source.cmo stripping/gen_ast.cmo types/ident.cmo types/path.cmo types/fkind.cmo types/type_constructor.cmo types/principal.cmo types/level.cmo types/expr_context.cmo types/pat_context.cmo types/types.cmo types/subst.cmo types/env.cmo types/solver.cmo types/value_description.cmo types/constructor_description.cmo types/label_description.cmo types/exception_declaration.cmo types/type_declaration.cmo types/print_types.cmo types/predef.cmo typing/typedtree.cmo typing/include_error.cmo typing/transl_levelexpr.cmo typing/transl_typeexpr.cmo typing/transl_typedecl.cmo typing/transl_leveldecl.cmo typing/transl_exception.cmo typing/type_core.cmo typing/transl_value.cmo typing/mtype.cmo typing/include_mod.cmo typing/type_mod.cmo typing/comp_unit.cmo driver/formatters.cmo driver/errors.cmo driver/compile.cmo docgen/doc_images.cmo docgen/doc_parser.cmo docgen/doc_lexer.cmo docgen/doc_comments.cmo docgen/doc_latex.cmo docgen/doc_gen.cmo docgen/doc_main.cmo - make[1]: Leaving directory '/home/opam/.opam/4.03.0/.opam-switch/build/flowcaml.1.07/src-flowcaml' - make opt - make[1]: Entering directory '/home/opam/.opam/4.03.0/.opam-switch/build/flowcaml.1.07/src-flowcaml' - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-averell/avl_graphics.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-averell/avl_topo.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-averell/avl_tarjan.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-averell/avl_closure.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-averell/avl_kernel.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-averell/avl_graphviz.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-averell/avl_draw.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-dalton/dalton_lib.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-dalton/dalton_tree.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-dalton/dalton_list.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-dalton/dalton_debug.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-dalton/dalton_aux.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-dalton/dalton_sig.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-dalton/dalton_templates.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-dalton/dalton_dumb.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-dalton/dalton_light.ml - File "../src-dalton/dalton_light.ml", line 2150, characters 7-9: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton_light.ml", line 1367, characters 8-12: - Warning 26: unused variable atom. - File "../src-dalton/dalton_light.ml", line 2076, characters 8-11: - Warning 26: unused variable csd. - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/standard.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-dalton/dalton.ml - File "../src-dalton/dalton.ml", line 1396, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 1397, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 1400, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 1401, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 1402, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 1403, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 1404, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 2014, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 2015, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 2018, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 2019, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 2020, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 2021, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 2022, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 2023, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 2024, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 2582, characters 32-34: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 3458, characters 4-16: - Warning 20: this argument will not be used by the function. - File "../src-dalton/dalton.ml", line 3458, characters 17-306: - Warning 20: this argument will not be used by the function. - File "../src-dalton/dalton.ml", line 3466, characters 6-18: - Warning 20: this argument will not be used by the function. - File "../src-dalton/dalton.ml", line 4632, characters 7-9: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 4306, characters 8-11: - Warning 26: unused variable csd. - File "../src-dalton/dalton.ml", line 4649, characters 8-10: - Warning 26: unused variable cs. - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/graphps.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/draw.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/config.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/clflags.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/compare.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/option.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/datastruct.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/misc.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/terminfo.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/lattice_solver.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/bool_solver.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/variance_solver.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/tbl.ml - File "utils/tbl.ml", line 54, characters 4-28: - Warning 26: unused variable t. - File "utils/tbl.ml", line 87, characters 4-28: - Warning 26: unused variable t. - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c parsing/longident.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c parsing/linenum.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c parsing/location.ml - File "parsing/location.ml", line 29, characters 31-33: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c parsing/syntaxerr.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c parsing/asttypes.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c parsing/parsetree.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c parsing/parser.ml - File "parsing/parser.mly", line 615, characters 20-28: - Warning 26: unused variable variance. - File "parsing/parser.mly", line 615, characters 12-18: - Warning 26: unused variable params. - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c parsing/lexer.ml - File "parsing/lexer.mll", line 115, characters 28-41: - Warning 3: deprecated: String.create - Use Bytes.create instead. - File "parsing/lexer.mll", line 125, characters 19-32: - Warning 3: deprecated: String.create - Use Bytes.create instead. - File "parsing/lexer.mll", line 129, characters 2-19: - Warning 3: deprecated: String.unsafe_set - File "parsing/lexer.mll", line 271, characters 12-15: - Warning 26: unused variable loc. - File "parsing/lexer.mll", line 282, characters 12-15: - Warning 26: unused variable loc. - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c parsing/parse.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c stripping/stripinfo.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c stripping/oast.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c stripping/gen_source.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c stripping/gen_ast.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/ident.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/path.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/fkind.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/type_constructor.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/principal.ml - File "types/principal.ml", line 226, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/level.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/expr_context.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/pat_context.ml - make[1]: Circular types/env.cmx <- types/solver.cmx dependency dropped. - make[1]: Circular types/subst.cmx <- types/solver.cmx dependency dropped. - make[1]: Circular types/subst.cmx <- types/types.cmx dependency dropped. - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/subst.ml - make[1]: Circular types/env.cmx <- types/types.cmx dependency dropped. - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/env.ml - File "types/env.ml", line 244, characters 17-30: - Warning 3: deprecated: String.create - Use Bytes.create instead. - File "types/env.ml", line 275, characters 44-63: - Warning 3: deprecated: String.uncapitalize - Use String.uncapitalize_ascii instead. - File "types/env.ml", line 609, characters 16-21: - Warning 26: unused variable decl'. - File "types/env.ml", line 615, characters 16-21: - Warning 26: unused variable decl'. - make[1]: Circular types/solver.cmx <- types/types.cmx dependency dropped. - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/solver.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/types.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/value_description.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/constructor_description.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/label_description.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/exception_declaration.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/type_declaration.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/print_types.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/predef.ml - File "types/predef.ml", line 209, characters 6-9: - Warning 26: unused variable lvl. - File "types/predef.ml", line 210, characters 6-10: - Warning 26: unused variable lvl'. - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/typedtree.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/include_error.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/transl_levelexpr.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/transl_typeexpr.ml - File "typing/transl_typeexpr.ml", line 178, characters 20-32: - Warning 52: the argument of this constructor should not be matched against a - constant pattern; the actual value of the argument could change - in the future. - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/transl_typedecl.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/transl_leveldecl.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/transl_exception.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/bound.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/type_core.ml - File "typing/type_core.ml", line 1396, characters 10-14: - Warning 26: unused variable cset. - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/transl_value.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/mtype.ml - File "typing/mtype.ml", line 134, characters 19-21: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/include_mod.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/type_mod.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/comp_unit.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c driver/formatters.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c driver/errors.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c driver/compile.ml - File "driver/compile.ml", line 80, characters 19-32: - Warning 3: deprecated: String.create - Use Bytes.create instead. - File "driver/compile.ml", line 120, characters 19-36: - Warning 3: deprecated: String.capitalize - Use String.capitalize_ascii instead. - File "driver/compile.ml", line 181, characters 19-36: - Warning 3: deprecated: String.capitalize - Use String.capitalize_ascii instead. - File "driver/compile.ml", line 201, characters 8-16: - Warning 26: unused variable coercion. - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c toplevel/topgraph.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c toplevel/toploop.ml - File "toplevel/toploop.ml", line 140, characters 8-24: - Warning 3: deprecated: String.set - Use Bytes.set instead. - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c toplevel/topmain.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -o flowcaml.opt unix.cmxa graphics.cmxa ../src-averell/avl_graphics.cmx ../src-averell/avl_topo.cmx ../src-averell/avl_tarjan.cmx ../src-averell/avl_closure.cmx ../src-averell/avl_kernel.cmx ../src-averell/avl_graphviz.cmx ../src-averell/avl_draw.cmx ../src-dalton/dalton_lib.cmx ../src-dalton/dalton_tree.cmx ../src-dalton/dalton_list.cmx ../src-dalton/dalton_debug.cmx ../src-dalton/dalton_aux.cmx ../src-dalton/dalton_sig.cmx ../src-dalton/dalton_templates.cmx ../src-dalton/dalton_dumb.cmx ../src-dalton/dalton_light.cmx ../src-dalton/dalton.cmx utils/graphps.cmx utils/draw.cmx utils/config.cmx utils/clflags.cmx utils/compare.cmx utils/option.cmx utils/standard.cmx utils/datastruct.cmx utils/misc.cmx utils/terminfo.cmx utils/lattice_solver.cmx utils/bool_solver.cmx utils/variance_solver.cmx utils/tbl.cmx parsing/longident.cmx parsing/linenum.cmx parsing/location.cmx parsing/syntaxerr.cmx parsing/asttypes.cmx parsing/parsetree.cmx parsing/parser.cmx parsing/lexer.cmx parsing/parse.cmx stripping/stripinfo.cmx stripping/oast.cmx stripping/gen_source.cmx stripping/gen_ast.cmx types/ident.cmx types/path.cmx types/fkind.cmx types/type_constructor.cmx types/principal.cmx types/level.cmx types/expr_context.cmx types/pat_context.cmx types/types.cmx types/subst.cmx types/env.cmx types/solver.cmx types/value_description.cmx types/constructor_description.cmx types/label_description.cmx types/exception_declaration.cmx types/type_declaration.cmx types/print_types.cmx types/predef.cmx typing/typedtree.cmx typing/include_error.cmx typing/transl_levelexpr.cmx typing/transl_typeexpr.cmx typing/transl_typedecl.cmx typing/transl_leveldecl.cmx typing/transl_exception.cmx typing/type_core.cmx typing/transl_value.cmx typing/mtype.cmx typing/include_mod.cmx typing/type_mod.cmx typing/comp_unit.cmx driver/formatters.cmx driver/errors.cmx driver/compile.cmx toplevel/topgraph.cmx toplevel/toploop.cmx toplevel/topmain.cmx - /home/opam/.opam/4.03.0/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c driver/main.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -o flowcamlc.opt unix.cmxa graphics.cmxa ../src-averell/avl_graphics.cmx ../src-averell/avl_topo.cmx ../src-averell/avl_tarjan.cmx ../src-averell/avl_closure.cmx ../src-averell/avl_kernel.cmx ../src-averell/avl_graphviz.cmx ../src-averell/avl_draw.cmx ../src-dalton/dalton_lib.cmx ../src-dalton/dalton_tree.cmx ../src-dalton/dalton_list.cmx ../src-dalton/dalton_debug.cmx ../src-dalton/dalton_aux.cmx ../src-dalton/dalton_sig.cmx ../src-dalton/dalton_templates.cmx ../src-dalton/dalton_dumb.cmx ../src-dalton/dalton_light.cmx ../src-dalton/dalton.cmx utils/graphps.cmx utils/draw.cmx utils/config.cmx utils/clflags.cmx utils/compare.cmx utils/option.cmx utils/standard.cmx utils/datastruct.cmx utils/misc.cmx utils/terminfo.cmx utils/lattice_solver.cmx utils/bool_solver.cmx utils/variance_solver.cmx utils/tbl.cmx parsing/longident.cmx parsing/linenum.cmx parsing/location.cmx parsing/syntaxerr.cmx parsing/asttypes.cmx parsing/parsetree.cmx parsing/parser.cmx parsing/lexer.cmx parsing/parse.cmx stripping/stripinfo.cmx stripping/oast.cmx stripping/gen_source.cmx stripping/gen_ast.cmx types/ident.cmx types/path.cmx types/fkind.cmx types/type_constructor.cmx types/principal.cmx types/level.cmx types/expr_context.cmx types/pat_context.cmx types/types.cmx types/subst.cmx types/env.cmx types/solver.cmx types/value_description.cmx types/constructor_description.cmx types/label_description.cmx types/exception_declaration.cmx types/type_declaration.cmx types/print_types.cmx types/predef.cmx typing/typedtree.cmx typing/include_error.cmx typing/transl_levelexpr.cmx typing/transl_typeexpr.cmx typing/transl_typedecl.cmx typing/transl_leveldecl.cmx typing/transl_exception.cmx typing/type_core.cmx typing/transl_value.cmx typing/mtype.cmx typing/include_mod.cmx typing/type_mod.cmx typing/comp_unit.cmx driver/formatters.cmx driver/errors.cmx driver/compile.cmx driver/main.cmx - make[1]: Leaving directory '/home/opam/.opam/4.03.0/.opam-switch/build/flowcaml.1.07/src-flowcaml' - make stdlib - make[1]: Entering directory '/home/opam/.opam/4.03.0/.opam-switch/build/flowcaml.1.07/src-flowcaml' - cd stdlib && make - make[2]: Entering directory '/home/opam/.opam/4.03.0/.opam-switch/build/flowcaml.1.07/src-flowcaml/stdlib' - Makefile:104: warning: ignoring prerequisites on suffix rule definition - Makefile:101: warning: ignoring prerequisites on suffix rule definition - ../flowcamlc.opt -nostdlib -nopervasives pervasives.fmli - ../flowcamlc.opt -nostdlib array.fmli - ../flowcamlc.opt -nostdlib buffer.fmli - ../flowcamlc.opt -nostdlib char.fmli - ../flowcamlc.opt -nostdlib complex.fmli - ../flowcamlc.opt -nostdlib hashtbl.fmli - ../flowcamlc.opt -nostdlib list.fmli - ../flowcamlc.opt -nostdlib map.fmli - ../flowcamlc.opt -nostdlib queue.fmli - ../flowcamlc.opt -nostdlib random.fmli - ../flowcamlc.opt -nostdlib set.fmli - ../flowcamlc.opt -nostdlib stack.fmli - ../flowcamlc.opt -nostdlib charray.fmli - ../flowcamlc.opt -nostdlib digest.fmli - ../flowcamlc.opt -nostdlib filename.fmli - ../flowcamlc.opt -nostdlib fmarshal.fmli - ../flowcamlc.opt -nostdlib int32.fmli - ../flowcamlc.opt -nostdlib int64.fmli - ../flowcamlc.opt -nostdlib nativeint.fmli - ../flowcamlc.opt -nostdlib string.fmli - ../flowcamlc.opt -nostdlib sys.fmli - ../flowcamlc.opt -nostdlib array.fml - ../flowcamlc.opt -nostdlib buffer.fml - ../flowcamlc.opt -nostdlib char.fml - ../flowcamlc.opt -nostdlib complex.fml - ../flowcamlc.opt -nostdlib hashtbl.fml - ../flowcamlc.opt -nostdlib list.fml - ../flowcamlc.opt -nostdlib map.fml - ../flowcamlc.opt -nostdlib queue.fml - ../flowcamlc.opt -nostdlib random.fml - ../flowcamlc.opt -nostdlib set.fml - ../flowcamlc.opt -nostdlib stack.fml - make[2]: Leaving directory '/home/opam/.opam/4.03.0/.opam-switch/build/flowcaml.1.07/src-flowcaml/stdlib' - make[1]: Leaving directory '/home/opam/.opam/4.03.0/.opam-switch/build/flowcaml.1.07/src-flowcaml' - make runlib - make[1]: Entering directory '/home/opam/.opam/4.03.0/.opam-switch/build/flowcaml.1.07/src-flowcaml' - cd runlib && make - make[2]: Entering directory '/home/opam/.opam/4.03.0/.opam-switch/build/flowcaml.1.07/src-flowcaml/runlib' - /home/opam/.opam/4.03.0/bin/ocamlc -I . -w -A -c flowperv.mli - cp -f ../stdlib/charray.mli charray.mli - /home/opam/.opam/4.03.0/bin/ocamlc -I . -w -A -c charray.mli - cp -f ../stdlib/fmarshal.mli fmarshal.mli - /home/opam/.opam/4.03.0/bin/ocamlc -I . -w -A -c fmarshal.mli - /home/opam/.opam/4.03.0/bin/ocamlc -I . -w -A -c flowperv.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I . -w -A -c charray.ml - /home/opam/.opam/4.03.0/bin/ocamlc -I . -w -A -c fmarshal.ml - /home/opam/.opam/4.03.0/bin/ocamlc -o flowcamlrun.cma -a flowperv.cmo charray.cmo fmarshal.cmo - /home/opam/.opam/4.03.0/bin/ocamlopt -I . -c flowperv.ml - File "flowperv.ml", line 28, characters 24-35: - Warning 3: deprecated: String.copy - File "flowperv.ml", line 29, characters 24-35: - Warning 3: deprecated: String.copy - File "flowperv.ml", line 69, characters 13-15: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - /home/opam/.opam/4.03.0/bin/ocamlopt -I . -c charray.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -I . -c fmarshal.ml - /home/opam/.opam/4.03.0/bin/ocamlopt -o flowcamlrun.cmxa -a flowperv.cmx charray.cmx fmarshal.cmx - rm fmarshal.mli charray.mli - make[2]: Leaving directory '/home/opam/.opam/4.03.0/.opam-switch/build/flowcaml.1.07/src-flowcaml/runlib' - make[1]: Leaving directory '/home/opam/.opam/4.03.0/.opam-switch/build/flowcaml.1.07/src-flowcaml' - - ------------------------------------------------------------ - Compilation seems to succeed. - You can now install the software. As superuser, do - 'make install'. - ------------------------------------------------------------ -> compiled flowcaml.1.07 Processing 4/4: [flowcaml: sh cd src-flowcaml && make install] + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "sh" "-c" "cd src-flowcaml && make install" (CWD=/home/opam/.opam/4.03.0/.opam-switch/build/flowcaml.1.07) - if test -d /home/opam/.opam/4.03.0/bin; then : ; \ - else mkdir -p /home/opam/.opam/4.03.0/bin; fi - if test -d /home/opam/.opam/4.03.0/lib/flowcaml; then : ; \ - else mkdir -p /home/opam/.opam/4.03.0/lib/flowcaml; fi - if test -d /home/opam/.opam/4.03.0/lib/flowcaml; then : ; \ - else mkdir -p /home/opam/.opam/4.03.0/lib/flowcaml; fi - cp -f flowcaml.opt /home/opam/.opam/4.03.0/bin/flowcaml - cp -f flowcamlc.opt /home/opam/.opam/4.03.0/bin/flowcamlc - cp -f flowcamldep /home/opam/.opam/4.03.0/bin - cp -f flowcamlpol /home/opam/.opam/4.03.0/bin - cd stdlib && cp *.fcmi /home/opam/.opam/4.03.0/lib/flowcaml - cd runlib && cp *.mli *.cmi *.cma *.cmxa *.a /home/opam/.opam/4.03.0/lib/flowcaml - - ------------------------------------------------------------ - Installation seems to succeed. - - If you want to uninstall flowcaml from your system do - 'make uninstall' as superuser. - ------------------------------------------------------------ -> installed flowcaml.1.07 Done. # Run eval $(opam env) to update the current shell environment 2021-07-03 17:25.32 ---> saved as "e02e73eab33a926b1c05087a37c69ab2474889cb10689bfdafbc6b04756496dc" Job succeeded