XPost: linux.debian.maint.ocaml.maint

Source: why3
Version: 1.8.0-2
Severity: minor
Tags: trixie sid ftbfs
User: lucas@debian.org
Usertags: ftbfs-shuffle

Hi,

GNU Make now has a --shuffle option that simulates non-deterministic ordering of target prerequisites. See https://trofi.github.io/posts/238-new-make-shuffle-mode.html and also previous work in Debian by Santiago Vila: https://people.debian.org/~sanvila/make-shuffle/

This package fails to build with make --shuffle=reverse.
This is likely to be caused by a missing dependency in
debian/rules or an upstream Makefile.

More information about this mass bug filing is available at https://wiki.debian.org/qa.debian.org/FTBFS/Shuffle

Relevant part (hopefully):

make[2]: Entering directory '/build/reproducible-path/why3-1.8.0'
Ocamllex src/session/strategy_parser.mll
59 states, 799 transitions, table size 3550 bytes
2611 additional bytes used for bindings
Ocamllex src/session/xml.mll
117 states, 1396 transitions, table size 6286 bytes
3556 additional bytes used for bindings
Ocamllex src/driver/sexp.mll
33 states, 370 transitions, table size 1678 bytes
Ocamllex src/driver/driver_lexer.mll
34 states, 1366 transitions, table size 5668 bytes
Menhir src/driver/driver_parser.mly
Read 3 sample input sentences and 3 error messages.
menhir --explain --strict src/parser/parser_common.mly src/parser/parser.mly --base src/parser/parser --compile-errors \
src/parser/handcrafted.messages > src/parser/parser_messages.ml
Read 3 sample input sentences and 3 error messages.
Menhir src/parser/parser_common.mly src/parser/parser.mly
Menhir src/parser/parser_common.mly
Ocamllex src/parser/lexer.mll
174 states, 4831 transitions, table size 20368 bytes
9859 additional bytes used for bindings
Ocamllex src/util/json_lexer.mll
52 states, 495 transitions, table size 2292 bytes
Menhir src/util/json_parser.mly
Ocamllex src/util/lexlib.mll
39 states, 600 transitions, table size 2634 bytes
1338 additional bytes used for bindings
Ocamllex src/util/rc.mll
48 states, 1889 transitions, table size 7844 bytes
3073 additional bytes used for bindings
Generate src/util/config.ml
Ocamldep src/util/exn_printer.ml
Ocamldep src/util/mysexplib.ml
Ocamldep src/util/config.ml
Ocamldep src/util/bigInt.ml
Ocamldep src/util/mlmpfr_wrapper.ml
Ocamldep src/util/util.ml
Ocamldep src/util/opt.ml
Ocamldep src/util/lists.ml
Ocamldep src/util/strings.ml
Ocamldep src/util/pp.ml
Ocamldep src/util/extmap.ml
Ocamldep src/util/extset.ml
Ocamldep src/util/exthtbl.ml
Ocamldep src/util/weakhtbl.ml
Ocamldep src/util/diffmap.ml
Ocamldep src/util/hcpt.ml
Ocamldep src/util/hashcons.ml
Ocamldep src/util/wstdlib.ml
Ocamldep src/util/getopt.ml
Ocamldep src/util/json_base.ml
Ocamldep src/util/json_parser.ml
Ocamldep src/util/json_lexer.ml
Ocamldep src/util/debug.ml
Ocamldep src/util/loc.ml
Ocamldep src/util/print_tree.ml
Ocamldep src/util/cmdline.ml
Ocamldep src/util/sysutil.ml
Ocamldep src/util/lexlib.ml
Ocamldep src/util/rc.ml
Ocamldep src/util/plugin.ml
Ocamldep src/util/number.ml
Ocamldep src/util/constant.ml
Ocamldep src/util/vector.ml
Ocamldep src/util/pqueue.ml
cmp -s src/util/recompat.ml src/util/re.ml || cp src/util/recompat.ml src/util/re.ml
Ocamldep src/util/re.ml
Ocamldep src/core/ident.ml
Ocamldep src/core/ty.ml
Ocamldep src/core/term.ml
Ocamldep src/core/pattern.ml
Ocamldep src/core/decl.ml
Ocamldep src/core/coercion.ml
Ocamldep src/core/theory.ml
Ocamldep src/core/parser_tokens.ml
Ocamldep src/core/keywords.ml
Ocamldep src/core/task.ml
Ocamldep src/core/pretty.ml
Ocamldep src/core/dterm.ml
Ocamldep src/core/env.ml
Ocamldep src/core/trans.ml
Ocamldep src/core/printer.ml
Ocamldep src/core/model_parser.ml
Ocamldep src/driver/prove_client.ml
Ocamldep src/driver/whyconf.ml
Ocamldep src/driver/call_provers.ml
Ocamldep src/driver/driver_parser.ml
Ocamldep src/driver/driver_lexer.ml
Ocamldep src/driver/driver.ml
Ocamldep src/driver/autodetection.ml
Ocamldep src/driver/smtv2_model_defs.ml
Ocamldep src/driver/sexp.ml
Ocamldep src/driver/smtv2_model_parser.ml
Ocamldep src/mlw/ity.ml
Ocamldep src/mlw/expr.ml
Ocamldep src/mlw/pdecl.ml
Ocamldep src/mlw/eval_match.ml
Ocamldep src/mlw/typeinv.ml
Ocamldep src/mlw/vc.ml
Ocamldep src/mlw/pmodule.ml
Ocamldep src/mlw/dexpr.ml
Ocamldep src/mlw/big_real.ml
Ocamldep src/mlw/pinterp_core.ml
Ocamldep src/mlw/rac.ml
Ocamldep src/mlw/pinterp.ml
Ocamldep src/mlw/check_ce.ml
Ocamldep src/extract/mltree.ml
Ocamldep src/extract/compile.ml
Ocamldep src/extract/mlinterp.ml
Ocamldep src/extract/pdriver.ml
Ocamldep src/extract/ml_printer.ml
Ocamldep src/extract/c.ml
Ocamldep src/extract/ocaml.ml
Ocamldep src/extract/cakeml.ml
Ocamldep src/extract/java.ml
Ocamldep src/parser/ptree.ml
Ocamldep src/parser/ptree_helpers.ml
Ocamldep src/parser/glob.ml
Ocamldep src/parser/typing.ml
Ocamldep src/parser/parser_messages.ml
Ocamldep src/parser/parser.ml
Ocamldep src/parser/report.ml
Ocamldep src/parser/lexer.ml
Ocamldep src/parser/mlw_printer.ml
Ocamldep src/parser/sexp_parser.ml
Ocamldep src/transform/simplify_formula.ml
Ocamldep src/transform/inlining.ml
Ocamldep src/transform/split_goal.ml
Ocamldep src/transform/args_wrapper.ml
Ocamldep src/transform/reduction_engine.ml
Ocamldep src/transform/compute.ml
Ocamldep src/transform/remove_unused.ml
Ocamldep src/transform/detect_polymorphism.ml
Ocamldep src/transform/eliminate_definition.ml
Ocamldep src/transform/extensional.ml
Ocamldep src/transform/abstract_quantifiers.ml
Ocamldep src/transform/eliminate_unknown_types.ml
Ocamldep src/transform/eliminate_unknown_lsymbols.ml
Ocamldep src/transform/eliminate_symbol.ml
Ocamldep src/transform/eliminate_inductive.ml
Ocamldep src/transform/eliminate_let.ml
Ocamldep src/transform/eliminate_if.ml
Ocamldep src/transform/libencoding.ml
Ocamldep src/transform/eliminate_algebraic.ml
Ocamldep src/transform/discriminate.ml
Ocamldep src/transform/encoding.ml
Ocamldep src/transform/encoding_select.ml
Ocamldep src/transform/encoding_guards_full.ml
Ocamldep src/transform/encoding_tags_full.ml
Ocamldep src/transform/encoding_guards.ml
Ocamldep src/transform/encoding_tags.ml
Ocamldep src/transform/encoding_twin.ml
Ocamldep src/transform/encoding_sort.ml
Ocamldep src/transform/simplify_array.ml
Ocamldep src/transform/filter_trigger.ml
Ocamldep src/transform/abstraction.ml
Ocamldep src/transform/close_epsilon.ml
Ocamldep src/transform/lift_epsilon.ml
Ocamldep src/transform/eliminate_epsilon.ml
Ocamldep src/transform/instantiate_predicate.ml
Ocamldep src/transform/smoke_detector.ml
Ocamldep src/transform/prop_curry.ml
Ocamldep src/transform/eliminate_literal.ml
Ocamldep src/transform/generic_arg_trans_utils.ml
Ocamldep src/transform/case.ml
Ocamldep src/transform/apply.ml
Ocamldep src/transform/subst.ml
Ocamldep src/transform/introduction.ml
Ocamldep src/transform/ind_itp.ml
Ocamldep src/transform/destruct.ml
Ocamldep src/transform/cut.ml
Ocamldep src/transform/congruence.ml
Ocamldep src/transform/induction.ml
Ocamldep src/transform/induction_pr.ml
Ocamldep src/transform/prepare_for_counterexmp.ml
Ocamldep src/transform/reflection.ml
Ocamldep src/transform/keep_only_arithmetic.ml
Ocamldep src/printer/cntexmp_printer.ml
Ocamldep src/printer/alt_ergo.ml
Ocamldep src/printer/why3printer.ml
Ocamldep src/printer/smtv1.ml
Ocamldep src/printer/smtv2.ml
Ocamldep src/printer/coq.ml
Ocamldep src/printer/pvs.ml
Ocamldep src/printer/isabelle.ml
Ocamldep src/printer/simplify.ml
Ocamldep src/printer/gappa.ml
Ocamldep src/printer/cvc3.ml
Ocamldep src/printer/yices.ml
Ocamldep src/printer/mathematica.ml
Ocamldep src/session/compress.ml
Ocamldep src/session/xml.ml
Ocamldep src/session/termcode.ml
Ocamldep src/session/session_itp.ml
Ocamldep src/session/strategy.ml
Ocamldep src/session/strategy_parser.ml
Ocamldep src/session/controller_itp.ml
Ocamldep src/session/server_utils.ml
Ocamldep src/session/itp_communication.ml
Ocamldep src/session/itp_server.ml
Ocamldep src/session/json_util.ml
Ocamldep src/session/unix_scheduler.ml
Ocamldep src/driver/driver_ast.mli
Ocamllex plugins/parser/dimacs.mll
34 states, 434 transitions, table size 1940 bytes
1293 additional bytes used for bindings
Menhir src/parser/parser_common.mly plugins/cfg/cfg_parser.mly
Ocamllex plugins/cfg/cfg_lexer.mll
173 states, 4796 transitions, table size 20222 bytes
9853 additional bytes used for bindings
Menhir plugins/microc/mc_parser.mly
Ocamllex plugins/microc/mc_lexer.mll
77 states, 473 transitions, table size 2354 bytes
1504 additional bytes used for bindings
Menhir plugins/python/py_parser.mly
Ocamllex plugins/python/py_lexer.mll
69 states, 1256 transitions, table size 5438 bytes
1453 additional bytes used for bindings
Menhir src/parser/parser_common.mly plugins/coma/coma_parser.mly
Ocamllex plugins/coma/coma_lexer.mll
251 states, 6731 transitions, table size 28430 bytes
16559 additional bytes used for bindings
Menhir plugins/tptp/tptp_parser.mly
Ocamllex plugins/tptp/tptp_lexer.mll
101 states, 1563 transitions, table size 6858 bytes
3126 additional bytes used for bindings
Ocamldep plugins/parser/genequlin.ml
Ocamldep plugins/parser/dimacs.ml
Ocamldep plugins/transform/hypothesis_selection.ml
Ocamldep plugins/strategies/forward_propagation.ml
Ocamldep plugins/tptp/tptp_parser.ml
Ocamldep plugins/tptp/tptp_typing.ml
Ocamldep plugins/tptp/tptp_lexer.ml
Ocamldep plugins/tptp/tptp_printer.ml
Ocamldep plugins/coma/coma_logic.ml
Ocamldep plugins/coma/coma_syntax.ml
Ocamldep plugins/coma/coma_parser.ml
Ocamldep plugins/coma/coma_lexer.ml
Ocamldep plugins/coma/coma_typing.ml
Ocamldep plugins/coma/coma_main.ml
Ocamldep plugins/python/py_parser.ml
Ocamldep plugins/python/py_lexer.ml
Ocamldep plugins/python/py_main.ml
Ocamldep plugins/microc/mc_parser.ml
Ocamldep plugins/microc/mc_lexer.ml
Ocamldep plugins/microc/mc_printer.ml
Ocamldep plugins/microc/mc_main.ml
Ocamldep plugins/cfg/cfg_parser.ml
Ocamldep plugins/cfg/cfg_lexer.ml
Ocamldep plugins/cfg/cfg_paths.ml
Ocamldep plugins/cfg/subregion_analysis.ml
Ocamldep plugins/cfg/cfg_main.ml
Ocamldep plugins/cfg/stackify.ml
Ocamldep plugins/cfg/cfg_stackify.ml
Ocamldep plugins/tptp/tptp_ast.mli
Ocamldep plugins/python/py_ast.mli
Ocamldep plugins/microc/mc_ast.mli
Ocamldep plugins/cfg/cfg_ast.mli
Ocamllex src/tools/why3wc.mll
307 states, 15627 transitions, table size 64350 bytes
Ocamldep src/tools/main.ml
Ocamldep src/tools/why3config.ml
Ocamldep src/tools/why3execute.ml
Ocamldep src/tools/why3extract.ml
Ocamldep src/tools/why3prove.ml
Ocamldep src/tools/why3realize.ml
Ocamldep src/tools/why3replay.ml
Ocamldep src/tools/why3show.ml
Ocamldep src/tools/why3wc.ml
Ocamldep src/tools/why3bench.ml
Ocamldep src/ide/gconfig.ml
Ocamldep src/ide/ide_utils.ml
Ocamldep src/ide/why3ide.ml
Ocamldep src/ide/wserver.ml
Ocamldep src/ide/why3web.ml
Ocamldep src/why3session/why3session_lib.ml
Ocamldep src/why3session/why3session_info.ml
Ocamldep src/why3session/why3session_html.ml
Ocamldep src/why3session/why3session_latex.ml
Ocamldep src/why3session/why3session_update.ml
Ocamldep src/why3session/why3session_output.ml
Ocamldep src/why3session/why3session_create.ml
Ocamldep src/why3session/why3session_main.ml
Ocamldep src/tools/why3shell.ml
Ocamldep src/isabelle-client/isabelle_client_main.ml
Ocamldep src/tools/why3pp.ml
Ocamllex src/why3doc/doc_lexer.mll
120 states, 706 transitions, table size 3544 bytes
1763 additional bytes used for bindings
Ocamldep src/why3doc/doc_html.ml
Ocamldep src/why3doc/doc_def.ml
Ocamldep src/why3doc/doc_lexer.ml
Ocamldep src/why3doc/doc_main.ml
cp src/util/json_lexer.mli src/trywhy3/json_lexer.mli
cp src/util/json_parser.mli src/trywhy3/json_parser.mli
cp src/util/json_base.mli src/trywhy3/json_base.mli
cp src/util/json_lexer.ml src/trywhy3/json_lexer.ml
cp src/util/json_parser.ml src/trywhy3/json_parser.ml
cp src/util/json_base.ml src/trywhy3/json_base.ml
Ocamldep src/trywhy3/json_base.ml
Ocamldep src/trywhy3/json_parser.ml
Ocamldep src/trywhy3/json_lexer.ml
Ocamldep src/trywhy3/bindings.ml
Ocamldep src/trywhy3/shortener.ml
Ocamldep src/trywhy3/trywhy3.ml
Ocamldep src/trywhy3/why3_worker.ml
Ocamldep src/trywhy3/worker_proto.ml
Makefile:2110: update target 'src/why3doc/doc_main.cmi' due to: target does not exist
echo 'Ocamlc src/why3doc/doc_main.mli'
Ocamlc src/why3doc/doc_main.mli
ocamlfind ocamlc -c -w A-4-9-41-42-44-45-52@5@8@14@48@50 -safe-string -keep-locs -bin-annot -dtypes -g -thread -I lib/why3 -I src/why3doc -package menhirLib -package str -package unix -package zarith -package dynlink -package zip src/why3doc/doc_main.

