Building on x86-bm-11.ocamllabs.io (from ocaml/opam:debian-unstable) Unable to find image 'ocaml/opam:debian-unstable' locally debian-unstable: Pulling from ocaml/opam 76d3fc461301: Already exists 4ef6d20bd5d7: Already exists f5ab1124984a: Pulling fs layer f5ab1124984a: Verifying Checksum f5ab1124984a: Download complete f5ab1124984a: Pull complete Digest: sha256:8e32e0d09a8f957267511ce7ffcb86567614efb6d6bb72b6aea9be9dac1bf3e7 Status: Downloaded newer image for ocaml/opam:debian-unstable 2021-09-03 21:06.17 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache /: (user (uid 1000) (gid 1000)) /: (env OPAMPRECISETRACKING 1) /: (env OPAMUTF8 never) /: (env OPAMEXTERNALSOLVER builtin-0install) /: (env OPAMCRITERIA +removed) /: (run (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam")) 2021-09-03 21:06.17 ---> using "4d29eb3e0b7cd69a97ed90837671d5ca38aa41e2fb94346298af500378eca6fa" from cache /: (run (network host) (shell "rm -rf ~/opam-repository && git clone -q 'git://github.com/ocaml/opam-repository.git' ~/opam-repository && git -C ~/opam-repository checkout -q 8fc7af65ccb8f3b3709bf02b749ac492e6700b59")) 2021-09-03 21:06.17 ---> using "eb095db6df41eeadc708604343f7b0ce0892db9136dac67a38046f57271c5802" from cache /: (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: [NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc. ~/.profile is already up-to-date. 2021-09-03 21:06.17 ---> using "d245c9af6f86b2b97434d338a3fbb8270425ab7dc6ad1b5451665adc9698eabf" 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-09-03 21:06.17 ---> using "20d9850dcecd0523d6eddecad814e9bbd93882334348605bfa6e15ffd8f5ced5" from cache /: (run (shell "opam repository add --dont-select 'beta' ~/'beta'")) [beta] Initialised 2021-09-03 21:06.17 ---> using "6f8879c5099d2146b69bdcec3874fd111cad6c5c42ac63d5f9aa72a228fd8ee8" 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 2021-09-03 21:06.17 ---> using "67d4e8cb13690404ffa06df9deabf13a99a448310ed0d3bb9d9a797a8085ad3d" from cache /: (run (network host) (shell "opam update --depexts")) + /usr/bin/sudo "apt-get" "update" - Get:1 http://deb.debian.org/debian unstable InRelease [165 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 [8766 kB] - Fetched 8994 kB in 4s (2273 kB/s) - Reading package lists... - 2021-09-03 21:06.17 ---> using "5efce0187fddf192b0f92fb1c042b58ab93c287a7daff4722314dc6eff34f559" 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-09-03 21:06.17 ---> using "41e63ef4215d8dafd1cda36bf29e729af5d46f90a2e5b6986f3318083c054d54" 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.02.3 --with-runlib=/home/opam/.opam/4.02.3/lib/flowcaml" (CWD=/home/opam/.opam/4.02.3/.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.02.3/bin/ocamlc - checking ocamlc version... 4.02.3 - checking Objective Caml library path... /home/opam/.opam/4.02.3/lib/ocaml - checking for ocamlopt... /home/opam/.opam/4.02.3/bin/ocamlopt - checking ocamlopt version... 4.02.3 - checking for ocamlyacc... /home/opam/.opam/4.02.3/bin/ocamlyacc - checking for ocamllex... /home/opam/.opam/4.02.3/bin/ocamllex - checking for ocamldep... /home/opam/.opam/4.02.3/bin/ocamldep - Enabling run-time assertion checks - link bytecode executables in default mode - checking for /home/opam/.opam/4.02.3/lib/ocaml/graphics.cma... yes - - *** Auxiliary programs - checking for dot... no - - *** Installation directories - checking binaries installation path:... /home/opam/.opam/4.02.3/bin - checking standard library installation path:... /home/opam/.opam/4.02.3/lib/flowcaml - checking runtime library installation path:... /home/opam/.opam/4.02.3/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.02.3/.opam-switch/build/flowcaml.1.07) - make all - make[1]: Entering directory '/home/opam/.opam/4.02.3/.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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/bin/ocamllex parsing/linenum.mll - 12 states, 323 transitions, table size 1364 bytes - /home/opam/.opam/4.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/bin/ocamlyacc -v parsing/parser.mly - 28 shift/reduce conflicts. - /home/opam/.opam/4.02.3/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.02.3/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.02.3/bin/ocamllex parsing/lexer.mll - 149 states, 2823 transitions, table size 12186 bytes - /home/opam/.opam/4.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/bin/ocamlc -o flowcamlmerge unix.cma graphics.cma utils/config.cmo tools/flowcamlmerge.cmo - /home/opam/.opam/4.02.3/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.02.3/bin/ocamlyacc -v docgen/doc_parser.mly - /home/opam/.opam/4.02.3/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.02.3/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.02.3/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.02.3/bin/ocamllex docgen/doc_lexer.mll - 52 states, 584 transitions, table size 2648 bytes - /home/opam/.opam/4.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/.opam-switch/build/flowcaml.1.07/src-flowcaml' - make opt - make[1]: Entering directory '/home/opam/.opam/4.02.3/.opam-switch/build/flowcaml.1.07/src-flowcaml' - /home/opam/.opam/4.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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 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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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 - /home/opam/.opam/4.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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 201, characters 8-16: - Warning 26: unused variable coercion. - /home/opam/.opam/4.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/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.02.3/.opam-switch/build/flowcaml.1.07/src-flowcaml' - make stdlib - make[1]: Entering directory '/home/opam/.opam/4.02.3/.opam-switch/build/flowcaml.1.07/src-flowcaml' - cd stdlib && make - make[2]: Entering directory '/home/opam/.opam/4.02.3/.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.02.3/.opam-switch/build/flowcaml.1.07/src-flowcaml/stdlib' - make[1]: Leaving directory '/home/opam/.opam/4.02.3/.opam-switch/build/flowcaml.1.07/src-flowcaml' - make runlib - make[1]: Entering directory '/home/opam/.opam/4.02.3/.opam-switch/build/flowcaml.1.07/src-flowcaml' - cd runlib && make - make[2]: Entering directory '/home/opam/.opam/4.02.3/.opam-switch/build/flowcaml.1.07/src-flowcaml/runlib' - /home/opam/.opam/4.02.3/bin/ocamlc -I . -w -A -c flowperv.mli - cp -f ../stdlib/charray.mli charray.mli - /home/opam/.opam/4.02.3/bin/ocamlc -I . -w -A -c charray.mli - cp -f ../stdlib/fmarshal.mli fmarshal.mli - /home/opam/.opam/4.02.3/bin/ocamlc -I . -w -A -c fmarshal.mli - /home/opam/.opam/4.02.3/bin/ocamlc -I . -w -A -c flowperv.ml - /home/opam/.opam/4.02.3/bin/ocamlc -I . -w -A -c charray.ml - /home/opam/.opam/4.02.3/bin/ocamlc -I . -w -A -c fmarshal.ml - /home/opam/.opam/4.02.3/bin/ocamlc -o flowcamlrun.cma -a flowperv.cmo charray.cmo fmarshal.cmo - /home/opam/.opam/4.02.3/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.02.3/bin/ocamlopt -I . -c charray.ml - /home/opam/.opam/4.02.3/bin/ocamlopt -I . -c fmarshal.ml - /home/opam/.opam/4.02.3/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.02.3/.opam-switch/build/flowcaml.1.07/src-flowcaml/runlib' - make[1]: Leaving directory '/home/opam/.opam/4.02.3/.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.02.3/.opam-switch/build/flowcaml.1.07) - if test -d /home/opam/.opam/4.02.3/bin; then : ; \ - else mkdir -p /home/opam/.opam/4.02.3/bin; fi - if test -d /home/opam/.opam/4.02.3/lib/flowcaml; then : ; \ - else mkdir -p /home/opam/.opam/4.02.3/lib/flowcaml; fi - if test -d /home/opam/.opam/4.02.3/lib/flowcaml; then : ; \ - else mkdir -p /home/opam/.opam/4.02.3/lib/flowcaml; fi - cp -f flowcaml.opt /home/opam/.opam/4.02.3/bin/flowcaml - cp -f flowcamlc.opt /home/opam/.opam/4.02.3/bin/flowcamlc - cp -f flowcamldep /home/opam/.opam/4.02.3/bin - cp -f flowcamlpol /home/opam/.opam/4.02.3/bin - cd stdlib && cp *.fcmi /home/opam/.opam/4.02.3/lib/flowcaml - cd runlib && cp *.mli *.cmi *.cma *.cmxa *.a /home/opam/.opam/4.02.3/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-09-03 21:07.20 ---> saved as "50498088dfc7fc12e7ac231da32373120ac18b09314eb3742e7b5728419a6d4b" Job succeeded