Attachment 1468949 Details for Bug 1606675 – build.log

build.log

build.log (text/plain), 32.00 KB, created by Mohan Boddu on 2018-07-20 21:09:33 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Mohan Boddu

Created: 2018-07-20 21:09:33 UTC

Size: 32.00 KB

patch

obsolete

>core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/transform/eliminate_if.ml src/transform/eliminate_if.mli > "src/transform/eliminate_if.dep" || (RV=$?; rm -f "src/transform/eliminate_if.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/transform/eliminate_let.ml src/transform/eliminate_let.mli > "src/transform/eliminate_let.dep" || (RV=$?; rm -f "src/transform/eliminate_let.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/transform/eliminate_inductive.ml src/transform/eliminate_inductive.mli > "src/transform/eliminate_inductive.dep" || (RV=$?; rm -f "src/transform/eliminate_inductive.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/transform/eliminate_algebraic.ml src/transform/eliminate_algebraic.mli > "src/transform/eliminate_algebraic.dep" || (RV=$?; rm -f "src/transform/eliminate_algebraic.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/transform/eliminate_definition.ml src/transform/eliminate_definition.mli > "src/transform/eliminate_definition.dep" || (RV=$?; rm -f "src/transform/eliminate_definition.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/transform/compute.ml src/transform/compute.mli > "src/transform/compute.dep" || (RV=$?; rm -f "src/transform/compute.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/transform/reduction_engine.ml src/transform/reduction_engine.mli > "src/transform/reduction_engine.dep" || (RV=$?; rm -f "src/transform/reduction_engine.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/transform/detect_polymorphism.ml src/transform/detect_polymorphism.mli > "src/transform/detect_polymorphism.dep" || (RV=$?; rm -f "src/transform/detect_polymorphism.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/transform/induction.ml src/transform/induction.mli > "src/transform/induction.dep" || (RV=$?; rm -f "src/transform/induction.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/transform/split_goal.ml src/transform/split_goal.mli > "src/transform/split_goal.dep" || (RV=$?; rm -f "src/transform/split_goal.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/transform/inlining.ml src/transform/inlining.mli > "src/transform/inlining.dep" || (RV=$?; rm -f "src/transform/inlining.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/transform/simplify_formula.ml src/transform/simplify_formula.mli > "src/transform/simplify_formula.dep" || (RV=$?; rm -f "src/transform/simplify_formula.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/parser/lexer.ml src/parser/lexer.mli > "src/parser/lexer.dep" || (RV=$?; rm -f "src/parser/lexer.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/parser/typing.ml src/parser/typing.mli > "src/parser/typing.dep" || (RV=$?; rm -f "src/parser/typing.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/parser/parser.ml src/parser/parser.mli > "src/parser/parser.dep" || (RV=$?; rm -f "src/parser/parser.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/parser/glob.ml src/parser/glob.mli > "src/parser/glob.dep" || (RV=$?; rm -f "src/parser/glob.dep"; exit ${RV})
>(ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/parser/ptree.ml; \
>        echo 'src/parser/ptree.cmx : src/parser/ptree.cmi'; \
>        echo 'src/parser/ptree.cmi : src/parser/ptree.cmo') > "src/parser/ptree.dep" || (RV=$?; rm -f "src/parser/ptree.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/mlw/pmodule.ml src/mlw/pmodule.mli > "src/mlw/pmodule.dep" || (RV=$?; rm -f "src/mlw/pmodule.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/mlw/pdecl.ml src/mlw/pdecl.mli > "src/mlw/pdecl.dep" || (RV=$?; rm -f "src/mlw/pdecl.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/mlw/dexpr.ml src/mlw/dexpr.mli > "src/mlw/dexpr.dep" || (RV=$?; rm -f "src/mlw/dexpr.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/mlw/expr.ml src/mlw/expr.mli > "src/mlw/expr.dep" || (RV=$?; rm -f "src/mlw/expr.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/mlw/ity.ml src/mlw/ity.mli > "src/mlw/ity.dep" || (RV=$?; rm -f "src/mlw/ity.dep"; exit ${RV})
>(ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/driver/parse_smtv2_model.ml; \
>        echo 'src/driver/parse_smtv2_model.cmx : src/driver/parse_smtv2_model.cmi'; \
>        echo 'src/driver/parse_smtv2_model.cmi : src/driver/parse_smtv2_model.cmo') > "src/driver/parse_smtv2_model.dep" || (RV=$?; rm -f "src/driver/parse_smtv2_model.dep"; exit ${RV})
>(ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/driver/parse_smtv2_model_lexer.ml; \
>        echo 'src/driver/parse_smtv2_model_lexer.cmx : src/driver/parse_smtv2_model_lexer.cmi'; \
>        echo 'src/driver/parse_smtv2_model_lexer.cmi : src/driver/parse_smtv2_model_lexer.cmo') > "src/driver/parse_smtv2_model_lexer.dep" || (RV=$?; rm -f "src/driver/parse_smtv2_model_lexer.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/driver/collect_data_model.ml src/driver/collect_data_model.mli > "src/driver/collect_data_model.dep" || (RV=$?; rm -f "src/driver/collect_data_model.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/driver/parse_smtv2_model_parser.ml src/driver/parse_smtv2_model_parser.mli > "src/driver/parse_smtv2_model_parser.dep" || (RV=$?; rm -f "src/driver/parse_smtv2_model_parser.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/driver/smt2_model_defs.ml src/driver/smt2_model_defs.mli > "src/driver/smt2_model_defs.dep" || (RV=$?; rm -f "src/driver/smt2_model_defs.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/driver/autodetection.ml src/driver/autodetection.mli > "src/driver/autodetection.dep" || (RV=$?; rm -f "src/driver/autodetection.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/driver/whyconf.ml src/driver/whyconf.mli > "src/driver/whyconf.dep" || (RV=$?; rm -f "src/driver/whyconf.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/driver/driver.ml src/driver/driver.mli > "src/driver/driver.dep" || (RV=$?; rm -f "src/driver/driver.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/driver/driver_lexer.ml src/driver/driver_lexer.mli > "src/driver/driver_lexer.dep" || (RV=$?; rm -f "src/driver/driver_lexer.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/driver/driver_parser.ml src/driver/driver_parser.mli > "src/driver/driver_parser.dep" || (RV=$?; rm -f "src/driver/driver_parser.dep"; exit ${RV})
>(ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/driver/driver_ast.ml; \
>        echo 'src/driver/driver_ast.cmx : src/driver/driver_ast.cmi'; \
>        echo 'src/driver/driver_ast.cmi : src/driver/driver_ast.cmo') > "src/driver/driver_ast.dep" || (RV=$?; rm -f "src/driver/driver_ast.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/driver/call_provers.ml src/driver/call_provers.mli > "src/driver/call_provers.dep" || (RV=$?; rm -f "src/driver/call_provers.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/driver/prove_client.ml src/driver/prove_client.mli > "src/driver/prove_client.dep" || (RV=$?; rm -f "src/driver/prove_client.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/core/model_parser.ml src/core/model_parser.mli > "src/core/model_parser.dep" || (RV=$?; rm -f "src/core/model_parser.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/core/printer.ml src/core/printer.mli > "src/core/printer.dep" || (RV=$?; rm -f "src/core/printer.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/core/trans.ml src/core/trans.mli > "src/core/trans.dep" || (RV=$?; rm -f "src/core/trans.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/core/env.ml src/core/env.mli > "src/core/env.dep" || (RV=$?; rm -f "src/core/env.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/core/dterm.ml src/core/dterm.mli > "src/core/dterm.dep" || (RV=$?; rm -f "src/core/dterm.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/core/pretty.ml src/core/pretty.mli > "src/core/pretty.dep" || (RV=$?; rm -f "src/core/pretty.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/core/task.ml src/core/task.mli > "src/core/task.dep" || (RV=$?; rm -f "src/core/task.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/core/theory.ml src/core/theory.mli > "src/core/theory.dep" || (RV=$?; rm -f "src/core/theory.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/core/decl.ml src/core/decl.mli > "src/core/decl.dep" || (RV=$?; rm -f "src/core/decl.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/core/pattern.ml src/core/pattern.mli > "src/core/pattern.dep" || (RV=$?; rm -f "src/core/pattern.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/core/term.ml src/core/term.mli > "src/core/term.dep" || (RV=$?; rm -f "src/core/term.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/core/ty.ml src/core/ty.mli > "src/core/ty.dep" || (RV=$?; rm -f "src/core/ty.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/core/ident.ml src/core/ident.mli > "src/core/ident.dep" || (RV=$?; rm -f "src/core/ident.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/pqueue.ml src/util/pqueue.mli > "src/util/pqueue.dep" || (RV=$?; rm -f "src/util/pqueue.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/number.ml src/util/number.mli > "src/util/number.dep" || (RV=$?; rm -f "src/util/number.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/bigInt.ml src/util/bigInt.mli > "src/util/bigInt.dep" || (RV=$?; rm -f "src/util/bigInt.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/plugin.ml src/util/plugin.mli > "src/util/plugin.dep" || (RV=$?; rm -f "src/util/plugin.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/rc.ml src/util/rc.mli > "src/util/rc.dep" || (RV=$?; rm -f "src/util/rc.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/sysutil.ml src/util/sysutil.mli > "src/util/sysutil.dep" || (RV=$?; rm -f "src/util/sysutil.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/warning.ml src/util/warning.mli > "src/util/warning.dep" || (RV=$?; rm -f "src/util/warning.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/cmdline.ml src/util/cmdline.mli > "src/util/cmdline.dep" || (RV=$?; rm -f "src/util/cmdline.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/print_tree.ml src/util/print_tree.mli > "src/util/print_tree.dep" || (RV=$?; rm -f "src/util/print_tree.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/lexlib.ml src/util/lexlib.mli > "src/util/lexlib.dep" || (RV=$?; rm -f "src/util/lexlib.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/loc.ml src/util/loc.mli > "src/util/loc.dep" || (RV=$?; rm -f "src/util/loc.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/debug.ml src/util/debug.mli > "src/util/debug.dep" || (RV=$?; rm -f "src/util/debug.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/json.ml src/util/json.mli > "src/util/json.dep" || (RV=$?; rm -f "src/util/json.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/pp.ml src/util/pp.mli > "src/util/pp.dep" || (RV=$?; rm -f "src/util/pp.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/exn_printer.ml src/util/exn_printer.mli > "src/util/exn_printer.dep" || (RV=$?; rm -f "src/util/exn_printer.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/stdlib.ml src/util/stdlib.mli > "src/util/stdlib.dep" || (RV=$?; rm -f "src/util/stdlib.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/hashcons.ml src/util/hashcons.mli > "src/util/hashcons.dep" || (RV=$?; rm -f "src/util/hashcons.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/weakhtbl.ml src/util/weakhtbl.mli > "src/util/weakhtbl.dep" || (RV=$?; rm -f "src/util/weakhtbl.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/exthtbl.ml src/util/exthtbl.mli > "src/util/exthtbl.dep" || (RV=$?; rm -f "src/util/exthtbl.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/extset.ml src/util/extset.mli > "src/util/extset.dep" || (RV=$?; rm -f "src/util/extset.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/extmap.ml src/util/extmap.mli > "src/util/extmap.dep" || (RV=$?; rm -f "src/util/extmap.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/strings.ml src/util/strings.mli > "src/util/strings.dep" || (RV=$?; rm -f "src/util/strings.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/lists.ml src/util/lists.mli > "src/util/lists.dep" || (RV=$?; rm -f "src/util/lists.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/opt.ml src/util/opt.mli > "src/util/opt.dep" || (RV=$?; rm -f "src/util/opt.dep"; exit ${RV})
>ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/util.ml src/util/util.mli > "src/util/util.dep" || (RV=$?; rm -f "src/util/util.dep"; exit ${RV})
>(ocamldep.opt -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/config.ml; \
>        echo 'src/util/config.cmx : src/util/config.cmi'; \
>        echo 'src/util/config.cmi : src/util/config.cmo') > "src/util/config.dep" || (RV=$?; rm -f "src/util/config.dep"; exit ${RV})
>cp -p lib/ocaml/why3__BigInt_zarith.ml lib/ocaml/why3__BigInt_compat.ml
>cp -p src/session/compress_z.ml src/session/compress.ml
>mkdir lib/plugins
>ocamlopt.opt -w A-4-9-41-44-45-50-52@5@48 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -shared -o lib/plugins/genequlin.cmxs 
>ocamlopt.opt -w A-4-9-41-44-45-50-52@5@48 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -shared -o lib/plugins/dimacs.cmxs 
>ocamlc.opt -c -w A-4-9-41-44-45-50-52@5@48 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/config.ml
>ocamlopt.opt -c -w A-4-9-41-44-45-50-52@5@48 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session -for-pack Why3 -intf-suffix .cmi src/util/config.ml
>ocamlc.opt -c -w A-4-9-41-44-45-50-52@5@48 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/bigInt.mli
>ocamlopt.opt -c -w A-4-9-41-44-45-50-52@5@48 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session -for-pack Why3 -for-pack Why3 src/util/bigInt.ml
>ocamlc.opt -c -w A-4-9-41-44-45-50-52@5@48 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/util.mli
>ocamlopt.opt -c -w A-4-9-41-44-45-50-52@5@48 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session -for-pack Why3 src/util/util.ml
>ocamlc.opt -c -w A-4-9-41-44-45-50-52@5@48 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/opt.mli
>ocamlopt.opt -c -w A-4-9-41-44-45-50-52@5@48 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session -for-pack Why3 src/util/opt.ml
>ocamlc.opt -c -w A-4-9-41-44-45-50-52@5@48 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/lists.mli
>ocamlopt.opt -c -w A-4-9-41-44-45-50-52@5@48 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session -for-pack Why3 src/util/lists.ml
>ocamlc.opt -c -w A-4-9-41-44-45-50-52@5@48-3 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/strings.mli
>ocamlopt.opt -c -w A-4-9-41-44-45-50-52@5@48-3 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session -for-pack Why3 src/util/strings.ml
>ocamlc.opt -c -w A-4-9-41-44-45-50-52@5@48 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/extmap.mli
>ocamlopt.opt -c -w A-4-9-41-44-45-50-52@5@48 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session -for-pack Why3 src/util/extmap.ml
>ocamlc.opt -c -w A-4-9-41-44-45-50-52@5@48 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/extset.mli
>ocamlopt.opt -c -w A-4-9-41-44-45-50-52@5@48 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session -for-pack Why3 src/util/extset.ml
>ocamlc.opt -c -w A-4-9-41-44-45-50-52@5@48 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/exthtbl.mli
>ocamlopt.opt -c -w A-4-9-41-44-45-50-52@5@48 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session -for-pack Why3 src/util/exthtbl.ml
>ocamlc.opt -c -w A-4-9-41-44-45-50-52@5@48 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/weakhtbl.mli
>ocamlopt.opt -c -w A-4-9-41-44-45-50-52@5@48 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session -for-pack Why3 src/util/weakhtbl.ml
>ocamlc.opt -c -w A-4-9-41-44-45-50-52@5@48 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/hashcons.mli
>ocamlopt.opt -c -w A-4-9-41-44-45-50-52@5@48 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session -for-pack Why3 src/util/hashcons.ml
>ocamlc.opt -c -w A-4-9-41-44-45-50-52@5@48 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/menhirLib -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I src/util -I src/core -I src/driver -I src/mlw -I src/parser -I src/transform -I src/printer -I src/whyml -I src/session src/util/stdlib.mli
>File "compiler internals", line 1:
>Error: Unbound module Stdlib
>make: *** [Makefile:1882: src/util/stdlib.cmi] Error 2
>error: Bad exit status from /var/tmp/rpm-tmp.QXGZju (%build)
>RPM build errors:
>    Bad exit status from /var/tmp/rpm-tmp.QXGZju (%build)
>Child return code was: 1
>EXCEPTION: [Error()]
>Traceback (most recent call last):
>  File "/usr/lib/python3.6/site-packages/mockbuild/trace_decorator.py", line 89, in trace
>    result = func(*args, **kw)
>  File "/usr/lib/python3.6/site-packages/mockbuild/util.py", line 582, in do
>    raise exception.Error("Command failed. See logs for output.\n # %s" % (command,), child.returncode)
>mockbuild.exception.Error: Command failed. See logs for output.
> # bash --login -c /usr/bin/rpmbuild -bb --target ppc64le --nodeps /builddir/build/SPECS/why3.spec

Actions: View

Attachments on bug 1606675: 1468949 | 1468950 | 1468951