mli

Makefile:2110: update target 'src/session/unix_scheduler.cmi' due to: target does not exist
echo 'Ocamlc src/session/unix_scheduler.mli'
Ocamlc src/session/unix_scheduler.mli
ocamlfind ocamlc -c -w A-4-9-41-42-44-45-52@5@8@14@48@50 -safe-string -keep-locs -bin-annot -dtypes -g -thread -I lib/why3 -I src/why3doc -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I

src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -package menhirLib -package str -package unix -package zarith -package dynlink -package zip src/session/unix_
scheduler.mli

Makefile:2124: update target 'src/session/unix_scheduler.cmo' due to: target does not exist
echo 'Ocamlc src/session/unix_scheduler.ml'
Ocamlc src/session/unix_scheduler.ml
ocamlfind ocamlc -c -w A-4-9-41-42-44-45-52@5@8@14@48@50 -safe-string -keep-locs -bin-annot -dtypes -g -thread -I lib/why3 -I src/why3doc -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I

src/session -package menhirLib -package str -package unix -package zarith -package dynlink -package zip src/session/unix_scheduler.ml

Makefile:2110: update target 'src/util/getopt.cmi' due to: target does not exist
echo 'Ocamlc src/util/getopt.mli'
Ocamlc src/util/getopt.mli
ocamlfind ocamlc -c -w A-4-9-41-42-44-45-52@5@8@14@48@50 -safe-string -keep-locs -bin-annot -dtypes -g -thread -I lib/why3 -I src/why3doc -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I

