[*] /home/pbulk/build/devel/why3/work/.tools/bin/mkdir conf38865.dir <.> /usr/bin/mkdir -p conf38865.dir [*] /home/pbulk/build/devel/why3/work/.tools/bin/mkdir -p . <.> /usr/bin/mkdir -p -p . [*] cc --version <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 --version -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -v <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -v -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -V <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -V -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -qversion <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -qversion -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -version <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -version -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/opt/pkg/include/glib-2.0 -I/opt/pkg/include/gio-unix-2.0 -I/opt/pkg/lib/glib-2.0/include -I/usr/include -I/opt/pkg/include/freetype2 -I/opt/pkg/include/harfbuzz -I/opt/pkg/include/libdrm -I/opt/pkg/include/libxml2 -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/opt/pkg/include/glib-2.0 -I/opt/pkg/include/gio-unix-2.0 -I/opt/pkg/lib/glib-2.0/include -I/usr/include -I/opt/pkg/include/freetype2 -I/opt/pkg/include/harfbuzz -I/opt/pkg/include/libdrm -I/opt/pkg/include/libxml2 -L/opt/pkg/lib -Wl,-R/opt/pkg/lib -liconv -lintl -L/usr/lib/amd64 -Wl,-R/usr/lib/amd64 conftest.c <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbulk/build/devel/why3/work/.buildlink/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/ncurses -I/home/pbulk/build/devel/why3/work/.buildlink/include/glib-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/include/gio-unix-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/lib/glib-2.0/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/freetype2 -I/home/pbulk/build/devel/why3/work/.buildlink/include/harfbuzz -I/home/pbulk/build/devel/why3/work/.buildlink/include/libdrm -I/home/pbulk/build/devel/why3/work/.buildlink/include/libxml2 -L/home/pbulk/build/devel/why3/work/.buildlink/lib -Wl,-rpath,/opt/pkg/lib -liconv -lintl conftest.c -gdwarf-2 [*] cc -o conftest -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/opt/pkg/include/glib-2.0 -I/opt/pkg/include/gio-unix-2.0 -I/opt/pkg/lib/glib-2.0/include -I/usr/include -I/opt/pkg/include/freetype2 -I/opt/pkg/include/harfbuzz -I/opt/pkg/include/libdrm -I/opt/pkg/include/libxml2 -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/opt/pkg/include/glib-2.0 -I/opt/pkg/include/gio-unix-2.0 -I/opt/pkg/lib/glib-2.0/include -I/usr/include -I/opt/pkg/include/freetype2 -I/opt/pkg/include/harfbuzz -I/opt/pkg/include/libdrm -I/opt/pkg/include/libxml2 -L/opt/pkg/lib -Wl,-R/opt/pkg/lib -liconv -lintl -L/usr/lib/amd64 -Wl,-R/usr/lib/amd64 conftest.c <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -o conftest -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbulk/build/devel/why3/work/.buildlink/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/ncurses -I/home/pbulk/build/devel/why3/work/.buildlink/include/glib-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/include/gio-unix-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/lib/glib-2.0/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/freetype2 -I/home/pbulk/build/devel/why3/work/.buildlink/include/harfbuzz -I/home/pbulk/build/devel/why3/work/.buildlink/include/libdrm -I/home/pbulk/build/devel/why3/work/.buildlink/include/libxml2 -L/home/pbulk/build/devel/why3/work/.buildlink/lib -Wl,-rpath,/opt/pkg/lib -liconv -lintl conftest.c -gdwarf-2 [*] cc -o conftest -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/opt/pkg/include/glib-2.0 -I/opt/pkg/include/gio-unix-2.0 -I/opt/pkg/lib/glib-2.0/include -I/usr/include -I/opt/pkg/include/freetype2 -I/opt/pkg/include/harfbuzz -I/opt/pkg/include/libdrm -I/opt/pkg/include/libxml2 -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/opt/pkg/include/glib-2.0 -I/opt/pkg/include/gio-unix-2.0 -I/opt/pkg/lib/glib-2.0/include -I/usr/include -I/opt/pkg/include/freetype2 -I/opt/pkg/include/harfbuzz -I/opt/pkg/include/libdrm -I/opt/pkg/include/libxml2 -L/opt/pkg/lib -Wl,-R/opt/pkg/lib -liconv -lintl -L/usr/lib/amd64 -Wl,-R/usr/lib/amd64 conftest.c <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -o conftest -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbulk/build/devel/why3/work/.buildlink/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/ncurses -I/home/pbulk/build/devel/why3/work/.buildlink/include/glib-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/include/gio-unix-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/lib/glib-2.0/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/freetype2 -I/home/pbulk/build/devel/why3/work/.buildlink/include/harfbuzz -I/home/pbulk/build/devel/why3/work/.buildlink/include/libdrm -I/home/pbulk/build/devel/why3/work/.buildlink/include/libxml2 -L/home/pbulk/build/devel/why3/work/.buildlink/lib -Wl,-rpath,/opt/pkg/lib -liconv -lintl conftest.c -gdwarf-2 [*] cc -c -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/opt/pkg/include/glib-2.0 -I/opt/pkg/include/gio-unix-2.0 -I/opt/pkg/lib/glib-2.0/include -I/usr/include -I/opt/pkg/include/freetype2 -I/opt/pkg/include/harfbuzz -I/opt/pkg/include/libdrm -I/opt/pkg/include/libxml2 -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/opt/pkg/include/glib-2.0 -I/opt/pkg/include/gio-unix-2.0 -I/opt/pkg/lib/glib-2.0/include -I/usr/include -I/opt/pkg/include/freetype2 -I/opt/pkg/include/harfbuzz -I/opt/pkg/include/libdrm -I/opt/pkg/include/libxml2 conftest.c <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbulk/build/devel/why3/work/.buildlink/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/ncurses -I/home/pbulk/build/devel/why3/work/.buildlink/include/glib-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/include/gio-unix-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/lib/glib-2.0/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/freetype2 -I/home/pbulk/build/devel/why3/work/.buildlink/include/harfbuzz -I/home/pbulk/build/devel/why3/work/.buildlink/include/libdrm -I/home/pbulk/build/devel/why3/work/.buildlink/include/libxml2 conftest.c -gdwarf-2 [*] cc -c -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/opt/pkg/include/glib-2.0 -I/opt/pkg/include/gio-unix-2.0 -I/opt/pkg/lib/glib-2.0/include -I/usr/include -I/opt/pkg/include/freetype2 -I/opt/pkg/include/harfbuzz -I/opt/pkg/include/libdrm -I/opt/pkg/include/libxml2 -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/opt/pkg/include/glib-2.0 -I/opt/pkg/include/gio-unix-2.0 -I/opt/pkg/lib/glib-2.0/include -I/usr/include -I/opt/pkg/include/freetype2 -I/opt/pkg/include/harfbuzz -I/opt/pkg/include/libdrm -I/opt/pkg/include/libxml2 conftest.c <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbulk/build/devel/why3/work/.buildlink/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/ncurses -I/home/pbulk/build/devel/why3/work/.buildlink/include/glib-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/include/gio-unix-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/lib/glib-2.0/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/freetype2 -I/home/pbulk/build/devel/why3/work/.buildlink/include/harfbuzz -I/home/pbulk/build/devel/why3/work/.buildlink/include/libdrm -I/home/pbulk/build/devel/why3/work/.buildlink/include/libxml2 conftest.c -gdwarf-2 [*] cc -c -g -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/opt/pkg/include/glib-2.0 -I/opt/pkg/include/gio-unix-2.0 -I/opt/pkg/lib/glib-2.0/include -I/usr/include -I/opt/pkg/include/freetype2 -I/opt/pkg/include/harfbuzz -I/opt/pkg/include/libdrm -I/opt/pkg/include/libxml2 conftest.c <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -g -I/home/pbulk/build/devel/why3/work/.buildlink/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/ncurses -I/home/pbulk/build/devel/why3/work/.buildlink/include/glib-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/include/gio-unix-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/lib/glib-2.0/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/freetype2 -I/home/pbulk/build/devel/why3/work/.buildlink/include/harfbuzz -I/home/pbulk/build/devel/why3/work/.buildlink/include/libdrm -I/home/pbulk/build/devel/why3/work/.buildlink/include/libxml2 conftest.c -gdwarf-2 [*] cc -c -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/opt/pkg/include/glib-2.0 -I/opt/pkg/include/gio-unix-2.0 -I/opt/pkg/lib/glib-2.0/include -I/usr/include -I/opt/pkg/include/freetype2 -I/opt/pkg/include/harfbuzz -I/opt/pkg/include/libdrm -I/opt/pkg/include/libxml2 -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/opt/pkg/include/glib-2.0 -I/opt/pkg/include/gio-unix-2.0 -I/opt/pkg/lib/glib-2.0/include -I/usr/include -I/opt/pkg/include/freetype2 -I/opt/pkg/include/harfbuzz -I/opt/pkg/include/libdrm -I/opt/pkg/include/libxml2 conftest.c <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbulk/build/devel/why3/work/.buildlink/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/ncurses -I/home/pbulk/build/devel/why3/work/.buildlink/include/glib-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/include/gio-unix-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/lib/glib-2.0/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/freetype2 -I/home/pbulk/build/devel/why3/work/.buildlink/include/harfbuzz -I/home/pbulk/build/devel/why3/work/.buildlink/include/libdrm -I/home/pbulk/build/devel/why3/work/.buildlink/include/libxml2 conftest.c -gdwarf-2 [*] /home/pbulk/build/devel/why3/work/.tools/bin/mkdir --version <.> /usr/bin/mkdir -p --version [*] /home/pbulk/build/devel/why3/work/.tools/bin/mkdir conf43638.dir <.> /usr/bin/mkdir -p conf43638.dir [*] /home/pbulk/build/devel/why3/work/.tools/bin/mkdir -p . <.> /usr/bin/mkdir -p -p . [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Generate src/util/config.ml' <.> echo 'Generate src/util/config.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamllex src/util/rc.mll' <.> echo 'Ocamllex src/util/rc.mll' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamllex src/util/lexlib.mll' <.> echo 'Ocamllex src/util/lexlib.mll' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Menhir src/util/json_parser.mly' <.> echo 'Menhir src/util/json_parser.mly' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamllex src/util/json_lexer.mll' <.> echo 'Ocamllex src/util/json_lexer.mll' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamllex src/parser/lexer.mll' <.> echo 'Ocamllex src/parser/lexer.mll' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Menhir src/parser/parser_common.mly' <.> echo 'Menhir src/parser/parser_common.mly' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Menhir src/parser/parser_common.mly src/parser/parser.mly' <.> echo 'Menhir src/parser/parser_common.mly src/parser/parser.mly' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Menhir src/driver/driver_parser.mly' <.> echo 'Menhir src/driver/driver_parser.mly' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamllex src/driver/driver_lexer.mll' <.> echo 'Ocamllex src/driver/driver_lexer.mll' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamllex src/driver/sexp.mll' <.> echo 'Ocamllex src/driver/sexp.mll' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamllex src/session/xml.mll' <.> echo 'Ocamllex src/session/xml.mll' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamllex src/session/strategy_parser.mll' <.> echo 'Ocamllex src/session/strategy_parser.mll' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamllex plugins/tptp/tptp_lexer.mll' <.> echo 'Ocamllex plugins/tptp/tptp_lexer.mll' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Menhir plugins/tptp/tptp_parser.mly' <.> echo 'Menhir plugins/tptp/tptp_parser.mly' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamllex plugins/coma/coma_lexer.mll' <.> echo 'Ocamllex plugins/coma/coma_lexer.mll' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Menhir src/parser/parser_common.mly plugins/coma/coma_parser.mly' <.> echo 'Menhir src/parser/parser_common.mly plugins/coma/coma_parser.mly' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamllex plugins/python/py_lexer.mll' <.> echo 'Ocamllex plugins/python/py_lexer.mll' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Menhir plugins/python/py_parser.mly' <.> echo 'Menhir plugins/python/py_parser.mly' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamllex plugins/microc/mc_lexer.mll' <.> echo 'Ocamllex plugins/microc/mc_lexer.mll' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Menhir plugins/microc/mc_parser.mly' <.> echo 'Menhir plugins/microc/mc_parser.mly' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamllex plugins/cfg/cfg_lexer.mll' <.> echo 'Ocamllex plugins/cfg/cfg_lexer.mll' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Menhir src/parser/parser_common.mly plugins/cfg/cfg_parser.mly' <.> echo 'Menhir src/parser/parser_common.mly plugins/cfg/cfg_parser.mly' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamllex plugins/parser/dimacs.mll' <.> echo 'Ocamllex plugins/parser/dimacs.mll' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamllex src/tools/why3wc.mll' <.> echo 'Ocamllex src/tools/why3wc.mll' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/ide/gconfig.ml' <.> echo 'Ocamldep src/ide/gconfig.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/ide/ide_utils.ml' <.> echo 'Ocamldep src/ide/ide_utils.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/ide/why3ide.ml' <.> echo 'Ocamldep src/ide/why3ide.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/ide/wserver.ml' <.> echo 'Ocamldep src/ide/wserver.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/ide/why3web.ml' <.> echo 'Ocamldep src/ide/why3web.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/why3session/why3session_lib.ml' <.> echo 'Ocamldep src/why3session/why3session_lib.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/why3session/why3session_info.ml' <.> echo 'Ocamldep src/why3session/why3session_info.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/why3session/why3session_html.ml' <.> echo 'Ocamldep src/why3session/why3session_html.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/why3session/why3session_latex.ml' <.> echo 'Ocamldep src/why3session/why3session_latex.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/why3session/why3session_update.ml' <.> echo 'Ocamldep src/why3session/why3session_update.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/why3session/why3session_output.ml' <.> echo 'Ocamldep src/why3session/why3session_output.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/why3session/why3session_create.ml' <.> echo 'Ocamldep src/why3session/why3session_create.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/why3session/why3session_main.ml' <.> echo 'Ocamldep src/why3session/why3session_main.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/tools/why3shell.ml' <.> echo 'Ocamldep src/tools/why3shell.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/BuiltIn.v' <.> echo 'Coqdep lib/coq/BuiltIn.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/HighOrd.v' <.> echo 'Coqdep lib/coq/HighOrd.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/WellFounded.v' <.> echo 'Coqdep lib/coq/WellFounded.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/int/Exponentiation.v' <.> echo 'Coqdep lib/coq/int/Exponentiation.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/int/Abs.v' <.> echo 'Coqdep lib/coq/int/Abs.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/int/ComputerDivision.v' <.> echo 'Coqdep lib/coq/int/ComputerDivision.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/int/Div2.v' <.> echo 'Coqdep lib/coq/int/Div2.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/int/EuclideanDivision.v' <.> echo 'Coqdep lib/coq/int/EuclideanDivision.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/int/Int.v' <.> echo 'Coqdep lib/coq/int/Int.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/int/MinMax.v' <.> echo 'Coqdep lib/coq/int/MinMax.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/int/Power.v' <.> echo 'Coqdep lib/coq/int/Power.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/int/NumOf.v' <.> echo 'Coqdep lib/coq/int/NumOf.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/bool/Bool.v' <.> echo 'Coqdep lib/coq/bool/Bool.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/real/Abs.v' <.> echo 'Coqdep lib/coq/real/Abs.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/real/ExpLog.v' <.> echo 'Coqdep lib/coq/real/ExpLog.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/real/FromInt.v' <.> echo 'Coqdep lib/coq/real/FromInt.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/real/MinMax.v' <.> echo 'Coqdep lib/coq/real/MinMax.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/real/PowerInt.v' <.> echo 'Coqdep lib/coq/real/PowerInt.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/real/PowerReal.v' <.> echo 'Coqdep lib/coq/real/PowerReal.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/real/Real.v' <.> echo 'Coqdep lib/coq/real/Real.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/real/RealInfix.v' <.> echo 'Coqdep lib/coq/real/RealInfix.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/real/Square.v' <.> echo 'Coqdep lib/coq/real/Square.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/real/Trigonometry.v' <.> echo 'Coqdep lib/coq/real/Trigonometry.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/number/Divisibility.v' <.> echo 'Coqdep lib/coq/number/Divisibility.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/number/Gcd.v' <.> echo 'Coqdep lib/coq/number/Gcd.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/number/Parity.v' <.> echo 'Coqdep lib/coq/number/Parity.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/number/Prime.v' <.> echo 'Coqdep lib/coq/number/Prime.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/number/Coprime.v' <.> echo 'Coqdep lib/coq/number/Coprime.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/set/Set.v' <.> echo 'Coqdep lib/coq/set/Set.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/set/Cardinal.v' <.> echo 'Coqdep lib/coq/set/Cardinal.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/set/Fset.v' <.> echo 'Coqdep lib/coq/set/Fset.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/set/FsetInduction.v' <.> echo 'Coqdep lib/coq/set/FsetInduction.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/set/FsetInt.v' <.> echo 'Coqdep lib/coq/set/FsetInt.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/set/FsetSum.v' <.> echo 'Coqdep lib/coq/set/FsetSum.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/set/SetApp.v' <.> echo 'Coqdep lib/coq/set/SetApp.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/set/SetAppInt.v' <.> echo 'Coqdep lib/coq/set/SetAppInt.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/set/SetImp.v' <.> echo 'Coqdep lib/coq/set/SetImp.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/set/SetImpInt.v' <.> echo 'Coqdep lib/coq/set/SetImpInt.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/map/Map.v' <.> echo 'Coqdep lib/coq/map/Map.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/map/Const.v' <.> echo 'Coqdep lib/coq/map/Const.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/map/MapExt.v' <.> echo 'Coqdep lib/coq/map/MapExt.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/map/Occ.v' <.> echo 'Coqdep lib/coq/map/Occ.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/map/MapPermut.v' <.> echo 'Coqdep lib/coq/map/MapPermut.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/map/MapInjection.v' <.> echo 'Coqdep lib/coq/map/MapInjection.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/list/List.v' <.> echo 'Coqdep lib/coq/list/List.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/list/Length.v' <.> echo 'Coqdep lib/coq/list/Length.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/list/Mem.v' <.> echo 'Coqdep lib/coq/list/Mem.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/list/Nth.v' <.> echo 'Coqdep lib/coq/list/Nth.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/list/NthLength.v' <.> echo 'Coqdep lib/coq/list/NthLength.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/list/HdTl.v' <.> echo 'Coqdep lib/coq/list/HdTl.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/list/NthHdTl.v' <.> echo 'Coqdep lib/coq/list/NthHdTl.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/list/Append.v' <.> echo 'Coqdep lib/coq/list/Append.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/list/NthLengthAppend.v' <.> echo 'Coqdep lib/coq/list/NthLengthAppend.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/list/Reverse.v' <.> echo 'Coqdep lib/coq/list/Reverse.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/list/HdTlNoOpt.v' <.> echo 'Coqdep lib/coq/list/HdTlNoOpt.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/list/NthNoOpt.v' <.> echo 'Coqdep lib/coq/list/NthNoOpt.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/list/RevAppend.v' <.> echo 'Coqdep lib/coq/list/RevAppend.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/list/Combine.v' <.> echo 'Coqdep lib/coq/list/Combine.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/list/Distinct.v' <.> echo 'Coqdep lib/coq/list/Distinct.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/list/NumOcc.v' <.> echo 'Coqdep lib/coq/list/NumOcc.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/list/Permut.v' <.> echo 'Coqdep lib/coq/list/Permut.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/option/Option.v' <.> echo 'Coqdep lib/coq/option/Option.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/bv/Pow2int.v' <.> echo 'Coqdep lib/coq/bv/Pow2int.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/bv/BV_Gen.v' <.> echo 'Coqdep lib/coq/bv/BV_Gen.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqdep lib/coq/for_drivers/ComputerOfEuclideanDivision.v' <.> echo 'Coqdep lib/coq/for_drivers/ComputerOfEuclideanDivision.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/isabelle-client/isabelle_client_main.ml' <.> echo 'Ocamldep src/isabelle-client/isabelle_client_main.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/tools/why3pp.ml' <.> echo 'Ocamldep src/tools/why3pp.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamllex src/why3doc/doc_lexer.mll' <.> echo 'Ocamllex src/why3doc/doc_lexer.mll' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/exn_printer.ml' <.> echo 'Ocamldep src/util/exn_printer.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/mysexplib.ml' <.> echo 'Ocamldep src/util/mysexplib.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/config.ml' <.> echo 'Ocamldep src/util/config.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/bigInt.ml' <.> echo 'Ocamldep src/util/bigInt.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/mlmpfr_wrapper.ml' <.> echo 'Ocamldep src/util/mlmpfr_wrapper.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/util.ml' <.> echo 'Ocamldep src/util/util.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/opt.ml' <.> echo 'Ocamldep src/util/opt.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/lists.ml' <.> echo 'Ocamldep src/util/lists.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/strings.ml' <.> echo 'Ocamldep src/util/strings.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/pp.ml' <.> echo 'Ocamldep src/util/pp.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/extmap.ml' <.> echo 'Ocamldep src/util/extmap.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/extset.ml' <.> echo 'Ocamldep src/util/extset.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/exthtbl.ml' <.> echo 'Ocamldep src/util/exthtbl.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/weakhtbl.ml' <.> echo 'Ocamldep src/util/weakhtbl.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/diffmap.ml' <.> echo 'Ocamldep src/util/diffmap.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/hcpt.ml' <.> echo 'Ocamldep src/util/hcpt.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/hashcons.ml' <.> echo 'Ocamldep src/util/hashcons.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/wstdlib.ml' <.> echo 'Ocamldep src/util/wstdlib.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/getopt.ml' <.> echo 'Ocamldep src/util/getopt.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/json_base.ml' <.> echo 'Ocamldep src/util/json_base.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/json_parser.ml' <.> echo 'Ocamldep src/util/json_parser.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/json_lexer.ml' <.> echo 'Ocamldep src/util/json_lexer.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/debug.ml' <.> echo 'Ocamldep src/util/debug.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/loc.ml' <.> echo 'Ocamldep src/util/loc.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/cmdline.ml' <.> echo 'Ocamldep src/util/cmdline.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/print_tree.ml' <.> echo 'Ocamldep src/util/print_tree.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/sysutil.ml' <.> echo 'Ocamldep src/util/sysutil.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/lexlib.ml' <.> echo 'Ocamldep src/util/lexlib.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/rc.ml' <.> echo 'Ocamldep src/util/rc.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/plugin.ml' <.> echo 'Ocamldep src/util/plugin.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/number.ml' <.> echo 'Ocamldep src/util/number.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/constant.ml' <.> echo 'Ocamldep src/util/constant.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/vector.ml' <.> echo 'Ocamldep src/util/vector.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/pqueue.ml' <.> echo 'Ocamldep src/util/pqueue.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/util/re.ml' <.> echo 'Ocamldep src/util/re.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/core/ident.ml' <.> echo 'Ocamldep src/core/ident.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/core/ty.ml' <.> echo 'Ocamldep src/core/ty.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/core/term.ml' <.> echo 'Ocamldep src/core/term.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/core/pattern.ml' <.> echo 'Ocamldep src/core/pattern.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/core/decl.ml' <.> echo 'Ocamldep src/core/decl.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/core/coercion.ml' <.> echo 'Ocamldep src/core/coercion.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/core/theory.ml' <.> echo 'Ocamldep src/core/theory.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/core/parser_tokens.ml' <.> echo 'Ocamldep src/core/parser_tokens.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/core/keywords.ml' <.> echo 'Ocamldep src/core/keywords.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/core/task.ml' <.> echo 'Ocamldep src/core/task.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/core/pretty.ml' <.> echo 'Ocamldep src/core/pretty.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/core/dterm.ml' <.> echo 'Ocamldep src/core/dterm.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/core/env.ml' <.> echo 'Ocamldep src/core/env.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/core/trans.ml' <.> echo 'Ocamldep src/core/trans.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/core/printer.ml' <.> echo 'Ocamldep src/core/printer.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/core/model_parser.ml' <.> echo 'Ocamldep src/core/model_parser.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/driver/prove_client.ml' <.> echo 'Ocamldep src/driver/prove_client.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/driver/whyconf.ml' <.> echo 'Ocamldep src/driver/whyconf.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/driver/driver_parser.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/driver/call_provers.ml' <.> echo 'Ocamldep src/driver/driver_parser.ml' <.> echo 'Ocamldep src/driver/call_provers.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/driver/driver_lexer.ml' <.> echo 'Ocamldep src/driver/driver_lexer.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/driver/autodetection.ml' <.> echo 'Ocamldep src/driver/autodetection.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/driver/driver.ml' <.> echo 'Ocamldep src/driver/driver.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/driver/smtv2_model_defs.ml' <.> echo 'Ocamldep src/driver/smtv2_model_defs.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/driver/sexp.ml' <.> echo 'Ocamldep src/driver/sexp.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/driver/smtv2_model_parser.ml' <.> echo 'Ocamldep src/driver/smtv2_model_parser.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/mlw/ity.ml' <.> echo 'Ocamldep src/mlw/ity.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/mlw/expr.ml' <.> echo 'Ocamldep src/mlw/expr.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/mlw/pdecl.ml' <.> echo 'Ocamldep src/mlw/pdecl.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/mlw/eval_match.ml' <.> echo 'Ocamldep src/mlw/eval_match.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/mlw/typeinv.ml' <.> echo 'Ocamldep src/mlw/typeinv.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/mlw/vc.ml' <.> echo 'Ocamldep src/mlw/vc.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/mlw/pmodule.ml' <.> echo 'Ocamldep src/mlw/pmodule.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/mlw/dexpr.ml' <.> echo 'Ocamldep src/mlw/dexpr.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/mlw/big_real.ml' <.> echo 'Ocamldep src/mlw/big_real.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/mlw/pinterp_core.ml' <.> echo 'Ocamldep src/mlw/pinterp_core.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/mlw/rac.ml' <.> echo 'Ocamldep src/mlw/rac.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/mlw/pinterp.ml' <.> echo 'Ocamldep src/mlw/pinterp.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/mlw/check_ce.ml' <.> echo 'Ocamldep src/mlw/check_ce.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/extract/mltree.ml' <.> echo 'Ocamldep src/extract/mltree.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/extract/compile.ml' <.> echo 'Ocamldep src/extract/compile.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/extract/mlinterp.ml' <.> echo 'Ocamldep src/extract/mlinterp.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/extract/pdriver.ml' <.> echo 'Ocamldep src/extract/pdriver.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/extract/ml_printer.ml' <.> echo 'Ocamldep src/extract/ml_printer.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/extract/c.ml' <.> echo 'Ocamldep src/extract/c.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/extract/ocaml.ml' <.> echo 'Ocamldep src/extract/ocaml.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/extract/cakeml.ml' <.> echo 'Ocamldep src/extract/cakeml.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/extract/java.ml' <.> echo 'Ocamldep src/extract/java.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/parser/ptree.ml' <.> echo 'Ocamldep src/parser/ptree.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/parser/ptree_helpers.ml' <.> echo 'Ocamldep src/parser/ptree_helpers.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/parser/glob.ml' <.> echo 'Ocamldep src/parser/glob.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/parser/typing.ml' <.> echo 'Ocamldep src/parser/typing.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/parser/parser_messages.ml' <.> echo 'Ocamldep src/parser/parser_messages.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/parser/parser.ml' <.> echo 'Ocamldep src/parser/parser.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/parser/report.ml' <.> echo 'Ocamldep src/parser/report.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/parser/lexer.ml' <.> echo 'Ocamldep src/parser/lexer.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/parser/mlw_printer.ml' <.> echo 'Ocamldep src/parser/mlw_printer.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/parser/sexp_parser.ml' <.> echo 'Ocamldep src/parser/sexp_parser.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/simplify_formula.ml' <.> echo 'Ocamldep src/transform/simplify_formula.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/split_goal.ml' <.> echo 'Ocamldep src/transform/split_goal.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/inlining.ml' <.> echo 'Ocamldep src/transform/inlining.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/args_wrapper.ml' <.> echo 'Ocamldep src/transform/args_wrapper.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/reduction_engine.ml' <.> echo 'Ocamldep src/transform/reduction_engine.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/compute.ml' <.> echo 'Ocamldep src/transform/compute.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/remove_unused.ml' <.> echo 'Ocamldep src/transform/remove_unused.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/detect_polymorphism.ml' <.> echo 'Ocamldep src/transform/detect_polymorphism.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/eliminate_definition.ml' <.> echo 'Ocamldep src/transform/eliminate_definition.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/extensional.ml' <.> echo 'Ocamldep src/transform/extensional.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/abstract_quantifiers.ml' <.> echo 'Ocamldep src/transform/abstract_quantifiers.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/eliminate_unknown_types.ml' <.> echo 'Ocamldep src/transform/eliminate_unknown_types.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/eliminate_unknown_lsymbols.ml' <.> echo 'Ocamldep src/transform/eliminate_unknown_lsymbols.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/eliminate_symbol.ml' <.> echo 'Ocamldep src/transform/eliminate_symbol.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/eliminate_inductive.ml' <.> echo 'Ocamldep src/transform/eliminate_inductive.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/eliminate_let.ml' <.> echo 'Ocamldep src/transform/eliminate_let.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/eliminate_if.ml' <.> echo 'Ocamldep src/transform/eliminate_if.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/libencoding.ml' <.> echo 'Ocamldep src/transform/libencoding.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/eliminate_algebraic.ml' <.> echo 'Ocamldep src/transform/eliminate_algebraic.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/discriminate.ml' <.> echo 'Ocamldep src/transform/discriminate.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/encoding.ml' <.> echo 'Ocamldep src/transform/encoding.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/encoding_select.ml' <.> echo 'Ocamldep src/transform/encoding_select.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/encoding_guards_full.ml' <.> echo 'Ocamldep src/transform/encoding_guards_full.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/encoding_tags_full.ml' <.> echo 'Ocamldep src/transform/encoding_tags_full.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/encoding_guards.ml' <.> echo 'Ocamldep src/transform/encoding_guards.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/encoding_tags.ml' <.> echo 'Ocamldep src/transform/encoding_tags.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/encoding_twin.ml' <.> echo 'Ocamldep src/transform/encoding_twin.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/encoding_sort.ml' <.> echo 'Ocamldep src/transform/encoding_sort.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/simplify_array.ml' <.> echo 'Ocamldep src/transform/simplify_array.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/filter_trigger.ml' <.> echo 'Ocamldep src/transform/filter_trigger.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/abstraction.ml' <.> echo 'Ocamldep src/transform/abstraction.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/close_epsilon.ml' <.> echo 'Ocamldep src/transform/close_epsilon.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/lift_epsilon.ml' <.> echo 'Ocamldep src/transform/lift_epsilon.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/eliminate_epsilon.ml' <.> echo 'Ocamldep src/transform/eliminate_epsilon.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/instantiate_predicate.ml' <.> echo 'Ocamldep src/transform/instantiate_predicate.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/smoke_detector.ml' <.> echo 'Ocamldep src/transform/smoke_detector.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/prop_curry.ml' <.> echo 'Ocamldep src/transform/prop_curry.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/eliminate_literal.ml' <.> echo 'Ocamldep src/transform/eliminate_literal.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/generic_arg_trans_utils.ml' <.> echo 'Ocamldep src/transform/generic_arg_trans_utils.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/case.ml' <.> echo 'Ocamldep src/transform/case.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/apply.ml' <.> echo 'Ocamldep src/transform/apply.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/subst.ml' <.> echo 'Ocamldep src/transform/subst.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/introduction.ml' <.> echo 'Ocamldep src/transform/introduction.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/ind_itp.ml' <.> echo 'Ocamldep src/transform/ind_itp.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/destruct.ml' <.> echo 'Ocamldep src/transform/destruct.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/cut.ml' <.> echo 'Ocamldep src/transform/cut.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/congruence.ml' <.> echo 'Ocamldep src/transform/congruence.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/induction.ml' <.> echo 'Ocamldep src/transform/induction.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/induction_pr.ml' <.> echo 'Ocamldep src/transform/induction_pr.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/prepare_for_counterexmp.ml' <.> echo 'Ocamldep src/transform/prepare_for_counterexmp.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/reflection.ml' <.> echo 'Ocamldep src/transform/reflection.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/transform/keep_only_arithmetic.ml' <.> echo 'Ocamldep src/transform/keep_only_arithmetic.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/printer/alt_ergo.ml' <.> echo 'Ocamldep src/printer/alt_ergo.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/printer/cntexmp_printer.ml' <.> echo 'Ocamldep src/printer/cntexmp_printer.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/printer/why3printer.ml' <.> echo 'Ocamldep src/printer/why3printer.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/printer/smtv1.ml' <.> echo 'Ocamldep src/printer/smtv1.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/printer/smtv2.ml' <.> echo 'Ocamldep src/printer/smtv2.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/printer/coq.ml' <.> echo 'Ocamldep src/printer/coq.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/printer/pvs.ml' <.> echo 'Ocamldep src/printer/pvs.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/printer/isabelle.ml' <.> echo 'Ocamldep src/printer/isabelle.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/printer/gappa.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/printer/simplify.ml' <.> echo 'Ocamldep src/printer/gappa.ml' <.> echo 'Ocamldep src/printer/simplify.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/printer/cvc3.ml' <.> echo 'Ocamldep src/printer/cvc3.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/printer/yices.ml' <.> echo 'Ocamldep src/printer/yices.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/printer/mathematica.ml' <.> echo 'Ocamldep src/printer/mathematica.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/session/compress.ml' <.> echo 'Ocamldep src/session/compress.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/session/xml.ml' <.> echo 'Ocamldep src/session/xml.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/session/termcode.ml' <.> echo 'Ocamldep src/session/termcode.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/session/session_itp.ml' <.> echo 'Ocamldep src/session/session_itp.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/session/strategy.ml' <.> echo 'Ocamldep src/session/strategy.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/session/strategy_parser.ml' <.> echo 'Ocamldep src/session/strategy_parser.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/session/controller_itp.ml' <.> echo 'Ocamldep src/session/controller_itp.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/session/server_utils.ml' <.> echo 'Ocamldep src/session/server_utils.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/session/itp_communication.ml' <.> echo 'Ocamldep src/session/itp_communication.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/session/itp_server.ml' <.> echo 'Ocamldep src/session/itp_server.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/session/json_util.ml' <.> echo 'Ocamldep src/session/json_util.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/session/unix_scheduler.ml' <.> echo 'Ocamldep src/session/unix_scheduler.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/driver/driver_ast.mli' <.> echo 'Ocamldep src/driver/driver_ast.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/parser/genequlin.ml' <.> echo 'Ocamldep plugins/parser/genequlin.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/parser/dimacs.ml' <.> echo 'Ocamldep plugins/parser/dimacs.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/transform/hypothesis_selection.ml' <.> echo 'Ocamldep plugins/transform/hypothesis_selection.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/strategies/forward_propagation.ml' <.> echo 'Ocamldep plugins/strategies/forward_propagation.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/tptp/tptp_parser.ml' <.> echo 'Ocamldep plugins/tptp/tptp_parser.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/tptp/tptp_typing.ml' <.> echo 'Ocamldep plugins/tptp/tptp_typing.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/tptp/tptp_lexer.ml' <.> echo 'Ocamldep plugins/tptp/tptp_lexer.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/tptp/tptp_printer.ml' <.> echo 'Ocamldep plugins/tptp/tptp_printer.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/coma/coma_logic.ml' <.> echo 'Ocamldep plugins/coma/coma_logic.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/coma/coma_syntax.ml' <.> echo 'Ocamldep plugins/coma/coma_syntax.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/coma/coma_parser.ml' <.> echo 'Ocamldep plugins/coma/coma_parser.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/coma/coma_lexer.ml' <.> echo 'Ocamldep plugins/coma/coma_lexer.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/coma/coma_typing.ml' <.> echo 'Ocamldep plugins/coma/coma_typing.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/coma/coma_main.ml' <.> echo 'Ocamldep plugins/coma/coma_main.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/python/py_parser.ml' <.> echo 'Ocamldep plugins/python/py_parser.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/python/py_lexer.ml' <.> echo 'Ocamldep plugins/python/py_lexer.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/python/py_main.ml' <.> echo 'Ocamldep plugins/python/py_main.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/microc/mc_parser.ml' <.> echo 'Ocamldep plugins/microc/mc_parser.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/microc/mc_lexer.ml' <.> echo 'Ocamldep plugins/microc/mc_lexer.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/microc/mc_printer.ml' <.> echo 'Ocamldep plugins/microc/mc_printer.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/microc/mc_main.ml' <.> echo 'Ocamldep plugins/microc/mc_main.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/cfg/cfg_parser.ml' <.> echo 'Ocamldep plugins/cfg/cfg_parser.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/cfg/cfg_lexer.ml' <.> echo 'Ocamldep plugins/cfg/cfg_lexer.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/cfg/cfg_paths.ml' <.> echo 'Ocamldep plugins/cfg/cfg_paths.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/cfg/subregion_analysis.ml' <.> echo 'Ocamldep plugins/cfg/subregion_analysis.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/cfg/cfg_main.ml' <.> echo 'Ocamldep plugins/cfg/cfg_main.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/cfg/stackify.ml' <.> echo 'Ocamldep plugins/cfg/stackify.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/cfg/cfg_stackify.ml' <.> echo 'Ocamldep plugins/cfg/cfg_stackify.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/tptp/tptp_ast.mli' <.> echo 'Ocamldep plugins/tptp/tptp_ast.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/python/py_ast.mli' <.> echo 'Ocamldep plugins/python/py_ast.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/microc/mc_ast.mli' <.> echo 'Ocamldep plugins/microc/mc_ast.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep plugins/cfg/cfg_ast.mli' <.> echo 'Ocamldep plugins/cfg/cfg_ast.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/tools/main.ml' <.> echo 'Ocamldep src/tools/main.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/tools/why3config.ml' <.> echo 'Ocamldep src/tools/why3config.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/tools/why3execute.ml' <.> echo 'Ocamldep src/tools/why3execute.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/tools/why3extract.ml' <.> echo 'Ocamldep src/tools/why3extract.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/tools/why3prove.ml' <.> echo 'Ocamldep src/tools/why3prove.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/tools/why3realize.ml' <.> echo 'Ocamldep src/tools/why3realize.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/tools/why3replay.ml' <.> echo 'Ocamldep src/tools/why3replay.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/tools/why3show.ml' <.> echo 'Ocamldep src/tools/why3show.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/tools/why3wc.ml' <.> echo 'Ocamldep src/tools/why3wc.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/tools/why3bench.ml' <.> echo 'Ocamldep src/tools/why3bench.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/why3doc/doc_html.ml' <.> echo 'Ocamldep src/why3doc/doc_html.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/why3doc/doc_main.ml' <.> echo 'Ocamldep src/why3doc/doc_main.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/why3doc/doc_lexer.ml' <.> echo 'Ocamldep src/why3doc/doc_lexer.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/why3doc/doc_def.ml' <.> echo 'Ocamldep src/why3doc/doc_def.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/trywhy3/json_base.ml' <.> echo 'Ocamldep src/trywhy3/json_base.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/trywhy3/json_parser.ml' <.> echo 'Ocamldep src/trywhy3/json_parser.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/trywhy3/json_lexer.ml' <.> echo 'Ocamldep src/trywhy3/json_lexer.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/trywhy3/bindings.ml' <.> echo 'Ocamldep src/trywhy3/bindings.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/trywhy3/shortener.ml' <.> echo 'Ocamldep src/trywhy3/shortener.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/trywhy3/trywhy3.ml' <.> echo 'Ocamldep src/trywhy3/trywhy3.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/trywhy3/why3_worker.ml' <.> echo 'Ocamldep src/trywhy3/why3_worker.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamldep src/trywhy3/worker_proto.ml' <.> echo 'Ocamldep src/trywhy3/worker_proto.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/mkdir lib/plugins <.> /usr/bin/mkdir -p lib/plugins [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/exn_printer.mli' <.> echo 'Ocamlc src/util/exn_printer.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/config.mli' <.> echo 'Ocamlc src/util/config.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/bigInt.mli' <.> echo 'Ocamlc src/util/bigInt.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/mlmpfr_wrapper.mli' <.> echo 'Ocamlc src/util/mlmpfr_wrapper.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/util.mli' <.> echo 'Ocamlc src/util/util.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/opt.mli' <.> echo 'Ocamlc src/util/opt.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/lists.mli' <.> echo 'Ocamlc src/util/lists.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/strings.mli' <.> echo 'Ocamlc src/util/strings.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/pp.mli' <.> echo 'Ocamlc src/util/pp.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/extmap.mli' <.> echo 'Ocamlc src/util/extmap.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/exthtbl.mli' <.> echo 'Ocamlc src/util/exthtbl.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/weakhtbl.mli' <.> echo 'Ocamlc src/util/weakhtbl.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/hcpt.mli' <.> echo 'Ocamlc src/util/hcpt.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/hashcons.mli' <.> echo 'Ocamlc src/util/hashcons.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/getopt.mli' <.> echo 'Ocamlc src/util/getopt.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/print_tree.mli' <.> echo 'Ocamlc src/util/print_tree.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/json_base.mli' <.> echo 'Ocamlc src/util/json_base.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/cmdline.mli' <.> echo 'Ocamlc src/util/cmdline.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/sysutil.mli' <.> echo 'Ocamlc src/util/sysutil.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/lexlib.mli' <.> echo 'Ocamlc src/util/lexlib.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/number.mli' <.> echo 'Ocamlc src/util/number.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/vector.mli' <.> echo 'Ocamlc src/util/vector.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/pqueue.mli' <.> echo 'Ocamlc src/util/pqueue.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/re.ml' <.> echo 'Ocamlc src/util/re.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/driver/prove_client.mli' <.> echo 'Ocamlc src/driver/prove_client.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/driver/sexp.mli' <.> echo 'Ocamlc src/driver/sexp.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/driver/smtv2_model_parser.mli' <.> echo 'Ocamlc src/driver/smtv2_model_parser.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/mlw/big_real.mli' <.> echo 'Ocamlc src/mlw/big_real.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Linking src/util/ppx_debug_optim' <.> echo 'Linking src/util/ppx_debug_optim' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/extract/c.mli' <.> echo 'Ocamlc src/extract/c.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/extract/ocaml.mli' <.> echo 'Ocamlc src/extract/ocaml.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/extract/cakeml.mli' <.> echo 'Ocamlc src/extract/cakeml.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/extract/java.mli' <.> echo 'Ocamlc src/extract/java.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/parser/parser_messages.mli' <.> echo 'Ocamlc src/parser/parser_messages.mli' [*] cc -c -o src/util/debug_optim.o /tmp/camlasm6595b5.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/debug_optim.o /tmp/camlasm6595b5.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/transform/remove_unused.mli' <.> echo 'Ocamlc src/transform/remove_unused.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/transform/extensional.mli' <.> echo 'Ocamlc src/transform/extensional.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/transform/abstract_quantifiers.mli' <.> echo 'Ocamlc src/transform/abstract_quantifiers.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_unknown_types.mli' <.> echo 'Ocamlc src/transform/eliminate_unknown_types.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_unknown_lsymbols.mli' <.> echo 'Ocamlc src/transform/eliminate_unknown_lsymbols.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_symbol.mli' <.> echo 'Ocamlc src/transform/eliminate_symbol.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/transform/encoding_select.mli' <.> echo 'Ocamlc src/transform/encoding_select.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/transform/encoding_guards_full.mli' <.> echo 'Ocamlc src/transform/encoding_guards_full.mli' [*] cc -c -o /tmp/camlstartupf5bef3.o /tmp/camlstartup1714f9.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o /tmp/camlstartupf5bef3.o /tmp/camlstartup1714f9.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/transform/encoding_tags_full.mli' <.> echo 'Ocamlc src/transform/encoding_tags_full.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/transform/encoding_guards.mli' <.> echo 'Ocamlc src/transform/encoding_guards.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/transform/encoding_tags.mli' <.> echo 'Ocamlc src/transform/encoding_tags.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/transform/encoding_twin.mli' <.> echo 'Ocamlc src/transform/encoding_twin.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/transform/encoding_sort.mli' <.> echo 'Ocamlc src/transform/encoding_sort.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/transform/simplify_array.mli' <.> echo 'Ocamlc src/transform/simplify_array.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/transform/filter_trigger.mli' <.> echo 'Ocamlc src/transform/filter_trigger.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/transform/lift_epsilon.mli' <.> echo 'Ocamlc src/transform/lift_epsilon.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/transform/instantiate_predicate.mli' <.> echo 'Ocamlc src/transform/instantiate_predicate.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/transform/prop_curry.mli' <.> echo 'Ocamlc src/transform/prop_curry.mli' [*] cc -O2 -fno-strict-aliasing -fwrapv -D_POSIX_PTHREAD_SEMANTICS -pthread -Wall -Wdeclaration-after-statement -fno-common -fexcess-precision=standard -fno-tree-vrp -fPIC -ffunction-sections -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/usr/include -I/opt/pkg/include/ncurses -L/usr/lib/amd64 -Wl,-R/usr/lib/amd64 -L/opt/pkg/lib -Wl,-R/opt/pkg/lib -o src/util/ppx_debug_optim -L/opt/pkg/lib/ocaml/compiler-libs -L/opt/pkg/lib/ocaml -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/opt/pkg/include/glib-2.0 -I/opt/pkg/include/gio-unix-2.0 -I/opt/pkg/lib/glib-2.0/include -I/usr/include -I/opt/pkg/include/freetype2 -I/opt/pkg/include/harfbuzz -I/opt/pkg/include/libdrm -I/opt/pkg/include/libxml2 -L/opt/pkg/lib -Wl,-R/opt/pkg/lib -liconv -lintl -L/usr/lib/amd64 -Wl,-R/usr/lib/amd64 /tmp/camlstartupf5bef3.o /opt/pkg/lib/ocaml/std_exit.o src/util/debug_optim.o /opt/pkg/lib/ocaml/compiler-libs/ocamlcommon.a /opt/pkg/lib/ocaml/stdlib.a /opt/pkg/lib/ocaml/libasmrun.a -lnsl -lsocket -lm <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -O2 -fno-strict-aliasing -fwrapv -D_POSIX_PTHREAD_SEMANTICS -pthread -Wall -Wdeclaration-after-statement -fno-common -fexcess-precision=standard -fno-tree-vrp -fPIC -ffunction-sections -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbulk/build/devel/why3/work/.buildlink/include/ncurses -L/home/pbulk/build/devel/why3/work/.buildlink/lib -Wl,-rpath,/opt/pkg/lib -o src/util/ppx_debug_optim -L/opt/pkg/lib/ocaml/compiler-libs -L/opt/pkg/lib/ocaml -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbulk/build/devel/why3/work/.buildlink/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/glib-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/include/gio-unix-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/lib/glib-2.0/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/freetype2 -I/home/pbulk/build/devel/why3/work/.buildlink/include/harfbuzz -I/home/pbulk/build/devel/why3/work/.buildlink/include/libdrm -I/home/pbulk/build/devel/why3/work/.buildlink/include/libxml2 -Wl,-rpath,/opt/pkg/lib -liconv -lintl /tmp/camlstartupf5bef3.o /opt/pkg/lib/ocaml/std_exit.o src/util/debug_optim.o /opt/pkg/lib/ocaml/compiler-libs/ocamlcommon.a /opt/pkg/lib/ocaml/stdlib.a /opt/pkg/lib/ocaml/libasmrun.a -lnsl -lsocket -lm -gdwarf-2 [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/transform/case.mli' <.> echo 'Ocamlc src/transform/case.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/transform/congruence.mli' <.> echo 'Ocamlc src/transform/congruence.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/transform/induction.mli' <.> echo 'Ocamlc src/transform/induction.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/transform/prepare_for_counterexmp.mli' <.> echo 'Ocamlc src/transform/prepare_for_counterexmp.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/transform/induction_pr.mli' <.> echo 'Ocamlc src/transform/induction_pr.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/transform/keep_only_arithmetic.mli' <.> echo 'Ocamlc src/transform/keep_only_arithmetic.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/printer/alt_ergo.mli' <.> echo 'Ocamlc src/printer/alt_ergo.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/printer/why3printer.mli' <.> echo 'Ocamlc src/printer/why3printer.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/printer/smtv1.mli' <.> echo 'Ocamlc src/printer/smtv1.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/printer/smtv2.mli' <.> echo 'Ocamlc src/printer/smtv2.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/printer/coq.mli' <.> echo 'Ocamlc src/printer/coq.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/printer/pvs.mli' <.> echo 'Ocamlc src/printer/pvs.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/printer/isabelle.mli' <.> echo 'Ocamlc src/printer/isabelle.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/printer/simplify.mli' <.> echo 'Ocamlc src/printer/simplify.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/printer/gappa.mli' <.> echo 'Ocamlc src/printer/gappa.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/printer/cvc3.mli' <.> echo 'Ocamlc src/printer/cvc3.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/printer/yices.mli' <.> echo 'Ocamlc src/printer/yices.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/printer/mathematica.mli' <.> echo 'Ocamlc src/printer/mathematica.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/session/compress.mli' <.> echo 'Ocamlc src/session/compress.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/session/xml.mli' <.> echo 'Ocamlc src/session/xml.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/session/unix_scheduler.mli' <.> echo 'Ocamlc src/session/unix_scheduler.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/exn_printer.ml' <.> echo 'Ocamlc src/util/exn_printer.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/config.ml' <.> echo 'Ocamlc src/util/config.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/mlmpfr_wrapper.ml' <.> echo 'Ocamlc src/util/mlmpfr_wrapper.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/util.ml' <.> echo 'Ocamlc src/util/util.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/opt.ml' <.> echo 'Ocamlc src/util/opt.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/lists.ml' <.> echo 'Ocamlc src/util/lists.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/strings.ml' <.> echo 'Ocamlc src/util/strings.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/pp.ml' <.> echo 'Ocamlc src/util/pp.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/extmap.ml' <.> echo 'Ocamlc src/util/extmap.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/exthtbl.ml' <.> echo 'Ocamlc src/util/exthtbl.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/weakhtbl.ml' <.> echo 'Ocamlc src/util/weakhtbl.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/hcpt.ml' <.> echo 'Ocamlc src/util/hcpt.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/hashcons.ml' <.> echo 'Ocamlc src/util/hashcons.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/getopt.ml' <.> echo 'Ocamlc src/util/getopt.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/json_base.ml' <.> echo 'Ocamlc src/util/json_base.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/print_tree.ml' <.> echo 'Ocamlc src/util/print_tree.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/cmdline.ml' <.> echo 'Ocamlc src/util/cmdline.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/sysutil.ml' <.> echo 'Ocamlc src/util/sysutil.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/vector.ml' <.> echo 'Ocamlc src/util/vector.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/pqueue.ml' <.> echo 'Ocamlc src/util/pqueue.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/driver/prove_client.ml' <.> echo 'Ocamlc src/driver/prove_client.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/driver/sexp.ml' <.> echo 'Ocamlc src/driver/sexp.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/mlw/big_real.ml' <.> echo 'Ocamlc src/mlw/big_real.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/parser/parser_messages.ml' <.> echo 'Ocamlc src/parser/parser_messages.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/session/unix_scheduler.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/session/compress.ml' <.> echo 'Ocamlc src/session/unix_scheduler.ml' <.> echo 'Ocamlc src/session/compress.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc plugins/parser/genequlin.mli' <.> echo 'Ocamlc plugins/parser/genequlin.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc plugins/parser/dimacs.mli' <.> echo 'Ocamlc plugins/parser/dimacs.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc plugins/tptp/tptp_printer.mli' <.> echo 'Ocamlc plugins/tptp/tptp_printer.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc plugins/python/py_main.mli' <.> echo 'Ocamlc plugins/python/py_main.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc plugins/microc/mc_main.mli' <.> echo 'Ocamlc plugins/microc/mc_main.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc plugins/coma/coma_main.mli' <.> echo 'Ocamlc plugins/coma/coma_main.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc plugins/cfg/cfg_stackify.mli' <.> echo 'Ocamlc plugins/cfg/cfg_stackify.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc plugins/strategies/forward_propagation.mli' <.> echo 'Ocamlc plugins/strategies/forward_propagation.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc plugins/transform/hypothesis_selection.mli' <.> echo 'Ocamlc plugins/transform/hypothesis_selection.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/tools/main.mli' <.> echo 'Ocamlc src/tools/main.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/tools/why3config.mli' <.> echo 'Ocamlc src/tools/why3config.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/tools/why3execute.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/tools/why3extract.mli' <.> echo 'Ocamlc src/tools/why3execute.mli' <.> echo 'Ocamlc src/tools/why3extract.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/tools/why3prove.mli' <.> echo 'Ocamlc src/tools/why3prove.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/tools/why3realize.mli' <.> echo 'Ocamlc src/tools/why3realize.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/tools/why3replay.mli' <.> echo 'Ocamlc src/tools/why3replay.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/tools/why3show.mli' <.> echo 'Ocamlc src/tools/why3show.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/tools/why3wc.mli' <.> echo 'Ocamlc src/tools/why3wc.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/tools/why3bench.mli' <.> echo 'Ocamlc src/tools/why3bench.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/ide/ide_utils.mli' <.> echo 'Ocamlc src/ide/ide_utils.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/ide/why3ide.mli' <.> echo 'Ocamlc src/ide/why3ide.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/ide/wserver.mli' <.> echo 'Ocamlc src/ide/wserver.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/ide/why3web.mli' <.> echo 'Ocamlc src/ide/why3web.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/why3session/why3session_main.mli' <.> echo 'Ocamlc src/why3session/why3session_main.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/tools/why3shell.mli' <.> echo 'Ocamlc src/tools/why3shell.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/isabelle-client/isabelle_client_main.mli' <.> echo 'Ocamlc src/isabelle-client/isabelle_client_main.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/tools/why3pp.mli' <.> echo 'Ocamlc src/tools/why3pp.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/why3doc/doc_html.mli' <.> echo 'Ocamlc src/why3doc/doc_html.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/why3doc/doc_lexer.mli' <.> echo 'Ocamlc src/why3doc/doc_lexer.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/why3doc/doc_main.mli' <.> echo 'Ocamlc src/why3doc/doc_main.mli' [*] cc -Wall -O -g -o src/server/logging.o -c src/server/logging.c <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/logging.o -c src/server/logging.c -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -Wall -O -g -o src/server/arraylist.o -c src/server/arraylist.c <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/arraylist.o -c src/server/arraylist.c -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -Wall -O -g -o src/server/options.o -c src/server/options.c <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/options.o -c src/server/options.c -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -Wall -O -g -o src/server/queue.o -c src/server/queue.c <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/queue.o -c src/server/queue.c -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -Wall -O -g -o src/server/readbuf.o -c src/server/readbuf.c <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/readbuf.o -c src/server/readbuf.c -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -Wall -O -g -o src/server/request.o -c src/server/request.c <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/request.o -c src/server/request.c -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -Wall -O -g -o src/server/proc.o -c src/server/proc.c <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/proc.o -c src/server/proc.c -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -Wall -O -g -o src/server/writebuf.o -c src/server/writebuf.c <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/writebuf.o -c src/server/writebuf.c -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -Wall -O -g -o src/server/server-unix.o -c src/server/server-unix.c <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/server-unix.o -c src/server/server-unix.c -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -Wall -O -g -o src/server/server-win.o -c src/server/server-win.c <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/server-win.o -c src/server/server-win.c -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -Wall -O -g -o src/server/cpulimit-unix.o -c src/server/cpulimit-unix.c <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/cpulimit-unix.o -c src/server/cpulimit-unix.c -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -Wall -O -g -o src/server/cpulimit-win.o -c src/server/cpulimit-win.c <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/cpulimit-win.o -c src/server/cpulimit-win.c -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Coqc lib/coq/BuiltIn.v' <.> echo 'Coqc lib/coq/BuiltIn.v' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Generate drivers/coq-realizations.aux' <.> echo 'Generate drivers/coq-realizations.aux' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Generate drivers/pvs-realizations.aux' <.> echo 'Generate drivers/pvs-realizations.aux' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Generate drivers/isabelle-realizations.aux' <.> echo 'Generate drivers/isabelle-realizations.aux' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/util/exn_printer.ml' <.> echo 'Ocamlopt src/util/exn_printer.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/mysexplib.ml' <.> echo 'Ocamlc src/util/mysexplib.ml' [*] cc -c -o src/util/exn_printer.o /tmp/camlasm194eb9.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/exn_printer.o /tmp/camlasm194eb9.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/util/config.ml' <.> echo 'Ocamlopt src/util/config.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/util/mlmpfr_wrapper.ml' <.> echo 'Ocamlopt src/util/mlmpfr_wrapper.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/util/util.ml' <.> echo 'Ocamlopt src/util/util.ml' [*] cc -c -o src/util/mlmpfr_wrapper.o /tmp/camlasm641233.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/mlmpfr_wrapper.o /tmp/camlasm641233.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -c -o src/util/config.o /tmp/camlasm07e77f.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/config.o /tmp/camlasm07e77f.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/util/opt.ml' <.> echo 'Ocamlopt src/util/opt.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/util/lists.ml' <.> echo 'Ocamlopt src/util/lists.ml' [*] cc -c -o src/util/util.o /tmp/camlasm19f3b5.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/util.o /tmp/camlasm19f3b5.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -c -o src/util/opt.o /tmp/camlasm1f3317.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/opt.o /tmp/camlasm1f3317.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/util/strings.ml' <.> echo 'Ocamlopt src/util/strings.ml' [*] cc -c -o src/util/lists.o /tmp/camlasmd1fe16.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/lists.o /tmp/camlasmd1fe16.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/util/pp.ml' <.> echo 'Ocamlopt src/util/pp.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/util/extmap.ml' <.> echo 'Ocamlopt src/util/extmap.ml' [*] cc -c -o src/util/strings.o /tmp/camlasme84303.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/strings.o /tmp/camlasme84303.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -c -o src/util/pp.o /tmp/camlasm32df3c.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/pp.o /tmp/camlasm32df3c.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/extset.mli' <.> echo 'Ocamlc src/util/extset.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/util/exthtbl.ml' <.> echo 'Ocamlopt src/util/exthtbl.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/util/weakhtbl.ml' <.> echo 'Ocamlopt src/util/weakhtbl.ml' [*] cc -c -o src/util/weakhtbl.o /tmp/camlasm80b261.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/weakhtbl.o /tmp/camlasm80b261.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -c -o src/util/exthtbl.o /tmp/camlasm7aa834.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/exthtbl.o /tmp/camlasm7aa834.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/diffmap.mli' <.> echo 'Ocamlc src/util/diffmap.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/util/hcpt.ml' <.> echo 'Ocamlopt src/util/hcpt.ml' [*] cc -c -o src/util/extmap.o /tmp/camlasm61ada7.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/extmap.o /tmp/camlasm61ada7.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/util/hashcons.ml' <.> echo 'Ocamlopt src/util/hashcons.ml' [*] cc -c -o src/util/hashcons.o /tmp/camlasmba6724.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/hashcons.o /tmp/camlasmba6724.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/wstdlib.mli' <.> echo 'Ocamlc src/util/wstdlib.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/util/getopt.ml' <.> echo 'Ocamlopt src/util/getopt.ml' [*] cc -c -o src/util/hcpt.o /tmp/camlasm79f42b.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/hcpt.o /tmp/camlasm79f42b.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/util/json_base.ml' <.> echo 'Ocamlopt src/util/json_base.ml' [*] cc -c -o src/util/getopt.o /tmp/camlasm92807e.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/getopt.o /tmp/camlasm92807e.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/json_parser.mli' <.> echo 'Ocamlc src/util/json_parser.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/debug.mli' <.> echo 'Ocamlc src/util/debug.mli' [*] cc -c -o src/util/json_base.o /tmp/camlasm4cb409.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/json_base.o /tmp/camlasm4cb409.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/loc.mli' <.> echo 'Ocamlc src/util/loc.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/util/print_tree.ml' <.> echo 'Ocamlopt src/util/print_tree.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/util/cmdline.ml' <.> echo 'Ocamlopt src/util/cmdline.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/util/sysutil.ml' <.> echo 'Ocamlopt src/util/sysutil.ml' [*] cc -c -o src/util/print_tree.o /tmp/camlasma6cabe.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/print_tree.o /tmp/camlasma6cabe.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -c -o src/util/cmdline.o /tmp/camlasm543767.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/cmdline.o /tmp/camlasm543767.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/rc.mli' <.> echo 'Ocamlc src/util/rc.mli' [*] cc -c -o src/util/sysutil.o /tmp/camlasm709a8b.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/sysutil.o /tmp/camlasm709a8b.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/plugin.mli' <.> echo 'Ocamlc src/util/plugin.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/constant.mli' <.> echo 'Ocamlc src/util/constant.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/util/vector.ml' <.> echo 'Ocamlopt src/util/vector.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/util/re.ml' <.> echo 'Ocamlopt src/util/re.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/core/ident.mli' <.> echo 'Ocamlc src/core/ident.mli' [*] cc -c -o src/util/vector.o /tmp/camlasm860565.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/vector.o /tmp/camlasm860565.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -c -o src/util/re.o /tmp/camlasm80ae83.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/re.o /tmp/camlasm80ae83.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/core/parser_tokens.mli' <.> echo 'Ocamlc src/core/parser_tokens.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/driver/prove_client.ml' <.> echo 'Ocamlopt src/driver/prove_client.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/driver/driver_ast.mli' <.> echo 'Ocamlc src/driver/driver_ast.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/driver/smtv2_model_defs.mli' <.> echo 'Ocamlc src/driver/smtv2_model_defs.mli' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/driver/sexp.ml' <.> echo 'Ocamlopt src/driver/sexp.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/mlw/big_real.ml' <.> echo 'Ocamlopt src/mlw/big_real.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/parser/glob.mli' <.> echo 'Ocamlc src/parser/glob.mli' [*] cc -c -o src/driver/prove_client.o /tmp/camlasmab33ef.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/driver/prove_client.o /tmp/camlasmab33ef.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -c -o src/driver/sexp.o /tmp/camlasmc925a5.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/driver/sexp.o /tmp/camlasmc925a5.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/parser/parser_messages.ml' <.> echo 'Ocamlopt src/parser/parser_messages.ml' [*] cc -c -o src/mlw/big_real.o /tmp/camlasm8f0996.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/mlw/big_real.o /tmp/camlasm8f0996.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/session/compress.ml' <.> echo 'Ocamlopt src/session/compress.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/session/unix_scheduler.ml' <.> echo 'Ocamlopt src/session/unix_scheduler.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/bigInt.ml' <.> echo 'Ocamlc src/util/bigInt.ml' [*] cc -c -o src/parser/parser_messages.o /tmp/camlasm5619e2.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/parser/parser_messages.o /tmp/camlasm5619e2.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -c -o src/session/compress.o /tmp/camlasm487533.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/session/compress.o /tmp/camlasm487533.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -c -o src/session/unix_scheduler.o /tmp/camlasm270030.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/session/unix_scheduler.o /tmp/camlasm270030.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/extset.ml' <.> echo 'Ocamlc src/util/extset.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/diffmap.ml' <.> echo 'Ocamlc src/util/diffmap.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/wstdlib.ml' <.> echo 'Ocamlc src/util/wstdlib.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/json_parser.ml' <.> echo 'Ocamlc src/util/json_parser.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/debug.ml' <.> echo 'Ocamlc src/util/debug.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/loc.ml' <.> echo 'Ocamlc src/util/loc.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/lexlib.ml' <.> echo 'Ocamlc src/util/lexlib.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/rc.ml' <.> echo 'Ocamlc src/util/rc.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/plugin.ml' <.> echo 'Ocamlc src/util/plugin.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/number.ml' <.> echo 'Ocamlc src/util/number.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/util/constant.ml' <.> echo 'Ocamlc src/util/constant.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/core/ident.ml' <.> echo 'Ocamlc src/core/ident.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/core/parser_tokens.ml' <.> echo 'Ocamlc src/core/parser_tokens.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/driver/smtv2_model_defs.ml' <.> echo 'Ocamlc src/driver/smtv2_model_defs.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/parser/glob.ml' <.> echo 'Ocamlc src/parser/glob.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlc src/session/xml.ml' <.> echo 'Ocamlc src/session/xml.ml' [*] /home/pbulk/build/devel/why3/work/.tools/bin/echo 'Ocamlopt src/ide/ide_utils.ml' <.> echo 'Ocamlopt src/ide/ide_utils.ml' [*] cc -Wall -o lib/why3server src/server/logging.o src/server/arraylist.o src/server/options.o src/server/queue.o src/server/readbuf.o src/server/request.o src/server/proc.o src/server/writebuf.o src/server/server-unix.o src/server/server-win.o <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -o lib/why3server src/server/logging.o src/server/arraylist.o src/server/options.o src/server/queue.o src/server/readbuf.o src/server/request.o src/server/proc.o src/server/writebuf.o src/server/server-unix.o src/server/server-win.o -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include [*] cc -c -o src/ide/ide_utils.o /tmp/camlasm7f58be.s <.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/ide/ide_utils.o /tmp/camlasm7f58be.s -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include