hostname: cluster053 [*] /tmp/lang/spark2014-13/work/.tools/bin/mkdir conf3751.dir <.> /bin/mkdir -p conf3751.dir [*] /tmp/lang/spark2014-13/work/.tools/bin/mkdir -p . <.> /bin/mkdir -p -p . [*] cc --version <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 --version -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -v <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -v -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -V <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -V -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -qversion <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -qversion -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -O2 -I/usr/pkg/include -I/usr/include -Dz_off_t=long -I/usr/pkg/gcc13-gnat/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude -I/usr/pkg/include -I/usr/include -Dz_off_t=long -I/usr/pkg/gcc13-gnat/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude -L/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0 -Wl,-R/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0 -L/usr/pkg/gcc13-gnat/lib -Wl,-R/usr/pkg/gcc13-gnat/lib -L/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -L/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adalib conftest.c <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -O2 -I/tmp/lang/spark2014-13/work/.buildlink/include -Dz_off_t=long -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/include -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude -Dz_off_t=long -L/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0 -Wl,-rpath,/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0 -L/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib -Wl,-rpath,/usr/pkg/gcc13-gnat/lib -L/tmp/lang/spark2014-13/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adalib conftest.c [*] cc -o conftest -O2 -I/usr/pkg/include -I/usr/include -Dz_off_t=long -I/usr/pkg/gcc13-gnat/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude -I/usr/pkg/include -I/usr/include -Dz_off_t=long -I/usr/pkg/gcc13-gnat/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude -L/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0 -Wl,-R/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0 -L/usr/pkg/gcc13-gnat/lib -Wl,-R/usr/pkg/gcc13-gnat/lib -L/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -L/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adalib conftest.c <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -o conftest -O2 -I/tmp/lang/spark2014-13/work/.buildlink/include -Dz_off_t=long -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/include -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude -Dz_off_t=long -L/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0 -Wl,-rpath,/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0 -L/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib -Wl,-rpath,/usr/pkg/gcc13-gnat/lib -L/tmp/lang/spark2014-13/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adalib conftest.c [*] cc -o conftest -O2 -I/usr/pkg/include -I/usr/include -Dz_off_t=long -I/usr/pkg/gcc13-gnat/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude -I/usr/pkg/include -I/usr/include -Dz_off_t=long -I/usr/pkg/gcc13-gnat/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude -L/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0 -Wl,-R/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0 -L/usr/pkg/gcc13-gnat/lib -Wl,-R/usr/pkg/gcc13-gnat/lib -L/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -L/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adalib conftest.c <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -o conftest -O2 -I/tmp/lang/spark2014-13/work/.buildlink/include -Dz_off_t=long -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/include -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude -Dz_off_t=long -L/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0 -Wl,-rpath,/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0 -L/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib -Wl,-rpath,/usr/pkg/gcc13-gnat/lib -L/tmp/lang/spark2014-13/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adalib conftest.c [*] cc -c -O2 -I/usr/pkg/include -I/usr/include -Dz_off_t=long -I/usr/pkg/gcc13-gnat/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude -I/usr/pkg/include -I/usr/include -Dz_off_t=long -I/usr/pkg/gcc13-gnat/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude conftest.c <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -O2 -I/tmp/lang/spark2014-13/work/.buildlink/include -Dz_off_t=long -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/include -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude -Dz_off_t=long conftest.c [*] cc -c -O2 -I/usr/pkg/include -I/usr/include -Dz_off_t=long -I/usr/pkg/gcc13-gnat/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude -I/usr/pkg/include -I/usr/include -Dz_off_t=long -I/usr/pkg/gcc13-gnat/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude conftest.c <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -O2 -I/tmp/lang/spark2014-13/work/.buildlink/include -Dz_off_t=long -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/include -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude -Dz_off_t=long conftest.c [*] cc -c -g -I/usr/pkg/include -I/usr/include -Dz_off_t=long -I/usr/pkg/gcc13-gnat/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude conftest.c <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -g -I/tmp/lang/spark2014-13/work/.buildlink/include -Dz_off_t=long -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/include -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude conftest.c [*] cc -c -O2 -I/usr/pkg/include -I/usr/include -Dz_off_t=long -I/usr/pkg/gcc13-gnat/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude -I/usr/pkg/include -I/usr/include -Dz_off_t=long -I/usr/pkg/gcc13-gnat/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude conftest.c <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -O2 -I/tmp/lang/spark2014-13/work/.buildlink/include -Dz_off_t=long -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/include -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude -Dz_off_t=long conftest.c [*] cc -c -O2 -I/usr/pkg/include -I/usr/include -Dz_off_t=long -I/usr/pkg/gcc13-gnat/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude -I/usr/pkg/include -I/usr/include -Dz_off_t=long -I/usr/pkg/gcc13-gnat/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude conftest.c <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -O2 -I/tmp/lang/spark2014-13/work/.buildlink/include -Dz_off_t=long -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/include -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude -Dz_off_t=long conftest.c [*] /tmp/lang/spark2014-13/work/.tools/bin/mkdir --version <.> /bin/mkdir -p --version [*] /tmp/lang/spark2014-13/work/.tools/bin/mkdir conf1073.dir <.> /bin/mkdir -p conf1073.dir [*] /tmp/lang/spark2014-13/work/.tools/bin/mkdir -p . <.> /bin/mkdir -p -p . [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/gnat/gnat_util.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/gnat/gnat_loc.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/gnat/gnat_counterexamples.ml' <.> echo 'Ocamldep src/gnat/gnat_util.ml' <.> echo 'Ocamldep src/gnat/gnat_loc.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/gnat/gnat_expl.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/gnat/gnat_config.ml' <.> echo 'Ocamldep src/gnat/gnat_expl.ml' <.> echo 'Ocamldep src/gnat/gnat_config.ml' <.> echo 'Ocamldep src/gnat/gnat_counterexamples.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/gnat/gnat_server.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/gnat/gnat_report.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Menhir src/parser/parser_common.mly' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/gnat/gnat_main.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/gnat/gnat_objectives.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamllex src/driver/sexp.mll' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/gnat/gnat_scheduler.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/gnat/gnat_manual.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Generate src/util/config.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamllex src/util/lexlib.mll' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamllex src/parser/lexer.mll' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamllex src/util/json_lexer.mll' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Menhir src/util/json_parser.mly' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamllex src/util/rc.mll' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Menhir src/parser/parser_common.mly src/parser/parser.mly' <.> echo 'Ocamldep src/gnat/gnat_report.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Menhir src/driver/driver_parser.mly' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamllex src/session/xml.mll' <.> echo 'Ocamldep src/gnat/gnat_server.ml' <.> echo 'Ocamldep src/gnat/gnat_main.ml' <.> echo 'Ocamldep src/gnat/gnat_scheduler.ml' <.> echo 'Generate src/util/config.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamllex src/driver/driver_lexer.mll' <.> echo 'Ocamllex src/util/lexlib.mll' <.> echo 'Ocamllex src/util/json_lexer.mll' <.> echo 'Menhir src/parser/parser_common.mly' <.> echo 'Ocamldep src/gnat/gnat_objectives.ml' <.> echo 'Ocamllex src/driver/sexp.mll' <.> echo 'Ocamldep src/gnat/gnat_manual.ml' <.> echo 'Ocamllex src/parser/lexer.mll' <.> echo 'Menhir src/util/json_parser.mly' <.> echo 'Menhir src/driver/driver_parser.mly' <.> echo 'Ocamllex src/util/rc.mll' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamllex src/session/strategy_parser.mll' <.> echo 'Ocamllex src/driver/driver_lexer.mll' <.> echo 'Menhir src/parser/parser_common.mly src/parser/parser.mly' <.> echo 'Ocamllex src/session/strategy_parser.mll' <.> echo 'Ocamllex src/session/xml.mll' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamllex plugins/tptp/tptp_lexer.mll' <.> echo 'Ocamllex plugins/tptp/tptp_lexer.mll' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamllex plugins/parser/dimacs.mll' <.> echo 'Ocamllex plugins/parser/dimacs.mll' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamllex plugins/python/py_lexer.mll' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamllex plugins/cfg/cfg_lexer.mll' <.> echo 'Ocamllex plugins/python/py_lexer.mll' <.> echo 'Ocamllex plugins/cfg/cfg_lexer.mll' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Menhir src/parser/parser_common.mly plugins/cfg/cfg_parser.mly' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamllex src/tools/why3wc.mll' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamllex plugins/microc/mc_lexer.mll' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Menhir plugins/ada_terms/ada_parser.mly' <.> echo 'Menhir src/parser/parser_common.mly plugins/cfg/cfg_parser.mly' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Menhir plugins/python/py_parser.mly' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Menhir plugins/microc/mc_parser.mly' <.> echo 'Ocamllex src/tools/why3wc.mll' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamllex plugins/ada_terms/ada_lexer.mll' <.> echo 'Menhir plugins/python/py_parser.mly' <.> echo 'Menhir plugins/microc/mc_parser.mly' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Menhir plugins/tptp/tptp_parser.mly' <.> echo 'Ocamllex plugins/ada_terms/ada_lexer.mll' <.> echo 'Menhir plugins/ada_terms/ada_parser.mly' <.> echo 'Ocamllex plugins/microc/mc_lexer.mll' <.> echo 'Menhir plugins/tptp/tptp_parser.mly' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/why3session/why3session_html.ml' <.> echo 'Ocamldep src/why3session/why3session_html.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/ide/wserver.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/why3session/why3session_latex.ml' <.> echo 'Ocamldep src/ide/wserver.ml' <.> echo 'Ocamldep src/why3session/why3session_latex.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/why3session/why3session_main.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/why3session/why3session_update.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/tools/why3shell.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/isabelle-client/isabelle_client_main.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/trywhy3/shortener.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamllex src/why3doc/doc_lexer.mll' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/why3session/why3session_lib.ml' <.> echo 'Ocamldep src/why3session/why3session_main.ml' <.> echo 'Ocamldep src/isabelle-client/isabelle_client_main.ml' <.> echo 'Ocamldep src/tools/why3shell.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/trywhy3/json_parser.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/why3session/why3session_info.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/trywhy3/json_base.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/trywhy3/trywhy3.ml' <.> echo 'Ocamldep src/trywhy3/json_parser.ml' <.> echo 'Ocamllex src/why3doc/doc_lexer.mll' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/ide/why3web.ml' <.> echo 'Ocamldep src/trywhy3/json_base.ml' <.> echo 'Ocamldep src/why3session/why3session_lib.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/trywhy3/bindings.ml' <.> echo 'Ocamldep src/why3session/why3session_info.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/tools/why3pp.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/trywhy3/worker_proto.ml' <.> echo 'Ocamldep src/ide/why3web.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/tools/why3pp_sexp.ml' <.> echo 'Ocamldep src/trywhy3/shortener.ml' <.> echo 'Ocamldep src/trywhy3/worker_proto.ml' <.> echo 'Ocamldep src/trywhy3/trywhy3.ml' <.> echo 'Ocamldep src/tools/why3pp_sexp.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/trywhy3/json_lexer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/trywhy3/why3_worker.ml' <.> echo 'Ocamldep src/trywhy3/json_lexer.ml' <.> echo 'Ocamldep src/tools/why3pp.ml' <.> echo 'Ocamldep src/trywhy3/bindings.ml' <.> echo 'Ocamldep src/trywhy3/why3_worker.ml' <.> echo 'Ocamldep src/why3session/why3session_update.ml' [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] cc -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -v <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -v -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -mno-cygwin -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -mno-cygwin -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc --version <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 --version -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -v <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -v -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/tools/main.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/tools/why3prove.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/tools/why3replay.ml' <.> echo 'Ocamldep src/tools/main.ml' <.> echo 'Ocamldep src/tools/why3prove.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/tools/why3realize.ml' <.> echo 'Ocamldep src/tools/why3replay.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/tools/why3execute.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/tools/why3extract.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/tools/why3wc.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/tools/why3show.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/tools/why3config.ml' <.> echo 'Ocamldep src/tools/why3extract.ml' <.> echo 'Ocamldep src/tools/why3execute.ml' <.> echo 'Ocamldep src/tools/why3config.ml' <.> echo 'Ocamldep src/tools/why3wc.ml' <.> echo 'Ocamldep src/tools/why3show.ml' <.> echo 'Ocamldep src/tools/why3realize.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/why3doc/doc_html.ml' [*] f77 -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/fortran-fail-wrapper -fstack-protector-strong -dumpmachine <.> echo 'Ocamldep src/why3doc/doc_html.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/why3doc/doc_lexer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/why3doc/doc_main.ml' *** Please consider adding fortran to USE_LANGUAGES in the package Makefile. <.> echo 'Ocamldep src/why3doc/doc_lexer.ml' <.> echo 'Ocamldep src/why3doc/doc_main.ml' [*] f77 -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/fortran-fail-wrapper -fstack-protector-strong -dumpmachine *** Please consider adding fortran to USE_LANGUAGES in the package Makefile. [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/why3doc/doc_def.ml' <.> echo 'Ocamldep src/why3doc/doc_def.ml' [*] ld -v <.> ld -v [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] cc -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -v <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -v -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -mno-cygwin -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -mno-cygwin -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc --version <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 --version -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -v <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -v -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/mysexplib.ml' <.> echo 'Ocamldep src/util/mysexplib.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/config.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/bigInt.ml' <.> echo 'Ocamldep src/util/config.ml' <.> echo 'Ocamldep src/util/bigInt.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/mlmpfr_wrapper.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/util.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/opt.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/exthtbl.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/strings.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/lexlib.ml' <.> echo 'Ocamldep src/util/mlmpfr_wrapper.ml' <.> echo 'Ocamldep src/util/opt.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/json_parser.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/weakhtbl.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/dynlink_wrapper.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/cmdline.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/core/ident.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/core/term.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/warning.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/pqueue.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/core/decl.ml' <.> echo 'Ocamldep src/util/util.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/vector.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/core/env.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/core/printer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/json_lexer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/exn_printer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/getopt.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/plugin.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/extmap.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/sysutil.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/json_base.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/diffmap.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/driver/driver.ml' <.> echo 'Ocamldep src/util/cmdline.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/wstdlib.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/debug.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/pp.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/core/model_parser.ml' <.> echo 'Ocamldep src/util/exthtbl.ml' <.> echo 'Ocamldep src/util/dynlink_wrapper.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/print_tree.ml' [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/re.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/core/theory.ml' <.> echo 'Ocamldep src/util/json_parser.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/core/pretty.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/core/ty.ml' <.> echo 'Ocamldep src/core/decl.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/driver/whyconf.ml' <.> echo 'Ocamldep src/util/warning.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/hashcons.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/loc.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/driver/autodetection.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/mlw/dexpr.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/driver/driver_lexer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/driver/prove_client.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/mlw/check_ce.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/rc.ml' <.> echo 'Ocamldep src/driver/driver.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/constant.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/driver/sexp.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/driver/smtv2_model_parser.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/mlw/typeinv.ml' <.> echo 'Ocamldep src/driver/driver_lexer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/mlw/ity.ml' <.> echo 'Ocamldep src/util/getopt.ml' <.> echo 'Ocamldep src/util/lexlib.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/driver/collect_data_model.ml' <.> echo 'Ocamldep src/util/pqueue.ml' <.> echo 'Ocamldep src/util/plugin.ml' <.> echo 'Ocamldep src/util/strings.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/extract/compile.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/mlw/pinterp.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/core/task.ml' <.> echo 'Ocamldep src/core/env.ml' <.> echo 'Ocamldep src/util/exn_printer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/driver/smtv2_model_defs.ml' <.> echo 'Ocamldep src/util/sysutil.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/mlw/eval_match.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/core/parser_tokens.ml' <.> echo 'Ocamldep src/core/ident.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/mlw/big_real.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/extract/c.ml' <.> echo 'Ocamldep src/core/ty.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/simplify_formula.ml' <.> echo 'Ocamldep src/driver/autodetection.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/extract/pdriver.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/extset.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/extract/ml_printer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/libencoding.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/mlw/expr.ml' <.> echo 'Ocamldep src/util/wstdlib.ml' <.> echo 'Ocamldep src/util/extmap.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/parser/report.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/split_goal.ml' <.> echo 'Ocamldep src/core/model_parser.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/extract/cakeml.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/number.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/core/pattern.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/eliminate_unknown_types.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/discriminate.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/mlw/vc.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/eliminate_symbol.ml' <.> echo 'Ocamldep src/extract/compile.ml' <.> echo 'Ocamldep src/driver/smtv2_model_parser.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/encoding_guards_full.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/core/dterm.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/fold_defs.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/inlining.ml' <.> echo 'Ocamldep src/mlw/ity.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/parser/parser.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/eliminate_if.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/eliminate_definition.ml' <.> echo 'Ocamldep src/mlw/check_ce.ml' <.> echo 'Ocamldep src/util/constant.ml' <.> echo 'Ocamldep src/util/rc.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/introduction.ml' <.> echo 'Ocamldep src/util/diffmap.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/parser/ptree.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/abstraction.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/mlw/pdecl.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/intro_projections_counterexmp.ml' <.> echo 'Ocamldep src/parser/report.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/parser/mlw_printer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/mlw/pinterp_core.ml' <.> echo 'Ocamldep src/mlw/dexpr.ml' <.> echo 'Ocamldep src/core/term.ml' <.> echo 'Ocamldep src/core/theory.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/extract/ocaml.ml' <.> echo 'Ocamldep src/driver/prove_client.ml' <.> echo 'Ocamldep src/util/print_tree.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/eliminate_inductive.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/abstract_quantifiers.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/simplify_array.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/driver/call_provers.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/gnat_trivial.ml' *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/case.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/cut.ml' <.> echo 'Ocamldep src/transform/fold_defs.ml' [*] f77 -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/fortran-fail-wrapper -fstack-protector-strong -dumpmachine <.> echo 'Ocamldep src/parser/mlw_printer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/session/strategy.ml' <.> echo 'Ocamldep src/driver/sexp.ml' <.> echo 'Ocamldep src/mlw/vc.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/congruence.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/reflection.ml' [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/subst.ml' *** Please consider adding fortran to USE_LANGUAGES in the package Makefile. <.> echo 'Ocamldep src/transform/eliminate_unknown_types.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/eliminate_quantifiers.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/printer/simplify.ml' <.> echo 'Ocamldep src/transform/abstract_quantifiers.ml' <.> echo 'Ocamldep src/extract/pdriver.ml' <.> echo 'Ocamldep src/mlw/eval_match.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/parser/lexer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/session/server_utils.ml' *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. <.> echo 'Ocamldep src/session/strategy.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/python/py_lexer.ml' <.> echo 'Ocamldep src/extract/ml_printer.ml' <.> echo 'Ocamldep src/transform/simplify_formula.ml' [*] f77 -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/fortran-fail-wrapper -fstack-protector-strong -dumpmachine <.> echo 'Ocamldep src/transform/encoding_guards_full.ml' <.> echo 'Ocamldep src/transform/eliminate_symbol.ml' <.> echo 'Ocamldep src/mlw/expr.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/core/trans.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/gnat_rewrite.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/instantiate_predicate.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/close_epsilon.ml' [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/mlw/pmodule.ml' <.> echo 'Ocamldep src/parser/ptree.ml' <.> echo 'Ocamldep src/util/vector.ml' <.> echo 'Ocamldep src/util/loc.ml' <.> echo 'Ocamldep src/driver/whyconf.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/encoding.ml' *** Please consider adding fortran to USE_LANGUAGES in the package Makefile. [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/compute.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/printer/isabelle.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/gnat_split_disj.ml' <.> echo 'Ocamldep src/driver/call_provers.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/session/itp_server.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/printer/pvs.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/extract/mlinterp.ml' <.> echo 'Ocamldep src/core/pattern.ml' *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. <.> echo 'Ocamldep src/util/number.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/encoding_tags.ml' <.> echo 'Ocamldep src/extract/cakeml.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/eliminate_literal.ml' [*] ld -v <.> ld -v [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/eliminate_epsilon.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/encoding_sort.ml' <.> echo 'Ocamldep src/transform/subst.ml' <.> echo 'Ocamldep src/transform/cut.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/printer/alt_ergo.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/session/xml.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/microc/mc_lexer.ml' [*] cc -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/parser/typing.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/destruct.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/session/itp_communication.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/printer/coq.ml' <.> echo 'Ocamldep src/core/pretty.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/eliminate_unknown_lsymbols.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/tptp/tptp_printer.ml' <.> echo 'Ocamldep src/util/extset.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/session/session_itp.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/session/controller_itp.ml' <.> echo 'Ocamldep src/transform/encoding.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/prepare_for_counterexmp.ml' [*] cc -v <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -v -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamldep src/printer/coq.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/parser/dimacs.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/session/termcode.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/session/compress.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/encoding_twin.ml' <.> echo 'Ocamldep src/transform/abstraction.ml' <.> echo 'Ocamldep src/extract/mlinterp.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/induction_pr.ml' <.> echo 'Ocamldep src/util/json_base.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/lift_epsilon.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/eliminate_algebraic.ml' <.> echo 'Ocamldep src/mlw/pinterp_core.ml' <.> echo 'Ocamldep src/transform/congruence.ml' <.> echo 'Ocamldep src/util/weakhtbl.ml' <.> echo 'Ocamldep src/mlw/typeinv.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/driver/driver_ast.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/remove_unused.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/ind_itp.ml' [*] cc -mno-cygwin -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -mno-cygwin -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamldep src/transform/eliminate_if.ml' <.> echo 'Ocamldep src/parser/lexer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/smoke_detector.ml' <.> echo 'Ocamldep src/transform/gnat_trivial.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/induction.ml' <.> echo 'Ocamldep plugins/microc/mc_lexer.ml' <.> echo 'Ocamldep src/transform/compute.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/python/py_parser.ml' <.> echo 'Ocamldep src/session/itp_server.ml' <.> echo 'Ocamldep src/transform/eliminate_unknown_lsymbols.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/python/py_main.ml' <.> echo 'Ocamldep src/session/xml.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/session/json_util.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/filter_trigger.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/core/coercion.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/printer/cvc3.ml' [*] cc --version <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 --version -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamldep src/extract/c.ml' <.> echo 'Ocamldep src/mlw/pmodule.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/ada_terms/ada_parser.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/parser/ptree_helpers.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/reduction_engine.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/gnat_split_conj.ml' <.> echo 'Ocamldep src/transform/case.ml' <.> echo 'Ocamldep src/core/dterm.ml' <.> echo 'Ocamldep src/mlw/pinterp.ml' <.> echo 'Ocamldep src/transform/reduction_engine.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/tptp/tptp_parser.ml' <.> echo 'Ocamldep plugins/tptp/tptp_printer.ml' <.> echo 'Ocamldep src/transform/induction.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/printer/mathematica.ml' <.> echo 'Ocamldep src/util/re.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/printer/yices.ml' <.> echo 'Ocamldep src/transform/split_goal.ml' [*] cc -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamldep src/mlw/big_real.ml' <.> echo 'Ocamldep plugins/tptp/tptp_parser.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/session/unix_scheduler.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/printer/why3printer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/extract/mltree.ml' <.> echo 'Ocamldep src/session/termcode.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/python/py_ast.mli' <.> echo 'Ocamldep src/transform/inlining.ml' <.> echo 'Ocamldep src/transform/simplify_array.ml' <.> echo 'Ocamldep src/mlw/pdecl.ml' <.> echo 'Ocamldep src/printer/alt_ergo.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/microc/mc_parser.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/generic_arg_trans_utils.ml' <.> echo 'Ocamldep src/core/task.ml' [*] cc -v <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -v -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamldep src/transform/encoding_tags.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/parser/parser_messages.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/apply.ml' <.> echo 'Ocamldep src/transform/discriminate.ml' <.> echo 'Ocamldep src/parser/typing.ml' <.> echo 'Ocamldep src/transform/destruct.ml' <.> echo 'Ocamldep src/printer/cvc3.ml' <.> echo 'Ocamldep src/driver/smtv2_model_defs.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/core/keywords.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/printer/gappa.ml' <.> echo 'Ocamldep src/driver/collect_data_model.ml' <.> echo 'Ocamldep src/transform/ind_itp.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/detect_polymorphism.ml' <.> echo 'Ocamldep src/printer/simplify.ml' <.> echo 'Ocamldep src/session/server_utils.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/gnat_json/gnat_ast.ml' <.> echo 'Ocamldep src/session/compress.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/gnat_json/gnat_ast_to_ptree.ml' <.> echo 'Ocamldep src/printer/pvs.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/cfg/cfg_ast.mli' <.> echo 'Ocamldep src/printer/isabelle.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/prop_curry.ml' <.> echo 'Ocamldep src/transform/eliminate_literal.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/eliminate_let.ml' <.> echo 'Ocamldep src/extract/ocaml.ml' <.> echo 'Ocamldep src/transform/introduction.ml' <.> echo 'Ocamldep src/transform/gnat_split_disj.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/eliminate_unused.ml' <.> echo 'Ocamldep src/session/session_itp.ml' <.> echo 'Ocamldep src/transform/libencoding.ml' <.> echo 'Ocamldep src/transform/gnat_rewrite.ml' <.> echo 'Ocamldep src/transform/instantiate_predicate.ml' <.> echo 'Ocamldep src/core/coercion.ml' <.> echo 'Ocamldep src/printer/yices.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/tptp/tptp_lexer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/encoding_guards.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/intro_vc_vars_counterexmp.ml' <.> echo 'Ocamldep src/transform/smoke_detector.ml' <.> echo 'Ocamldep src/parser/parser_messages.ml' <.> echo 'Ocamldep src/transform/reflection.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/encoding_select.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/util/lists.ml' <.> echo 'Ocamldep src/core/parser_tokens.ml' <.> echo 'Ocamldep src/transform/apply.ml' <.> echo 'Ocamldep src/printer/gappa.ml' <.> echo 'Ocamldep plugins/parser/dimacs.ml' <.> echo 'Ocamldep src/util/pp.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/printer/smtv2.ml' <.> echo 'Ocamldep src/transform/intro_projections_counterexmp.ml' <.> echo 'Ocamldep src/transform/eliminate_epsilon.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/ada_terms/ada_nametable.ml' <.> echo 'Ocamldep src/printer/why3printer.ml' <.> echo 'Ocamldep src/session/json_util.ml' <.> echo 'Ocamldep src/core/trans.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/session/strategy_parser.ml' <.> echo 'Ocamldep plugins/microc/mc_parser.ml' <.> echo 'Ocamldep src/transform/eliminate_unused.ml' <.> echo 'Ocamldep src/transform/eliminate_let.ml' <.> echo 'Ocamldep src/transform/remove_unused.ml' <.> echo 'Ocamldep src/transform/filter_trigger.ml' <.> echo 'Ocamldep src/session/unix_scheduler.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/parser/genequlin.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/eliminate_unused_hypo.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/tptp/tptp_typing.ml' <.> echo 'Ocamldep src/transform/eliminate_inductive.ml' <.> echo 'Ocamldep src/transform/close_epsilon.ml' <.> echo 'Ocamldep src/transform/encoding_twin.ml' <.> echo 'Ocamldep src/session/controller_itp.ml' <.> echo 'Ocamldep src/parser/parser.ml' <.> echo 'Ocamldep src/parser/ptree_helpers.ml' <.> echo 'Ocamldep src/transform/encoding_select.ml' <.> echo 'Ocamldep src/transform/eliminate_definition.ml' <.> echo 'Ocamldep plugins/cfg/cfg_ast.mli' <.> echo 'Ocamldep src/core/printer.ml' <.> echo 'Ocamldep src/extract/mltree.ml' <.> echo 'Ocamldep plugins/python/py_main.ml' <.> echo 'Ocamldep src/transform/detect_polymorphism.ml' <.> echo 'Ocamldep plugins/tptp/tptp_lexer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/microc/mc_main.ml' <.> echo 'Ocamldep src/transform/prop_curry.ml' <.> echo 'Ocamldep src/transform/encoding_sort.ml' <.> echo 'Ocamldep src/transform/induction_pr.ml' <.> echo 'Ocamldep src/session/itp_communication.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/mlw/rac.ml' <.> echo 'Ocamldep src/util/debug.ml' <.> echo 'Ocamldep src/util/hashcons.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/printer/cntexmp_printer.ml' <.> echo 'Ocamldep src/transform/lift_epsilon.ml' <.> echo 'Ocamldep src/util/json_lexer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/parser/glob.ml' <.> echo 'Ocamldep src/transform/eliminate_quantifiers.ml' <.> echo 'Ocamldep src/transform/intro_vc_vars_counterexmp.ml' <.> echo 'Ocamldep src/core/keywords.ml' <.> echo 'Ocamldep src/util/lists.ml' [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/tptp/tptp_ast.mli' <.> echo 'Ocamldep src/session/strategy_parser.ml' <.> echo 'Ocamldep src/mlw/rac.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/cfg/cfg_parser.ml' <.> echo 'Ocamldep plugins/ada_terms/ada_parser.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/driver/driver_parser.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/args_wrapper.ml' <.> echo 'Ocamldep src/transform/eliminate_algebraic.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/encoding_tags_full.ml' <.> echo 'Ocamldep src/transform/eliminate_unused_hypo.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/cfg/cfg_main.ml' <.> echo 'Ocamldep src/transform/gnat_split_conj.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/gnat_json/gnat_ast_pretty.ml' *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. <.> echo 'Ocamldep src/transform/args_wrapper.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/transform/rec_logic.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/microc/mc_printer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep src/printer/smtv1.ml' <.> echo 'Ocamldep src/printer/mathematica.ml' <.> echo 'Ocamldep plugins/gnat_json/gnat_ast.ml' <.> echo 'Ocamldep plugins/parser/genequlin.ml' <.> echo 'Ocamldep src/parser/glob.ml' <.> echo 'Ocamldep src/transform/encoding_tags_full.ml' <.> echo 'Ocamldep src/transform/rec_logic.ml' <.> echo 'Ocamldep src/driver/driver_parser.ml' [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamldep src/printer/smtv2.ml' <.> echo 'Ocamldep src/printer/cntexmp_printer.ml' <.> echo 'Ocamldep src/printer/smtv1.ml' <.> echo 'Ocamldep src/transform/prepare_for_counterexmp.ml' *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/gnat_json/ptree_constructors.ml' <.> echo 'Ocamldep src/transform/encoding_guards.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/ada_terms/ada_main.ml' [*] f77 -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/fortran-fail-wrapper -fstack-protector-strong -dumpmachine <.> echo 'Ocamldep src/driver/driver_ast.mli' <.> echo 'Ocamldep src/transform/generic_arg_trans_utils.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/cfg/cfg_paths.ml' <.> echo 'Ocamldep plugins/tptp/tptp_typing.ml' <.> echo 'Ocamldep plugins/cfg/cfg_main.ml' <.> echo 'Ocamldep plugins/tptp/tptp_ast.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/cfg/stackify.ml' <.> echo 'Ocamldep plugins/python/py_lexer.ml' <.> echo 'Ocamldep plugins/microc/mc_printer.ml' *** Please consider adding fortran to USE_LANGUAGES in the package Makefile. <.> echo 'Ocamldep plugins/gnat_json/gnat_ast_to_ptree.ml' [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamldep plugins/gnat_json/ptree_constructors.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/cfg/cfg_lexer.ml' <.> echo 'Ocamldep plugins/python/py_ast.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/ada_terms/ada_lexer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/microc/mc_ast.mli' <.> echo 'Ocamldep plugins/python/py_parser.ml' <.> echo 'Ocamldep plugins/microc/mc_main.ml' <.> echo 'Ocamldep plugins/cfg/cfg_parser.ml' *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] f77 -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/fortran-fail-wrapper -fstack-protector-strong -dumpmachine <.> echo 'Ocamldep plugins/cfg/cfg_lexer.ml' <.> echo 'Ocamldep plugins/ada_terms/ada_main.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamldep plugins/cfg/cfg_stackify.ml' *** Please consider adding fortran to USE_LANGUAGES in the package Makefile. <.> echo 'Ocamldep plugins/ada_terms/ada_nametable.ml' <.> echo 'Ocamldep plugins/ada_terms/ada_lexer.ml' <.> echo 'Ocamldep plugins/cfg/cfg_stackify.ml' [*] cc -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] ld -v <.> ld -v <.> echo 'Ocamldep plugins/gnat_json/gnat_ast_pretty.ml' <.> echo 'Ocamldep plugins/microc/mc_ast.mli' <.> echo 'Ocamldep plugins/cfg/cfg_paths.ml' <.> echo 'Ocamldep plugins/cfg/stackify.ml' [*] cc -v <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -v -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -mno-cygwin -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -mno-cygwin -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc --version <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 --version -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -v <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -v -I/tmp/lang/spark2014-13/work/.buildlink/include [*] f77 -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/fortran-fail-wrapper -fstack-protector-strong -dumpmachine *** Please consider adding fortran to USE_LANGUAGES in the package Makefile. [*] f77 -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/fortran-fail-wrapper -fstack-protector-strong -dumpmachine *** Please consider adding fortran to USE_LANGUAGES in the package Makefile. [*] ld -v <.> ld -v [*] cc -c -x c -MMD -MF semaphores_c.d -specs=/tmp/GPR.16907/GNAT-TEMP-000009.TMP /tmp/lang/spark2014-13/work/spark2014-12db22e854defa9d1c993ef904af1e72330a68ca/src/common/semaphores_c.c <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -x c -MMD -MF semaphores_c.d -specs=/tmp/GPR.16907/GNAT-TEMP-000009.TMP /tmp/lang/spark2014-13/work/spark2014-12db22e854defa9d1c993ef904af1e72330a68ca/src/common/semaphores_c.c -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -x c -MMD -MF colors.d -specs=/tmp/GPR.16907/GNAT-TEMP-000009.TMP /tmp/lang/spark2014-13/work/spark2014-12db22e854defa9d1c993ef904af1e72330a68ca/src/gnatprove/colors.c <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -x c -MMD -MF colors.d -specs=/tmp/GPR.16907/GNAT-TEMP-000009.TMP /tmp/lang/spark2014-13/work/spark2014-12db22e854defa9d1c993ef904af1e72330a68ca/src/gnatprove/colors.c -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/weakhtbl.mli' <.> echo 'Ocamlc src/util/weakhtbl.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/driver/prove_client.mli' <.> echo 'Ocamlc src/driver/prove_client.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/remove_unused.mli' <.> echo 'Ocamlc src/transform/remove_unused.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/encoding_twin.mli' <.> echo 'Ocamlc src/transform/encoding_twin.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/induction.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/smtv1.mli' <.> echo 'Ocamlc src/transform/induction.mli' <.> echo 'Ocamlc src/printer/smtv1.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/parser/dimacs.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/gnat_json/gnat_ast.ml' <.> echo 'Ocamlc plugins/parser/dimacs.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/why3session/why3session_main.mli' <.> echo 'Ocamlc src/why3session/why3session_main.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/mkdir lib/plugins [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/tools/main.mli' <.> /bin/mkdir -p lib/plugins [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/util.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/lists.mli' <.> echo 'Ocamlc src/util/util.mli' <.> echo 'Ocamlc src/tools/main.mli' <.> echo 'Ocamlc src/util/lists.mli' <.> echo 'Ocamlc plugins/gnat_json/gnat_ast.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/lexlib.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/re.ml' <.> echo 'Ocamlc src/util/lexlib.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/parser/parser_messages.mli' <.> echo 'Ocamlc src/util/re.ml' <.> echo 'Ocamlc src/parser/parser_messages.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/lift_epsilon.mli' <.> echo 'Ocamlc src/transform/lift_epsilon.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/smtv2.mli' <.> echo 'Ocamlc src/printer/smtv2.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/parser/genequlin.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/tools/why3config.mli' <.> echo 'Ocamlc plugins/parser/genequlin.mli' <.> echo 'Ocamlc src/tools/why3config.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/tools/why3pp.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/tools/why3wc.mli' <.> echo 'Ocamlc src/tools/why3pp.mli' <.> echo 'Ocamlc src/tools/why3wc.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/mysexplib.ml' <.> echo 'Ocamlc src/util/mysexplib.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/strings.mli' <.> echo 'Ocamlc src/util/strings.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/exthtbl.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Generate drivers/pvs-realizations.aux' <.> echo 'Ocamlc src/util/exthtbl.mli' <.> echo 'Generate drivers/pvs-realizations.aux' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/extract/cakeml.mli' <.> echo 'Ocamlc src/extract/cakeml.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Linking src/util/ppx_debug_optim' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/encoding_select.mli' <.> echo 'Linking src/util/ppx_debug_optim' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/pvs.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/gappa.mli' <.> echo 'Ocamlc src/printer/pvs.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/tools/why3replay.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/simplify.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/ide/why3web.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/isabelle-client/isabelle_client_main.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/yices.mli' <.> echo 'Ocamlc src/transform/encoding_select.mli' [*] cc -Wall -O -g -o src/server/logging.o -c src/server/logging.c <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/logging.o -c src/server/logging.c -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/tools/why3prove.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/config.mli' <.> echo 'Ocamlc src/isabelle-client/isabelle_client_main.mli' <.> echo 'Ocamlc src/printer/simplify.mli' <.> echo 'Ocamlc src/tools/why3replay.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/cmdline.mli' <.> echo 'Ocamlc src/printer/yices.mli' <.> echo 'Ocamlc src/ide/why3web.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/gnat/gnat_scheduler.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/encoding_tags_full.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/encoding_guards_full.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/case.mli' <.> echo 'Ocamlc src/tools/why3prove.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/instantiate_predicate.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/session/compress.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/prop_curry.mli' <.> echo 'Ocamlc src/util/cmdline.mli' [*] cc -Wall -O -g -o src/server/arraylist.o -c src/server/arraylist.c <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/arraylist.o -c src/server/arraylist.c -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/python/py_main.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/congruence.mli' <.> echo 'Ocamlc src/transform/encoding_guards_full.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/session/xml.mli' [*] cc -Wall -O -g -o src/server/queue.o -c src/server/queue.c <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/queue.o -c src/server/queue.c -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/tptp/tptp_printer.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/tools/why3extract.mli' <.> echo 'Ocamlc src/transform/encoding_tags_full.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/loc.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/microc/mc_main.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/session/unix_scheduler.mli' <.> echo 'Ocamlc src/transform/instantiate_predicate.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/tools/why3execute.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/mathematica.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/why3printer.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/extract/ocaml.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/hashcons.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/mlmpfr_wrapper.mli' <.> echo 'Ocamlc src/session/xml.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/encoding_tags.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/encoding_sort.mli' [*] cc -Wall -O -g -o src/server/cpulimit-win.o -c src/server/cpulimit-win.c <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/cpulimit-win.o -c src/server/cpulimit-win.c -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamlc src/util/config.mli' <.> echo 'Ocamlc src/gnat/gnat_scheduler.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/simplify_array.mli' [*] cc -Wall -O -g -o src/server/writebuf.o -c src/server/writebuf.c <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/writebuf.o -c src/server/writebuf.c -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/why3doc/doc_lexer.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/tools/why3show.mli' <.> echo 'Ocamlc plugins/python/py_main.mli' <.> echo 'Ocamlc src/session/compress.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/alt_ergo.mli' <.> echo 'Ocamlc src/transform/case.mli' <.> echo 'Ocamlc src/extract/ocaml.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_unknown_lsymbols.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/filter_trigger.mli' <.> echo 'Ocamlc src/printer/why3printer.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/extmap.mli' <.> echo 'Ocamlc plugins/microc/mc_main.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Generate drivers/coq-realizations.aux' <.> echo 'Ocamlc src/tools/why3show.mli' [*] cc -Wall -O -g -o src/server/server-unix.o -c src/server/server-unix.c <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/server-unix.o -c src/server/server-unix.c -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/why3doc/doc_main.mli' [*] cc -Wall -O -g -o src/server/cpulimit-unix.o -c src/server/cpulimit-unix.c <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/cpulimit-unix.o -c src/server/cpulimit-unix.c -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/re.ml' [*] cc -Wall -O -g -o src/server/proc.o -c src/server/proc.c <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/proc.o -c src/server/proc.c -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamlc src/transform/prop_curry.mli' <.> echo 'Ocamlc src/transform/encoding_tags.mli' [*] cc -Wall -O -g -o src/server/readbuf.o -c src/server/readbuf.c <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/readbuf.o -c src/server/readbuf.c -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/lists.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/ide/wserver.mli' <.> echo 'Ocamlc src/printer/mathematica.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/driver/smtv2_model_parser.mli' <.> echo 'Ocamlc src/util/mlmpfr_wrapper.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/why3doc/doc_html.mli' <.> echo 'Ocamlc plugins/tptp/tptp_printer.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/sysutil.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/isabelle.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/abstract_quantifiers.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/coq.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/cvc3.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/json_base.mli' [*] cc -Wall -O -g -o src/server/options.o -c src/server/options.c <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/options.o -c src/server/options.c -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/print_tree.mli' <.> echo 'Ocamlc src/transform/encoding_sort.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/strings.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/driver/sexp.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/getopt.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/induction_pr.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/big_real.mli' <.> echo 'Ocamlc src/transform/eliminate_unknown_lsymbols.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Generate drivers/isabelle-realizations.aux' <.> echo 'Ocamlc src/transform/congruence.mli' [*] cc -Wall -O -g -o src/server/server-win.o -c src/server/server-win.c <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/server-win.o -c src/server/server-win.c -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/opt.mli' [*] cc -c -o src/util/debug_optim.o /tmp/camlasmcbc2d4.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/debug_optim.o /tmp/camlasmcbc2d4.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/tools/why3shell.mli' <.> echo 'Ocamlc src/session/unix_scheduler.mli' <.> echo 'Ocamlc src/transform/abstract_quantifiers.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_unknown_types.mli' <.> echo 'Ocamlopt src/util/re.ml' [*] cc -Wall -O -g -o src/server/request.o -c src/server/request.c <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/request.o -c src/server/request.c -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamlc src/transform/simplify_array.mli' <.> echo 'Ocamlc src/util/lists.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/encoding_guards.mli' <.> echo 'Ocamlc src/why3doc/doc_main.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/bigInt.mli' <.> echo 'Ocamlc src/util/loc.mli' <.> echo 'Ocamlc src/transform/induction_pr.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/vector.mli' <.> echo 'Ocamlc src/ide/wserver.mli' <.> echo 'Ocamlc src/why3doc/doc_html.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/pp.mli' <.> echo 'Ocamlc src/driver/sexp.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/strings.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/tools/why3realize.mli' <.> echo 'Ocamlc src/util/hashcons.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_symbol.mli' <.> echo 'Ocamlc src/tools/why3execute.mli' <.> echo 'Ocamlc src/transform/filter_trigger.mli' <.> echo 'Ocamlc src/why3doc/doc_lexer.mli' <.> echo 'Ocamlc src/printer/alt_ergo.mli' <.> echo 'Generate drivers/isabelle-realizations.aux' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/pqueue.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/gnat_split_disj.mli' <.> echo 'Ocamlc src/util/sysutil.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/parser/parser_messages.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/parser/parser_messages.ml' <.> echo 'Ocamlc src/transform/eliminate_unknown_types.mli' <.> echo 'Ocamlc src/util/pp.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/lists.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/extract/c.mli' <.> echo 'Ocamlc src/tools/why3shell.mli' <.> echo 'Ocamlc src/mlw/big_real.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/exn_printer.mli' <.> echo 'Ocamlc src/util/json_base.mli' <.> echo 'Ocamlc src/driver/smtv2_model_parser.mli' <.> echo 'Ocamlc src/util/strings.ml' <.> echo 'Ocamlc src/util/getopt.mli' <.> echo 'Ocamlc src/transform/encoding_guards.mli' <.> echo 'Ocamlc src/printer/cvc3.mli' <.> echo 'Ocamlc src/printer/isabelle.mli' <.> echo 'Ocamlc src/printer/gappa.mli' <.> echo 'Ocamlc src/transform/eliminate_symbol.mli' <.> echo 'Ocamlc src/tools/why3realize.mli' <.> echo 'Ocamlc src/util/print_tree.mli' <.> echo 'Ocamlc src/util/vector.mli' <.> echo 'Ocamlc src/util/exn_printer.mli' <.> echo 'Ocamlc src/printer/coq.mli' <.> echo 'Ocamlc src/tools/why3extract.mli' <.> echo 'Ocamlc src/transform/gnat_split_disj.mli' <.> echo 'Ocamlc src/util/bigInt.mli' <.> echo 'Ocamlc src/parser/parser_messages.ml' <.> echo 'Ocamlopt src/parser/parser_messages.ml' <.> echo 'Ocamlc src/extract/c.mli' <.> echo 'Ocamlopt src/util/lists.ml' <.> echo 'Ocamlc src/util/opt.mli' <.> echo 'Ocamlc src/util/pqueue.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/dynlink_wrapper.mli' <.> echo 'Ocamlc src/util/dynlink_wrapper.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/mysexplib.ml' <.> echo 'Ocamlopt src/util/mysexplib.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/weakhtbl.ml' <.> echo 'Ocamlc src/util/extmap.mli' <.> echo 'Generate drivers/coq-realizations.aux' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/mlmpfr_wrapper.ml' <.> echo 'Ocamlc src/util/weakhtbl.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/weakhtbl.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/exthtbl.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/session/compress.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/session/compress.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/exthtbl.ml' <.> echo 'Ocamlc src/util/mlmpfr_wrapper.ml' <.> echo 'Ocamlopt src/session/compress.ml' <.> echo 'Ocamlc src/util/exthtbl.ml' <.> echo 'Ocamlc src/session/compress.ml' <.> echo 'Ocamlopt src/util/weakhtbl.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/session/unix_scheduler.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/session/unix_scheduler.ml' <.> echo 'Ocamlc src/session/unix_scheduler.ml' <.> echo 'Ocamlopt src/util/strings.ml' <.> echo 'Ocamlopt src/session/unix_scheduler.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/mlmpfr_wrapper.ml' <.> echo 'Ocamlopt src/util/mlmpfr_wrapper.ml' <.> echo 'Ocamlopt src/util/exthtbl.ml' [*] cc -c -o /tmp/camlstartup8177a0.o /tmp/camlstartupa33acb.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o /tmp/camlstartup8177a0.o /tmp/camlstartupa33acb.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/util/re.o /tmp/camlasm9591db.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/re.o /tmp/camlasm9591db.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -O2 -fno-strict-aliasing -fwrapv -pthread -Wall -Wdeclaration-after-statement -fno-common -fexcess-precision=standard -fno-tree-vrp -fPIC -ffunction-sections -O2 -I/usr/include -Wl,-E -Wl,-zrelro -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -o src/util/ppx_debug_optim -L/usr/pkg/lib/ocaml/compiler-libs -L/usr/pkg/lib/ocaml -O2 -I/usr/pkg/include -I/usr/include -Dz_off_t=long -I/usr/pkg/gcc13-gnat/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude -L/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0 -Wl,-R/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0 -L/usr/pkg/gcc13-gnat/lib -Wl,-R/usr/pkg/gcc13-gnat/lib -L/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -L/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adalib /tmp/camlstartup8177a0.o /usr/pkg/lib/ocaml/std_exit.o src/util/debug_optim.o /usr/pkg/lib/ocaml/compiler-libs/ocamlcommon.a /usr/pkg/lib/ocaml/stdlib.a /usr/pkg/lib/ocaml/libasmrun.a -lm <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -O2 -fno-strict-aliasing -fwrapv -pthread -Wall -Wdeclaration-after-statement -fno-common -fexcess-precision=standard -fno-tree-vrp -fPIC -ffunction-sections -O2 -Wl,-E -Wl,-zrelro -Wl,-rpath,/usr/pkg/lib -o src/util/ppx_debug_optim -L/usr/pkg/lib/ocaml/compiler-libs -L/usr/pkg/lib/ocaml -O2 -I/tmp/lang/spark2014-13/work/.buildlink/include -Dz_off_t=long -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/include -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude -L/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0 -Wl,-rpath,/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0 -L/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib -Wl,-rpath,/usr/pkg/gcc13-gnat/lib -L/tmp/lang/spark2014-13/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adalib /tmp/camlstartup8177a0.o /usr/pkg/lib/ocaml/std_exit.o src/util/debug_optim.o /usr/pkg/lib/ocaml/compiler-libs/ocamlcommon.a /usr/pkg/lib/ocaml/stdlib.a /usr/pkg/lib/ocaml/libasmrun.a -lm [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/util.ml' <.> echo 'Ocamlopt src/util/util.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/print_tree.ml' <.> echo 'Ocamlopt src/util/print_tree.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/dynlink_wrapper.ml' <.> echo 'Ocamlc src/util/dynlink_wrapper.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/getopt.ml' <.> echo 'Ocamlc src/util/getopt.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/diffmap.mli' <.> echo 'Ocamlc src/util/diffmap.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/print_tree.ml' <.> echo 'Ocamlc src/util/print_tree.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/config.ml' <.> echo 'Ocamlopt src/util/config.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/opt.ml' <.> echo 'Ocamlopt src/util/opt.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/driver/prove_client.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/hashcons.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/opt.ml' <.> echo 'Ocamlc src/driver/prove_client.ml' [*] cc -c -o src/util/mysexplib.o /tmp/camlasm46d01f.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/mysexplib.o /tmp/camlasm46d01f.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/util.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/extset.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/extmap.ml' <.> echo 'Ocamlc src/util/opt.ml' <.> echo 'Ocamlc src/util/util.ml' <.> echo 'Ocamlc src/util/hashcons.ml' <.> echo 'Ocamlc src/util/extset.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/hashcons.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/driver/sexp.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/dynlink_wrapper.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/json_base.ml' <.> echo 'Ocamlc src/driver/sexp.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/driver/sexp.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/config.ml' <.> echo 'Ocamlc src/util/extmap.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/json_parser.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/pqueue.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/extmap.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/json_base.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/bigInt.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/exn_printer.ml' <.> echo 'Ocamlc src/util/pqueue.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/cmdline.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/vector.ml' <.> echo 'Ocamlopt src/util/dynlink_wrapper.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/number.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/gnat/gnat_scheduler.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/exn_printer.ml' <.> echo 'Ocamlopt src/util/hashcons.ml' <.> echo 'Ocamlopt src/driver/sexp.ml' <.> echo 'Ocamlc src/util/json_base.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/vector.ml' <.> echo 'Ocamlc src/util/bigInt.ml' <.> echo 'Ocamlc src/util/exn_printer.ml' <.> echo 'Ocamlc src/util/config.ml' <.> echo 'Ocamlopt src/util/vector.ml' <.> echo 'Ocamlopt src/util/exn_printer.ml' <.> echo 'Ocamlopt src/gnat/gnat_scheduler.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/bigInt.ml' <.> echo 'Ocamlc src/util/vector.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/big_real.ml' <.> echo 'Ocamlopt src/util/json_base.ml' <.> echo 'Ocamlopt src/util/extmap.ml' <.> echo 'Ocamlc src/util/number.mli' <.> echo 'Ocamlc src/util/cmdline.ml' <.> echo 'Ocamlc src/util/json_parser.mli' <.> echo 'Ocamlc src/mlw/big_real.ml' <.> echo 'Ocamlopt src/util/bigInt.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/wstdlib.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/debug.mli' <.> echo 'Ocamlc src/util/debug.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/gnat/gnat_loc.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/pp.ml' <.> echo 'Ocamlc src/util/wstdlib.mli' [*] cc -c -o src/util/opt.o /tmp/camlasm8ebec3.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/opt.o /tmp/camlasm8ebec3.s -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamlc src/gnat/gnat_loc.mli' [*] cc -c -o src/util/hashcons.o /tmp/camlasm06f35e.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/hashcons.o /tmp/camlasm06f35e.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/util/lists.o /tmp/camlasm418cbe.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/lists.o /tmp/camlasm418cbe.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/sysutil.ml' <.> echo 'Ocamlc src/util/sysutil.ml' [*] cc -c -o src/session/compress.o /tmp/camlasmbcebbf.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/session/compress.o /tmp/camlasmbcebbf.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/parser/parser_messages.o /tmp/camlasm07ab8d.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/parser/parser_messages.o /tmp/camlasm07ab8d.s -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamlc src/util/pp.ml' [*] cc -c -o src/gnat/gnat_scheduler.o /tmp/camlasm795934.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/gnat/gnat_scheduler.o /tmp/camlasm795934.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/util/print_tree.o /tmp/camlasmd02d17.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/print_tree.o /tmp/camlasmd02d17.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/util/weakhtbl.o /tmp/camlasm514861.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/weakhtbl.o /tmp/camlasm514861.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/extset.ml' [*] cc -c -o src/util/dynlink_wrapper.o /tmp/camlasm0ed56d.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/dynlink_wrapper.o /tmp/camlasm0ed56d.s -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamlc src/util/extset.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/pp.ml' [*] cc -Wall -o lib/why3cpulimit src/server/cpulimit-unix.o src/server/cpulimit-win.o <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -o lib/why3cpulimit src/server/cpulimit-unix.o src/server/cpulimit-win.o -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamlopt src/util/pp.ml' [*] cc -c -o src/util/json_base.o /tmp/camlasm28ed7e.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/json_base.o /tmp/camlasm28ed7e.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/util/config.o /tmp/camlasmeac810.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/config.o /tmp/camlasmeac810.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/util/mlmpfr_wrapper.o /tmp/camlasm484efb.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/mlmpfr_wrapper.o /tmp/camlasm484efb.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/session/unix_scheduler.o /tmp/camlasmdb10ad.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/session/unix_scheduler.o /tmp/camlasmdb10ad.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/util/exn_printer.o /tmp/camlasm534eaf.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/exn_printer.o /tmp/camlasm534eaf.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/constant.mli' <.> echo 'Ocamlc src/util/constant.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/warning.mli' <.> echo 'Ocamlc src/util/warning.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/json_lexer.mli' <.> echo 'Ocamlc src/util/json_lexer.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/json_parser.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/lexlib.ml' <.> echo 'Ocamlc src/util/json_parser.ml' <.> echo 'Ocamlc src/util/lexlib.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/driver/driver_ast.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/parser_tokens.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/ident.mli' <.> echo 'Ocamlc src/driver/driver_ast.mli' <.> echo 'Ocamlc src/core/ident.mli' <.> echo 'Ocamlc src/core/parser_tokens.mli' [*] cc -c -o src/util/exthtbl.o /tmp/camlasmef56a0.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/exthtbl.o /tmp/camlasmef56a0.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/mlw/big_real.ml' <.> echo 'Ocamlopt src/mlw/big_real.ml' [*] cc -c -o src/driver/sexp.o /tmp/camlasm57406d.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/driver/sexp.o /tmp/camlasm57406d.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/driver/driver_parser.mli' <.> echo 'Ocamlc src/driver/driver_parser.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/driver/driver_lexer.mli' <.> echo 'Ocamlc src/driver/driver_lexer.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/parser_tokens.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/json_parser.ml' <.> echo 'Ocamlc src/core/parser_tokens.ml' <.> echo 'Ocamlopt src/util/json_parser.ml' [*] cc -c -o src/util/vector.o /tmp/camlasm46fb02.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/vector.o /tmp/camlasm46fb02.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/util/util.o /tmp/camlasme0e551.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/util.o /tmp/camlasme0e551.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/json_lexer.ml' <.> echo 'Ocamlc src/util/json_lexer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/constant.ml' <.> echo 'Ocamlc src/util/constant.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/warning.ml' <.> echo 'Ocamlc src/util/warning.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/diffmap.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/cmdline.ml' <.> echo 'Ocamlc src/util/diffmap.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/wstdlib.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/rc.mli' <.> echo 'Ocamlopt src/util/cmdline.ml' <.> echo 'Ocamlc src/util/wstdlib.ml' <.> echo 'Ocamlc src/util/rc.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/pqueue.ml' <.> echo 'Ocamlopt src/util/pqueue.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/driver/driver_lexer.ml' <.> echo 'Ocamlc src/driver/driver_lexer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/plugin.mli' <.> echo 'Ocamlc src/util/plugin.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/debug.ml' <.> echo 'Ocamlc src/util/debug.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/number.ml' <.> echo 'Ocamlc src/util/number.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/session/xml.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/loc.ml' <.> echo 'Ocamlc src/session/xml.ml' <.> echo 'Ocamlc src/util/loc.ml' [*] cc -c -o src/util/strings.o /tmp/camlasm720ac5.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/strings.o /tmp/camlasm720ac5.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/ty.mli' <.> echo 'Ocamlc src/core/ty.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/parser/glob.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/driver/driver_parser.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/ident.ml' <.> echo 'Ocamlc src/driver/driver_parser.ml' <.> echo 'Ocamlc src/core/ident.ml' [*] cc -c -o src/util/bigInt.o /tmp/camlasmd0f5b0.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/bigInt.o /tmp/camlasmd0f5b0.s -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamlc src/parser/glob.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/rc.ml' <.> echo 'Ocamlc src/util/rc.ml' [*] cc -c -o src/util/pqueue.o /tmp/camlasm2aa76f.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/pqueue.o /tmp/camlasm2aa76f.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/util/pp.o /tmp/camlasm6459b6.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/pp.o /tmp/camlasm6459b6.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/mlw/big_real.o /tmp/camlasm7778ba.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/mlw/big_real.o /tmp/camlasm7778ba.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/util/extmap.o /tmp/camlasm832dc8.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/extmap.o /tmp/camlasm832dc8.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/getopt.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/driver/prove_client.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/parser/glob.ml' <.> echo 'Ocamlopt src/util/getopt.ml' <.> echo 'Ocamlopt src/driver/prove_client.ml' <.> echo 'Ocamlc src/parser/glob.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 <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -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 -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/util/plugin.ml' <.> echo 'Ocamlc src/util/plugin.ml' [*] cc -c -o src/util/cmdline.o /tmp/camlasm804598.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/cmdline.o /tmp/camlasm804598.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/sysutil.ml' <.> echo 'Ocamlopt src/util/sysutil.ml' [*] cc -c -o src/util/json_parser.o /tmp/camlasm8e52b3.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/json_parser.o /tmp/camlasm8e52b3.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/json_lexer.ml' <.> echo 'Ocamlopt src/util/json_lexer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/extset.ml' <.> echo 'Ocamlopt src/util/extset.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/diffmap.ml' <.> echo 'Ocamlopt src/util/diffmap.ml' [*] cc -c -o src/util/getopt.o /tmp/camlasm43d559.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/getopt.o /tmp/camlasm43d559.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/term.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/ty.ml' [*] cc -c -o src/util/json_lexer.o /tmp/camlasm2a3c4b.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/json_lexer.o /tmp/camlasm2a3c4b.s -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamlc src/core/term.mli' <.> echo 'Ocamlc src/core/ty.ml' [*] cc -c -o src/util/sysutil.o /tmp/camlasmb18036.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/sysutil.o /tmp/camlasmb18036.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/driver/prove_client.o /tmp/camlasm80c94b.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/driver/prove_client.o /tmp/camlasm80c94b.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/pattern.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/close_epsilon.mli' <.> echo 'Ocamlc src/core/pattern.mli' <.> echo 'Ocamlc src/transform/close_epsilon.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/decl.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/ity.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/cntexmp_printer.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/coercion.mli' <.> echo 'Ocamlc src/mlw/ity.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/term.ml' <.> echo 'Ocamlc src/core/decl.mli' <.> echo 'Ocamlc src/core/term.ml' <.> echo 'Ocamlc src/printer/cntexmp_printer.mli' <.> echo 'Ocamlc src/core/coercion.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/dterm.mli' <.> echo 'Ocamlc src/core/dterm.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/coercion.ml' <.> echo 'Ocamlc src/core/coercion.ml' [*] cc -c -o src/util/diffmap.o /tmp/camlasm0789d0.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/diffmap.o /tmp/camlasm0789d0.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/mkdir -p obj obj-gnat obj-gnat2why obj-tools ../install/bin <.> /bin/mkdir -p -p obj obj-gnat obj-gnat2why obj-tools ../install/bin [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/pattern.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/theory.mli' <.> echo 'Ocamlc src/core/pattern.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/decl.ml' <.> echo 'Ocamlc src/core/decl.ml' <.> echo 'Ocamlc src/core/theory.mli' [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/util/extset.o /tmp/camlasm16b541.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/extset.o /tmp/camlasm16b541.s -I/tmp/lang/spark2014-13/work/.buildlink/include *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] cc -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -v <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -v -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -mno-cygwin -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -mno-cygwin -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/wstdlib.ml' <.> echo 'Ocamlopt src/util/wstdlib.ml' [*] cc --version <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 --version -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/cntexmp_printer.ml' <.> echo 'Ocamlc src/printer/cntexmp_printer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/expr.mli' [*] cc -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamlc src/mlw/expr.mli' [*] cc -v <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -v -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt plugins/gnat_json/gnat_ast.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/gnat_json/gnat_ast_pretty.mli' <.> echo 'Ocamlopt plugins/gnat_json/gnat_ast.ml' <.> echo 'Ocamlc plugins/gnat_json/gnat_ast_pretty.mli' [*] f77 -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/fortran-fail-wrapper -fstack-protector-strong -dumpmachine *** Please consider adding fortran to USE_LANGUAGES in the package Makefile. [*] f77 -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/fortran-fail-wrapper -fstack-protector-strong -dumpmachine *** Please consider adding fortran to USE_LANGUAGES in the package Makefile. [*] ld -v <.> ld -v [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/util/wstdlib.o /tmp/camlasmafd0e9.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/wstdlib.o /tmp/camlasmafd0e9.s -I/tmp/lang/spark2014-13/work/.buildlink/include *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] cc -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -v <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -v -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -mno-cygwin -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -mno-cygwin -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc --version <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 --version -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -v <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -v -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/parser/ptree.ml' <.> echo 'Ocamlc src/parser/ptree.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/pdecl.mli' <.> echo 'Ocamlc src/mlw/pdecl.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/task.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/detect_polymorphism.mli' <.> echo 'Ocamlc src/core/task.mli' <.> echo 'Ocamlc src/transform/detect_polymorphism.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/env.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/theory.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_literal.mli' <.> echo 'Ocamlc src/core/theory.ml' <.> echo 'Ocamlc src/transform/eliminate_literal.mli' <.> echo 'Ocamlc src/core/env.mli' [*] f77 -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/fortran-fail-wrapper -fstack-protector-strong -dumpmachine *** Please consider adding fortran to USE_LANGUAGES in the package Makefile. [*] f77 -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/fortran-fail-wrapper -fstack-protector-strong -dumpmachine *** Please consider adding fortran to USE_LANGUAGES in the package Makefile. [*] ld -v <.> ld -v [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/debug.ml' <.> echo 'Ocamlopt src/util/debug.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/rc.ml' <.> echo 'Ocamlopt src/util/rc.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/eval_match.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/typeinv.mli' <.> echo 'Ocamlc src/mlw/eval_match.mli' <.> echo 'Ocamlc src/mlw/typeinv.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/eval_match.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/parser/mlw_printer.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/typeinv.ml' <.> echo 'Ocamlc src/mlw/eval_match.ml' <.> echo 'Ocamlc src/mlw/typeinv.ml' <.> echo 'Ocamlc src/parser/mlw_printer.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/parser/ptree_helpers.mli' <.> echo 'Ocamlc src/parser/ptree_helpers.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/session/termcode.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/pretty.mli' <.> echo 'Ocamlc src/session/termcode.mli' <.> echo 'Ocamlc src/core/pretty.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/task.ml' <.> echo 'Ocamlc src/core/task.ml' [*] cc -c -o src/util/debug.o /tmp/camlasmf96094.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/debug.o /tmp/camlasmf96094.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/loc.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/number.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/plugin.ml' <.> echo 'Ocamlopt src/util/loc.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/session/xml.ml' <.> echo 'Ocamlopt src/util/number.ml' <.> echo 'Ocamlopt src/session/xml.ml' <.> echo 'Ocamlopt src/util/plugin.ml' [*] cc -c -o src/util/loc.o /tmp/camlasm4b9ca2.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/loc.o /tmp/camlasm4b9ca2.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/pmodule.mli' <.> echo 'Ocamlc src/mlw/pmodule.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/expr.ml' <.> echo 'Ocamlc src/mlw/expr.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/pdecl.ml' <.> echo 'Ocamlc src/mlw/pdecl.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/parser/mlw_printer.ml' <.> echo 'Ocamlc src/parser/mlw_printer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/driver/whyconf.mli' <.> echo 'Ocamlc src/driver/whyconf.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/vc.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/trans.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/reduction_engine.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/lexlib.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/env.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/ity.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/parser/ptree_helpers.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/dterm.ml' <.> echo 'Ocamlopt src/util/lexlib.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/warning.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/core/ident.ml' <.> echo 'Ocamlc src/parser/ptree_helpers.ml' [*] cc -c -o src/session/xml.o /tmp/camlasme3eb6a.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/session/xml.o /tmp/camlasme3eb6a.s -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamlc src/mlw/ity.ml' <.> echo 'Ocamlc src/transform/reduction_engine.mli' <.> echo 'Ocamlopt src/util/warning.ml' <.> echo 'Ocamlc src/core/dterm.ml' <.> echo 'Ocamlopt src/core/ident.ml' <.> echo 'Ocamlc src/core/trans.mli' <.> echo 'Ocamlc src/core/env.ml' [*] cc -c -o src/util/plugin.o /tmp/camlasm8230d9.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/plugin.o /tmp/camlasm8230d9.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/driver/autodetection.mli' <.> echo 'Ocamlc src/driver/autodetection.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/session/strategy.mli' <.> echo 'Ocamlc src/session/strategy.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/driver/autodetection.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/driver/whyconf.ml' <.> echo 'Ocamlc src/driver/autodetection.ml' <.> echo 'Ocamlc src/driver/whyconf.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/printer.mli' <.> echo 'Ocamlc src/core/printer.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/simplify_formula.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/inlining.mli' <.> echo 'Ocamlc src/transform/simplify_formula.mli' <.> echo 'Ocamlc src/transform/inlining.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_algebraic.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_inductive.mli' <.> echo 'Ocamlc src/transform/eliminate_algebraic.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/apply.mli' <.> echo 'Ocamlc src/transform/eliminate_inductive.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_unused.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/gnat_split_conj.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/subst.mli' <.> echo 'Ocamlc src/transform/gnat_split_conj.mli' <.> echo 'Ocamlc src/transform/subst.mli' <.> echo 'Ocamlc src/transform/eliminate_unused.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_if.mli' <.> echo 'Ocamlc src/transform/apply.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_let.mli' <.> echo 'Ocamlc src/transform/eliminate_if.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/lift_epsilon.ml' <.> echo 'Ocamlc src/transform/eliminate_let.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/prop_curry.ml' <.> echo 'Ocamlc src/transform/prop_curry.ml' <.> echo 'Ocamlc src/transform/lift_epsilon.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/smoke_detector.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/generic_arg_trans_utils.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/gnat_rewrite.mli' <.> echo 'Ocamlc src/transform/gnat_rewrite.mli' <.> echo 'Ocamlc src/transform/smoke_detector.mli' <.> echo 'Ocamlc src/transform/generic_arg_trans_utils.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/trans.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/simplify_array.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/close_epsilon.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/instantiate_predicate.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/detect_polymorphism.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/remove_unused.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_symbol.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/split_goal.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_epsilon.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/intro_vc_vars_counterexmp.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/abstraction.mli' <.> echo 'Ocamlc src/core/trans.ml' <.> echo 'Ocamlc src/transform/split_goal.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/session/termcode.ml' <.> echo 'Ocamlc src/transform/simplify_array.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/encoding.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/congruence.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/args_wrapper.mli' <.> echo 'Ocamlc src/mlw/vc.mli' <.> echo 'Ocamlc src/transform/remove_unused.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/cut.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/rec_logic.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_definition.mli' <.> echo 'Ocamlc src/transform/instantiate_predicate.ml' <.> echo 'Ocamlc src/transform/eliminate_symbol.ml' <.> echo 'Ocamlc src/transform/close_epsilon.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/compute.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/destruct.mli' <.> echo 'Ocamlc src/transform/detect_polymorphism.ml' <.> echo 'Ocamlc src/transform/abstraction.mli' <.> echo 'Ocamlc src/transform/congruence.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/reflection.mli' <.> echo 'Ocamlc src/transform/cut.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/libencoding.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/intro_projections_counterexmp.mli' <.> echo 'Ocamlc src/transform/eliminate_epsilon.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/abstract_quantifiers.ml' <.> echo 'Ocamlc src/transform/compute.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_unused_hypo.ml' <.> echo 'Ocamlc src/transform/args_wrapper.mli' <.> echo 'Ocamlc src/transform/eliminate_definition.mli' <.> echo 'Ocamlc src/transform/intro_vc_vars_counterexmp.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/introduction.mli' <.> echo 'Ocamlc src/transform/rec_logic.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/prepare_for_counterexmp.mli' <.> echo 'Ocamlc src/transform/destruct.mli' [*] cc -c -o src/util/warning.o /tmp/camlasm95403e.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/warning.o /tmp/camlasm95403e.s -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamlc src/transform/libencoding.mli' <.> echo 'Ocamlc src/transform/intro_projections_counterexmp.mli' <.> echo 'Ocamlc src/transform/reflection.mli' <.> echo 'Ocamlc src/transform/abstract_quantifiers.ml' <.> echo 'Ocamlc src/transform/eliminate_unused_hypo.ml' <.> echo 'Ocamlc src/transform/prepare_for_counterexmp.mli' <.> echo 'Ocamlc src/transform/encoding.mli' <.> echo 'Ocamlc src/session/termcode.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_quantifiers.ml' <.> echo 'Ocamlc src/transform/eliminate_quantifiers.ml' <.> echo 'Ocamlc src/transform/introduction.mli' [*] cc -c -o src/util/rc.o /tmp/camlasm839722.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/rc.o /tmp/camlasm839722.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_if.ml' <.> echo 'Ocamlc src/transform/eliminate_if.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/pmodule.ml' <.> echo 'Ocamlc src/mlw/pmodule.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/vc.ml' <.> echo 'Ocamlc src/mlw/vc.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/split_goal.ml' <.> echo 'Ocamlc src/transform/split_goal.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/gnat_split_disj.ml' <.> echo 'Ocamlc src/transform/gnat_split_disj.ml' [*] cc -c -o src/util/number.o /tmp/camlasme3af79.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/number.o /tmp/camlasme3af79.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/pvs.ml' <.> echo 'Ocamlc src/printer/pvs.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/abstraction.ml' <.> echo 'Ocamlc src/transform/abstraction.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/parser/parser.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/fold_defs.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/session/strategy_parser.mli' <.> echo 'Ocamlc src/transform/fold_defs.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/coq.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_inductive.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/discriminate.mli' <.> echo 'Ocamlc src/transform/eliminate_inductive.ml' <.> echo 'Ocamlc src/printer/coq.ml' <.> echo 'Ocamlc src/session/strategy_parser.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_unused.ml' <.> echo 'Ocamlc src/transform/eliminate_unused.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/dexpr.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/simplify_formula.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/model_parser.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/printer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_unknown_lsymbols.ml' <.> echo 'Ocamlc src/mlw/dexpr.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/extract/mltree.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/filter_trigger.ml' <.> echo 'Ocamlc src/transform/simplify_formula.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/pinterp_core.mli' <.> echo 'Ocamlc src/core/model_parser.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_algebraic.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_let.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_unknown_types.ml' <.> echo 'Ocamlc src/transform/eliminate_unknown_lsymbols.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/encoding_sort.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/isabelle.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/generic_arg_trans_utils.ml' <.> echo 'Ocamlc src/transform/eliminate_unknown_types.ml' <.> echo 'Ocamlc src/transform/encoding_sort.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/mathematica.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/session/strategy.ml' <.> echo 'Ocamlc src/transform/eliminate_algebraic.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/reduction_engine.ml' <.> echo 'Ocamlc src/session/strategy.ml' <.> echo 'Ocamlc src/core/printer.ml' <.> echo 'Ocamlc src/mlw/pinterp_core.mli' <.> echo 'Ocamlc src/transform/reduction_engine.ml' <.> echo 'Ocamlc src/transform/eliminate_let.ml' <.> echo 'Ocamlc src/transform/generic_arg_trans_utils.ml' <.> echo 'Ocamlc src/printer/isabelle.ml' <.> echo 'Ocamlc src/parser/parser.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/parser/lexer.mli' <.> echo 'Ocamlc src/transform/discriminate.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/smoke_detector.ml' <.> echo 'Ocamlc src/parser/lexer.mli' <.> echo 'Ocamlc src/transform/smoke_detector.ml' <.> echo 'Ocamlc src/printer/mathematica.ml' <.> echo 'Ocamlc src/transform/filter_trigger.ml' <.> echo 'Ocamlc src/extract/mltree.mli' [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/extract/mlinterp.mli' <.> echo 'Ocamlc src/extract/mlinterp.mli' [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] cc -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -v <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -v -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -mno-cygwin -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -mno-cygwin -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/gnat_split_conj.ml' <.> echo 'Ocamlc src/transform/gnat_split_conj.ml' [*] cc --version <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 --version -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/gnat_rewrite.ml' <.> echo 'Ocamlc src/transform/gnat_rewrite.ml' [*] cc -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -v <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -v -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_epsilon.ml' <.> echo 'Ocamlc src/transform/eliminate_epsilon.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/gappa.ml' <.> echo 'Ocamlc src/printer/gappa.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/core/parser_tokens.ml' <.> echo 'Ocamlopt src/core/parser_tokens.ml' [*] cc -c -o src/util/lexlib.o /tmp/camlasm13f64d.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/lexlib.o /tmp/camlasm13f64d.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] f77 -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/fortran-fail-wrapper -fstack-protector-strong -dumpmachine [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_literal.ml' *** Please consider adding fortran to USE_LANGUAGES in the package Makefile. <.> echo 'Ocamlc src/transform/eliminate_literal.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/encoding_guards_full.ml' [*] f77 -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/fortran-fail-wrapper -fstack-protector-strong -dumpmachine [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/libencoding.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/util/constant.ml' <.> echo 'Ocamlc src/transform/encoding_guards_full.ml' <.> echo 'Ocamlc src/transform/libencoding.ml' <.> echo 'Ocamlopt src/util/constant.ml' *** Please consider adding fortran to USE_LANGUAGES in the package Makefile. [*] ld -v <.> ld -v [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/encoding_tags.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/introduction.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/encoding.ml' <.> echo 'Ocamlc src/transform/introduction.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/encoding_guards.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/encoding_twin.ml' <.> echo 'Ocamlc src/transform/encoding_guards.ml' <.> echo 'Ocamlc src/transform/encoding_twin.ml' <.> echo 'Ocamlc src/transform/encoding_tags.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/encoding_tags_full.ml' <.> echo 'Ocamlc src/transform/encoding_tags_full.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/extract/compile.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/session/strategy_parser.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/model_parser.ml' <.> echo 'Ocamlc src/core/model_parser.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/driver/smtv2_model_defs.mli' <.> echo 'Ocamlc src/extract/compile.mli' <.> echo 'Ocamlc src/driver/smtv2_model_defs.mli' <.> echo 'Ocamlc src/transform/encoding.ml' <.> echo 'Ocamlc src/session/strategy_parser.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/extract/pdriver.mli' <.> echo 'Ocamlc src/extract/pdriver.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/driver/call_provers.mli' <.> echo 'Ocamlc src/driver/call_provers.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/keywords.mli' <.> echo 'Ocamlc src/core/keywords.mli' [*] cc -c -o src/core/parser_tokens.o /tmp/camlasmb676e6.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/core/parser_tokens.o /tmp/camlasmb676e6.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/core/ident.o /tmp/camlasm11e7bc.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/core/ident.o /tmp/camlasm11e7bc.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/parser/typing.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/smtv1.ml' <.> echo 'Ocamlc src/parser/typing.mli' <.> echo 'Ocamlc src/printer/smtv1.ml' [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/cut.ml' *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/ind_itp.mli' <.> echo 'Ocamlc src/transform/ind_itp.mli' [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamlc src/transform/cut.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/simplify.ml' *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/apply.ml' <.> echo 'Ocamlc src/transform/apply.ml' [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/discriminate.ml' *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. <.> echo 'Ocamlc src/transform/discriminate.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/gnat_trivial.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/intro_vc_vars_counterexmp.ml' <.> echo 'Ocamlc src/transform/gnat_trivial.ml' [*] cc -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/pinterp_core.ml' <.> echo 'Ocamlc src/transform/intro_vc_vars_counterexmp.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/extract/mltree.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/compute.ml' <.> echo 'Ocamlc src/printer/simplify.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/case.ml' [*] cc -v <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -v -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/dexpr.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/cvc3.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/parser/report.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/encoding_select.ml' <.> echo 'Ocamlc src/mlw/pinterp_core.ml' <.> echo 'Ocamlc src/transform/compute.ml' <.> echo 'Ocamlc src/extract/mltree.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/intro_projections_counterexmp.ml' <.> echo 'Ocamlc src/printer/cvc3.ml' <.> echo 'Ocamlc src/parser/report.mli' <.> echo 'Ocamlc src/transform/encoding_select.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/yices.ml' <.> echo 'Ocamlc src/transform/case.ml' [*] cc -mno-cygwin -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -mno-cygwin -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamlc src/mlw/dexpr.ml' <.> echo 'Ocamlc src/transform/intro_projections_counterexmp.ml' <.> echo 'Ocamlc src/printer/yices.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/reflection.ml' <.> echo 'Ocamlc src/transform/reflection.ml' [*] cc --version <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 --version -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/subst.ml' <.> echo 'Ocamlc src/transform/subst.ml' [*] cc -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/destruct.ml' <.> echo 'Ocamlc src/transform/destruct.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/extract/pdriver.ml' [*] cc -v <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -v -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamlc src/extract/pdriver.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/driver/driver.mli' <.> echo 'Ocamlc src/driver/driver.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/session/session_itp.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/driver/call_provers.ml' <.> echo 'Ocamlc src/session/session_itp.mli' <.> echo 'Ocamlc src/driver/call_provers.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/extract/ml_printer.mli' <.> echo 'Ocamlc src/extract/ml_printer.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/keywords.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/pinterp.mli' <.> echo 'Ocamlc src/core/keywords.ml' [*] f77 -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/fortran-fail-wrapper -fstack-protector-strong -dumpmachine <.> echo 'Ocamlc src/mlw/pinterp.mli' *** Please consider adding fortran to USE_LANGUAGES in the package Makefile. [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/driver/driver_parser.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/parser/glob.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/core/keywords.ml' <.> echo 'Ocamlopt src/parser/glob.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/core/ty.ml' <.> echo 'Ocamlopt src/core/ty.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/rac.mli' <.> echo 'Ocamlc src/mlw/rac.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/why3printer.ml' <.> echo 'Ocamlopt src/core/keywords.ml' <.> echo 'Ocamlc src/printer/why3printer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/alt_ergo.ml' <.> echo 'Ocamlc src/printer/alt_ergo.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/driver/driver.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/core/pretty.ml' <.> echo 'Ocamlc src/driver/driver.ml' <.> echo 'Ocamlc src/core/pretty.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/inlining.ml' <.> echo 'Ocamlc src/transform/inlining.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/prepare_for_counterexmp.ml' <.> echo 'Ocamlc src/transform/prepare_for_counterexmp.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/eliminate_definition.ml' <.> echo 'Ocamlc src/transform/eliminate_definition.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/printer/smtv2.ml' <.> echo 'Ocamlc src/printer/smtv2.ml' <.> echo 'Ocamlopt src/driver/driver_parser.ml' [*] f77 -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/fortran-fail-wrapper -fstack-protector-strong -dumpmachine [*] cc -c -o plugins/gnat_json/gnat_ast.o /tmp/camlasm1834eb.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o plugins/gnat_json/gnat_ast.o /tmp/camlasm1834eb.s -I/tmp/lang/spark2014-13/work/.buildlink/include *** Please consider adding fortran to USE_LANGUAGES in the package Makefile. [*] ld -v <.> ld -v [*] cc -c -o src/util/constant.o /tmp/camlasm06a552.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/constant.o /tmp/camlasm06a552.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/session/controller_itp.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/driver/smtv2_model_defs.ml' <.> echo 'Ocamlc src/session/controller_itp.mli' <.> echo 'Ocamlc src/driver/smtv2_model_defs.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/extract/compile.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/pinterp.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/extract/c.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/extract/ml_printer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/extract/mlinterp.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/driver/collect_data_model.mli' <.> echo 'Ocamlc src/extract/ml_printer.ml' <.> echo 'Ocamlc src/extract/mlinterp.ml' <.> echo 'Ocamlc src/extract/compile.ml' <.> echo 'Ocamlc src/driver/collect_data_model.mli' <.> echo 'Ocamlc src/extract/c.ml' <.> echo 'Ocamlc src/mlw/pinterp.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/check_ce.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/extract/cakeml.ml' <.> echo 'Ocamlc src/mlw/check_ce.mli' <.> echo 'Ocamlc src/extract/cakeml.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/session/session_itp.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/induction_pr.ml' <.> echo 'Ocamlc src/transform/induction_pr.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/parser/report.ml' <.> echo 'Ocamlc src/parser/report.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/extract/ocaml.ml' <.> echo 'Ocamlc src/session/session_itp.ml' <.> echo 'Ocamlc src/extract/ocaml.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/induction.ml' <.> echo 'Ocamlc src/transform/induction.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/parser/typing.ml' <.> echo 'Ocamlc src/parser/typing.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/parser/parser.ml' <.> echo 'Ocamlc src/parser/parser.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/rac.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/ind_itp.ml' <.> echo 'Ocamlc src/mlw/rac.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/transform/args_wrapper.ml' <.> echo 'Ocamlc src/transform/args_wrapper.ml' [*] cc -c -o src/parser/glob.o /tmp/camlasmdeaef1.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/parser/glob.o /tmp/camlasmdeaef1.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/session/itp_communication.mli' <.> echo 'Ocamlc src/session/itp_communication.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/parser/lexer.ml' <.> echo 'Ocamlc src/parser/lexer.ml' <.> echo 'Ocamlc src/transform/ind_itp.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/session/controller_itp.ml' <.> echo 'Ocamlc src/session/controller_itp.ml' [*] cc -c -o src/core/keywords.o /tmp/camlasm5ea112.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/core/keywords.o /tmp/camlasm5ea112.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/mlw/check_ce.ml' <.> echo 'Ocamlc src/mlw/check_ce.ml' [*] cc -c -o src/core/ty.o /tmp/camlasmc05b10.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/core/ty.o /tmp/camlasmc05b10.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/driver/smtv2_model_parser.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/driver/collect_data_model.ml' <.> echo 'Ocamlc src/driver/smtv2_model_parser.ml' <.> echo 'Ocamlc src/driver/collect_data_model.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/session/server_utils.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/session/itp_server.mli' <.> echo 'Ocamlc src/session/server_utils.mli' <.> echo 'Ocamlc src/session/itp_server.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/session/json_util.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/session/itp_communication.ml' <.> echo 'Ocamlc src/session/json_util.mli' <.> echo 'Ocamlc src/session/itp_communication.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/core/term.ml' <.> echo 'Ocamlopt src/core/term.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/session/json_util.ml' <.> echo 'Ocamlc src/session/json_util.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/session/server_utils.ml' <.> echo 'Ocamlc src/session/server_utils.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/session/itp_server.ml' <.> echo 'Ocamlc src/session/itp_server.ml' [*] cc -c -o src/driver/driver_parser.o /tmp/camlasm43729d.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/driver/driver_parser.o /tmp/camlasm43729d.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/driver/driver_lexer.ml' <.> echo 'Ocamlopt src/driver/driver_lexer.ml' [*] cc -c -o src/driver/driver_lexer.o /tmp/camlasm4b6696.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/driver/driver_lexer.o /tmp/camlasm4b6696.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/core/term.o /tmp/camlasme93058.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/core/term.o /tmp/camlasme93058.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/core/pattern.ml' <.> echo 'Ocamlopt src/core/pattern.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/core/coercion.ml' <.> echo 'Ocamlopt src/core/coercion.ml' [*] cc -c -o src/core/coercion.o /tmp/camlasm740553.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/core/coercion.o /tmp/camlasm740553.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/core/pattern.o /tmp/camlasm98f5ed.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/core/pattern.o /tmp/camlasm98f5ed.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/core/decl.ml' <.> echo 'Ocamlopt src/core/decl.ml' [*] cc -c -o src/core/decl.o /tmp/camlasm32b0d3.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/core/decl.o /tmp/camlasm32b0d3.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/core/theory.ml' <.> echo 'Ocamlopt src/core/theory.ml' [*] cc -c -o src/core/theory.o /tmp/camlasmdd2043.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/core/theory.o /tmp/camlasmdd2043.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/core/task.ml' <.> echo 'Ocamlopt src/core/task.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/core/env.ml' <.> echo 'Ocamlopt src/core/env.ml' [*] cc -c -o src/core/env.o /tmp/camlasm049b7f.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/core/env.o /tmp/camlasm049b7f.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/driver/whyconf.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/reduction_engine.ml' <.> echo 'Ocamlopt src/driver/whyconf.ml' <.> echo 'Ocamlopt src/transform/reduction_engine.ml' [*] cc -c -o src/core/task.o /tmp/camlasm98276e.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/core/task.o /tmp/camlasm98276e.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/core/pretty.ml' <.> echo 'Ocamlopt src/core/pretty.ml' [*] cc -c -o src/driver/whyconf.o /tmp/camlasmb22e24.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/driver/whyconf.o /tmp/camlasmb22e24.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/driver/autodetection.ml' <.> echo 'Ocamlopt src/driver/autodetection.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/session/strategy.ml' <.> echo 'Ocamlopt src/session/strategy.ml' [*] cc -c -o src/session/strategy.o /tmp/camlasm80be5d.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/session/strategy.o /tmp/camlasm80be5d.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/driver/autodetection.o /tmp/camlasmaf1ca8.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/driver/autodetection.o /tmp/camlasmaf1ca8.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/reduction_engine.o /tmp/camlasmb3af2a.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/reduction_engine.o /tmp/camlasmb3af2a.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/core/pretty.o /tmp/camlasma58c47.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/core/pretty.o /tmp/camlasma58c47.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/core/dterm.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/core/trans.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/mlw/ity.ml' <.> echo 'Ocamlopt src/core/trans.ml' <.> echo 'Ocamlopt src/core/dterm.ml' <.> echo 'Ocamlopt src/mlw/ity.ml' [*] cc -c -o src/core/dterm.o /tmp/camlasmced7df.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/core/dterm.o /tmp/camlasmced7df.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/core/trans.o /tmp/camlasm6af797.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/core/trans.o /tmp/camlasm6af797.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/core/printer.ml' <.> echo 'Ocamlopt src/core/printer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/split_goal.ml' <.> echo 'Ocamlopt src/transform/split_goal.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/simplify_formula.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/remove_unused.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/eliminate_epsilon.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/intro_projections_counterexmp.ml' <.> echo 'Ocamlopt src/transform/remove_unused.ml' <.> echo 'Ocamlopt src/transform/simplify_formula.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/session/strategy_parser.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/abstraction.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/generic_arg_trans_utils.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/congruence.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/eliminate_let.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/abstract_quantifiers.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/close_epsilon.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/gnat_rewrite.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/simplify_array.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/rec_logic.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/session/termcode.ml' <.> echo 'Ocamlopt src/transform/eliminate_let.ml' <.> echo 'Ocamlopt src/transform/abstract_quantifiers.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/eliminate_unused.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/eliminate_unused_hypo.ml' <.> echo 'Ocamlopt src/transform/congruence.ml' <.> echo 'Ocamlopt src/transform/generic_arg_trans_utils.ml' <.> echo 'Ocamlopt src/transform/intro_projections_counterexmp.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/eliminate_quantifiers.ml' <.> echo 'Ocamlopt src/transform/simplify_array.ml' <.> echo 'Ocamlopt src/transform/eliminate_unused_hypo.ml' <.> echo 'Ocamlopt src/transform/gnat_rewrite.ml' <.> echo 'Ocamlopt src/transform/eliminate_quantifiers.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/prop_curry.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/instantiate_predicate.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/detect_polymorphism.ml' <.> echo 'Ocamlopt src/transform/eliminate_epsilon.ml' <.> echo 'Ocamlopt src/transform/rec_logic.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/eliminate_symbol.ml' <.> echo 'Ocamlopt src/session/strategy_parser.ml' <.> echo 'Ocamlopt src/transform/abstraction.ml' <.> echo 'Ocamlopt src/transform/close_epsilon.ml' <.> echo 'Ocamlopt src/transform/detect_polymorphism.ml' <.> echo 'Ocamlopt src/transform/instantiate_predicate.ml' <.> echo 'Ocamlopt src/transform/eliminate_unused.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/smoke_detector.ml' <.> echo 'Ocamlopt src/transform/eliminate_symbol.ml' <.> echo 'Ocamlopt src/transform/prop_curry.ml' <.> echo 'Ocamlopt src/transform/smoke_detector.ml' <.> echo 'Ocamlopt src/session/termcode.ml' [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/congruence.o /tmp/camlasm4ab593.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/congruence.o /tmp/camlasm4ab593.s -I/tmp/lang/spark2014-13/work/.buildlink/include *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] cc -c -o src/transform/smoke_detector.o /tmp/camlasm7625ed.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/smoke_detector.o /tmp/camlasm7625ed.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] cc -c -o src/transform/simplify_formula.o /tmp/camlasmd72e50.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/simplify_formula.o /tmp/camlasmd72e50.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/rec_logic.o /tmp/camlasm002468.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/rec_logic.o /tmp/camlasm002468.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/generic_arg_trans_utils.o /tmp/camlasm7bfa73.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/generic_arg_trans_utils.o /tmp/camlasm7bfa73.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/eliminate_quantifiers.o /tmp/camlasmfd85c7.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/eliminate_quantifiers.o /tmp/camlasmfd85c7.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/eliminate_unused.o /tmp/camlasmb63ecc.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/eliminate_unused.o /tmp/camlasmb63ecc.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/abstract_quantifiers.o /tmp/camlasm75997c.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/abstract_quantifiers.o /tmp/camlasm75997c.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/instantiate_predicate.o /tmp/camlasm08fedd.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/instantiate_predicate.o /tmp/camlasm08fedd.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/prop_curry.o /tmp/camlasmbc57eb.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/prop_curry.o /tmp/camlasmbc57eb.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/eliminate_symbol.o /tmp/camlasm3c2102.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/eliminate_symbol.o /tmp/camlasm3c2102.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/gnat_rewrite.o /tmp/camlasm142b6f.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/gnat_rewrite.o /tmp/camlasm142b6f.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -v <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -v -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/mlw/ity.o /tmp/camlasm446305.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/mlw/ity.o /tmp/camlasm446305.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/eliminate_let.o /tmp/camlasmedf7bc.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/eliminate_let.o /tmp/camlasmedf7bc.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/eliminate_inductive.ml' <.> echo 'Ocamlopt src/transform/eliminate_inductive.ml' [*] cc -c -o src/transform/simplify_array.o /tmp/camlasm548c5d.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/simplify_array.o /tmp/camlasm548c5d.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/close_epsilon.o /tmp/camlasm0de77b.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/close_epsilon.o /tmp/camlasm0de77b.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/eliminate_unused_hypo.o /tmp/camlasm03f2bf.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/eliminate_unused_hypo.o /tmp/camlasm03f2bf.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/session/strategy_parser.o /tmp/camlasm9492a5.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/session/strategy_parser.o /tmp/camlasm9492a5.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/abstraction.o /tmp/camlasm4f3c87.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/abstraction.o /tmp/camlasm4f3c87.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -mno-cygwin -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -mno-cygwin -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/intro_projections_counterexmp.o /tmp/camlasm21d566.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/intro_projections_counterexmp.o /tmp/camlasm21d566.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/lift_epsilon.ml' [*] cc --version <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 --version -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamlopt src/transform/lift_epsilon.ml' [*] cc -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -v <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -v -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/mlw/expr.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/intro_vc_vars_counterexmp.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/printer/cntexmp_printer.ml' <.> echo 'Ocamlopt src/mlw/expr.ml' [*] cc -c -o src/transform/eliminate_epsilon.o /tmp/camlasm48d082.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/eliminate_epsilon.o /tmp/camlasm48d082.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/eliminate_inductive.o /tmp/camlasm31e497.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/eliminate_inductive.o /tmp/camlasm31e497.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/detect_polymorphism.o /tmp/camlasma56d41.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/detect_polymorphism.o /tmp/camlasma56d41.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/remove_unused.o /tmp/camlasm13f2b1.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/remove_unused.o /tmp/camlasm13f2b1.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/core/printer.o /tmp/camlasm341abe.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/core/printer.o /tmp/camlasm341abe.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] f77 -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/fortran-fail-wrapper -fstack-protector-strong -dumpmachine [*] cc -c -o src/transform/split_goal.o /tmp/camlasmd68ee9.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/split_goal.o /tmp/camlasmd68ee9.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Linking lib/why3/why3.cmo' <.> echo 'Ocamlopt src/printer/cntexmp_printer.ml' *** Please consider adding fortran to USE_LANGUAGES in the package Makefile. [*] cc -c -o src/transform/lift_epsilon.o /tmp/camlasm6f3601.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/lift_epsilon.o /tmp/camlasm6f3601.s -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Linking lib/why3/why3.cmo' [*] cc -c -o src/session/termcode.o /tmp/camlasma43230.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/session/termcode.o /tmp/camlasma43230.s -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamlopt src/transform/intro_vc_vars_counterexmp.ml' [*] f77 -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/fortran-fail-wrapper -fstack-protector-strong -dumpmachine *** Please consider adding fortran to USE_LANGUAGES in the package Makefile. [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/fold_defs.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/eliminate_unknown_types.ml' <.> echo 'Ocamlopt src/transform/fold_defs.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/printer/mathematica.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/core/model_parser.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/encoding_sort.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/eliminate_unknown_lsymbols.ml' [*] ld -v <.> ld -v [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/printer/pvs.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/printer/isabelle.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/filter_trigger.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/printer/coq.ml' <.> echo 'Ocamlopt src/transform/eliminate_unknown_types.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/eliminate_if.ml' <.> echo 'Ocamlopt src/printer/pvs.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/libencoding.ml' <.> echo 'Ocamlopt src/printer/coq.ml' <.> echo 'Ocamlopt src/transform/eliminate_unknown_lsymbols.ml' <.> echo 'Ocamlopt src/transform/libencoding.ml' <.> echo 'Ocamlopt src/core/model_parser.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/eliminate_algebraic.ml' <.> echo 'Ocamlopt src/printer/isabelle.ml' <.> echo 'Ocamlopt src/transform/eliminate_algebraic.ml' <.> echo 'Ocamlopt src/transform/eliminate_if.ml' <.> echo 'Ocamlopt src/transform/encoding_sort.ml' <.> echo 'Ocamlopt src/printer/mathematica.ml' <.> echo 'Ocamlopt src/transform/filter_trigger.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/gnat_split_conj.ml' <.> echo 'Ocamlopt src/transform/gnat_split_conj.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/gnat_split_disj.ml' <.> echo 'Ocamlopt src/transform/gnat_split_disj.ml' [*] cc -c -o src/transform/filter_trigger.o /tmp/camlasma37c8e.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/filter_trigger.o /tmp/camlasma37c8e.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/eliminate_unknown_lsymbols.o /tmp/camlasm811264.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/eliminate_unknown_lsymbols.o /tmp/camlasm811264.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/fold_defs.o /tmp/camlasmc2eb2c.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/fold_defs.o /tmp/camlasmc2eb2c.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/encoding_sort.o /tmp/camlasmc16c49.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/encoding_sort.o /tmp/camlasmc16c49.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] cc -c -o src/transform/gnat_split_disj.o /tmp/camlasm859763.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/gnat_split_disj.o /tmp/camlasm859763.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] cc -c -o src/transform/eliminate_if.o /tmp/camlasm6f4611.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/eliminate_if.o /tmp/camlasm6f4611.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/printer/cntexmp_printer.o /tmp/camlasm4d9463.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/printer/cntexmp_printer.o /tmp/camlasm4d9463.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] c++ -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/c++-fail-wrapper -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include *** Please consider adding c++ to USE_LANGUAGES in the package Makefile. [*] cc -c -o src/printer/mathematica.o /tmp/camlasm6c2137.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/printer/mathematica.o /tmp/camlasm6c2137.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -v <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -v -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/libencoding.o /tmp/camlasmf1c0d6.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/libencoding.o /tmp/camlasmf1c0d6.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -mno-cygwin -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -mno-cygwin -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc --version <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 --version -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/encoding.ml' [*] cc -dumpmachine <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -dumpmachine -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamlopt src/transform/encoding.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/eliminate_literal.ml' <.> echo 'Ocamlopt src/transform/eliminate_literal.ml' [*] cc -v <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -v -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/intro_vc_vars_counterexmp.o /tmp/camlasmaaea95.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/intro_vc_vars_counterexmp.o /tmp/camlasmaaea95.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/gnat_split_conj.o /tmp/camlasm8d45c5.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/gnat_split_conj.o /tmp/camlasm8d45c5.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/eliminate_unknown_types.o /tmp/camlasmcf9c42.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/eliminate_unknown_types.o /tmp/camlasmcf9c42.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/encoding.o /tmp/camlasm5a80e3.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/encoding.o /tmp/camlasm5a80e3.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/printer/isabelle.o /tmp/camlasm7afa72.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/printer/isabelle.o /tmp/camlasm7afa72.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/encoding_guards_full.ml' <.> echo 'Ocamlopt src/transform/encoding_guards_full.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/encoding_twin.ml' <.> echo 'Ocamlopt src/transform/encoding_twin.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/encoding_tags_full.ml' <.> echo 'Ocamlopt src/transform/encoding_tags_full.ml' [*] cc -c -o src/transform/eliminate_algebraic.o /tmp/camlasmc0b979.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/eliminate_algebraic.o /tmp/camlasmc0b979.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/eliminate_literal.o /tmp/camlasm70e54b.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/eliminate_literal.o /tmp/camlasm70e54b.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] f77 -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/fortran-fail-wrapper -fstack-protector-strong -dumpmachine *** Please consider adding fortran to USE_LANGUAGES in the package Makefile. [*] f77 -dumpmachine <.> /tmp/lang/spark2014-13/work/.compiler/bin/fortran-fail-wrapper -fstack-protector-strong -dumpmachine *** Please consider adding fortran to USE_LANGUAGES in the package Makefile. [*] cc -c -o src/transform/encoding_tags_full.o /tmp/camlasmfc34ba.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/encoding_tags_full.o /tmp/camlasmfc34ba.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/encoding_guards.ml' <.> echo 'Ocamlopt src/transform/encoding_guards.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/encoding_tags.ml' [*] cc -c -o src/printer/coq.o /tmp/camlasm243651.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/printer/coq.o /tmp/camlasm243651.s -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamlopt src/transform/encoding_tags.ml' [*] ld -v <.> ld -v [*] cc -c -o src/transform/encoding_twin.o /tmp/camlasmfb14fb.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/encoding_twin.o /tmp/camlasmfb14fb.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -x c -O2 -I/usr/pkg/include -I/usr/include -Dz_off_t=long -I/usr/pkg/gcc13-gnat/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/usr/pkg/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude -MMD -MF smissing.d -specs=/tmp/GPR.22588/GNAT-TEMP-000006.TMP /tmp/lang/spark2014-13/work/spark2014-12db22e854defa9d1c993ef904af1e72330a68ca/gnat2why/smissing.c <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -x c -O2 -I/tmp/lang/spark2014-13/work/.buildlink/include -Dz_off_t=long -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/include -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/include -I/tmp/lang/spark2014-13/work/.buildlink/gcc13-gnat/lib/gcc/x86_64--netbsd/13.4.0/adainclude -MMD -MF smissing.d -specs=/tmp/GPR.22588/GNAT-TEMP-000006.TMP /tmp/lang/spark2014-13/work/spark2014-12db22e854defa9d1c993ef904af1e72330a68ca/gnat2why/smissing.c [*] cc -c -o src/core/model_parser.o /tmp/camlasma39137.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/core/model_parser.o /tmp/camlasma39137.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/printer/pvs.o /tmp/camlasmfd4cb4.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/printer/pvs.o /tmp/camlasmfd4cb4.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/driver/call_provers.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/driver/smtv2_model_defs.ml' <.> echo 'Ocamlopt src/driver/smtv2_model_defs.ml' <.> echo 'Ocamlopt src/driver/call_provers.ml' [*] cc -c -o src/transform/encoding_guards_full.o /tmp/camlasm284d88.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/encoding_guards_full.o /tmp/camlasm284d88.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/driver/smtv2_model_defs.o /tmp/camlasm18cc6e.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/driver/smtv2_model_defs.o /tmp/camlasm18cc6e.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/encoding_tags.o /tmp/camlasm3e46b1.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/encoding_tags.o /tmp/camlasm3e46b1.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/driver/collect_data_model.ml' [*] cc -c -o src/transform/encoding_guards.o /tmp/camlasm89a306.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/encoding_guards.o /tmp/camlasm89a306.s -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamlopt src/driver/collect_data_model.ml' [*] cc -c -o src/driver/collect_data_model.o /tmp/camlasm5508b8.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/driver/collect_data_model.o /tmp/camlasm5508b8.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/mlw/expr.o /tmp/camlasm2e360b.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/mlw/expr.o /tmp/camlasm2e360b.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/driver/smtv2_model_parser.ml' <.> echo 'Ocamlopt src/driver/smtv2_model_parser.ml' [*] cc -c -o src/driver/call_provers.o /tmp/camlasm80bc1d.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/driver/call_provers.o /tmp/camlasm80bc1d.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/driver/driver.ml' <.> echo 'Ocamlopt src/driver/driver.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/mlw/pdecl.ml' <.> echo 'Ocamlopt src/mlw/pdecl.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/parser/ptree.ml' <.> echo 'Ocamlopt src/parser/ptree.ml' [*] cc -c -o src/parser/ptree.o /tmp/camlasm4cf897.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/parser/ptree.o /tmp/camlasm4cf897.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/driver/smtv2_model_parser.o /tmp/camlasmd006c5.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/driver/smtv2_model_parser.o /tmp/camlasmd006c5.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/parser/ptree_helpers.ml' <.> echo 'Ocamlopt src/parser/ptree_helpers.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/parser/mlw_printer.ml' <.> echo 'Ocamlopt src/parser/mlw_printer.ml' [*] cc -c -o src/driver/driver.o /tmp/camlasm183771.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/driver/driver.o /tmp/camlasm183771.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/inlining.ml' <.> echo 'Ocamlopt src/transform/inlining.ml' [*] cc -c -o src/parser/ptree_helpers.o /tmp/camlasm1eb162.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/parser/ptree_helpers.o /tmp/camlasm1eb162.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/tptp/tptp_ast.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/python/py_ast.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/ada_terms/ada_parser.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/microc/mc_ast.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/gnat/gnat_counterexamples.ml' <.> echo 'Ocamlc plugins/python/py_ast.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/gnat/gnat_expl.mli' <.> echo 'Ocamlc plugins/tptp/tptp_ast.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/gnat_json/ptree_constructors.mli' <.> echo 'Ocamlc src/gnat/gnat_counterexamples.ml' <.> echo 'Ocamlc plugins/microc/mc_ast.mli' <.> echo 'Ocamlc plugins/ada_terms/ada_parser.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/ada_terms/ada_nametable.mli' <.> echo 'Ocamlc src/gnat/gnat_expl.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/microc/mc_printer.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/why3session/why3session_lib.mli' <.> echo 'Ocamlc plugins/gnat_json/ptree_constructors.mli' [*] cc -c -o src/mlw/pdecl.o /tmp/camlasmea6b6b.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/mlw/pdecl.o /tmp/camlasmea6b6b.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/gnat/gnat_util.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/gnat_json/gnat_ast_to_ptree.mli' <.> echo 'Ocamlc plugins/microc/mc_printer.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/tools/why3pp_sexp.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/why3doc/doc_def.mli' <.> echo 'Ocamlc plugins/gnat_json/gnat_ast_to_ptree.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/cfg/cfg_ast.mli' <.> echo 'Ocamlc plugins/ada_terms/ada_nametable.mli' <.> echo 'Ocamlc plugins/cfg/cfg_ast.mli' <.> echo 'Ocamlc src/tools/why3pp_sexp.mli' <.> echo 'Ocamlc src/why3doc/doc_def.mli' <.> echo 'Ocamlc src/gnat/gnat_util.mli' [*] cc -c -o src/transform/inlining.o /tmp/camlasmbf4609.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/inlining.o /tmp/camlasmbf4609.s -I/tmp/lang/spark2014-13/work/.buildlink/include <.> echo 'Ocamlc src/why3session/why3session_lib.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/python/py_parser.mli' <.> echo 'Ocamlc plugins/python/py_parser.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/python/py_lexer.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/gnat/gnat_config.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/tools/why3pp_sexp.ml' <.> echo 'Ocamlc plugins/python/py_lexer.mli' <.> echo 'Ocamlc src/gnat/gnat_config.mli' <.> echo 'Ocamlopt src/tools/why3pp_sexp.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/gnat/gnat_report.mli' <.> echo 'Ocamlc src/gnat/gnat_report.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/gnat/gnat_manual.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/why3session/why3session_html.mli' <.> echo 'Ocamlc src/gnat/gnat_manual.mli' <.> echo 'Ocamlc src/why3session/why3session_html.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/why3session/why3session_update.mli' <.> echo 'Ocamlc src/why3session/why3session_update.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/why3session/why3session_info.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/microc/mc_lexer.mli' <.> echo 'Ocamlc src/why3session/why3session_info.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/tptp/tptp_lexer.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/why3session/why3session_latex.mli' <.> echo 'Ocamlc plugins/tptp/tptp_lexer.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/tptp/tptp_parser.mli' <.> echo 'Ocamlc plugins/microc/mc_lexer.mli' <.> echo 'Ocamlc plugins/tptp/tptp_parser.mli' <.> echo 'Ocamlc src/why3session/why3session_latex.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/mlw/eval_match.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/gnat/gnat_server.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/microc/mc_parser.mli' <.> echo 'Ocamlc src/gnat/gnat_server.ml' <.> echo 'Ocamlopt src/mlw/eval_match.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/tptp/tptp_typing.mli' <.> echo 'Ocamlc plugins/microc/mc_parser.mli' <.> echo 'Ocamlc plugins/tptp/tptp_typing.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/ada_terms/ada_lexer.ml' <.> echo 'Ocamlc plugins/ada_terms/ada_lexer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/cfg/stackify.mli' <.> echo 'Ocamlc plugins/cfg/stackify.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/cfg/cfg_paths.mli' <.> echo 'Ocamlc plugins/cfg/cfg_paths.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/cfg/cfg_parser.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/cfg/cfg_main.mli' <.> echo 'Ocamlc plugins/cfg/cfg_main.mli' <.> echo 'Ocamlc plugins/cfg/cfg_parser.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/cfg/cfg_lexer.mli' <.> echo 'Ocamlc plugins/cfg/cfg_lexer.mli' [*] cc -c -o src/tools/why3pp_sexp.o /tmp/camlasm779fba.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/tools/why3pp_sexp.o /tmp/camlasm779fba.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/parser/mlw_printer.o /tmp/camlasm7390f5.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/parser/mlw_printer.o /tmp/camlasm7390f5.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/cfg/cfg_stackify.ml' <.> echo 'Ocamlc plugins/cfg/cfg_stackify.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/gnat/gnat_objectives.mli' <.> echo 'Ocamlc src/gnat/gnat_objectives.mli' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc src/gnat/gnat_main.ml' <.> echo 'Ocamlc src/gnat/gnat_main.ml' [*] cc -c -o src/mlw/eval_match.o /tmp/camlasma4e768.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/mlw/eval_match.o /tmp/camlasma4e768.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlc plugins/ada_terms/ada_main.ml' <.> echo 'Ocamlc plugins/ada_terms/ada_main.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/mlw/typeinv.ml' <.> echo 'Ocamlopt src/mlw/typeinv.ml' [*] cc -c -o src/mlw/typeinv.o /tmp/camlasm96a9e7.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/mlw/typeinv.o /tmp/camlasm96a9e7.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/mlw/vc.ml' <.> echo 'Ocamlopt src/mlw/vc.ml' [*] cc -c -o src/mlw/vc.o /tmp/camlasm108b17.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/mlw/vc.o /tmp/camlasm108b17.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/mlw/pmodule.ml' <.> echo 'Ocamlopt src/mlw/pmodule.ml' [*] cc -c -o src/mlw/pmodule.o /tmp/camlasm0ad7e9.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/mlw/pmodule.o /tmp/camlasm0ad7e9.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/mlw/dexpr.ml' <.> echo 'Ocamlopt src/mlw/dexpr.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/mlw/pinterp_core.ml' <.> echo 'Ocamlopt src/mlw/pinterp_core.ml' [*] cc -c -o src/mlw/pinterp_core.o /tmp/camlasm7cbc83.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/mlw/pinterp_core.o /tmp/camlasm7cbc83.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/mlw/dexpr.o /tmp/camlasm59bcd6.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/mlw/dexpr.o /tmp/camlasm59bcd6.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/mlw/rac.ml' <.> echo 'Ocamlopt src/mlw/rac.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/mlw/pinterp.ml' <.> echo 'Ocamlopt src/mlw/pinterp.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/extract/mltree.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/parser/typing.ml' <.> echo 'Ocamlopt src/extract/mltree.ml' <.> echo 'Ocamlopt src/parser/typing.ml' [*] cc -c -o src/mlw/rac.o /tmp/camlasm8e9930.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/mlw/rac.o /tmp/camlasm8e9930.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/extract/mltree.o /tmp/camlasm30f15f.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/extract/mltree.o /tmp/camlasm30f15f.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/extract/compile.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/extract/pdriver.ml' <.> echo 'Ocamlopt src/extract/compile.ml' <.> echo 'Ocamlopt src/extract/pdriver.ml' [*] cc -c -o src/extract/pdriver.o /tmp/camlasm5deb02.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/extract/pdriver.o /tmp/camlasm5deb02.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/extract/ml_printer.ml' <.> echo 'Ocamlopt src/extract/ml_printer.ml' [*] cc -c -o src/mlw/pinterp.o /tmp/camlasme60fdc.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/mlw/pinterp.o /tmp/camlasme60fdc.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/extract/ml_printer.o /tmp/camlasmb5ef49.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/extract/ml_printer.o /tmp/camlasmb5ef49.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/extract/compile.o /tmp/camlasm0f9cba.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/extract/compile.o /tmp/camlasm0f9cba.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/extract/cakeml.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/extract/ocaml.ml' <.> echo 'Ocamlopt src/extract/cakeml.ml' <.> echo 'Ocamlopt src/extract/ocaml.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/mlw/check_ce.ml' <.> echo 'Ocamlopt src/mlw/check_ce.ml' [*] cc -c -o src/parser/typing.o /tmp/camlasm153e1c.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/parser/typing.o /tmp/camlasm153e1c.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/extract/mlinterp.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/extract/c.ml' <.> echo 'Ocamlopt src/extract/mlinterp.ml' <.> echo 'Ocamlopt src/extract/c.ml' [*] cc -c -o src/mlw/check_ce.o /tmp/camlasm3c4da4.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/mlw/check_ce.o /tmp/camlasm3c4da4.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/parser/parser.ml' <.> echo 'Ocamlopt src/parser/parser.ml' [*] cc -c -o src/extract/cakeml.o /tmp/camlasm043e5d.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/extract/cakeml.o /tmp/camlasm043e5d.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/extract/ocaml.o /tmp/camlasmb1288a.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/extract/ocaml.o /tmp/camlasmb1288a.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/extract/c.o /tmp/camlasm62098d.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/extract/c.o /tmp/camlasm62098d.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/extract/mlinterp.o /tmp/camlasm05608f.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/extract/mlinterp.o /tmp/camlasm05608f.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/parser/parser.o /tmp/camlasm129ab2.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/parser/parser.o /tmp/camlasm129ab2.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/parser/report.ml' <.> echo 'Ocamlopt src/parser/report.ml' [*] cc -c -o src/parser/report.o /tmp/camlasmddc6f4.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/parser/report.o /tmp/camlasmddc6f4.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/parser/lexer.ml' <.> echo 'Ocamlopt src/parser/lexer.ml' [*] cc -c -o src/parser/lexer.o /tmp/camlasmedbda2.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/parser/lexer.o /tmp/camlasmedbda2.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/args_wrapper.ml' <.> echo 'Ocamlopt src/transform/args_wrapper.ml' [*] cc -c -o src/transform/args_wrapper.o /tmp/camlasm5083ab.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/args_wrapper.o /tmp/camlasm5083ab.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/compute.ml' <.> echo 'Ocamlopt src/transform/compute.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/subst.ml' <.> echo 'Ocamlopt src/transform/subst.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/cut.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/case.ml' <.> echo 'Ocamlopt src/transform/cut.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/apply.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/ind_itp.ml' <.> echo 'Ocamlopt src/transform/case.ml' <.> echo 'Ocamlopt src/transform/apply.ml' <.> echo 'Ocamlopt src/transform/ind_itp.ml' [*] cc -c -o src/transform/cut.o /tmp/camlasmae2955.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/cut.o /tmp/camlasmae2955.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/compute.o /tmp/camlasma4751e.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/compute.o /tmp/camlasma4751e.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/case.o /tmp/camlasm612f8d.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/case.o /tmp/camlasm612f8d.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/eliminate_definition.ml' <.> echo 'Ocamlopt src/transform/eliminate_definition.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/discriminate.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/printer/gappa.ml' <.> echo 'Ocamlopt src/transform/discriminate.ml' <.> echo 'Ocamlopt src/printer/gappa.ml' [*] cc -c -o src/transform/subst.o /tmp/camlasmc25c11.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/subst.o /tmp/camlasmc25c11.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/introduction.ml' <.> echo 'Ocamlopt src/transform/introduction.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/destruct.ml' <.> echo 'Ocamlopt src/transform/destruct.ml' [*] cc -c -o src/transform/ind_itp.o /tmp/camlasm107878.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/ind_itp.o /tmp/camlasm107878.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/induction.ml' <.> echo 'Ocamlopt src/transform/induction.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/induction_pr.ml' <.> echo 'Ocamlopt src/transform/induction_pr.ml' [*] cc -c -o src/transform/apply.o /tmp/camlasm444658.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/apply.o /tmp/camlasm444658.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/reflection.ml' <.> echo 'Ocamlopt src/transform/reflection.ml' [*] cc -c -o src/transform/induction.o /tmp/camlasm947fc2.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/induction.o /tmp/camlasm947fc2.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/induction_pr.o /tmp/camlasm6d173f.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/induction_pr.o /tmp/camlasm6d173f.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/discriminate.o /tmp/camlasm2ceb3e.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/discriminate.o /tmp/camlasm2ceb3e.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/encoding_select.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/printer/why3printer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/printer/yices.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/printer/smtv1.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/printer/simplify.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/printer/smtv2.ml' <.> echo 'Ocamlopt src/printer/why3printer.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/printer/cvc3.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/printer/alt_ergo.ml' <.> echo 'Ocamlopt src/printer/smtv1.ml' <.> echo 'Ocamlopt src/printer/simplify.ml' <.> echo 'Ocamlopt src/printer/alt_ergo.ml' <.> echo 'Ocamlopt src/printer/cvc3.ml' <.> echo 'Ocamlopt src/printer/smtv2.ml' <.> echo 'Ocamlopt src/printer/yices.ml' <.> echo 'Ocamlopt src/transform/encoding_select.ml' [*] cc -c -o src/printer/why3printer.o /tmp/camlasma725cb.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/printer/why3printer.o /tmp/camlasma725cb.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/printer/gappa.o /tmp/camlasm3dbf74.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/printer/gappa.o /tmp/camlasm3dbf74.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/encoding_select.o /tmp/camlasm26480d.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/encoding_select.o /tmp/camlasm26480d.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/eliminate_definition.o /tmp/camlasm742def.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/eliminate_definition.o /tmp/camlasm742def.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/destruct.o /tmp/camlasm0b6c4a.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/destruct.o /tmp/camlasm0b6c4a.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/printer/simplify.o /tmp/camlasm24f685.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/printer/simplify.o /tmp/camlasm24f685.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/printer/smtv1.o /tmp/camlasmc3be9c.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/printer/smtv1.o /tmp/camlasmc3be9c.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/printer/cvc3.o /tmp/camlasmb184f4.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/printer/cvc3.o /tmp/camlasmb184f4.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/printer/yices.o /tmp/camlasmd7eeed.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/printer/yices.o /tmp/camlasmd7eeed.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/introduction.o /tmp/camlasm59ce87.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/introduction.o /tmp/camlasm59ce87.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/printer/alt_ergo.o /tmp/camlasm6caf59.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/printer/alt_ergo.o /tmp/camlasm6caf59.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/gnat_trivial.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/transform/prepare_for_counterexmp.ml' <.> echo 'Ocamlopt src/transform/gnat_trivial.ml' <.> echo 'Ocamlopt src/transform/prepare_for_counterexmp.ml' [*] cc -c -o src/transform/gnat_trivial.o /tmp/camlasmcf70b8.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/gnat_trivial.o /tmp/camlasmcf70b8.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/prepare_for_counterexmp.o /tmp/camlasm741dd1.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/prepare_for_counterexmp.o /tmp/camlasm741dd1.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/transform/reflection.o /tmp/camlasm97ad67.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/transform/reflection.o /tmp/camlasm97ad67.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/session/session_itp.ml' <.> echo 'Ocamlopt src/session/session_itp.ml' [*] cc -c -o src/printer/smtv2.o /tmp/camlasm6dd405.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/printer/smtv2.o /tmp/camlasm6dd405.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/session/session_itp.o /tmp/camlasm0e56c5.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/session/session_itp.o /tmp/camlasm0e56c5.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/session/controller_itp.ml' <.> echo 'Ocamlopt src/session/controller_itp.ml' [*] cc -c -o src/session/controller_itp.o /tmp/camlasmbf28c3.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/session/controller_itp.o /tmp/camlasmbf28c3.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/session/itp_communication.ml' <.> echo 'Ocamlopt src/session/itp_communication.ml' [*] cc -c -o src/session/itp_communication.o /tmp/camlasm4693ff.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/session/itp_communication.o /tmp/camlasm4693ff.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/session/server_utils.ml' [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/session/json_util.ml' <.> echo 'Ocamlopt src/session/server_utils.ml' <.> echo 'Ocamlopt src/session/json_util.ml' [*] cc -c -o src/session/server_utils.o /tmp/camlasmef08a3.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/session/server_utils.o /tmp/camlasmef08a3.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] cc -c -o src/session/json_util.o /tmp/camlasm652ffd.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/session/json_util.o /tmp/camlasm652ffd.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Ocamlopt src/session/itp_server.ml' <.> echo 'Ocamlopt src/session/itp_server.ml' [*] cc -c -o src/session/itp_server.o /tmp/camlasm58f7d5.s <.> /tmp/lang/spark2014-13/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/session/itp_server.o /tmp/camlasm58f7d5.s -I/tmp/lang/spark2014-13/work/.buildlink/include [*] /tmp/lang/spark2014-13/work/.tools/bin/echo 'Linking lib/why3/why3.cmx' <.> echo 'Linking lib/why3/why3.cmx'