src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -package menhirLib -package str -package unix -package zarith -package dynlink -package zip src/util/getopt.mli

Makefile:2110: update target 'src/util/pp.cmi' due to: target does not exist echo 'Ocamlc src/util/pp.mli'
Ocamlc src/util/pp.mli
ocamlfind ocamlc -c -w A-4-9-41-42-44-45-52@5@8@14@48@50 -safe-string -keep-locs -bin-annot -dtypes -g -thread -I lib/why3 -I src/why3doc -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I

src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -package menhirLib -package str -package unix -package zarith -package dynlink -package zip src/util/pp.mli

Makefile:2110: update target 'src/util/debug.cmi' due to: target does not exist
echo 'Ocamlc src/util/debug.mli'
Ocamlc src/util/debug.mli
ocamlfind ocamlc -c -w A-4-9-41-42-44-45-52@5@8@14@48@50 -safe-string -keep-locs -bin-annot -dtypes -g -thread -I lib/why3 -I src/why3doc -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I

src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -package menhirLib -package str -package unix -package zarith -package dynlink -package zip src/util/debug.mli

Makefile:2110: update target 'src/util/json_base.cmi' due to: target does not exist
echo 'Ocamlc src/util/json_base.mli'
Ocamlc src/util/json_base.mli
ocamlfind ocamlc -c -w A-4-9-41-42-44-45-52@5@8@14@48@50 -safe-string -keep-locs -bin-annot -dtypes -g -thread -I lib/why3 -I src/why3doc -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I

