Building on m1-c.ocamllabs.io (from ocurrent/opam:debian-unstable) Unable to find image 'ocurrent/opam:debian-unstable' locally debian-unstable: Pulling from ocurrent/opam b2048aa58c5f: Pulling fs layer 412783517da1: Pulling fs layer 2143755e883d: Pulling fs layer b2048aa58c5f: Verifying Checksum b2048aa58c5f: Download complete 2143755e883d: Verifying Checksum 2143755e883d: Download complete 412783517da1: Verifying Checksum 412783517da1: Download complete b2048aa58c5f: Pull complete 412783517da1: Pull complete 2143755e883d: Pull complete Digest: sha256:d5761fd43bfa1a0782288e3fc959c461a5b030a735a1e16290ff499c79950c05 Status: Downloaded newer image for ocurrent/opam:debian-unstable ---> using "ec5d5faa8619574bfe663422158251f52f4b465bd9d157e348e692194b4f4a2a" from cache /: (user (uid 1000) (gid 1000)) /: (env OPAMPRECISETRACKING 1) /: (env OPAMDEPEXTYES 1) /: (env OPAMUTF8 never) /: (run (network host) (shell "\ \n set -e\ \n git clone -q git://github.com/kit-ty-kate/opam.git /tmp/opam\ \n git -C /tmp/opam checkout -q 'dcdba1db7b6ad3d18cc0b07e8337d02c160c62b3'\ \n opam remote set-url default git://github.com/ocaml/opam-repository.git\ \n opam pin add -yn /tmp/opam > /dev/null\ \n opam install -y opam-devel opam-0install-cudf 'ocamlfind>=1.9'\ \n sudo mv \"$(opam var opam-devel:lib)/opam\" /usr/bin/opam\ \n rm -rf /tmp/opam /tmp/depext.txt ~/.opam\ \n if ! test -d ~/opam-repository; then\ \n git clone -q git://github.com/ocaml/opam-repository.git ~/opam-repository\ \n else\ \n git -C ~/opam-repository pull -q origin master\ \n fi\ \n git -C ~/opam-repository checkout -q '7af4b295dc2de0b2b594c05ab4af40ef963bbc5c'\ \n ")) [default] Initialised <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [opam-devel.2.1.0~beta4] no changes from git+file:///tmp/opam#HEAD The following actions will be performed: - install ocamlfind 1.9.1 - install seq base [required by fmt] - install cmdliner 1.0.4 [required by opam-0install-cudf, opam-devel] - install dune 2.8.5 [required by opam-0install-cudf, opam-devel] - install ocamlbuild 0.14.0 [required by cudf, fmt] - install base-bytes base [required by extlib] - install stdlib-shims 0.3.0 [required by fmt] - install re 1.9.0 [required by opam-client] - install opam-file-format 2.3.0* [required by opam-format] - install cppo 1.6.7 [required by extlib] - install 0install-solver 2.17 [required by opam-0install-cudf] - install topkg 1.0.3 [required by fmt] - install ocamlgraph 2.0.0 [required by dose3] - install extlib 1.7.7-1 [required by cudf, opam-client] - install fmt 0.8.9 [required by opam-0install-cudf] - install opam-core 2.1.0~beta4* [required by opam-format] - install cudf 0.9-1 [required by opam-0install-cudf] - install opam-format 2.1.0~beta4* [required by opam-repository, opam-solver] - install opam-0install-cudf 0.4 - install mccs 1.1+12 [required by opam-solver] - install dose3 5.0.1-1 [required by opam-solver] - install opam-repository 2.1.0~beta4* [required by opam-client] - install opam-solver 2.1.0~beta4* [required by opam-client] - install opam-state 2.1.0~beta4* [required by opam-client] - install opam-client 2.1.0~beta4* [required by opam-devel] - install opam-devel 2.1.0~beta4* ===== 26 to install ===== <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [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 [cppo.1.6.7] downloaded from https://github.com/ocaml-community/cppo/releases/download/v1.6.7/cppo-v1.6.7.tbz [dune.2.8.5] downloaded from https://github.com/ocaml/dune/releases/download/2.8.5/dune-2.8.5.tbz [cudf.0.9-1] downloaded from https://gforge.inria.fr/frs/download.php/36602/cudf-0.9.tar.gz [dose3.5.0.1-1] downloaded from https://gforge.inria.fr/frs/download.php/file/36063/dose3-5.0.1.tar.gz [extlib.1.7.7-1] downloaded from https://ygrek.org/p/release/ocaml-extlib/extlib-1.7.7.tar.gz [fmt.0.8.9] downloaded from https://erratique.ch/software/fmt/releases/fmt-0.8.9.tbz [ocamlfind.1.9.1] downloaded from http://download.camlcity.org/download/findlib-1.9.1.tar.gz [mccs.1.1+12] downloaded from https://github.com/AltGr/ocaml-mccs/archive/1.1+12.tar.gz [ocamlbuild.0.14.0] downloaded from https://github.com/ocaml/ocamlbuild/archive/0.14.0.tar.gz [ocamlgraph.2.0.0] downloaded from https://github.com/backtracking/ocamlgraph/releases/download/2.0.0/ocamlgraph-2.0.0.tbz [opam-0install-cudf.0.4] downloaded from https://github.com/ocaml-opam/opam-0install-solver/releases/download/v0.4/opam-0install-cudf-v0.4.tbz [re.1.9.0] downloaded from https://github.com/ocaml/ocaml-re/releases/download/1.9.0/re-1.9.0.tbz [stdlib-shims.0.3.0] downloaded from https://github.com/ocaml/stdlib-shims/releases/download/0.3.0/stdlib-shims-0.3.0.tbz [topkg.1.0.3] downloaded from http://erratique.ch/software/topkg/releases/topkg-1.0.3.tbz [opam-file-format.2.3.0] synchronised from git+https://github.com/rjbou/opam-file-format#endpos <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed seq.base -> installed cmdliner.1.0.4 -> installed ocamlfind.1.9.1 -> installed base-bytes.base -> installed ocamlbuild.0.14.0 -> installed dune.2.8.5 -> installed stdlib-shims.0.3.0 -> installed topkg.1.0.3 -> installed 0install-solver.2.17 -> installed cppo.1.6.7 -> installed opam-file-format.2.3.0 -> installed re.1.9.0 -> installed ocamlgraph.2.0.0 -> installed fmt.0.8.9 -> installed extlib.1.7.7-1 -> installed opam-core.2.1.0~beta4 -> installed cudf.0.9-1 -> installed opam-0install-cudf.0.4 -> installed mccs.1.1+12 -> installed opam-format.2.1.0~beta4 -> installed opam-repository.2.1.0~beta4 -> installed dose3.5.0.1-1 -> installed opam-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 ---> using "310fb7594d9f0873efc277b6742d0667f048239b4a32d1032c7317df22d8acfe" from cache /: (env OPAMEXTERNALSOLVER builtin-0install) /: (env OPAMCRITERIA +removed) /: (run (shell "rm -rf ~/.opam && opam init -ya --bare --disable-sandboxing ~/opam-repository")) Configuring from /home/opam/.opamrc and then from built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. <><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><> [default] Initialised User configuration: ~/.profile is already up-to-date. [NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc. ---> using "6e0e4cb8d83a997aa93a89995166c703e50432ac925f85088097ad965e1b2fdd" from cache /: (run (network host) (shell "git clone -q 'git://github.com/ocaml/ocaml-beta-repository.git' ~/'beta' && git -C ~/'beta' checkout -q 79aeeadd813bdae424ab53f882f08bee0a4e0b89")) ---> using "fec8f0ca87dd016419bfc26712d0aae42451d64e2ffbfdfa9fb56f27d891d00e" from cache /: (run (shell "opam repository add --dont-select 'beta' ~/'beta'")) [beta] Initialised ---> using "9db56549e55b576bd26307f46fea6c6449257ac7eeae4cd6652544efa56b5957" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=beta,default 4.04.2")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "4.04.2"} | "ocaml-system" {= "4.04.2"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> retrieved ocaml-base-compiler.4.04.2 (cached) -> installed ocaml-base-compiler.4.04.2 -> installed ocaml-config.1 -> installed ocaml.4.04.2 Done. # Run eval $(opam env --switch=4.04.2) to update the current shell environment ---> using "8d5bbea5f0088a02250c8844d240c09c0b1c3b78c384fa2f741ac522e9dad6fb" from cache /: (run (network host) (shell "opam update --depexts")) + /usr/bin/sudo "apt-get" "update" - Get:1 http://deb.debian.org/debian unstable InRelease [157 kB] - Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB] - Ign:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages [8625 kB] - Fetched 8846 kB in 2s (4206 kB/s) - Reading package lists... - ---> using "1755972f7ddf6b3204d68a5283ee4d61a432fde6fb19cc2d248df914b4e776c5" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install -y ocaml-secondary-compiler")) The following actions will be performed: - install ocaml-secondary-compiler 4.08.1-1 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved ocaml-secondary-compiler.4.08.1-1 (cached) -> installed ocaml-secondary-compiler.4.08.1-1 Done. # Run eval $(opam env) to update the current shell environment ---> using "2551dc242df88d9aff77f8f7452f391c6d2e83c29d4eb06e17432b70d6fe546d" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \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\ \n\ \nfi\ \nexit $res\ \n")) 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: -> retrieved flowcaml.1.07 (cached) Processing 3/4: [flowcaml: sh] + /bin/sh "-c" "cd src-flowcaml && ./configure --prefix /home/opam/.opam/4.04.2 --with-runlib=/home/opam/.opam/4.04.2/lib/flowcaml" (CWD=/home/opam/.opam/4.04.2/.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.04.2/bin/ocamlc - checking ocamlc version... 4.04.2 - checking Objective Caml library path... /home/opam/.opam/4.04.2/lib/ocaml - checking for ocamlopt... /home/opam/.opam/4.04.2/bin/ocamlopt - checking ocamlopt version... 4.04.2 - checking for ocamlyacc... /home/opam/.opam/4.04.2/bin/ocamlyacc - checking for ocamllex... /home/opam/.opam/4.04.2/bin/ocamllex - checking for ocamldep... /home/opam/.opam/4.04.2/bin/ocamldep - Enabling run-time assertion checks - link bytecode executables in default mode - checking for /home/opam/.opam/4.04.2/lib/ocaml/graphics.cma... yes - - *** Auxiliary programs - checking for dot... no - - *** Installation directories - checking binaries installation path:... /home/opam/.opam/4.04.2/bin - checking standard library installation path:... /home/opam/.opam/4.04.2/lib/flowcaml - checking runtime library installation path:... /home/opam/.opam/4.04.2/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] + /bin/sh "-c" "cd src-flowcaml && make world" (CWD=/home/opam/.opam/4.04.2/.opam-switch/build/flowcaml.1.07) - make all - make[1]: Entering directory '/home/opam/.opam/4.04.2/.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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/bin/ocamllex parsing/linenum.mll - 12 states, 323 transitions, table size 1364 bytes - /home/opam/.opam/4.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/bin/ocamlyacc -v parsing/parser.mly - 28 shift/reduce conflicts. - /home/opam/.opam/4.04.2/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.04.2/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.04.2/bin/ocamllex parsing/lexer.mll - 149 states, 2823 transitions, table size 12186 bytes - /home/opam/.opam/4.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/bin/ocamlc -o flowcamlmerge unix.cma graphics.cma utils/config.cmo tools/flowcamlmerge.cmo - /home/opam/.opam/4.04.2/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.04.2/bin/ocamlyacc -v docgen/doc_parser.mly - /home/opam/.opam/4.04.2/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.04.2/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.04.2/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.04.2/bin/ocamllex docgen/doc_lexer.mll - 52 states, 584 transitions, table size 2648 bytes - /home/opam/.opam/4.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/.opam-switch/build/flowcaml.1.07/src-flowcaml' - make opt - make[1]: Entering directory '/home/opam/.opam/4.04.2/.opam-switch/build/flowcaml.1.07/src-flowcaml' - /home/opam/.opam/4.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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: Code should not depend on the actual values of - this constructor's arguments. They are only for information - and may change in future versions. (See manual section 8.5) - /home/opam/.opam/4.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/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.04.2/.opam-switch/build/flowcaml.1.07/src-flowcaml' - make stdlib - make[1]: Entering directory '/home/opam/.opam/4.04.2/.opam-switch/build/flowcaml.1.07/src-flowcaml' - cd stdlib && make - make[2]: Entering directory '/home/opam/.opam/4.04.2/.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.04.2/.opam-switch/build/flowcaml.1.07/src-flowcaml/stdlib' - make[1]: Leaving directory '/home/opam/.opam/4.04.2/.opam-switch/build/flowcaml.1.07/src-flowcaml' - make runlib - make[1]: Entering directory '/home/opam/.opam/4.04.2/.opam-switch/build/flowcaml.1.07/src-flowcaml' - cd runlib && make - make[2]: Entering directory '/home/opam/.opam/4.04.2/.opam-switch/build/flowcaml.1.07/src-flowcaml/runlib' - /home/opam/.opam/4.04.2/bin/ocamlc -I . -w -A -c flowperv.mli - cp -f ../stdlib/charray.mli charray.mli - /home/opam/.opam/4.04.2/bin/ocamlc -I . -w -A -c charray.mli - cp -f ../stdlib/fmarshal.mli fmarshal.mli - /home/opam/.opam/4.04.2/bin/ocamlc -I . -w -A -c fmarshal.mli - /home/opam/.opam/4.04.2/bin/ocamlc -I . -w -A -c flowperv.ml - /home/opam/.opam/4.04.2/bin/ocamlc -I . -w -A -c charray.ml - /home/opam/.opam/4.04.2/bin/ocamlc -I . -w -A -c fmarshal.ml - /home/opam/.opam/4.04.2/bin/ocamlc -o flowcamlrun.cma -a flowperv.cmo charray.cmo fmarshal.cmo - /home/opam/.opam/4.04.2/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.04.2/bin/ocamlopt -I . -c charray.ml - /home/opam/.opam/4.04.2/bin/ocamlopt -I . -c fmarshal.ml - /home/opam/.opam/4.04.2/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.04.2/.opam-switch/build/flowcaml.1.07/src-flowcaml/runlib' - make[1]: Leaving directory '/home/opam/.opam/4.04.2/.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] + /bin/sh "-c" "cd src-flowcaml && make install" (CWD=/home/opam/.opam/4.04.2/.opam-switch/build/flowcaml.1.07) - if test -d /home/opam/.opam/4.04.2/bin; then : ; \ - else mkdir -p /home/opam/.opam/4.04.2/bin; fi - if test -d /home/opam/.opam/4.04.2/lib/flowcaml; then : ; \ - else mkdir -p /home/opam/.opam/4.04.2/lib/flowcaml; fi - if test -d /home/opam/.opam/4.04.2/lib/flowcaml; then : ; \ - else mkdir -p /home/opam/.opam/4.04.2/lib/flowcaml; fi - cp -f flowcaml.opt /home/opam/.opam/4.04.2/bin/flowcaml - cp -f flowcamlc.opt /home/opam/.opam/4.04.2/bin/flowcamlc - cp -f flowcamldep /home/opam/.opam/4.04.2/bin - cp -f flowcamlpol /home/opam/.opam/4.04.2/bin - cd stdlib && cp *.fcmi /home/opam/.opam/4.04.2/lib/flowcaml - cd runlib && cp *.mli *.cmi *.cma *.cmxa *.a /home/opam/.opam/4.04.2/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 ---> saved as "2faec2c0ef8be467cfba6ab0fe1233b0fad53c815151df51f88e2b3acc6283f7" Job succeeded