src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -package menhirLib -package str -package unix -package zarith -package dynlink -package zip src/util/json_base.mli

Makefile:2110: update target 'src/util/bigInt.cmi' due to: target does not exist
echo 'Ocamlc src/util/bigInt.mli'
Ocamlc src/util/bigInt.mli
ocamlfind ocamlc -c -w A-4-9-41-42-44-45-52@5@8@14@48@50 -safe-string -keep-locs -bin-annot -dtypes -g -thread -I lib/why3 -I src/why3doc -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I

src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -package menhirLib -package str -package unix -package zarith -package dynlink -package zip src/util/bigInt.mli

Makefile:2110: update target 'src/util/number.cmi' due to: target does not exist
echo 'Ocamlc src/util/number.mli'
Ocamlc src/util/number.mli
ocamlfind ocamlc -c -w A-4-9-41-42-44-45-52@5@8@14@48@50 -safe-string -keep-locs -bin-annot -dtypes -g -thread -I lib/why3 -I src/why3doc -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I

src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -package menhirLib -package str -package unix -package zarith -package dynlink -package zip src/util/number.mli

Makefile:2110: update target 'src/util/constant.cmi' due to: target does not exist
echo 'Ocamlc src/util/constant.mli'
Ocamlc src/util/constant.mli
ocamlfind ocamlc -c -w A-4-9-41-42-44-45-52@5@8@14@48@50 -safe-string -keep-locs -bin-annot -dtypes -g -thread -I lib/why3 -I src/why3doc -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I

src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -package menhirLib -package str -package unix -package zarith -package dynlink -package zip src/util/constant.mli

Makefile:2110: update target 'src/util/exthtbl.cmi' due to: target does not exist
echo 'Ocamlc src/util/exthtbl.mli'
Ocamlc src/util/exthtbl.mli
ocamlfind ocamlc -c -w A-4-9-41-42-44-45-52@5@8@14@48@50 -safe-string -keep-locs -bin-annot -dtypes -g -thread -I lib/why3 -I src/why3doc -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I

src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -package menhirLib -package str -package unix -package zarith -package dynlink -package zip src/util/exthtbl.mli

Makefile:2110: update target 'src/util/extmap.cmi' due to: target does not exist
echo 'Ocamlc src/util/extmap.mli'
Ocamlc src/util/extmap.mli
ocamlfind ocamlc -c -w A-4-9-41-42-44-45-52@5@8@14@48@50 -safe-string -keep-locs -bin-annot -dtypes -g -thread -I lib/why3 -I src/why3doc -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I

src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -package menhirLib -package str -package unix -package zarith -package dynlink -package zip src/util/extmap.mli

Makefile:2110: update target 'src/util/extset.cmi' due to: target does not exist
echo 'Ocamlc src/util/extset.mli'
Ocamlc src/util/extset.mli
ocamlfind ocamlc -c -w A-4-9-41-42-44-45-52@5@8@14@48@50 -safe-string -keep-locs -bin-annot -dtypes -g -thread -I lib/why3 -I src/why3doc -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I

src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -package menhirLib -package str -package unix -package zarith -package dynlink -package zip src/util/extset.mli

Makefile:2110: update target 'src/util/loc.cmi' due to: target does not exist echo 'Ocamlc src/util/loc.mli'
Ocamlc src/util/loc.mli
ocamlfind ocamlc -c -w A-4-9-41-42-44-45-52@5@8@14@48@50 -safe-string -keep-locs -bin-annot -dtypes -g -thread -I lib/why3 -I src/why3doc -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I

src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -package menhirLib -package str -package unix -package zarith -package dynlink -package zip src/util/loc.mli

Makefile:2110: update target 'src/util/weakhtbl.cmi' due to: target does not exist
echo 'Ocamlc src/util/weakhtbl.mli'
Ocamlc src/util/weakhtbl.mli
ocamlfind ocamlc -c -w A-4-9-41-42-44-45-52@5@8@14@48@50 -safe-string -keep-locs -bin-annot -dtypes -g -thread -I lib/why3 -I src/why3doc -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I

src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -package menhirLib -package str -package unix -package zarith -package dynlink -package zip src/util/weakhtbl.mli

Makefile:2110: update target 'src/core/ident.cmi' due to: target does not exist
echo 'Ocamlc src/core/ident.mli'
Ocamlc src/core/ident.mli
ocamlfind ocamlc -c -w A-4-9-41-42-44-45-52@5@8@14@48@50 -safe-string -keep-locs -bin-annot -dtypes -g -thread -I lib/why3 -I src/why3doc -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I

src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/
session -package menhirLib -package str -package unix -package zarith -package dynlink -package zip src/core/ident.mli

Makefile:2110: update target 'src/core/ty.cmi' due to: target does not exist echo 'Ocamlc src/core/ty.mli'
Ocamlc src/core/ty.mli

[continued in next message]

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)