* Package: dev-lang/teyjus-2.1-r1 * Repository: gentoo * Maintainer: gienah@gentoo.org * USE: abi_x86_64 amd64 elibc_glibc kernel_linux ocamlopt userland_GNU * FEATURES: network-sandbox preserve-libs sandbox splitdebug userpriv usersandbox >>> Unpacking source... >>> Unpacking teyjus-2.1.tar.gz to /var/tmp/portage/dev-lang/teyjus-2.1-r1/work >>> Source unpacked in /var/tmp/portage/dev-lang/teyjus-2.1-r1/work >>> Preparing source in /var/tmp/portage/dev-lang/teyjus-2.1-r1/work/teyjus-2.1 ... dos2unix: converting file ./util/ocamake.ml to Unix format... dos2unix: converting file ./source/test/system_tests/typeinf/mlt.t to Unix format... dos2unix: converting file ./source/test/system_tests/typeinf/mlt.sig to Unix format... dos2unix: converting file ./source/test/system_tests/typeinf/mlt.mod to Unix format... dos2unix: converting file ./source/test/system_tests/typeinf/main.om to Unix format... dos2unix: converting file ./source/test/system_tests/reverse/reverse.t to Unix format... dos2unix: converting file ./source/test/system_tests/reverse/reverse.sig to Unix format... dos2unix: converting file ./source/test/system_tests/reverse/reverse.mod to Unix format... dos2unix: converting file ./source/test/system_tests/poplmark-3/poplmark-3.t to Unix format... dos2unix: converting file ./source/test/system_tests/poplmark-3/poplmark-3.sig to Unix format... dos2unix: converting file ./source/test/system_tests/poplmark-3/poplmark-3.mod to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_tr/tr_test.sig to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_tr/tr_test.mod to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_tr/tr.t to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_tr/tailrec.sig to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_tr/tailrec.mod to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_tr/refl_syntax.sig to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_tr/refl_syntax.mod to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_tr/pcf.sig to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_tr/main.om to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_tr/examples.sig to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_tr/examples.mod to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_poly/unifytypes.sig to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_poly/unifytypes.mod to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_poly/polytypes.sig to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_poly/polyinfer.sig to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_poly/polyinfer.mod to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_poly/poly_test.sig to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_poly/poly_test.mod to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_poly/pcf_poly.t to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_poly/pcf.sig to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_poly/monotypes.sig to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_poly/main.om to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_poly/examples.sig to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_poly/examples.mod to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_poly/control.sig to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_poly/control.mod to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_mono/pcf_mono.t to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_mono/pcf.sig to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_mono/monotypes.sig to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_mono/monoinfer.sig to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_mono/monoinfer.mod to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_mono/mono_test.sig to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_mono/mono_test.mod to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_mono/main.om to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_mono/examples.sig to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_mono/examples.mod to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_eval/pcf_eval.t to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_eval/pcf.sig to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_eval/main.om to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_eval/examples.sig to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_eval/examples.mod to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_eval/eval_test.sig to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_eval/eval_test.mod to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_eval/eval.sig to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_eval/eval.mod to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_eval/control.sig to Unix format... dos2unix: converting file ./source/test/system_tests/pcf_eval/control.mod to Unix format... dos2unix: converting file ./source/test/system_tests/maps/maps.t to Unix format... dos2unix: converting file ./source/test/system_tests/maps/maps.sig to Unix format... dos2unix: converting file ./source/test/system_tests/maps/maps.mod to Unix format... dos2unix: converting file ./source/test/system_tests/lists/lists.t to Unix format... dos2unix: converting file ./source/test/system_tests/lists/lists.sig to Unix format... dos2unix: converting file ./source/test/system_tests/lists/lists.mod to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/typecat.sig to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/typecat.mod to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/test8.bob to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/test7.s-exp to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/test7.bob to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/test6.s-exp to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/test6.bob to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/test5.s-exp to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/test5.bob to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/test4.s-exp to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/test4.bob to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/test3.s-exp to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/test3.bob to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/test2.bob to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/realsparc.sig to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/realsparc.mod to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/main.om to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/lambdayacc.sig to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/lambdayacc.mod to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/kitty.sig to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/kitty.mod to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/comp.t to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/bobparser.sig to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/bobparser.mod to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/bobcatgram.sig to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/bobcatgram.mod to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/bobabsyn.sig to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/bobabsyn.mod to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/absparc.sig to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/absparc.mod to Unix format... dos2unix: converting file ./source/test/system_tests/hocompiler/README to Unix format... dos2unix: converting file ./source/test/system_tests/hilbert/main.om to Unix format... dos2unix: converting file ./source/test/system_tests/hilbert/hilbert.t to Unix format... dos2unix: converting file ./source/test/system_tests/hilbert/hilbert.sig to Unix format... dos2unix: converting file ./source/test/system_tests/hilbert/hilbert.mod to Unix format... dos2unix: converting file ./source/test/system_tests/harness to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_tr2/tr2_test.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_tr2/tr2_test.mod to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_tr2/tr2.t to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_tr2/terms.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_tr2/terms.mod to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_tr2/refl_syntax.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_tr2/refl_syntax.mod to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_tr2/main.om to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_tr2/general_tr.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_tr2/general_tr.mod to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_tr2/fp_vocab.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_tr2/fp_types.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_tr1/tr_recognizer.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_tr1/tr_recognizer.mod to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_tr1/tr1_test.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_tr1/tr1_test.mod to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_tr1/tr1.t to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_tr1/terms.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_tr1/terms.mod to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_tr1/main.om to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_tr1/fp_vocab.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_tr1/fp_types.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_eval/terms.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_eval/terms.mod to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_eval/main.om to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_eval/fp_vocab.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_eval/fp_types.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_eval/eval_examples.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_eval/eval_examples.mod to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_eval/eval_basic.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_eval/eval_basic.mod to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_eval/eval.t to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_eval/eval.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_eval/eval.mod to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_curry/terms.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_curry/terms.mod to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_curry/main.om to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_curry/fp_vocab.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_curry/fp_types.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_curry/curry_transform.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_curry/curry_transform.mod to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_curry/curry_test.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_curry/curry_test.mod to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_progs_curry/curry.t to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_pnf/refl_syntax.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_pnf/refl_syntax.mod to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_pnf/pnf_examples.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_pnf/pnf_examples.mod to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_pnf/pnf.t to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_pnf/pnf.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_pnf/pnf.mod to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_pnf/main.om to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_pnf/logic_vocab.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_pnf/logic_types.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_pnf/logic_basic.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_hcsyntax/refl_syntax.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_hcsyntax/refl_syntax.mod to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_hcsyntax/main.om to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_hcsyntax/logic_vocab.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_hcsyntax/logic_types.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_hcsyntax/logic_basic.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_hcsyntax/hcsyntax_examples.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_hcsyntax/hcsyntax_examples.mod to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_hcsyntax/hcsyntax.t to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_hcsyntax/hc_syntax.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_hcsyntax/hc_syntax.mod to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_hcinterp/main.om to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_hcinterp/logic_vocab.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_hcinterp/logic_types.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_hcinterp/logic_basic.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_hcinterp/lists.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_hcinterp/lists.mod to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_hcinterp/hcinterp_examples.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_hcinterp/hcinterp_examples.mod to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_hcinterp/hcinterp.t to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_hcinterp/hc_interp.sig to Unix format... dos2unix: converting file ./source/test/system_tests/handbook_logic_hcinterp/hc_interp.mod to Unix format... dos2unix: converting file ./source/test/system_tests/funs/lists.sig to Unix format... dos2unix: converting file ./source/test/system_tests/funs/lists.mod to Unix format... dos2unix: converting file ./source/test/system_tests/funs/funs.t to Unix format... dos2unix: converting file ./source/test/system_tests/funs/funs.sig to Unix format... dos2unix: converting file ./source/test/system_tests/funs/funs.mod to Unix format... dos2unix: converting file ./source/test/system_tests/exportdef/main.sig to Unix format... dos2unix: converting file ./source/test/system_tests/exportdef/main.om to Unix format... dos2unix: converting file ./source/test/system_tests/exportdef/main.mod to Unix format... dos2unix: converting file ./source/test/system_tests/exportdef/exportdef.t to Unix format... dos2unix: converting file ./source/test/system_tests/exportdef/acc_b.sig to Unix format... dos2unix: converting file ./source/test/system_tests/exportdef/acc_b.mod to Unix format... dos2unix: converting file ./source/test/system_tests/exportdef/acc_a.sig to Unix format... dos2unix: converting file ./source/test/system_tests/exportdef/acc_a.mod to Unix format... dos2unix: converting file ./source/test/system_tests/church/main.om to Unix format... dos2unix: converting file ./source/test/system_tests/church/church.t to Unix format... dos2unix: converting file ./source/test/system_tests/church/church.sig to Unix format... dos2unix: converting file ./source/test/system_tests/church/church.mod to Unix format... dos2unix: converting file ./source/test/system_tests/assoc/succeed to Unix format... dos2unix: converting file ./source/test/system_tests/assoc/fail to Unix format... dos2unix: converting file ./source/test/system_tests/assoc/assoclists.sig to Unix format... dos2unix: converting file ./source/test/system_tests/assoc/assoclists.mod to Unix format... dos2unix: converting file ./source/test/system_tests/assoc/assoc.t to Unix format... dos2unix: converting file ./source/test/system_tests/assoc/assoc.sig to Unix format... dos2unix: converting file ./source/test/system_tests/assoc/assoc.mod to Unix format... dos2unix: converting file ./source/test/system_tests/append/append.t to Unix format... dos2unix: converting file ./source/test/system_tests/append/append.sig to Unix format... dos2unix: converting file ./source/test/system_tests/append/append.mod to Unix format... dos2unix: converting file ./source/test/system_tests/SKI/randomlams.sig to Unix format... dos2unix: converting file ./source/test/system_tests/SKI/randomlams.mod to Unix format... dos2unix: converting file ./source/test/system_tests/SKI/main.om to Unix format... dos2unix: converting file ./source/test/system_tests/SKI/combos2.t to Unix format... dos2unix: converting file ./source/test/system_tests/SKI/combos2.sig to Unix format... dos2unix: converting file ./source/test/system_tests/SKI/combos2.mod to Unix format... dos2unix: converting file ./source/test/system_tests/OMakefile to Unix format... dos2unix: converting file ./source/test/linker_tests/renaming_imp/top.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/renaming_imp/top.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/renaming_imp/top.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/renaming_imp/main.om to Unix format... dos2unix: converting file ./source/test/linker_tests/renaming_imp/imp.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/renaming_imp/imp.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/renaming_imp/imp.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/renaming_imp/expected to Unix format... dos2unix: converting file ./source/test/linker_tests/renaming_acc/top.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/renaming_acc/top.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/renaming_acc/top.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/renaming_acc/main.om to Unix format... dos2unix: converting file ./source/test/linker_tests/renaming_acc/expected to Unix format... dos2unix: converting file ./source/test/linker_tests/renaming_acc/acc.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/renaming_acc/acc.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/renaming_acc/acc.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def9/top.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def9/top.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def9/top.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def9/main.om to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def9/expected to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def9/acc.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def9/acc.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def9/acc.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def8/top.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def8/top.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def8/top.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def8/main.om to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def8/expected to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def8/acc.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def8/acc.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def8/acc.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def7/top.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def7/top.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def7/top.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def7/main.om to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def7/expected to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def7/acc.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def7/acc.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def7/acc.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def6/top.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def6/top.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def6/top.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def6/main.om to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def6/expected to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def6/acc.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def6/acc.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def6/acc.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def5/top.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def5/top.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def5/top.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def5/main.om to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def5/expected to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def5/acc.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def5/acc.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def5/acc.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def4/top.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def4/top.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def4/top.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def4/main.om to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def4/expected to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def4/acc.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def4/acc.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def4/acc.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def3/top.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def3/top.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def3/top.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def3/main.om to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def3/expected to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def3/acc.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def3/acc.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def3/acc.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def2/top.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def2/top.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def2/top.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def2/main.om to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def2/expected to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def2/acc.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def2/acc.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def2/acc.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def12/top.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def12/top.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def12/top.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def12/main.om to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def12/expected to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def12/acc.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def12/acc.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def12/acc.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def11/top.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def11/top.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def11/top.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def11/main.om to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def11/expected to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def11/acc.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def11/acc.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def11/acc.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def10/top.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def10/top.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def10/top.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def10/main.om to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def10/expected to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def10/acc.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def10/acc.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def10/acc.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def1/top.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def1/top.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def1/top.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def1/main.om to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def1/expected to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def1/acc.sig to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def1/acc.mod to Unix format... dos2unix: converting file ./source/test/linker_tests/combine_def1/acc.dis to Unix format... dos2unix: converting file ./source/test/linker_tests/TestPlan to Unix format... dos2unix: converting file ./source/test/linker_tests/OMakefile to Unix format... dos2unix: converting file ./source/test/lib/Test/Simple.pm to Unix format... dos2unix: converting file ./source/test/lib/Test/More.pm to Unix format... dos2unix: converting file ./source/test/lib/Test/Builder.pm to Unix format... dos2unix: converting file ./source/test/compiler_tests/test9/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test9/index.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test9/index.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test9/index.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test9/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test8/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test8/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test8/disjgoal.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test8/disjgoal.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test8/disjgoal.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test7/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test7/flexgoal.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test7/flexgoal.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test7/flexgoal.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test7/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test6/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test6/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test6/augmentedgoal.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test6/augmentedgoal.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test6/augmentedgoal.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test5/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test5/genericgoal.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test5/genericgoal.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test5/genericgoal.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test5/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test4/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test4/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test4/clauses.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test4/clauses.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test4/clauses.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test37/sig_in_mod.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test37/sig_in_mod.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test37/sig_in_mod.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test37/other_sig.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test37/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test37/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test36/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test36/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test36/bug.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test36/bug.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test36/bug.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test35/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test35/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test35/bad_module.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test35/bad_module.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test35/bad_module.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test34/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test34/longstring.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test34/longstring.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test34/longstring.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test34/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test33/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test33/foo.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test33/foo.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test33/foo.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test33/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test32/typeset.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test32/typeset.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test32/typeset.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test32/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test32/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test31/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test31/foo.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test31/foo.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test31/foo.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test31/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test30/top.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test30/top.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test30/top.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test30/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test30/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test30/acc.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test30/acc.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test30/acc.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test3/tconst.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test3/tconst.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test3/tconst.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test3/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test3/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test29/overloadOp.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test29/overloadOp.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test29/overloadOp.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test29/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test29/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test28/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test28/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test28/bvScope.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test28/bvScope.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test28/bvScope.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test27/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test27/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test27/comma.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test27/comma.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test27/comma.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test26/redef_pervasive.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test26/redef_pervasive.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test26/redef_pervasive.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test26/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test26/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test25/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test25/fixity_prec.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test25/fixity_prec.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test25/fixity_prec.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test25/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test24/top.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test24/top.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test24/top.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test24/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test24/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test24/acc_sig.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test24/acc.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test24/acc.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test24/acc.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test23/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test23/foo.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test23/foo.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test23/foo.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test23/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test22/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test22/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test22/expdef.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test22/expdef.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test22/expdef.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test21/oneclause.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test21/oneclause.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test21/oneclause.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test21/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test21/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test20/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test20/localconsts.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test20/localconsts.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test20/localconsts.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test20/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test2/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test2/fapp.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test2/fapp.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test2/fapp.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test2/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test19/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test19/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test19/combinedefs.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test19/combinedefs.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test19/combinedefs.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test19/acc.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test19/acc.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test19/acc.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test18/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test18/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test18/combinedefs.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test18/combinedefs.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test18/combinedefs.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test18/acc.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test18/acc.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test18/acc.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test17/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test17/linkonly.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test17/linkonly.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test17/linkonly.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test17/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test16/renaming.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test16/renaming.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test16/renaming.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test16/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test16/imp.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test16/imp.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test16/imp.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test16/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test16/acc.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test16/acc.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test16/acc.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test15/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test15/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test15/existentialvars.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test15/existentialvars.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test15/existentialvars.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test14/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test14/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test14/existentialvars.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test14/existentialvars.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test14/existentialvars.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test13/universalvars.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test13/universalvars.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test13/universalvars.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test13/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test13/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test12/universalvars.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test12/universalvars.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test12/universalvars.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test12/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test12/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test11/vars.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test11/vars.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test11/vars.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test11/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test11/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test10/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test10/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test10/cutgoal.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test10/cutgoal.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test10/cutgoal.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/test1/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/test1/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/test1/abstraction.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/test1/abstraction.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/test1/abstraction.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/poplmark-3/poplmark-3.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/poplmark-3/poplmark-3.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/poplmark-3/poplmark-3.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/poplmark-3/expected to Unix format... dos2unix: converting file ./source/test/compiler_tests/poplmark-3/README.txt to Unix format... dos2unix: converting file ./source/test/compiler_tests/TestPlan to Unix format... dos2unix: converting file ./source/test/compiler_tests/OMakefile to Unix format... dos2unix: converting file ./source/test/compiler_tests/Issue24/post.sig to Unix format... dos2unix: converting file ./source/test/compiler_tests/Issue24/post.mod to Unix format... dos2unix: converting file ./source/test/compiler_tests/Issue24/post.dis to Unix format... dos2unix: converting file ./source/test/compiler_tests/Issue24/main.om to Unix format... dos2unix: converting file ./source/test/compiler_tests/Issue24/expected to Unix format... dos2unix: converting file ./source/test/compiler_negative_tests/useonly/useonly_test_fail.sig to Unix format... dos2unix: converting file ./source/test/compiler_negative_tests/useonly/useonly_test_fail.mod to Unix format... dos2unix: converting file ./source/test/compiler_negative_tests/useonly/run_test to Unix format... dos2unix: converting file ./source/test/compiler_negative_tests/use_sig/used_sig.sig to Unix format... dos2unix: converting file ./source/test/compiler_negative_tests/use_sig/use_sig_test.sig to Unix format... dos2unix: converting file ./source/test/compiler_negative_tests/use_sig/use_sig_test.mod to Unix format... dos2unix: converting file ./source/test/compiler_negative_tests/use_sig/run_test to Unix format... dos2unix: converting file ./source/test/compiler_negative_tests/overloaded_ops/run_test to Unix format... dos2unix: converting file ./source/test/compiler_negative_tests/overloaded_ops/overloadOp.sig to Unix format... dos2unix: converting file ./source/test/compiler_negative_tests/overloaded_ops/overloadOp.mod to Unix format... dos2unix: converting file ./source/test/compiler_negative_tests/multiple_local_constants/run_test to Unix format... dos2unix: converting file ./source/test/compiler_negative_tests/multiple_local_constants/multiple_constants.sig to Unix format... dos2unix: converting file ./source/test/compiler_negative_tests/multiple_local_constants/multiple_constants.mod to Unix format... dos2unix: converting file ./source/test/compiler_negative_tests/fixity_precedence/run_test to Unix format... dos2unix: converting file ./source/test/compiler_negative_tests/fixity_precedence/fixity_prec.sig to Unix format... dos2unix: converting file ./source/test/compiler_negative_tests/fixity_precedence/fixity_prec.mod to Unix format... dos2unix: converting file ./source/test/compiler_negative_tests/exportdef_useonly/run_test to Unix format... dos2unix: converting file ./source/test/compiler_negative_tests/exportdef_useonly/expdef_useonly.sig to Unix format... dos2unix: converting file ./source/test/compiler_negative_tests/exportdef_useonly/expdef_useonly.mod to Unix format... dos2unix: converting file ./source/test/compiler_negative_tests/exportdef/run_test to Unix format... dos2unix: converting file ./source/test/compiler_negative_tests/exportdef/expdef.sig to Unix format... dos2unix: converting file ./source/test/compiler_negative_tests/exportdef/expdef.mod to Unix format... dos2unix: converting file ./source/test/compiler_negative_tests/OMakefile to Unix format... dos2unix: converting file ./source/test/OMakefile to Unix format... dos2unix: converting file ./source/tables_gen/util/util.h to Unix format... dos2unix: converting file ./source/tables_gen/util/util.c to Unix format... dos2unix: converting file ./source/tables_gen/pervasives/types.h to Unix format... dos2unix: converting file ./source/tables_gen/pervasives/types.c to Unix format... dos2unix: converting file ./source/tables_gen/pervasives/pervgen-ocaml.h to Unix format... dos2unix: converting file ./source/tables_gen/pervasives/pervgen-ocaml.c to Unix format... dos2unix: converting file ./source/tables_gen/pervasives/pervgen-c.h to Unix format... dos2unix: converting file ./source/tables_gen/pervasives/pervgen-c.c to Unix format... dos2unix: converting file ./source/tables_gen/pervasives/pervasives.y to Unix format... dos2unix: converting file ./source/tables_gen/pervasives/pervasives.l to Unix format... dos2unix: converting file ./source/tables_gen/pervasives/pervasives.in to Unix format... dos2unix: converting file ./source/tables_gen/pervasives/op.h to Unix format... dos2unix: converting file ./source/tables_gen/pervasives/op.c to Unix format... dos2unix: converting file ./source/tables_gen/pervasives/ocamlcode.h to Unix format... dos2unix: converting file ./source/tables_gen/pervasives/ocamlcode.c to Unix format... dos2unix: converting file ./source/tables_gen/pervasives/makefile to Unix format... dos2unix: converting file ./source/tables_gen/pervasives/ccode.h to Unix format... dos2unix: converting file ./source/tables_gen/pervasives/ccode.c to Unix format... dos2unix: converting file ./source/tables_gen/pervasives/OMakefile to Unix format... dos2unix: converting file ./source/tables_gen/instrformats/makefile to Unix format... dos2unix: converting file ./source/tables_gen/instrformats/instrgen-ocaml.h to Unix format... dos2unix: converting file ./source/tables_gen/instrformats/instrgen-ocaml.c to Unix format... dos2unix: converting file ./source/tables_gen/instrformats/instrgen-c.h to Unix format... dos2unix: converting file ./source/tables_gen/instrformats/instrgen-c.c to Unix format... dos2unix: converting file ./source/tables_gen/instrformats/instrformats_64.in to Unix format... dos2unix: converting file ./source/tables_gen/instrformats/instrformats_32.in to Unix format... dos2unix: converting file ./source/tables_gen/instrformats/instrformats.y to Unix format... dos2unix: converting file ./source/tables_gen/instrformats/instrformats.l to Unix format... dos2unix: converting file ./source/tables_gen/instrformats/OMakefile to Unix format... dos2unix: converting file ./source/tables_gen/OMakefile to Unix format... dos2unix: converting file ./source/tables/pervinit.h to Unix format... dos2unix: converting file ./source/tables/pervinit.c to Unix format... dos2unix: converting file ./source/tables/README to Unix format... dos2unix: converting file ./source/system/tjsignal.h to Unix format... dos2unix: converting file ./source/system/streamlocal.h to Unix format... dos2unix: converting file ./source/system/stream.h to Unix format... dos2unix: converting file ./source/system/stream.c to Unix format... dos2unix: converting file ./source/system/operators.h to Unix format... dos2unix: converting file ./source/system/message.h to Unix format... dos2unix: converting file ./source/system/message.c to Unix format... dos2unix: converting file ./source/system/memory.h to Unix format... dos2unix: converting file ./source/system/memory.c to Unix format... dos2unix: converting file ./source/system/error.h to Unix format... dos2unix: converting file ./source/system/error.c to Unix format... dos2unix: converting file ./source/system/README to Unix format... dos2unix: converting file ./source/simulator/types.h to Unix format... dos2unix: converting file ./source/simulator/types.c to Unix format... dos2unix: converting file ./source/simulator/trail.h to Unix format... dos2unix: converting file ./source/simulator/trail.c to Unix format... dos2unix: converting file ./source/simulator/simulator.h to Unix format... dos2unix: converting file ./source/simulator/simulator.c to Unix format... dos2unix: converting file ./source/simulator/siminstrlocal.h to Unix format... dos2unix: converting file ./source/simulator/siminstrlocal.c to Unix format... dos2unix: converting file ./source/simulator/siminstr.h to Unix format... dos2unix: converting file ./source/simulator/siminstr.c to Unix format... dos2unix: converting file ./source/simulator/siminit.h to Unix format... dos2unix: converting file ./source/simulator/siminit.c to Unix format... dos2unix: converting file ./source/simulator/simdispatch.h to Unix format... dos2unix: converting file ./source/simulator/printterm.h to Unix format... dos2unix: converting file ./source/simulator/printterm.c to Unix format... dos2unix: converting file ./source/simulator/mctypes.h to Unix format... dos2unix: converting file ./source/simulator/mcstring.h to Unix format... dos2unix: converting file ./source/simulator/mcstring.c to Unix format... dos2unix: converting file ./source/simulator/io-datastructures.h to Unix format... dos2unix: converting file ./source/simulator/io-datastructures.c to Unix format... dos2unix: converting file ./source/simulator/instraccess.h to Unix format... dos2unix: converting file ./source/simulator/hopu.h to Unix format... dos2unix: converting file ./source/simulator/hopu.c to Unix format... dos2unix: converting file ./source/simulator/hnormlocal.h to Unix format... dos2unix: converting file ./source/simulator/hnormlocal.c to Unix format... dos2unix: converting file ./source/simulator/hnorm.h to Unix format... dos2unix: converting file ./source/simulator/hnorm.c to Unix format... dos2unix: converting file ./source/simulator/dataformats.h to Unix format... dos2unix: converting file ./source/simulator/dataformats.c to Unix format... dos2unix: converting file ./source/simulator/builtins/readterm.h to Unix format... dos2unix: converting file ./source/simulator/builtins/readterm.c to Unix format... dos2unix: converting file ./source/simulator/builtins/meta.h to Unix format... dos2unix: converting file ./source/simulator/builtins/meta.c to Unix format... dos2unix: converting file ./source/simulator/builtins/io.h to Unix format... dos2unix: converting file ./source/simulator/builtins/io.c to Unix format... dos2unix: converting file ./source/simulator/builtins/evalexp.h to Unix format... dos2unix: converting file ./source/simulator/builtins/evalexp.c to Unix format... dos2unix: converting file ./source/simulator/builtins/compexp.h to Unix format... dos2unix: converting file ./source/simulator/builtins/compexp.c to Unix format... dos2unix: converting file ./source/simulator/builtins/builtins.h to Unix format... dos2unix: converting file ./source/simulator/builtins/builtins.c to Unix format... dos2unix: converting file ./source/simulator/builtins/README to Unix format... dos2unix: converting file ./source/simulator/abstmachine.h to Unix format... dos2unix: converting file ./source/simulator/abstmachine.c to Unix format... dos2unix: converting file ./source/simulator/README to Unix format... dos2unix: converting file ./source/simulator/OMakefile to Unix format... dos2unix: converting file ./source/loader/tyskel.h to Unix format... dos2unix: converting file ./source/loader/tyskel.c to Unix format... dos2unix: converting file ./source/loader/test/TestTySkel.c to Unix format... dos2unix: converting file ./source/loader/test/TestString.c to Unix format... dos2unix: converting file ./source/loader/test/TestLoader.c to Unix format... dos2unix: converting file ./source/loader/test/TestKind.c to Unix format... dos2unix: converting file ./source/loader/test/TestHashtab.c to Unix format... dos2unix: converting file ./source/loader/test/TestFile.c to Unix format... dos2unix: converting file ./source/loader/test/TestConst.c to Unix format... dos2unix: converting file ./source/loader/test/TestBvrtab.c to Unix format... dos2unix: converting file ./source/loader/test/Makefile.am to Unix format... dos2unix: converting file ./source/loader/strings.h to Unix format... dos2unix: converting file ./source/loader/strings.c to Unix format... dos2unix: converting file ./source/loader/searchtab.h to Unix format... dos2unix: converting file ./source/loader/searchtab.c to Unix format... dos2unix: converting file ./source/loader/main.c to Unix format... dos2unix: converting file ./source/loader/loadmodtab.mli to Unix format... dos2unix: converting file ./source/loader/loadmodtab.ml to Unix format... dos2unix: converting file ./source/loader/loader.h to Unix format... dos2unix: converting file ./source/loader/loader.c to Unix format... dos2unix: converting file ./source/loader/ld_message.h to Unix format... dos2unix: converting file ./source/loader/kind.h to Unix format... dos2unix: converting file ./source/loader/kind.c to Unix format... dos2unix: converting file ./source/loader/importtab.h to Unix format... dos2unix: converting file ./source/loader/importtab.c to Unix format... dos2unix: converting file ./source/loader/implgoal.h to Unix format... dos2unix: converting file ./source/loader/implgoal.c to Unix format... dos2unix: converting file ./source/loader/hashtab.h to Unix format... dos2unix: converting file ./source/loader/hashtab.c to Unix format... dos2unix: converting file ./source/loader/file.h to Unix format... dos2unix: converting file ./source/loader/file.c to Unix format... dos2unix: converting file ./source/loader/const.h to Unix format... dos2unix: converting file ./source/loader/const.c to Unix format... dos2unix: converting file ./source/loader/code.h to Unix format... dos2unix: converting file ./source/loader/code.c to Unix format... dos2unix: converting file ./source/loader/bvrtab.h to Unix format... dos2unix: converting file ./source/loader/bvrtab.c to Unix format... dos2unix: converting file ./source/loader/README to Unix format... dos2unix: converting file ./source/loader/OMakefile to Unix format... dos2unix: converting file ./source/loader/Makefile.am to Unix format... dos2unix: converting file ./source/linker/vector.h to Unix format... dos2unix: converting file ./source/linker/vector.c to Unix format... dos2unix: converting file ./source/linker/tyskel.h to Unix format... dos2unix: converting file ./source/linker/tyskel.c to Unix format... dos2unix: converting file ./source/linker/tree.h to Unix format... dos2unix: converting file ./source/linker/tree.c to Unix format... dos2unix: converting file ./source/linker/test/TestTySkel.c to Unix format... dos2unix: converting file ./source/linker/test/TestTree.c to Unix format... dos2unix: converting file ./source/linker/test/TestString.c to Unix format... dos2unix: converting file ./source/linker/test/TestModule.h to Unix format... dos2unix: converting file ./source/linker/test/TestModule.c to Unix format... dos2unix: converting file ./source/linker/test/TestM2.h to Unix format... dos2unix: converting file ./source/linker/test/TestM2.c to Unix format... dos2unix: converting file ./source/linker/test/TestKind.c to Unix format... dos2unix: converting file ./source/linker/test/TestInits.c to Unix format... dos2unix: converting file ./source/linker/test/TestImportTab.c to Unix format... dos2unix: converting file ./source/linker/test/TestImplGoal.c to Unix format... dos2unix: converting file ./source/linker/test/TestHashTabs.c to Unix format... dos2unix: converting file ./source/linker/test/TestFile.c to Unix format... dos2unix: converting file ./source/linker/test/TestConst.c to Unix format... dos2unix: converting file ./source/linker/test/TestCode.c to Unix format... dos2unix: converting file ./source/linker/test/TestBvrTabs.c to Unix format... dos2unix: converting file ./source/linker/test/Makefile.am to Unix format... dos2unix: converting file ./source/linker/stringspace.h to Unix format... dos2unix: converting file ./source/linker/stringspace.c to Unix format... dos2unix: converting file ./source/linker/rename.h to Unix format... dos2unix: converting file ./source/linker/rename.c to Unix format... dos2unix: converting file ./source/linker/module.h to Unix format... dos2unix: converting file ./source/linker/module.c to Unix format... dos2unix: converting file ./source/linker/linker_message.h to Unix format... dos2unix: converting file ./source/linker/linker_message.c to Unix format... dos2unix: converting file ./source/linker/kind.h to Unix format... dos2unix: converting file ./source/linker/kind.c to Unix format... dos2unix: converting file ./source/linker/importtab.h to Unix format... dos2unix: converting file ./source/linker/importtab.c to Unix format... dos2unix: converting file ./source/linker/implgoal.h to Unix format... dos2unix: converting file ./source/linker/implgoal.c to Unix format... dos2unix: converting file ./source/linker/hashtab.h to Unix format... dos2unix: converting file ./source/linker/hashtab.c to Unix format... dos2unix: converting file ./source/linker/file.h to Unix format... dos2unix: converting file ./source/linker/file.c to Unix format... dos2unix: converting file ./source/linker/datatypes.h to Unix format... dos2unix: converting file ./source/linker/const.h to Unix format... dos2unix: converting file ./source/linker/const.c to Unix format... dos2unix: converting file ./source/linker/code.h to Unix format... dos2unix: converting file ./source/linker/code.c to Unix format... dos2unix: converting file ./source/linker/bvrtab.h to Unix format... dos2unix: converting file ./source/linker/bvrtab.c to Unix format... dos2unix: converting file ./source/linker/VectorRW.h to Unix format... dos2unix: converting file ./source/linker/VectorRW.c to Unix format... dos2unix: converting file ./source/linker/CallResolution.h to Unix format... dos2unix: converting file ./source/linker/CallResolution.c to Unix format... dos2unix: converting file ./source/installer/teyjus.nsi to Unix format... dos2unix: converting file ./source/installer/path.nsh to Unix format... dos2unix: converting file ./source/installer/README to Unix format... dos2unix: converting file ./source/include/standardlib.h to Unix format... dos2unix: converting file ./source/include/search.h to Unix format... dos2unix: converting file ./source/include/search.c to Unix format... dos2unix: converting file ./source/include/obstack.h to Unix format... dos2unix: converting file ./source/include/obstack.c to Unix format... dos2unix: converting file ./source/include/getopt.h to Unix format... dos2unix: converting file ./source/include/byteswap.h to Unix format... dos2unix: converting file ./source/include/byteswap.c to Unix format... dos2unix: converting file ./source/front/simulatorfront.ml to Unix format... dos2unix: converting file ./source/front/simerrors.mli to Unix format... dos2unix: converting file ./source/front/simerrors.ml to Unix format... dos2unix: converting file ./source/front/readterm_c.h to Unix format... dos2unix: converting file ./source/front/readterm_c.c to Unix format... dos2unix: converting file ./source/front/readterm.mli to Unix format... dos2unix: converting file ./source/front/readterm.ml to Unix format... dos2unix: converting file ./source/front/query_c.h to Unix format... dos2unix: converting file ./source/front/query_c.c to Unix format... dos2unix: converting file ./source/front/query.mli to Unix format... dos2unix: converting file ./source/front/query.ml to Unix format... dos2unix: converting file ./source/front/parsefront.ml to Unix format... dos2unix: converting file ./source/front/parseargs.mli to Unix format... dos2unix: converting file ./source/front/parseargs.ml to Unix format... dos2unix: converting file ./source/front/ocaml_wrap.h to Unix format... dos2unix: converting file ./source/front/ocaml_wrap.c to Unix format... dos2unix: converting file ./source/front/module.mli to Unix format... dos2unix: converting file ./source/front/module.ml to Unix format... dos2unix: converting file ./source/front/makefile to Unix format... dos2unix: converting file ./source/front/linkerfront.ml to Unix format... dos2unix: converting file ./source/front/linker_c.c to Unix format... dos2unix: converting file ./source/front/front_c.h to Unix format... dos2unix: converting file ./source/front/front_c.c to Unix format... dos2unix: converting file ./source/front/front.mli to Unix format... dos2unix: converting file ./source/front/front.ml to Unix format... dos2unix: converting file ./source/front/disassemblerfront.ml to Unix format... dos2unix: converting file ./source/front/dependfront.ml to Unix format... dos2unix: converting file ./source/front/compilerfront.ml to Unix format... dos2unix: converting file ./source/front/ccode_stubs.mli to Unix format... dos2unix: converting file ./source/front/ccode_stubs.c to Unix format... dos2unix: converting file ./source/front/caml/signals.h to Unix format... dos2unix: converting file ./source/front/caml/printexc.h to Unix format... dos2unix: converting file ./source/front/caml/mlvalues.h to Unix format... dos2unix: converting file ./source/front/caml/misc.h to Unix format... dos2unix: converting file ./source/front/caml/memory.h to Unix format... dos2unix: converting file ./source/front/caml/intext.h to Unix format... dos2unix: converting file ./source/front/caml/fail.h to Unix format... dos2unix: converting file ./source/front/caml/custom.h to Unix format... dos2unix: converting file ./source/front/caml/config.h to Unix format... dos2unix: converting file ./source/front/caml/compatibility.h to Unix format... dos2unix: converting file ./source/front/caml/callback.h to Unix format... dos2unix: converting file ./source/front/caml/bigarray.h to Unix format... dos2unix: converting file ./source/front/caml/alloc.h to Unix format... dos2unix: converting file ./source/front/README to Unix format... dos2unix: converting file ./source/disassembler/label.mli to Unix format... dos2unix: converting file ./source/disassembler/label.ml to Unix format... dos2unix: converting file ./source/disassembler/disassembly.mli to Unix format... dos2unix: converting file ./source/disassembler/disassembly.ml to Unix format... dos2unix: converting file ./source/disassembler/context.mli to Unix format... dos2unix: converting file ./source/disassembler/context.ml to Unix format... dos2unix: converting file ./source/compiler/types.mli to Unix format... dos2unix: converting file ./source/compiler/types.ml to Unix format... dos2unix: converting file ./source/compiler/typereduction.mli to Unix format... dos2unix: converting file ./source/compiler/typereduction.ml to Unix format... dos2unix: converting file ./source/compiler/translate.mli to Unix format... dos2unix: converting file ./source/compiler/translate.ml to Unix format... dos2unix: converting file ./source/compiler/table.mli to Unix format... dos2unix: converting file ./source/compiler/table.ml to Unix format... dos2unix: converting file ./source/compiler/symbol.mli to Unix format... dos2unix: converting file ./source/compiler/symbol.ml to Unix format... dos2unix: converting file ./source/compiler/spitcode.mli to Unix format... dos2unix: converting file ./source/compiler/spitcode.ml to Unix format... dos2unix: converting file ./source/compiler/registers.mli to Unix format... dos2unix: converting file ./source/compiler/registers.ml to Unix format... dos2unix: converting file ./source/compiler/processclauses.mli to Unix format... dos2unix: converting file ./source/compiler/processclauses.ml to Unix format... dos2unix: converting file ./source/compiler/preabsyn.mli to Unix format... dos2unix: converting file ./source/compiler/preabsyn.ml to Unix format... dos2unix: converting file ./source/compiler/pervasiveutils.mli to Unix format... dos2unix: converting file ./source/compiler/pervasiveutils.ml to Unix format... dos2unix: converting file ./source/compiler/parse.mli to Unix format... dos2unix: converting file ./source/compiler/parse.ml to Unix format... dos2unix: converting file ./source/compiler/option.mli to Unix format... dos2unix: converting file ./source/compiler/option.ml to Unix format... dos2unix: converting file ./source/compiler/makefile to Unix format... dos2unix: converting file ./source/compiler/lpyacc.mly to Unix format... dos2unix: converting file ./source/compiler/lplex.mll to Unix format... dos2unix: converting file ./source/compiler/explicit.mli to Unix format... dos2unix: converting file ./source/compiler/explicit.ml to Unix format... dos2unix: converting file ./source/compiler/errormsg.mli to Unix format... dos2unix: converting file ./source/compiler/errormsg.ml to Unix format... dos2unix: converting file ./source/compiler/compile.mli to Unix format... dos2unix: converting file ./source/compiler/compile.ml to Unix format... dos2unix: converting file ./source/compiler/codegen.mli to Unix format... dos2unix: converting file ./source/compiler/codegen.ml to Unix format... dos2unix: converting file ./source/compiler/clauses.mli to Unix format... dos2unix: converting file ./source/compiler/clauses.ml to Unix format... dos2unix: converting file ./source/compiler/clausegen.mli to Unix format... dos2unix: converting file ./source/compiler/clausegen.ml to Unix format... dos2unix: converting file ./source/compiler/bytecode.mli to Unix format... dos2unix: converting file ./source/compiler/bytecode.ml to Unix format... dos2unix: converting file ./source/compiler/annvariables.mli to Unix format... dos2unix: converting file ./source/compiler/annvariables.ml to Unix format... dos2unix: converting file ./source/compiler/absyn.mli to Unix format... dos2unix: converting file ./source/compiler/absyn.ml to Unix format... dos2unix: converting file ./source/compiler/README to Unix format... dos2unix: converting file ./source/compiler/OMakefile to Unix format... dos2unix: converting file ./source/VisualStudio/tjsim.vcproj to Unix format... dos2unix: converting file ./source/VisualStudio/tjparse.vcproj to Unix format... dos2unix: converting file ./source/VisualStudio/tjlink.vcproj to Unix format... dos2unix: converting file ./source/VisualStudio/tjdis.vcproj to Unix format... dos2unix: converting file ./source/VisualStudio/tjdepend.vcproj to Unix format... dos2unix: converting file ./source/VisualStudio/tjcc.vcproj to Unix format... dos2unix: converting file ./source/VisualStudio/tables_gen.vcproj to Unix format... dos2unix: converting file ./source/VisualStudio/libsim.vcproj to Unix format... dos2unix: converting file ./source/VisualStudio/liblink.vcproj to Unix format... dos2unix: converting file ./source/VisualStudio/instr_gen.vcproj to Unix format... dos2unix: converting file ./source/VisualStudio/clean.bat to Unix format... dos2unix: converting file ./source/VisualStudio/Teyjus.sln to Unix format... dos2unix: converting file ./source/README to Unix format... dos2unix: converting file ./source/OMakefile to Unix format... dos2unix: converting file ./scratch/sigtest.sig to Unix format... dos2unix: converting file ./scratch/sigtest.mod to Unix format... dos2unix: converting file ./scratch/separatecomp.sig to Unix format... dos2unix: converting file ./scratch/separatecomp.mod to Unix format... dos2unix: converting file ./scratch/parens.sig to Unix format... dos2unix: converting file ./scratch/parens.mod to Unix format... dos2unix: converting file ./scratch/modtest.sig to Unix format... dos2unix: converting file ./scratch/modtest.mod to Unix format... dos2unix: converting file ./scratch/builtintest.sig to Unix format... dos2unix: converting file ./scratch/builtintest.mod to Unix format... dos2unix: converting file ./scratch/accumulatemod.sig to Unix format... dos2unix: converting file ./scratch/accumsig2.sig to Unix format... dos2unix: converting file ./scratch/accumsig1.sig to Unix format... dos2unix: converting file ./scratch/abbrevtest2.sig to Unix format... dos2unix: converting file ./scratch/abbrevtest2.mod to Unix format... dos2unix: converting file ./scratch/abbrevtest.sig to Unix format... dos2unix: converting file ./scratch/abbrevtest.mod to Unix format... dos2unix: converting file ./scratch/README to Unix format... dos2unix: converting file ./lyacc/tokenizer.sig to Unix format... dos2unix: converting file ./lyacc/tokenizer.mod to Unix format... dos2unix: converting file ./lyacc/string.sig to Unix format... dos2unix: converting file ./lyacc/string.mod to Unix format... dos2unix: converting file ./lyacc/parser.sig to Unix format... dos2unix: converting file ./lyacc/parser.mod to Unix format... dos2unix: converting file ./lyacc/maps.sig to Unix format... dos2unix: converting file ./lyacc/maps.mod to Unix format... dos2unix: converting file ./lyacc/lyaccshares.sig to Unix format... dos2unix: converting file ./lyacc/lyaccshares.mod to Unix format... dos2unix: converting file ./lyacc/lyacc to Unix format... dos2unix: converting file ./lyacc/lpgram.sig to Unix format... dos2unix: converting file ./lyacc/lpgram.mod to Unix format... dos2unix: converting file ./lyacc/lambdayacc.sig to Unix format... dos2unix: converting file ./lyacc/lambdayacc.mod to Unix format... dos2unix: converting file ./lyacc/control.sig to Unix format... dos2unix: converting file ./lyacc/control.mod to Unix format... dos2unix: converting file ./lyacc/blists.sig to Unix format... dos2unix: converting file ./lyacc/blists.mod to Unix format... dos2unix: converting file ./lyacc/README to Unix format... dos2unix: converting file ./lyacc/Makefile to Unix format... dos2unix: converting file ./implnotes/teyjus.txt to Unix format... dos2unix: converting file ./implnotes/simulator/instset.txt to Unix format... dos2unix: converting file ./implnotes/simulator/dataformats.txt to Unix format... dos2unix: converting file ./implnotes/simulator/dataareas.txt to Unix format... dos2unix: converting file ./implnotes/simulator/data_rep_comments.txt to Unix format... dos2unix: converting file ./implnotes/new-instructions.txt to Unix format... dos2unix: converting file ./implnotes/new-expectations.txt to Unix format... dos2unix: converting file ./implnotes/loader_interface.txt to Unix format... dos2unix: converting file ./implnotes/linker/schemeforlinking.txt to Unix format... dos2unix: converting file ./implnotes/linker/predicatecallresolution.txt to Unix format... dos2unix: converting file ./implnotes/linker/nameresolution.txt to Unix format... dos2unix: converting file ./implnotes/linker/linkcode.txt to Unix format... dos2unix: converting file ./implnotes/linker/definitionresolution.txt to Unix format... dos2unix: converting file ./implnotes/garbage_collection/thinking to Unix format... dos2unix: converting file ./implnotes/compiler/read_term to Unix format... dos2unix: converting file ./implnotes/compiler/compiler_testing to Unix format... dos2unix: converting file ./implnotes/compiler/compiler_structure to Unix format... dos2unix: converting file ./implnotes/compiler/compiler_module_structure to Unix format... dos2unix: converting file ./implnotes/compiler/compiler_module_interfaces to Unix format... dos2unix: converting file ./implnotes/bytecode.txt to Unix format... dos2unix: converting file ./examples/pcf/unifytypes.sig to Unix format... dos2unix: converting file ./examples/pcf/unifytypes.mod to Unix format... dos2unix: converting file ./examples/pcf/tr_test.sig to Unix format... dos2unix: converting file ./examples/pcf/tr_test.mod to Unix format... dos2unix: converting file ./examples/pcf/tailrec.sig to Unix format... dos2unix: converting file ./examples/pcf/tailrec.mod to Unix format... dos2unix: converting file ./examples/pcf/script4 to Unix format... dos2unix: converting file ./examples/pcf/script3 to Unix format... dos2unix: converting file ./examples/pcf/script2 to Unix format... dos2unix: converting file ./examples/pcf/script1 to Unix format... dos2unix: converting file ./examples/pcf/refl_syntax.sig to Unix format... dos2unix: converting file ./examples/pcf/refl_syntax.mod to Unix format... dos2unix: converting file ./examples/pcf/polytypes.sig to Unix format... dos2unix: converting file ./examples/pcf/polyinfer.sig to Unix format... dos2unix: converting file ./examples/pcf/polyinfer.mod to Unix format... dos2unix: converting file ./examples/pcf/poly_test.sig to Unix format... dos2unix: converting file ./examples/pcf/poly_test.mod to Unix format... dos2unix: converting file ./examples/pcf/pcf.sig to Unix format... dos2unix: converting file ./examples/pcf/monotypes.sig to Unix format... dos2unix: converting file ./examples/pcf/monoinfer.sig to Unix format... dos2unix: converting file ./examples/pcf/monoinfer.mod to Unix format... dos2unix: converting file ./examples/pcf/mono_test.sig to Unix format... dos2unix: converting file ./examples/pcf/mono_test.mod to Unix format... dos2unix: converting file ./examples/pcf/examples.sig to Unix format... dos2unix: converting file ./examples/pcf/examples.mod to Unix format... dos2unix: converting file ./examples/pcf/eval_test.sig to Unix format... dos2unix: converting file ./examples/pcf/eval_test.mod to Unix format... dos2unix: converting file ./examples/pcf/eval.sig to Unix format... dos2unix: converting file ./examples/pcf/eval.mod to Unix format... dos2unix: converting file ./examples/pcf/control.sig to Unix format... dos2unix: converting file ./examples/pcf/control.mod to Unix format... dos2unix: converting file ./examples/pcf/README to Unix format... dos2unix: converting file ./examples/pcf/Makefile to Unix format... dos2unix: converting file ./examples/ndprover/tacticals.sig to Unix format... dos2unix: converting file ./examples/ndprover/tacticals.mod to Unix format... dos2unix: converting file ./examples/ndprover/script to Unix format... dos2unix: converting file ./examples/ndprover/printfile to Unix format... dos2unix: converting file ./examples/ndprover/nonlogical.sig to Unix format... dos2unix: converting file ./examples/ndprover/ndtac.sig to Unix format... dos2unix: converting file ./examples/ndprover/ndtac.mod to Unix format... dos2unix: converting file ./examples/ndprover/ndproofs.sig to Unix format... dos2unix: converting file ./examples/ndprover/logic.sig to Unix format... dos2unix: converting file ./examples/ndprover/listmanip.sig to Unix format... dos2unix: converting file ./examples/ndprover/listmanip.mod to Unix format... dos2unix: converting file ./examples/ndprover/inter.sig to Unix format... dos2unix: converting file ./examples/ndprover/inter.mod to Unix format... dos2unix: converting file ./examples/ndprover/goaltypes.sig to Unix format... dos2unix: converting file ./examples/ndprover/goalred.sig to Unix format... dos2unix: converting file ./examples/ndprover/goalred.mod to Unix format... dos2unix: converting file ./examples/ndprover/formulas.sig to Unix format... dos2unix: converting file ./examples/ndprover/formulas.mod to Unix format... dos2unix: converting file ./examples/ndprover/README to Unix format... dos2unix: converting file ./examples/ndprover/Makefile to Unix format... dos2unix: converting file ./examples/misc/reverse.sig to Unix format... dos2unix: converting file ./examples/misc/reverse.mod to Unix format... dos2unix: converting file ./examples/misc/maps.sig to Unix format... dos2unix: converting file ./examples/misc/maps.mod to Unix format... dos2unix: converting file ./examples/misc/lists2.sig to Unix format... dos2unix: converting file ./examples/misc/lists2.mod to Unix format... dos2unix: converting file ./examples/misc/lists.sig to Unix format... dos2unix: converting file ./examples/misc/lists.mod to Unix format... dos2unix: converting file ./examples/misc/funs.sig to Unix format... dos2unix: converting file ./examples/misc/funs.mod to Unix format... dos2unix: converting file ./examples/misc/assoclists.sig to Unix format... dos2unix: converting file ./examples/misc/assoclists.mod to Unix format... dos2unix: converting file ./examples/misc/assoc.sig to Unix format... dos2unix: converting file ./examples/misc/assoc.mod to Unix format... dos2unix: converting file ./examples/misc/README to Unix format... dos2unix: converting file ./examples/misc/Makefile to Unix format... dos2unix: converting file ./examples/handbook/progs/tr_recognizer.sig to Unix format... dos2unix: converting file ./examples/handbook/progs/tr_recognizer.mod to Unix format... dos2unix: converting file ./examples/handbook/progs/tr2_test.sig to Unix format... dos2unix: converting file ./examples/handbook/progs/tr2_test.mod to Unix format... dos2unix: converting file ./examples/handbook/progs/tr1_test.sig to Unix format... dos2unix: converting file ./examples/handbook/progs/tr1_test.mod to Unix format... dos2unix: converting file ./examples/handbook/progs/terms.sig to Unix format... dos2unix: converting file ./examples/handbook/progs/terms.mod to Unix format... dos2unix: converting file ./examples/handbook/progs/script4 to Unix format... dos2unix: converting file ./examples/handbook/progs/script3 to Unix format... dos2unix: converting file ./examples/handbook/progs/script2 to Unix format... dos2unix: converting file ./examples/handbook/progs/script1 to Unix format... dos2unix: converting file ./examples/handbook/progs/refl_syntax.sig to Unix format... dos2unix: converting file ./examples/handbook/progs/refl_syntax.mod to Unix format... dos2unix: converting file ./examples/handbook/progs/general_tr.sig to Unix format... dos2unix: converting file ./examples/handbook/progs/general_tr.mod to Unix format... dos2unix: converting file ./examples/handbook/progs/fp_vocab.sig to Unix format... dos2unix: converting file ./examples/handbook/progs/fp_types.sig to Unix format... dos2unix: converting file ./examples/handbook/progs/eval_examples.sig to Unix format... dos2unix: converting file ./examples/handbook/progs/eval_examples.mod to Unix format... dos2unix: converting file ./examples/handbook/progs/eval_basic.sig to Unix format... dos2unix: converting file ./examples/handbook/progs/eval_basic.mod to Unix format... dos2unix: converting file ./examples/handbook/progs/eval.sig to Unix format... dos2unix: converting file ./examples/handbook/progs/eval.mod to Unix format... dos2unix: converting file ./examples/handbook/progs/curry_transform.sig to Unix format... dos2unix: converting file ./examples/handbook/progs/curry_transform.mod to Unix format... dos2unix: converting file ./examples/handbook/progs/curry_test.sig to Unix format... dos2unix: converting file ./examples/handbook/progs/curry_test.mod to Unix format... dos2unix: converting file ./examples/handbook/progs/README to Unix format... dos2unix: converting file ./examples/handbook/progs/Makefile to Unix format... dos2unix: converting file ./examples/handbook/logic/script3 to Unix format... dos2unix: converting file ./examples/handbook/logic/script2 to Unix format... dos2unix: converting file ./examples/handbook/logic/script1 to Unix format... dos2unix: converting file ./examples/handbook/logic/refl_syntax.sig to Unix format... dos2unix: converting file ./examples/handbook/logic/refl_syntax.mod to Unix format... dos2unix: converting file ./examples/handbook/logic/pnf_examples.sig to Unix format... dos2unix: converting file ./examples/handbook/logic/pnf_examples.mod to Unix format... dos2unix: converting file ./examples/handbook/logic/pnf.sig to Unix format... dos2unix: converting file ./examples/handbook/logic/pnf.mod to Unix format... dos2unix: converting file ./examples/handbook/logic/logic_vocab.sig to Unix format... dos2unix: converting file ./examples/handbook/logic/logic_types.sig to Unix format... dos2unix: converting file ./examples/handbook/logic/logic_basic.sig to Unix format... dos2unix: converting file ./examples/handbook/logic/lists.sig to Unix format... dos2unix: converting file ./examples/handbook/logic/lists.mod to Unix format... dos2unix: converting file ./examples/handbook/logic/hcsyntax_examples.sig to Unix format... dos2unix: converting file ./examples/handbook/logic/hcsyntax_examples.mod to Unix format... dos2unix: converting file ./examples/handbook/logic/hcinterp_examples.sig to Unix format... dos2unix: converting file ./examples/handbook/logic/hcinterp_examples.mod to Unix format... dos2unix: converting file ./examples/handbook/logic/hc_syntax.sig to Unix format... dos2unix: converting file ./examples/handbook/logic/hc_syntax.mod to Unix format... dos2unix: converting file ./examples/handbook/logic/hc_interp.sig to Unix format... dos2unix: converting file ./examples/handbook/logic/hc_interp.mod to Unix format... dos2unix: converting file ./examples/handbook/logic/README to Unix format... dos2unix: converting file ./examples/handbook/logic/Makefile to Unix format... dos2unix: converting file ./emacs/teyjus.el to Unix format... dos2unix: converting file ./emacs/README to Unix format... dos2unix: converting file ./RELEASE to Unix format... dos2unix: converting file ./README.md to Unix format... dos2unix: converting file ./QUICKSTART to Unix format... dos2unix: converting file ./OMakeroot to Unix format... dos2unix: converting file ./OMakefile to Unix format... dos2unix: converting file ./COPYING to Unix format... * Applying teyjus-2.1-p001-Fixes-arity-for-pervasive-modulo-operation.patch ... [ ok ] * Applying teyjus-2.1-p002-Add-string-literals-from-proper-character-groups.patch ... [ ok ] * Applying teyjus-2.1-p003-Removing-deprecated-function-String.set.patch ... [ ok ] /var/tmp/portage/dev-lang/teyjus-2.1-r1/work/teyjus-2.1/source /var/tmp/portage/dev-lang/teyjus-2.1-r1/work/teyjus-2.1 /var/tmp/portage/dev-lang/teyjus-2.1-r1/work/teyjus-2.1 >>> Source prepared. >>> Configuring source in /var/tmp/portage/dev-lang/teyjus-2.1-r1/work/teyjus-2.1 ... >>> Source configured. >>> Compiling source in /var/tmp/portage/dev-lang/teyjus-2.1-r1/work/teyjus-2.1 ... *** omake: reading OMakefiles --- Checking for ocamlfind... (found /usr/bin/ocamlfind) --- Checking for ocamlc.opt... (found /usr/bin/ocamlc.opt) --- Checking for ocamlopt.opt... (found /usr/bin/ocamlopt.opt) --- Checking for ocamldep.opt... (found /usr/bin/ocamldep.opt) --- Checking for ocamllex.opt... (found /usr/bin/ocamllex.opt) --- Checking whether ocamlc understands the "z" warnings... (yes) --- Checking whether ocamlopt can create cmxs plugins... (yes) --- Checking if ocamldep understands -modules... (yes) File source/test/linker_tests/OMakefile: line 34, characters 8-31: Warning: old-style foreach expression. This expression should use a => binding. File source/test/linker_tests/OMakefile: line 40, characters 8-31: Warning: old-style foreach expression. This expression should use a => binding. File source/test/compiler_tests/OMakefile: line 34, characters 8-31: Warning: old-style foreach expression. This expression should use a => binding. File source/test/compiler_tests/OMakefile: line 40, characters 8-31: Warning: old-style foreach expression. This expression should use a => binding. *** omake: finished reading OMakefiles (1.45 sec) - scan source/front scan-ocaml-dependfront.ml + ocamldep.opt -modules dependfront.ml - scan source/front scan-ocaml-parseargs.mli + ocamldep.opt -modules parseargs.mli - scan source/front scan-ocaml-parseargs.ml + ocamldep.opt -modules parseargs.ml - scan source/compiler scan-ocaml-preabsyn.mli + ocamldep.opt -modules preabsyn.mli - scan source/compiler scan-ocaml-preabsyn.ml + ocamldep.opt -modules preabsyn.ml - scan source/compiler scan-ocaml-errormsg.mli + ocamldep.opt -modules errormsg.mli - scan source/compiler scan-ocaml-errormsg.ml + ocamldep.opt -modules errormsg.ml - scan source/compiler scan-ocaml-compile.mli + ocamldep.opt -modules compile.mli - scan source/compiler scan-ocaml-compile.ml + ocamldep.opt -modules compile.ml - scan source/compiler scan-ocamlyacc-lpyacc.mly + - scan source/compiler scan-ocaml-symbol.mli + ocamldep.opt -modules symbol.mli - scan source/compiler scan-ocaml-symbol.ml + ocamldep.opt -modules symbol.ml - exit source/compiler scan-ocamlyacc-lpyacc.mly, 0.03 sec, code 0 - build source/compiler lpyacc.ml + ocamlyacc lpyacc.mly - exit source/compiler scan-ocaml-compile.ml, 0.09 sec, code 0 [======= ] 00313 / 01039 - scan source/compiler scan-ocaml-table.mli + ocamldep.opt -modules table.mli [======= ] 00314 / 01039 - exit source/compiler scan-ocaml-compile.mli, 0.10 sec, code 0 [======= ] 00315 / 01039 - scan source/compiler scan-ocaml-table.ml + ocamldep.opt -modules table.ml [======= ] 00316 / 01039 - exit source/compiler scan-ocaml-errormsg.ml, 0.11 sec, code 0 [======= ] 00317 / 01039 - build source/compiler lplex.ml + ocamllex.opt -q lplex.mll [======= ] 00318 / 01039 - exit source/compiler scan-ocaml-errormsg.mli, 0.13 sec, code 0 [======= ] 00319 / 01039 - build source/compiler errormsg.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I . -I ../disassembler -I ../simulator -I ../loader -c errormsg.mli [======= ] 00319 / 01039 - exit source/compiler scan-ocaml-preabsyn.ml, 0.15 sec, code 0 [======= ] 00320 / 01039 - scan source/compiler scan-ocaml-pervasiveutils.ml + ocamldep.opt -modules pervasiveutils.ml [======= ] 00322 / 01039 - exit source/compiler scan-ocaml-preabsyn.mli, 0.16 sec, code 0 [======= ] 00323 / 01039 - scan source/compiler scan-ocaml-pervasiveutils.mli + ocamldep.opt -modules pervasiveutils.mli [======= ] 00324 / 01039 - exit source/front scan-ocaml-parseargs.ml, 0.17 sec, code 0 [======= ] 00325 / 01039 - scan source/front scan-ocaml-parsefront.ml + ocamldep.opt -modules parsefront.ml [======= ] 00326 / 01039 - exit source/front scan-ocaml-parseargs.mli, 0.18 sec, code 0 [======= ] 00327 / 01039 - build source/front parseargs.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I ../compiler -I ../disassembler -I ../simulator -I ../loader -c parseargs.mli [======= ] 00327 / 01039 - exit source/front scan-ocaml-dependfront.ml, 0.19 sec, code 0 [======= ] 00328 / 01039 - scan source/compiler scan-ocaml-translate.mli + ocamldep.opt -modules translate.mli [======= ] 00329 / 01039 5 shift/reduce conflicts. [======= ] 00329 / 01039 - exit source/front parseargs.cmi, 0.20 sec, code 0 [======= ] 00330 / 01039 - build source/front parseargs.cmx + ocamlopt.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -I . -I ../compiler -I ../disassembler -I ../simulator -I ../loader -c parseargs.ml [======= ] 00330 / 01039 - exit source/compiler errormsg.cmi, 0.42 sec, code 0 [======= ] 00331 / 01039 - build source/compiler errormsg.cmx + ocamlopt.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -I . -I . -I ../disassembler -I ../simulator -I ../loader -c errormsg.ml [======= ] 00331 / 01039 - exit source/compiler lplex.ml, 0.43 sec, code 0 [======= ] 00332 / 01039 - scan source/compiler scan-ocaml-lplex.ml + ocamldep.opt -modules lplex.ml [======= ] 00332 / 01039 - exit source/compiler scan-ocaml-symbol.ml, 0.62 sec, code 0 [======= ] 00333 / 01039 - scan source/compiler scan-ocaml-translate.ml + ocamldep.opt -modules translate.ml [======= ] 00334 / 01039 - exit source/front scan-ocaml-parsefront.ml, 0.31 sec, code 0 [======= ] 00335 / 01039 --- Checking for gcc... (found /usr/bin/gcc) --- Checking for g++... (found /usr/bin/g++) --- Checking for x86_64-pc-linux-gnu-gcc... (found /usr/bin/x86_64-pc-linux-gnu-gcc) --- Checking for g++... (found /usr/bin/g++) --- Checking for x86_64-pc-linux-gnu-gcc... (found /usr/bin/x86_64-pc-linux-gnu-gcc) --- Checking for ld... (found /usr/bin/ld) --- Checking for as... (found /usr/bin/as) - scan source/tables_gen/pervasives scan-c-pervgen-ocaml.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM pervgen-ocaml.c [========= ] 00442 / 01039 - exit source/compiler scan-ocaml-pervasiveutils.mli, 0.43 sec, code 0 [========= ] 00443 / 01039 - scan source/tables_gen/pervasives scan-c-ocamlcode.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM ocamlcode.c [========= ] 00444 / 01039 - exit source/compiler scan-ocaml-pervasiveutils.ml, 0.44 sec, code 0 [========= ] 00445 / 01039 - scan source/tables_gen/pervasives scan-c-pervgen-c.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM pervgen-c.c [========= ] 00446 / 01039 - exit source/compiler scan-ocaml-table.ml, 0.55 sec, code 0 [========= ] 00447 / 01039 - build source/tables_gen/pervasives y.tab.c + bison -by -d pervasives.y [========= ] 00449 / 01039 - exit source/compiler scan-ocaml-table.mli, 0.56 sec, code 0 [========= ] 00450 / 01039 - scan source/tables_gen/util scan-c-util.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM util.c [========= ] 00451 / 01039 - exit source/compiler lpyacc.ml, 0.70 sec, code 0 [========= ] 00452 / 01039 - scan source/compiler scan-ocaml-lpyacc.mli + ocamldep.opt -modules lpyacc.mli [========= ] 00453 / 01039 - exit source/compiler scan-ocaml-symbol.mli, 0.73 sec, code 0 [========= ] 00454 / 01039 - build source/compiler symbol.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I . -I ../disassembler -I ../simulator -I ../loader -c symbol.mli [========= ] 00454 / 01039 - exit source/front parseargs.cmx, 0.70 sec, code 0 [========= ] 00455 / 01039 - scan source/compiler scan-ocaml-lpyacc.ml + ocamldep.opt -modules lpyacc.ml [========= ] 00456 / 01039 - exit source/compiler scan-ocaml-translate.mli, 0.71 sec, code 0 [========= ] 00457 / 01039 - scan source/tables_gen/pervasives scan-c-types.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM types.c [========= ] 00458 / 01039 - exit source/tables_gen/util scan-c-util.c, 0.19 sec, code 0 [========= ] 00459 / 01039 - build source/tables_gen/util util.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o util.o util.c [========= ] 00460 / 01040 - exit source/tables_gen/pervasives scan-c-pervgen-c.c, 0.29 sec, code 0 [========= ] 00461 / 01040 - build source/tables_gen/pervasives pervgen-c.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o pervgen-c.o pervgen-c.c [========= ] 00465 / 01044 - exit source/tables_gen/pervasives scan-c-ocamlcode.c, 0.32 sec, code 0 [========= ] 00466 / 01044 - build source/tables_gen/pervasives ocamlcode.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o ocamlcode.o ocamlcode.c [========= ] 00467 / 01045 - exit source/tables_gen/pervasives scan-c-pervgen-ocaml.c, 0.40 sec, code 0 [========= ] 00468 / 01045 - build source/tables_gen/pervasives pervgen-ocaml.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o pervgen-ocaml.o pervgen-ocaml.c [========= ] 00469 / 01046 - exit source/compiler scan-ocaml-translate.ml, 0.72 sec, code 0 [========= ] 00470 / 01046 - scan source/tables_gen/pervasives scan-c-ccode.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM ccode.c [========== ] 00471 / 01046 - exit source/compiler scan-ocaml-lplex.ml, 0.76 sec, code 0 [========== ] 00472 / 01046 - scan source/tables_gen/pervasives scan-c-op.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM op.c [========== ] 00473 / 01046 - exit source/compiler errormsg.cmx, 0.77 sec, code 0 [========== ] 00474 / 01046 - scan source/compiler scan-ocaml-explicit.mli + ocamldep.opt -modules explicit.mli [========== ] 00476 / 01046 - exit source/tables_gen/util util.o, 0.64 sec, code 0 [========== ] 00477 / 01046 - scan source/compiler scan-ocaml-explicit.ml + ocamldep.opt -modules explicit.ml [========== ] 00478 / 01046 - exit source/compiler symbol.cmi, 0.81 sec, code 0 [========== ] 00479 / 01046 - build source/compiler preabsyn.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I . -I ../disassembler -I ../simulator -I ../loader -c preabsyn.mli [========== ] 00479 / 01046 - exit source/compiler scan-ocaml-lpyacc.mli, 0.84 sec, code 0 [========== ] 00480 / 01046 - build source/compiler symbol.cmx + ocamlopt.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -I . -I . -I ../disassembler -I ../simulator -I ../loader -c symbol.ml [========== ] 00480 / 01046 - exit source/tables_gen/pervasives scan-c-ccode.c, 0.65 sec, code 0 [========== ] 00481 / 01046 - build source/tables_gen/pervasives ccode.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o ccode.o ccode.c [========== ] 00481 / 01046 - exit source/tables_gen/pervasives pervgen-ocaml.o, 0.76 sec, code 0 [========== ] 00482 / 01046 - build source/compiler table.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I . -I ../disassembler -I ../simulator -I ../loader -c table.mli [========== ] 00482 / 01046 - exit source/tables_gen/pervasives pervgen-c.o, 0.86 sec, code 0 [========== ] 00483 / 01046 - scan source/compiler scan-ocaml-clauses.mli + ocamldep.opt -modules clauses.mli [========== ] 00484 / 01046 - exit source/tables_gen/pervasives scan-c-types.c, 0.97 sec, code 0 [========== ] 00485 / 01046 - build source/tables_gen/pervasives types.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o types.o types.c [========== ] 00485 / 01046 - exit source/compiler scan-ocaml-lpyacc.ml, 1.00 sec, code 0 [========== ] 00486 / 01046 - scan source/compiler scan-ocaml-clauses.ml + ocamldep.opt -modules clauses.ml [========== ] 00487 / 01046 - exit source/tables_gen/pervasives y.tab.c, 1.18 sec, code 0 [========== ] 00488 / 01046 - build source/tables_gen/pervasives lex.yy.c + flex pervasives.l [========== ] 00489 / 01046 - exit source/tables_gen/pervasives types.o, 0.40 sec, code 0 [========== ] 00490 / 01046 - scan source/tables_gen/pervasives scan-c-y.tab.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM y.tab.c [========== ] 00490 / 01046 - exit source/compiler preabsyn.cmi, 0.77 sec, code 0 [========== ] 00491 / 01046 - build source/compiler compile.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I . -I ../disassembler -I ../simulator -I ../loader -c compile.mli [========== ] 00491 / 01046 - exit source/compiler scan-ocaml-explicit.ml, 0.85 sec, code 0 [========== ] 00492 / 01046 - build source/compiler lpyacc.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I . -I ../disassembler -I ../simulator -I ../loader -c lpyacc.mli [========== ] 00492 / 01046 - exit source/compiler scan-ocaml-explicit.mli, 0.90 sec, code 0 [========== ] 00493 / 01046 - scan source/compiler scan-ocaml-option.mli + ocamldep.opt -modules option.mli [========== ] 00494 / 01046 - exit source/tables_gen/pervasives scan-c-op.c, 0.95 sec, code 0 [========== ] 00495 / 01046 - build source/tables_gen/pervasives op.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o op.o op.c [========== ] 00495 / 01046 - exit source/tables_gen/pervasives ocamlcode.o, 1.40 sec, code 0 [========== ] 00496 / 01046 - scan source/compiler scan-ocaml-option.ml + ocamldep.opt -modules option.ml [========== ] 00497 / 01046 - exit source/tables_gen/pervasives lex.yy.c, 0.40 sec, code 0 [========== ] 00498 / 01046 - scan source/tables_gen/pervasives scan-c-lex.yy.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM lex.yy.c [========== ] 00498 / 01046 - exit source/compiler scan-ocaml-clauses.mli, 0.82 sec, code 0 [========== ] 00499 / 01046 - scan source/compiler scan-ocaml-types.mli + ocamldep.opt -modules types.mli [========== ] 00500 / 01046 - exit source/compiler table.cmi, 0.89 sec, code 0 [========== ] 00501 / 01046 - scan source/compiler scan-ocaml-types.ml + ocamldep.opt -modules types.ml [========== ] 00502 / 01046 - exit source/tables_gen/pervasives scan-c-y.tab.c, 0.51 sec, code 0 [========== ] 00503 / 01046 - build source/tables_gen/pervasives y.tab.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o y.tab.o y.tab.c [========== ] 00503 / 01046 - exit source/compiler scan-ocaml-clauses.ml, 0.60 sec, code 0 [========== ] 00504 / 01046 - scan source/compiler scan-ocaml-parse.mli + ocamldep.opt -modules parse.mli [========== ] 00505 / 01046 - exit source/compiler symbol.cmx, 1.17 sec, code 0 [========== ] 00506 / 01046 - build source/compiler preabsyn.cmx + ocamlopt.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -I . -I . -I ../disassembler -I ../simulator -I ../loader -c preabsyn.ml [========== ] 00507 / 01046 - exit source/compiler scan-ocaml-option.ml, 0.51 sec, code 0 [========== ] 00508 / 01046 - build source/compiler table.cmx + ocamlopt.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -I . -I . -I ../disassembler -I ../simulator -I ../loader -c table.ml [========== ] 00508 / 01046 - exit source/tables_gen/pervasives op.o, 0.52 sec, code 0 [========== ] 00509 / 01046 - scan source/compiler scan-ocaml-parse.ml + ocamldep.opt -modules parse.ml [========== ] 00510 / 01046 - exit source/compiler lpyacc.cmi, 0.62 sec, code 0 [========== ] 00511 / 01046 - scan source/compiler scan-ocaml-absyn.mli + ocamldep.opt -modules absyn.mli [========== ] 00512 / 01046 - exit source/compiler compile.cmi, 0.80 sec, code 0 [========== ] 00513 / 01046 - scan source/compiler scan-ocaml-absyn.ml + ocamldep.opt -modules absyn.ml [========== ] 00514 / 01046 - exit source/tables_gen/pervasives ccode.o, 1.40 sec, code 0 [========== ] 00515 / 01046 - scan source/front scan-ocaml-linkerfront.ml + ocamldep.opt -modules linkerfront.ml [========== ] 00516 / 01046 - exit source/compiler scan-ocaml-parse.mli, 0.31 sec, code 0 [========== ] 00517 / 01046 - scan source/tables_gen/instrformats scan-c-instrgen-ocaml.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM instrgen-ocaml.c [========== ] 00518 / 01046 - exit source/compiler scan-ocaml-types.ml, 0.59 sec, code 0 [========== ] 00519 / 01046 - scan source/tables_gen/instrformats scan-c-instrgen-c.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM instrgen-c.c [========== ] 00520 / 01046 - exit source/compiler scan-ocaml-types.mli, 0.69 sec, code 0 [========== ] 00521 / 01046 - build source/tables_gen/instrformats y.tab.h + bison -by -d instrformats.y [=========== ] 00523 / 01046 - exit source/tables_gen/pervasives scan-c-lex.yy.c, 0.70 sec, code 0 [=========== ] 00524 / 01046 - build source/tables_gen/pervasives lex.yy.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o lex.yy.o lex.yy.c [=========== ] 00524 / 01046 - exit source/compiler scan-ocaml-option.mli, 0.80 sec, code 0 [=========== ] 00525 / 01046 - build source/compiler option.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I . -I ../disassembler -I ../simulator -I ../loader -c option.mli [=========== ] 00525 / 01046 - exit source/tables_gen/pervasives y.tab.o, 1.09 sec, code 0 [=========== ] 00526 / 01046 - scan source/compiler scan-ocaml-processclauses.ml + ocamldep.opt -modules processclauses.ml [=========== ] 00571 / 01046 - exit source/tables_gen/instrformats scan-c-instrgen-c.c, 0.50 sec, code 0 [=========== ] 00572 / 01046 - build source/tables_gen/instrformats instrgen-c.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o instrgen-c.o instrgen-c.c [=========== ] 00573 / 01047 - exit source/tables_gen/instrformats scan-c-instrgen-ocaml.c, 0.87 sec, code 0 [=========== ] 00574 / 01047 - build source/tables_gen/instrformats instrgen-ocaml.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o instrgen-ocaml.o instrgen-ocaml.c [=========== ] 00574 / 01047 - exit source/front scan-ocaml-linkerfront.ml, 0.90 sec, code 0 [=========== ] 00575 / 01047 - build source/front linkerfront.o + ocamlopt.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -I . -I ../compiler -I ../disassembler -I ../simulator -I ../loader -c linkerfront.ml [=========== ] 00575 / 01047 - exit source/compiler scan-ocaml-absyn.ml, 1.00 sec, code 0 [============ ] 00576 / 01047 - scan source/compiler scan-ocaml-processclauses.mli + ocamldep.opt -modules processclauses.mli [============ ] 00577 / 01047 - exit source/compiler scan-ocaml-absyn.mli, 1.01 sec, code 0 [============ ] 00578 / 01047 - build source/compiler absyn.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I . -I ../disassembler -I ../simulator -I ../loader -c absyn.mli [============ ] 00578 / 01047 - exit source/compiler scan-ocaml-parse.ml, 1.07 sec, code 0 [============ ] 00579 / 01047 - scan source/compiler scan-ocaml-annvariables.mli + ocamldep.opt -modules annvariables.mli [============ ] 00580 / 01047 - exit source/compiler table.cmx, 1.08 sec, code 0 [============ ] 00581 / 01047 - scan source/compiler scan-ocaml-annvariables.ml + ocamldep.opt -modules annvariables.ml [============ ] 00583 / 01047 instrgen-ocaml.c: In function ‘ocSpitInstructionMLI’: instrgen-ocaml.c:814:5: warning: format not a string literal and no format arguments [-Wformat-security] 814 | fprintf(outFile, typeDefs); | ^~~~~~~ instrgen-ocaml.c:815:5: warning: format not a string literal and no format arguments [-Wformat-security] 815 | fprintf(outFile, opMLI); free(opMLI); | ^~~~~~~ instrgen-ocaml.c:816:5: warning: format not a string literal and no format arguments [-Wformat-security] 816 | fprintf(outFile, instrCatMLI); free(instrCatMLI); | ^~~~~~~ instrgen-ocaml.c:818:5: warning: format not a string literal and no format arguments [-Wformat-security] 818 | fprintf(outFile, instrMLI); free(instrMLI); | ^~~~~~~ instrgen-ocaml.c: In function ‘ocSpitInstructionML’: instrgen-ocaml.c:833:5: warning: format not a string literal and no format arguments [-Wformat-security] 833 | fprintf(outFile, typeDefs); free(typeDefs); | ^~~~~~~ instrgen-ocaml.c:834:5: warning: format not a string literal and no format arguments [-Wformat-security] 834 | fprintf(outFile, opML); free(opML); | ^~~~~~~ instrgen-ocaml.c:835:5: warning: format not a string literal and no format arguments [-Wformat-security] 835 | fprintf(outFile, instrCatML); free(instrCatML); | ^~~~~~~ instrgen-ocaml.c:836:5: warning: format not a string literal and no format arguments [-Wformat-security] 836 | fprintf(outFile, instrML); free(instrML); | ^~~~~~~ [============ ] 00583 / 01047 - exit source/front linkerfront.o, 0.88 sec, code 0 [============ ] 00584 / 01047 - scan source/compiler scan-ocaml-typereduction.ml + ocamldep.opt -modules typereduction.ml [============ ] 00587 / 01047 - exit source/tables_gen/instrformats instrgen-c.o, 1.08 sec, code 0 [============ ] 00588 / 01047 - scan source/compiler scan-ocaml-typereduction.mli + ocamldep.opt -modules typereduction.mli [============ ] 00589 / 01047 - exit source/compiler option.cmi, 1.39 sec, code 0 [============ ] 00590 / 01047 - build source/compiler option.cmx + ocamlopt.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -I . -I . -I ../disassembler -I ../simulator -I ../loader -c option.ml [============ ] 00590 / 01047 - exit source/tables_gen/instrformats y.tab.h, 1.50 sec, code 0 [============ ] 00591 / 01047 - scan source/tables_gen/instrformats scan-c-y.tab.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM y.tab.c [============ ] 00592 / 01047 - exit source/compiler preabsyn.cmx, 2.26 sec, code 0 [============ ] 00593 / 01047 - build source/compiler lpyacc.cmx + ocamlopt.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -I . -I . -I ../disassembler -I ../simulator -I ../loader -c lpyacc.ml [============ ] 00594 / 01047 - exit source/compiler scan-ocaml-annvariables.mli, 0.40 sec, code 0 [============ ] 00595 / 01047 - build source/tables_gen/instrformats lex.yy.c + flex instrformats.l [============ ] 00595 / 01047 - exit source/compiler scan-ocaml-processclauses.mli, 0.77 sec, code 0 [============ ] 00596 / 01047 - scan source/front scan-ocaml-disassemblerfront.ml + ocamldep.opt -modules disassemblerfront.ml [============ ] 00597 / 01047 - exit source/tables_gen/instrformats instrgen-ocaml.o, 1.21 sec, code 0 [============ ] 00598 / 01047 - scan source/disassembler scan-ocaml-disassembly.mli + ocamldep.opt -modules disassembly.mli [============ ] 00599 / 01047 - exit source/compiler scan-ocaml-processclauses.ml, 1.47 sec, code 0 [============ ] 00600 / 01047 - scan source/disassembler scan-ocaml-disassembly.ml + ocamldep.opt -modules disassembly.ml [============ ] 00601 / 01047 - exit source/tables_gen/pervasives lex.yy.o, 1.78 sec, code 0 [============ ] 00602 / 01047 - build source/tables_gen/pervasives perv_gen + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -o perv_gen y.tab.o lex.yy.o types.o pervgen-c.o op.o pervgen-ocaml.o ocamlcode.o ccode.o ../util/util.o -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -Wl,--defsym=__gentoo_check_ldflags__=0 [============ ] 00602 / 01047 - exit source/tables_gen/instrformats lex.yy.c, 0.22 sec, code 0 [============ ] 00603 / 01047 - scan source/tables_gen/instrformats scan-c-lex.yy.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM lex.yy.c [============ ] 00603 / 01047 - exit source/compiler scan-ocaml-typereduction.mli, 0.43 sec, code 0 [============ ] 00604 / 01047 - scan source/compiler scan-ocaml-clausegen.mli + ocamldep.opt -modules clausegen.mli [============ ] 00605 / 01047 - exit source/compiler scan-ocaml-typereduction.ml, 0.52 sec, code 0 [============ ] 00606 / 01047 - scan source/compiler scan-ocaml-clausegen.ml + ocamldep.opt -modules clausegen.ml [============ ] 00607 / 01047 - exit source/disassembler scan-ocaml-disassembly.mli, 0.33 sec, code 0 [============ ] 00608 / 01047 - build source/disassembler disassembly.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I ../compiler -I . -I ../simulator -I ../loader -c disassembly.mli [============ ] 00608 / 01047 - exit source/front scan-ocaml-disassemblerfront.ml, 0.42 sec, code 0 [============ ] 00609 / 01047 - scan source/compiler scan-ocaml-registers.mli + ocamldep.opt -modules registers.mli [============ ] 00610 / 01047 - exit source/tables_gen/instrformats scan-c-y.tab.c, 0.52 sec, code 0 [============ ] 00611 / 01047 - build source/tables_gen/instrformats y.tab.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o y.tab.o y.tab.c [============ ] 00612 / 01048 - exit source/compiler option.cmx, 0.59 sec, code 0 [============ ] 00613 / 01048 - scan source/compiler scan-ocaml-registers.ml + ocamldep.opt -modules registers.ml [============ ] 00615 / 01048 - exit source/compiler scan-ocaml-annvariables.ml, 0.81 sec, code 0 [============ ] 00616 / 01048 - scan source/compiler scan-ocaml-bytecode.mli + ocamldep.opt -modules bytecode.mli [============ ] 00617 / 01048 - exit source/compiler absyn.cmi, 1.10 sec, code 0 [============ ] 00618 / 01048 - build source/compiler annvariables.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I . -I ../disassembler -I ../simulator -I ../loader -c annvariables.mli [============ ] 00618 / 01048 - exit source/disassembler disassembly.cmi, 0.44 sec, code 0 [============ ] 00619 / 01048 - build source/compiler typereduction.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I . -I ../disassembler -I ../simulator -I ../loader -c typereduction.mli [============ ] 00619 / 01048 - exit source/compiler scan-ocaml-clausegen.mli, 0.61 sec, code 0 [============ ] 00620 / 01048 - build source/compiler processclauses.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I . -I ../disassembler -I ../simulator -I ../loader -c processclauses.mli [============ ] 00620 / 01048 - exit source/tables_gen/instrformats scan-c-lex.yy.c, 0.64 sec, code 0 [============ ] 00621 / 01048 - build source/tables_gen/instrformats lex.yy.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o lex.yy.o lex.yy.c [============ ] 00621 / 01048 - exit source/tables_gen/pervasives perv_gen, 0.71 sec, code 0 [============ ] 00622 / 01048 - build source compiler/pervasive.mli + Shell.cd(tables_gen/pervasives) && ./perv_gen pervasives.in [============ ] 00622 / 01048 - exit source/disassembler scan-ocaml-disassembly.ml, 0.72 sec, code 0 [============ ] 00623 / 01048 - build source/compiler pervasiveutils.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I . -I ../disassembler -I ../simulator -I ../loader -c pervasiveutils.mli [============ ] 00623 / 01048 - exit source compiler/pervasive.mli, 0.40 sec, code 0 [============ ] 00624 / 01048 - scan source/compiler scan-ocaml-pervasive.ml + ocamldep.opt -modules pervasive.ml [============ ] 00625 / 01048 - exit source/compiler scan-ocaml-bytecode.mli, 0.67 sec, code 0 [============ ] 00626 / 01048 - build source/compiler bytecode.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I . -I ../disassembler -I ../simulator -I ../loader -c bytecode.mli [============ ] 00626 / 01048 - exit source/compiler scan-ocaml-registers.ml, 0.77 sec, code 0 [============ ] 00627 / 01048 - scan source/compiler scan-ocaml-pervasive.mli + ocamldep.opt -modules pervasive.mli [============= ] 00629 / 01048 - exit source/tables_gen/instrformats y.tab.o, 0.86 sec, code 0 [============= ] 00630 / 01048 - build source/compiler translate.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I . -I ../disassembler -I ../simulator -I ../loader -c translate.mli [============= ] 00630 / 01048 - exit source/compiler scan-ocaml-registers.mli, 0.90 sec, code 0 [============= ] 00631 / 01048 - build source/compiler explicit.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I . -I ../disassembler -I ../simulator -I ../loader -c explicit.mli [============= ] 00631 / 01048 - exit source/compiler scan-ocaml-clausegen.ml, 1.08 sec, code 0 [============= ] 00632 / 01048 - build source/compiler clauses.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I . -I ../disassembler -I ../simulator -I ../loader -c clauses.mli [============= ] 00632 / 01048 - exit source/compiler bytecode.cmi, 0.71 sec, code 0 [============= ] 00633 / 01048 - build source/compiler types.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I . -I ../disassembler -I ../simulator -I ../loader -c types.mli [============= ] 00633 / 01048 - exit source/compiler processclauses.cmi, 1.30 sec, code 0 [============= ] 00634 / 01048 - build source/compiler absyn.cmx + ocamlopt.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -I . -I . -I ../disassembler -I ../simulator -I ../loader -c absyn.ml [============= ] 00634 / 01048 - exit source/compiler typereduction.cmi, 1.32 sec, code 0 [============= ] 00635 / 01048 - scan source/compiler scan-ocaml-bytecode.ml + ocamldep.opt -modules bytecode.ml [============= ] 00636 / 01048 - exit source/compiler annvariables.cmi, 1.40 sec, code 0 [============= ] 00637 / 01048 - scan source/compiler scan-ocaml-spitcode.mli + ocamldep.opt -modules spitcode.mli [============= ] 00638 / 01048 - exit source/compiler scan-ocaml-pervasive.mli, 0.71 sec, code 0 [============= ] 00639 / 01048 - build source/compiler pervasive.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I . -I ../disassembler -I ../simulator -I ../loader -c pervasive.mli [============= ] 00639 / 01048 - exit source/compiler scan-ocaml-pervasive.ml, 1.12 sec, code 0 [============= ] 00640 / 01048 - scan source/compiler scan-ocaml-spitcode.ml + ocamldep.opt -modules spitcode.ml [============= ] 00641 / 01048 - exit source/compiler pervasiveutils.cmi, 1.13 sec, code 0 [============= ] 00642 / 01048 - scan source/disassembler scan-ocaml-context.mli + ocamldep.opt -modules context.mli [============= ] 00643 / 01048 - exit source/compiler clauses.cmi, 0.79 sec, code 0 [============= ] 00644 / 01048 - scan source/disassembler scan-ocaml-context.ml + ocamldep.opt -modules context.ml [============= ] 00645 / 01048 - exit source/compiler explicit.cmi, 0.99 sec, code 0 [============= ] 00646 / 01048 - scan source/compiler scan-ocaml-codegen.mli + ocamldep.opt -modules codegen.mli [============= ] 00647 / 01048 - exit source/compiler translate.cmi, 1.02 sec, code 0 [============= ] 00648 / 01048 - scan source/compiler scan-ocaml-codegen.ml + ocamldep.opt -modules codegen.ml [============= ] 00649 / 01048 - exit source/tables_gen/instrformats lex.yy.o, 1.99 sec, code 0 [============= ] 00650 / 01048 - build source/tables_gen/instrformats instr_gen + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -o instr_gen y.tab.o lex.yy.o instrgen-c.o instrgen-ocaml.o ../util/util.o -lm [============= ] 00650 / 01048 - exit source/compiler scan-ocaml-spitcode.mli, 0.61 sec, code 0 [============= ] 00651 / 01048 - scan source/loader scan-ocaml-loadmodtab.mli + ocamldep.opt -modules loadmodtab.mli [============= ] 00652 / 01048 - exit source/compiler scan-ocaml-bytecode.ml, 0.70 sec, code 0 [============= ] 00653 / 01048 - scan source/loader scan-ocaml-loadmodtab.ml + ocamldep.opt -modules loadmodtab.ml [============= ] 00654 / 01048 - exit source/tables_gen/instrformats instr_gen, 0.42 sec, code 0 [============= ] 00655 / 01048 - build source tables/instructions.h + Shell.cd(tables_gen/instrformats) && ./instr_gen [============= ] 00655 / 01048 - exit source/compiler scan-ocaml-spitcode.ml, 0.79 sec, code 0 [============= ] 00656 / 01048 - scan source/disassembler scan-ocaml-label.mli + ocamldep.opt -modules label.mli [============= ] 00657 / 01048 - exit source/compiler types.cmi, 1.29 sec, code 0 [============= ] 00658 / 01048 - build source/compiler parse.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I . -I ../disassembler -I ../simulator -I ../loader -c parse.mli [============= ] 00658 / 01048 - exit source tables/instructions.h, 0.27 sec, code 0 [============= ] 00659 / 01048 - scan source/linker scan-c-const.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM const.c [============= ] 00661 / 01048 - exit source/loader scan-ocaml-loadmodtab.mli, 0.60 sec, code 0 [============= ] 00662 / 01048 - build source/loader loadmodtab.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I ../compiler -I ../disassembler -I ../simulator -I . -c loadmodtab.mli [============= ] 00662 / 01048 - exit source/compiler scan-ocaml-codegen.mli, 0.80 sec, code 0 [============= ] 00663 / 01048 - scan source/simulator scan-c-siminit.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM siminit.c [============= ] 00663 / 01048 - exit source/disassembler scan-ocaml-context.ml, 0.87 sec, code 0 [============= ] 00664 / 01048 - scan source/linker scan-c-vector.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM vector.c [============= ] 00664 / 01048 - exit source/disassembler scan-ocaml-context.mli, 0.96 sec, code 0 [============= ] 00665 / 01048 - scan source/system scan-c-stream.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM stream.c [============= ] 00665 / 01048 - exit source/compiler pervasive.cmi, 1.27 sec, code 0 [============= ] 00666 / 01048 - scan source/system scan-c-message.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM message.c [============= ] 00666 / 01048 - exit source/disassembler scan-ocaml-label.mli, 0.59 sec, code 0 [============= ] 00667 / 01048 - build source/disassembler label.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I ../compiler -I . -I ../simulator -I ../loader -c label.mli [============= ] 00667 / 01048 - exit source/loader scan-ocaml-loadmodtab.ml, 0.72 sec, code 0 [============= ] 00668 / 01048 - scan source/linker scan-c-tyskel.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM tyskel.c [============= ] 00668 / 01048 - exit source/compiler scan-ocaml-codegen.ml, 1.20 sec, code 0 [============= ] 00669 / 01048 - scan source/system scan-c-error.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM error.c [============= ] 00669 / 01048 - exit source/simulator scan-c-siminit.c, 0.73 sec, code 0 [============= ] 00670 / 01048 - build source/simulator siminit.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o siminit.o siminit.c [============= ] 00681 / 01059 - exit source/linker scan-c-const.c, 0.83 sec, code 0 [============= ] 00682 / 01059 - build source/linker const.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o const.o const.c [============= ] 00696 / 01073 - exit source/compiler parse.cmi, 0.91 sec, code 0 [============= ] 00697 / 01073 - scan source/linker scan-c-module.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM module.c [============= ] 00697 / 01073 - exit source/system scan-c-message.c, 0.61 sec, code 0 [============== ] 00698 / 01073 - build source/system message.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o message.o message.c [============== ] 00699 / 01074 - exit source/system scan-c-stream.c, 0.68 sec, code 0 [============== ] 00700 / 01074 - build source/system stream.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o stream.o stream.c [============== ] 00701 / 01075 - exit source/linker scan-c-vector.c, 0.70 sec, code 0 [============== ] 00702 / 01075 - build source/linker vector.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o vector.o vector.c [============== ] 00702 / 01075 In file included from const.c:31: const.c: In function ‘UnPackConstInd’: const.c:116:9: warning: format ‘%d’ expects argument of type ‘int’, but argument 5 has type ‘size_t’ {aka ‘long unsigned int’} [-Wformat=] 116 | debug("[%d %d %d]\n",(int)PERV_CONST_NUM,(int)GConstTabSize,TotalLConsts); | ^~~~~~~~~~~~~~ ~~~~~~~~~~~~ | | | size_t {aka long unsigned int} linker_message.h:27:58: note: in definition of macro ‘debug’ 27 | #define debug(...) if(linker_verbosity>2){fprintf(stderr,__VA_ARGS__);} | ^~~~~~~~~~~ const.c:116:18: note: format string is defined here 116 | debug("[%d %d %d]\n",(int)PERV_CONST_NUM,(int)GConstTabSize,TotalLConsts); | ~^ | | | int | %ld [============== ] 00702 / 01075 - exit source/system scan-c-error.c, 0.38 sec, code 0 [============== ] 00703 / 01075 - build source/system error.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o error.o error.c [============== ] 00703 / 01075 - exit source/linker scan-c-tyskel.c, 0.50 sec, code 0 [============== ] 00704 / 01075 - build source/linker tyskel.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o tyskel.o tyskel.c [============== ] 00705 / 01076 - exit source/disassembler label.cmi, 0.71 sec, code 0 [============== ] 00706 / 01076 - scan source/simulator scan-c-siminstrlocal.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM siminstrlocal.c [============== ] 00706 / 01076 - exit source/loader loadmodtab.cmi, 1.18 sec, code 0 [============== ] 00707 / 01076 - scan source/simulator scan-c-printterm.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM printterm.c [============== ] 00707 / 01076 - exit source/simulator siminit.o, 0.51 sec, code 0 [============== ] 00708 / 01076 - scan source/front scan-c-linker_c.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM linker_c.c [============== ] 00708 / 01076 - exit source/compiler lpyacc.cmx, 5.40 sec, code 0 [============== ] 00709 / 01076 - build source/compiler lplex.cmx + ocamlopt.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -I . -I . -I ../disassembler -I ../simulator -I ../loader -c lplex.ml [============== ] 00710 / 01076 - exit source/system error.o, 0.39 sec, code 0 [============== ] 00711 / 01076 - scan source/simulator scan-c-siminstr.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM siminstr.c [============== ] 00711 / 01076 - exit source/linker scan-c-module.c, 0.60 sec, code 0 [============== ] 00712 / 01076 - build source/linker module.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o module.o module.c [============== ] 00717 / 01081 - exit source/front scan-c-linker_c.c, 0.50 sec, code 0 [============== ] 00718 / 01081 - build source/front linker_c.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o linker_c.o linker_c.c [============== ] 00725 / 01088 - exit source/linker vector.o, 0.79 sec, code 0 [============== ] 00726 / 01088 - scan source/simulator scan-c-mcstring.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM mcstring.c [============== ] 00726 / 01088 - exit source/system message.o, 0.82 sec, code 0 [============== ] 00727 / 01088 - scan source/simulator scan-c-io-datastructures.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM io-datastructures.c [============== ] 00727 / 01088 - exit source/simulator scan-c-siminstr.c, 0.68 sec, code 0 [============== ] 00728 / 01088 - build source/simulator siminstr.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o siminstr.o siminstr.c [============== ] 00737 / 01097 - exit source/simulator scan-c-printterm.c, 0.89 sec, code 0 [============== ] 00738 / 01097 - build source/simulator printterm.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o printterm.o printterm.c [============== ] 00739 / 01098 - exit source/simulator scan-c-siminstrlocal.c, 0.97 sec, code 0 [============== ] 00740 / 01098 - build source/simulator siminstrlocal.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o siminstrlocal.o siminstrlocal.c [============== ] 00740 / 01098 - exit source/linker tyskel.o, 0.98 sec, code 0 [============== ] 00741 / 01098 - scan source/system scan-c-memory.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM memory.c [============== ] 00741 / 01098 - exit source/linker const.o, 1.29 sec, code 0 [============== ] 00742 / 01098 - scan source/simulator/builtins scan-c-builtins.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM builtins.c [============== ] 00742 / 01098 - exit source/front linker_c.o, 0.52 sec, code 0 [============== ] 00743 / 01098 - scan source/simulator scan-c-simdispatch.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM simdispatch.c [============== ] 00743 / 01098 - exit source/system stream.o, 1.50 sec, code 0 [============== ] 00744 / 01098 - scan source/simulator scan-c-dataformats.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM dataformats.c [============== ] 00744 / 01098 - exit source/simulator scan-c-io-datastructures.c, 0.59 sec, code 0 [============== ] 00745 / 01098 - build source/simulator io-datastructures.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o io-datastructures.o io-datastructures.c [============== ] 00745 / 01098 - exit source/simulator scan-c-mcstring.c, 0.68 sec, code 0 [============== ] 00746 / 01098 - build source/simulator mcstring.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o mcstring.o mcstring.c [============== ] 00746 / 01098 - exit source/simulator scan-c-simdispatch.c, 0.29 sec, code 0 [============== ] 00747 / 01098 - build source/simulator simdispatch.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o simdispatch.o simdispatch.c [============== ] 00748 / 01099 - exit source/simulator scan-c-dataformats.c, 0.29 sec, code 0 [============== ] 00749 / 01099 - build source/simulator dataformats.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o dataformats.o dataformats.c [============== ] 00749 / 01099 - exit source/simulator/builtins scan-c-builtins.c, 0.40 sec, code 0 [============== ] 00750 / 01099 - build source/simulator/builtins builtins.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o builtins.o builtins.c [============== ] 00754 / 01103 - exit source/system scan-c-memory.c, 0.48 sec, code 0 [============== ] 00755 / 01103 - build source/system memory.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o memory.o memory.c [============== ] 00756 / 01104 - exit source/linker module.o, 1.50 sec, code 0 [============== ] 00757 / 01104 - scan source/linker scan-c-linker_message.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM linker_message.c [============== ] 00757 / 01104 - exit source/simulator simdispatch.o, 0.60 sec, code 0 [============== ] 00758 / 01104 - scan source/simulator scan-c-hopu.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM hopu.c [============== ] 00758 / 01104 - exit source/simulator io-datastructures.o, 0.81 sec, code 0 [============== ] 00759 / 01104 - scan source/simulator scan-c-types.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM types.c [============== ] 00759 / 01104 - exit source/linker scan-c-linker_message.c, 0.29 sec, code 0 [============== ] 00760 / 01104 - build source/linker linker_message.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o linker_message.o linker_message.c [============== ] 00760 / 01104 - exit source/simulator mcstring.o, 0.81 sec, code 0 [============== ] 00761 / 01104 - scan source/linker scan-c-VectorRW.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM VectorRW.c [============== ] 00761 / 01104 - exit source/simulator scan-c-hopu.c, 0.30 sec, code 0 [============== ] 00762 / 01104 - build source/simulator hopu.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o hopu.o hopu.c [============== ] 00762 / 01104 - exit source/simulator/builtins builtins.o, 0.89 sec, code 0 [============== ] 00763 / 01104 - scan source/simulator scan-c-simulator.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM simulator.c [============== ] 00763 / 01104 - exit source/simulator printterm.o, 1.59 sec, code 0 [============== ] 00764 / 01104 - scan source/tables scan-c-pervasives.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM pervasives.c [============== ] 00764 / 01104 - exit source/linker linker_message.o, 0.40 sec, code 0 [============== ] 00765 / 01104 - scan source/simulator/builtins scan-c-meta.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM meta.c [============== ] 00765 / 01104 - exit source/simulator scan-c-types.c, 0.49 sec, code 0 [============== ] 00766 / 01104 - build source/simulator types.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o types.o types.c [============== ] 00766 / 01104 - exit source/linker scan-c-VectorRW.c, 0.52 sec, code 0 [============== ] 00767 / 01104 - build source/linker VectorRW.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o VectorRW.o VectorRW.c [============== ] 00767 / 01104 - exit source/system memory.o, 1.03 sec, code 0 [============== ] 00768 / 01104 - scan source/tables scan-c-pervinit.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM pervinit.c [============== ] 00768 / 01104 - exit source/tables scan-c-pervasives.c, 0.42 sec, code 0 [============== ] 00769 / 01104 - build source/tables pervasives.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o pervasives.o pervasives.c [============== ] 00769 / 01104 - exit source/simulator scan-c-simulator.c, 0.50 sec, code 0 [============== ] 00770 / 01104 - build source/simulator simulator.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o simulator.o simulator.c [============== ] 00770 / 01104 - exit source/simulator siminstrlocal.o, 2.10 sec, code 0 [============== ] 00771 / 01104 - scan source/simulator scan-c-hnorm.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM hnorm.c [============== ] 00771 / 01104 - exit source/simulator/builtins scan-c-meta.c, 0.79 sec, code 0 [============== ] 00772 / 01104 - build source/simulator/builtins meta.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o meta.o meta.c [============== ] 00772 / 01104 - exit source/simulator dataformats.o, 1.90 sec, code 0 [=============== ] 00773 / 01104 - scan source/tables scan-c-instructions.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM instructions.c [=============== ] 00773 / 01104 - exit source/simulator simulator.o, 0.48 sec, code 0 [=============== ] 00774 / 01104 - scan source/linker scan-c-hashtab.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM hashtab.c [=============== ] 00774 / 01104 - exit source/tables scan-c-pervinit.c, 0.61 sec, code 0 [=============== ] 00775 / 01104 - build source/tables pervinit.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o pervinit.o pervinit.c [=============== ] 00775 / 01104 - exit source/linker VectorRW.o, 0.71 sec, code 0 [=============== ] 00776 / 01104 - scan source/linker scan-c-implgoal.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM implgoal.c [=============== ] 00776 / 01104 - exit source/simulator types.o, 1.01 sec, code 0 [=============== ] 00777 / 01104 - scan source/linker scan-c-file.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM file.c [=============== ] 00777 / 01104 - exit source/tables scan-c-instructions.c, 0.39 sec, code 0 [=============== ] 00778 / 01104 - build source/tables instructions.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o instructions.o instructions.c [=============== ] 00778 / 01104 - exit source/simulator scan-c-hnorm.c, 0.51 sec, code 0 [=============== ] 00779 / 01104 - build source/simulator hnorm.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o hnorm.o hnorm.c [=============== ] 00780 / 01105 - exit source/tables pervinit.o, 0.49 sec, code 0 [=============== ] 00781 / 01105 - scan source/linker scan-c-kind.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM kind.c [=============== ] 00781 / 01105 - exit source/simulator/builtins meta.o, 0.78 sec, code 0 [=============== ] 00782 / 01105 - scan source/linker scan-c-bvrtab.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM bvrtab.c [=============== ] 00782 / 01105 - exit source/tables pervasives.o, 1.16 sec, code 0 [=============== ] 00783 / 01105 - scan source/linker scan-c-importtab.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM importtab.c [=============== ] 00783 / 01105 - exit source/linker scan-c-file.c, 0.50 sec, code 0 [=============== ] 00784 / 01105 - build source/linker file.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o file.o file.c [=============== ] 00784 / 01105 - exit source/linker scan-c-implgoal.c, 0.52 sec, code 0 [=============== ] 00785 / 01105 - build source/linker implgoal.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o implgoal.o implgoal.c [=============== ] 00785 / 01105 - exit source/linker scan-c-hashtab.c, 0.69 sec, code 0 [=============== ] 00786 / 01105 - build source/linker hashtab.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o hashtab.o hashtab.c [=============== ] 00786 / 01105 file.c: In function ‘LK_FILE_GETWord’: file.c:104:3: warning: ignoring return value of ‘read’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 104 | read(fd,&tmp,sizeof(tmp)); | ^~~~~~~~~~~~~~~~~~~~~~~~~ file.c: In function ‘LK_FILE_GET4’: file.c:119:3: warning: ignoring return value of ‘read’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 119 | read(fd,&tmp,sizeof(tmp)); | ^~~~~~~~~~~~~~~~~~~~~~~~~ file.c: In function ‘LK_FILE_GET2’: file.c:130:3: warning: ignoring return value of ‘read’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 130 | read(fd,&tmp,sizeof(tmp)); | ^~~~~~~~~~~~~~~~~~~~~~~~~ file.c: In function ‘LK_FILE_GET1’: file.c:141:3: warning: ignoring return value of ‘read’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 141 | read(fd,&tmp,sizeof(tmp)); | ^~~~~~~~~~~~~~~~~~~~~~~~~ file.c: In function ‘LK_FILE_GetString’: file.c:151:3: warning: ignoring return value of ‘read’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 151 | read(fd,tmp,size); | ^~~~~~~~~~~~~~~~~ file.c: In function ‘LK_FILE_PUT1’: file.c:159:3: warning: ignoring return value of ‘write’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 159 | write(fd,&x,sizeof(x)); | ^~~~~~~~~~~~~~~~~~~~~~ file.c: In function ‘LK_FILE_PUT2’: file.c:168:3: warning: ignoring return value of ‘write’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 168 | write(fd,&x,sizeof(x)); | ^~~~~~~~~~~~~~~~~~~~~~ file.c: In function ‘LK_FILE_PUT4’: file.c:177:3: warning: ignoring return value of ‘write’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 177 | write(fd,&x,sizeof(x)); | ^~~~~~~~~~~~~~~~~~~~~~ file.c: In function ‘LK_FILE_PUTN’: file.c:182:3: warning: ignoring return value of ‘write’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 182 | write(fd,data,n); | ^~~~~~~~~~~~~~~~ file.c: In function ‘LK_FILE_PUTWord’: file.c:195:3: warning: ignoring return value of ‘write’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 195 | write(fd,&x,sizeof(x)); | ^~~~~~~~~~~~~~~~~~~~~~ file.c: In function ‘LK_FILE_PutString’: file.c:202:3: warning: ignoring return value of ‘write’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 202 | write(fd,str,size); | ^~~~~~~~~~~~~~~~~~ [=============== ] 00786 / 01105 - exit source/tables instructions.o, 0.84 sec, code 0 [=============== ] 00787 / 01105 - scan source/include scan-c-obstack.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM obstack.c [=============== ] 00787 / 01105 - exit source/linker scan-c-importtab.c, 0.51 sec, code 0 [=============== ] 00788 / 01105 - build source/linker importtab.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o importtab.o importtab.c [=============== ] 00788 / 01105 - exit source/linker scan-c-bvrtab.c, 0.52 sec, code 0 [=============== ] 00789 / 01105 - build source/linker bvrtab.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o bvrtab.o bvrtab.c [=============== ] 00789 / 01105 - exit source/linker scan-c-kind.c, 0.60 sec, code 0 [=============== ] 00790 / 01105 - build source/linker kind.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o kind.o kind.c [=============== ] 00790 / 01105 - exit source/linker file.o, 0.93 sec, code 0 [=============== ] 00791 / 01105 - scan source/simulator/builtins scan-c-evalexp.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM evalexp.c [=============== ] 00791 / 01105 - exit source/include scan-c-obstack.c, 0.60 sec, code 0 [=============== ] 00792 / 01105 - build source/include obstack.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o obstack.o obstack.c [=============== ] 00792 / 01105 - exit source/linker hashtab.o, 0.71 sec, code 0 [=============== ] 00793 / 01105 - scan source/simulator scan-c-abstmachine.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM abstmachine.c [=============== ] 00793 / 01105 - exit source/linker implgoal.o, 1.10 sec, code 0 [=============== ] 00794 / 01105 - scan source/simulator/builtins scan-c-readterm.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM readterm.c [=============== ] 00794 / 01105 - exit source/compiler lplex.cmx, 5.63 sec, code 0 [=============== ] 00795 / 01105 - build source/compiler compile.cmx + ocamlopt.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -I . -I . -I ../disassembler -I ../simulator -I ../loader -c compile.ml [=============== ] 00796 / 01105 - exit source/simulator/builtins scan-c-evalexp.c, 0.41 sec, code 0 [=============== ] 00797 / 01105 - build source/simulator/builtins evalexp.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o evalexp.o evalexp.c [=============== ] 00797 / 01105 In file included from kind.c:30: kind.c: In function ‘UnPackKindInd’: kind.c:115:9: warning: format ‘%d’ expects argument of type ‘int’, but argument 5 has type ‘size_t’ {aka ‘long unsigned int’} [-Wformat=] 115 | bad("KindInd unpack of %d failed: [%d:%d:%ld]\n",\ | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 116 | ind,PERV_KIND_NUM,GKindTabSize,LK_VECTOR_Size(&LKinds)); | ~~~~~~~~~~~~ | | | size_t {aka long unsigned int} linker_message.h:33:33: note: in definition of macro ‘bad’ 33 | #define bad(...) fprintf(stderr,__VA_ARGS__) | ^~~~~~~~~~~ kind.c:115:44: note: format string is defined here 115 | bad("KindInd unpack of %d failed: [%d:%d:%ld]\n",\ | ~^ | | | int | %ld [=============== ] 00797 / 01105 - exit source/include obstack.o, 0.49 sec, code 0 [=============== ] 00798 / 01105 - scan source/linker scan-c-stringspace.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM stringspace.c [=============== ] 00799 / 01105 - exit source/simulator scan-c-abstmachine.c, 0.51 sec, code 0 [=============== ] 00800 / 01105 - build source/simulator abstmachine.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o abstmachine.o abstmachine.c [=============== ] 00800 / 01105 - exit source/linker bvrtab.o, 1.11 sec, code 0 [=============== ] 00801 / 01105 - scan source/linker scan-c-code.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM code.c [=============== ] 00801 / 01105 - exit source/simulator siminstr.o, 5.39 sec, code 0 [=============== ] 00802 / 01105 - scan source/simulator/builtins scan-c-io.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM io.c [=============== ] 00802 / 01105 - exit source/linker scan-c-stringspace.c, 0.40 sec, code 0 [=============== ] 00803 / 01105 - build source/linker stringspace.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o stringspace.o stringspace.c [=============== ] 00803 / 01105 - exit source/simulator/builtins scan-c-readterm.c, 0.61 sec, code 0 [=============== ] 00804 / 01105 - build source/simulator/builtins readterm.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o readterm.o readterm.c [=============== ] 00804 / 01105 - exit source/linker kind.o, 1.40 sec, code 0 [=============== ] 00805 / 01105 - scan source/linker scan-c-tree.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM tree.c [=============== ] 00805 / 01105 - exit source/linker importtab.o, 1.69 sec, code 0 [=============== ] 00806 / 01105 - scan source/linker scan-c-rename.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM rename.c [=============== ] 00806 / 01105 - exit source/simulator hnorm.o, 2.47 sec, code 0 [=============== ] 00807 / 01105 - scan source/simulator/builtins scan-c-compexp.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM compexp.c [=============== ] 00807 / 01105 - exit source/simulator/builtins scan-c-io.c, 0.60 sec, code 0 [=============== ] 00808 / 01105 - build source/simulator/builtins io.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o io.o io.c [=============== ] 00810 / 01107 - exit source/linker scan-c-code.c, 0.69 sec, code 0 [=============== ] 00811 / 01107 - build source/linker code.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o code.o code.c [=============== ] 00811 / 01107 - exit source/simulator/builtins evalexp.o, 1.08 sec, code 0 [=============== ] 00812 / 01107 - scan source/simulator scan-c-trail.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM trail.c [=============== ] 00812 / 01107 - exit source/linker scan-c-tree.c, 0.70 sec, code 0 [=============== ] 00813 / 01107 - build source/linker tree.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o tree.o tree.c [=============== ] 00814 / 01108 - exit source/linker stringspace.o, 0.97 sec, code 0 [=============== ] 00815 / 01108 - scan source/linker scan-c-CallResolution.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM CallResolution.c [=============== ] 00815 / 01108 - exit source/simulator/builtins scan-c-compexp.c, 0.59 sec, code 0 [=============== ] 00816 / 01108 - build source/simulator/builtins compexp.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o compexp.o compexp.c [=============== ] 00816 / 01108 - exit source/linker scan-c-rename.c, 0.70 sec, code 0 [=============== ] 00817 / 01108 - build source/linker rename.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o rename.o rename.c [=============== ] 00817 / 01108 - exit source/simulator hopu.o, 5.01 sec, code 0 [=============== ] 00818 / 01108 - scan source/simulator scan-c-hnormlocal.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM hnormlocal.c [=============== ] 00818 / 01108 In file included from code.c:32: code.c: In function ‘LoadCode’: code.c:330:17: warning: format ‘%d’ expects argument of type ‘int’, but argument 3 has type ‘CodeInd’ {aka ‘long int’} [-Wformat=] 330 | debug("L:%d\t",*(CodeInd*)(code+j)); | ^~~~~~~~ ~~~~~~~~~~~~~~~~~~~ | | | CodeInd {aka long int} linker_message.h:27:58: note: in definition of macro ‘debug’ 27 | #define debug(...) if(linker_verbosity>2){fprintf(stderr,__VA_ARGS__);} | ^~~~~~~~~~~ code.c:330:21: note: format string is defined here 330 | debug("L:%d\t",*(CodeInd*)(code+j)); | ~^ | | | int | %ld [=============== ] 00818 / 01108 - exit source/simulator/builtins readterm.o, 1.22 sec, code 0 [=============== ] 00819 / 01108 - scan source/compiler scan-ocaml-instr.mli + ocamldep.opt -modules instr.mli [=============== ] 00820 / 01108 - exit source/simulator abstmachine.o, 1.67 sec, code 0 [=============== ] 00821 / 01108 - scan source/compiler scan-ocaml-instr.ml + ocamldep.opt -modules instr.ml [=============== ] 00822 / 01108 - exit source/linker scan-c-CallResolution.c, 0.52 sec, code 0 [=============== ] 00823 / 01108 - build source/linker CallResolution.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o CallResolution.o CallResolution.c [=============== ] 00823 / 01108 - exit source/linker tree.o, 0.61 sec, code 0 [=============== ] 00824 / 01108 - scan source/disassembler scan-ocaml-label.ml + ocamldep.opt -modules label.ml [=============== ] 00825 / 01108 - exit source/simulator scan-c-trail.c, 0.71 sec, code 0 [=============== ] 00826 / 01108 - build source/simulator trail.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o trail.o trail.c [=============== ] 00826 / 01108 - exit source/compiler compile.cmx, 2.18 sec, code 0 [=============== ] 00827 / 01108 - build source/front dependfront.cmi + ocamlopt.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -I . -I ../compiler -I ../disassembler -I ../simulator -I ../loader -c dependfront.ml [=============== ] 00828 / 01108 - exit source/simulator scan-c-hnormlocal.c, 0.61 sec, code 0 [=============== ] 00829 / 01108 - build source/simulator hnormlocal.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o hnormlocal.o hnormlocal.c [=============== ] 00829 / 01108 - exit source/linker rename.o, 0.61 sec, code 0 [=============== ] 00830 / 01108 - scan source/front scan-ocaml-simulatorfront.ml + ocamldep.opt -modules simulatorfront.ml [================ ] 00831 / 01108 - exit source/simulator/builtins compexp.o, 0.81 sec, code 0 [================ ] 00832 / 01108 - scan source/front scan-ocaml-ccode_stubs.ml + ocamldep.opt -modules ccode_stubs.ml [================ ] 00833 / 01108 - exit source/disassembler scan-ocaml-label.ml, 0.42 sec, code 0 [================ ] 00834 / 01108 - build source/disassembler label.o + ocamlopt.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -I . -I ../compiler -I . -I ../simulator -I ../loader -c label.ml [================ ] 00834 / 01108 - exit source/linker CallResolution.o, 0.51 sec, code 0 [================ ] 00835 / 01108 - scan source/front scan-ocaml-simerrors.mli + ocamldep.opt -modules simerrors.mli [================ ] 00836 / 01108 - exit source/compiler scan-ocaml-instr.ml, 0.62 sec, code 0 [================ ] 00837 / 01108 - scan source/front scan-ocaml-simerrors.ml + ocamldep.opt -modules simerrors.ml [================ ] 00838 / 01108 - exit source/compiler scan-ocaml-instr.mli, 0.71 sec, code 0 [================ ] 00839 / 01108 - build source/compiler instr.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I . -I ../disassembler -I ../simulator -I ../loader -c instr.mli [================ ] 00839 / 01108 - exit source/simulator trail.o, 0.79 sec, code 0 [================ ] 00840 / 01108 - scan source/front scan-ocaml-readterm.mli + ocamldep.opt -modules readterm.mli [================ ] 00841 / 01108 - exit source/linker code.o, 1.90 sec, code 0 [================ ] 00842 / 01108 - scan source/front scan-ocaml-readterm.ml + ocamldep.opt -modules readterm.ml [================ ] 00843 / 01108 - exit source/simulator/builtins io.o, 1.99 sec, code 0 [================ ] 00844 / 01108 - scan source/front scan-ocaml-module.mli + ocamldep.opt -modules module.mli [================ ] 00845 / 01108 - exit source/front scan-ocaml-simerrors.ml, 0.30 sec, code 0 [================ ] 00846 / 01108 - scan source/front scan-ocaml-module.ml + ocamldep.opt -modules module.ml [================ ] 00847 / 01108 - exit source/front scan-ocaml-simerrors.mli, 0.39 sec, code 0 [================ ] 00848 / 01108 - build source/front simerrors.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I ../compiler -I ../disassembler -I ../simulator -I ../loader -c simerrors.mli [================ ] 00848 / 01108 - exit source/front scan-ocaml-ccode_stubs.ml, 0.60 sec, code 0 [================ ] 00849 / 01108 - build source/front ccode_stubs.o + ocamlopt.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -I . -I ../compiler -I ../disassembler -I ../simulator -I ../loader -c ccode_stubs.ml [================ ] 00849 / 01108 - exit source/front scan-ocaml-simulatorfront.ml, 0.67 sec, code 0 [================ ] 00850 / 01108 - scan source/front scan-ocaml-query.mli + ocamldep.opt -modules query.mli [================ ] 00851 / 01108 - exit source/front simerrors.cmi, 0.62 sec, code 0 [================ ] 00852 / 01108 - build source/front simerrors.cmx + ocamlopt.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -I . -I ../compiler -I ../disassembler -I ../simulator -I ../loader -c simerrors.ml [================ ] 00852 / 01108 - exit source/compiler instr.cmi, 0.93 sec, code 0 [================ ] 00853 / 01108 - build source/compiler clausegen.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I . -I ../disassembler -I ../simulator -I ../loader -c clausegen.mli [================ ] 00853 / 01108 - exit source/simulator hnormlocal.o, 1.43 sec, code 0 [================ ] 00854 / 01108 - build source liblink.a + Shell.rm(-f source/liblink.a) [================ ] 00854 / 01108 - build source liblink.a + ar cq liblink.a simulator/abstmachine.o simulator/dataformats.o simulator/hnorm.o simulator/hnormlocal.o simulator/hopu.o simulator/io-datastructures.o simulator/mcstring.o simulator/printterm.o simulator/simdispatch.o simulator/siminit.o simulator/siminstr.o simulator/siminstrlocal.o simulator/simulator.o simulator/trail.o simulator/types.o simulator/builtins/builtins.o simulator/builtins/compexp.o simulator/builtins/evalexp.o simulator/builtins/io.o simulator/builtins/meta.o simulator/builtins/readterm.o system/error.o system/memory.o system/message.o system/stream.o tables/instructions.o tables/pervasives.o tables/pervinit.o linker/bvrtab.o linker/CallResolution.o linker/code.o linker/const.o linker/file.o linker/hashtab.o linker/implgoal.o linker/importtab.o linker/kind.o linker/module.o linker/linker_message.o linker/rename.o linker/stringspace.o linker/tree.o linker/tyskel.o linker/vector.o linker/VectorRW.o front/linker_c.o include/obstack.o [================ ] 00854 / 01108 - exit source/front ccode_stubs.o, 0.84 sec, code 0 [================ ] 00855 / 01108 - build source/compiler registers.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I . -I ../disassembler -I ../simulator -I ../loader -c registers.mli [================ ] 00857 / 01108 - exit source/front scan-ocaml-module.ml, 0.92 sec, code 0 [================ ] 00858 / 01108 - build source/disassembler context.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I ../compiler -I . -I ../simulator -I ../loader -c context.mli [================ ] 00858 / 01108 - exit source/front scan-ocaml-module.mli, 1.12 sec, code 0 [================ ] 00859 / 01108 - build source/front module.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I ../compiler -I ../disassembler -I ../simulator -I ../loader -c module.mli [================ ] 00859 / 01108 - exit source/front scan-ocaml-readterm.ml, 1.13 sec, code 0 [================ ] 00860 / 01108 - build source/compiler codegen.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I . -I ../disassembler -I ../simulator -I ../loader -c codegen.mli [================ ] 00860 / 01108 - exit source/front scan-ocaml-readterm.mli, 1.11 sec, code 0 [================ ] 00861 / 01108 - build source/front readterm.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I ../compiler -I ../disassembler -I ../simulator -I ../loader -c readterm.mli [================ ] 00861 / 01108 - exit source/disassembler label.o, 1.36 sec, code 0 [================ ] 00862 / 01108 - scan source/front scan-ocaml-query.ml + ocamldep.opt -modules query.ml [================ ] 00864 / 01108 - build source liblink.a + ranlib liblink.a [================ ] 00864 / 01108 - exit source/compiler clausegen.cmi, 0.99 sec, code 0 [================ ] 00865 / 01108 - scan source/front scan-ocaml-front.mli + ocamldep.opt -modules front.mli [================ ] 00866 / 01108 - exit source/front simerrors.cmx, 1.08 sec, code 0 [================ ] 00867 / 01108 - scan source/front scan-ocaml-front.ml + ocamldep.opt -modules front.ml [================ ] 00869 / 01108 - exit source/front scan-ocaml-query.mli, 1.21 sec, code 0 [================ ] 00870 / 01108 - build source/front query.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I ../compiler -I ../disassembler -I ../simulator -I ../loader -c query.mli [================ ] 00870 / 01108 - exit source/front dependfront.cmi, 2.71 sec, code 0 [================ ] 00871 / 01108 - build source tjdepend.opt + ocamlopt.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -I . -I compiler -I disassembler -I simulator -I loader -o tjdepend.opt compiler/errormsg.cmx compiler/symbol.cmx compiler/preabsyn.cmx compiler/lpyacc.cmx compiler/lplex.cmx compiler/compile.cmx front/parseargs.cmx front/dependfront.cmx compiler/table.cmx [================ ] 00873 / 01108 - exit source/compiler absyn.cmx, 13.81 sec, code 0 [================ ] 00874 / 01108 - build source/compiler typereduction.cmx + ocamlopt.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -I . -I . -I ../disassembler -I ../simulator -I ../loader -c typereduction.ml [================ ] 00875 / 01108 - exit source/front module.cmi, 0.90 sec, code 0 [================ ] 00876 / 01108 - build source/compiler pervasive.cmx + ocamlopt.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -I . -I . -I ../disassembler -I ../simulator -I ../loader -c pervasive.ml [================ ] 00876 / 01108 - exit source/disassembler context.cmi, 0.93 sec, code 0 [================ ] 00877 / 01108 - build source/compiler bytecode.cmx + ocamlopt.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -I . -I . -I ../disassembler -I ../simulator -I ../loader -c bytecode.ml [================ ] 00877 / 01108 - exit source/compiler registers.cmi, 1.18 sec, code 0 [================ ] 00878 / 01108 - scan source/front scan-c-ccode_stubs_c.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM ccode_stubs_c.c [================ ] 00879 / 01108 - exit source liblink.a, 1.38 sec, code 0 [================ ] 00880 / 01108 - build source tjlink.opt + ocamlopt.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -I . -I compiler -I disassembler -I simulator -I loader -o tjlink.opt front/parseargs.cmx front/linkerfront.cmx liblink.a [================ ] 00880 / 01108 - exit source/front scan-ocaml-front.ml, 0.62 sec, code 0 [================ ] 00881 / 01108 - scan source/front scan-c-readterm_c.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM readterm_c.c [================ ] 00882 / 01108 - exit source/front scan-ocaml-front.mli, 0.80 sec, code 0 [================ ] 00883 / 01108 - build source/front front.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I ../compiler -I ../disassembler -I ../simulator -I ../loader -c front.mli [================ ] 00883 / 01108 - exit source/front scan-ocaml-query.ml, 0.89 sec, code 0 [================ ] 00884 / 01108 - scan source/front scan-c-ocaml_wrap.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM ocaml_wrap.c [================ ] 00885 / 01108 - exit source/front readterm.cmi, 0.92 sec, code 0 [================ ] 00886 / 01108 - scan source/front scan-c-query_c.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM query_c.c [================= ] 00887 / 01108 - exit source/front scan-c-ccode_stubs_c.c, 0.78 sec, code 0 [================= ] 00888 / 01108 - build source/front ccode_stubs_c.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o ccode_stubs_c.o ccode_stubs_c.c [================= ] 00890 / 01110 - exit source/front query.cmi, 1.18 sec, code 0 [================= ] 00891 / 01110 - scan source/front scan-c-front_c.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM front_c.c [================= ] 00892 / 01110 - exit source/compiler codegen.cmi, 1.59 sec, code 0 [================= ] 00893 / 01110 - build source/compiler spitcode.cmi + ocamlc.opt -w -A -ccopt -O2 -ccopt -pipe -ccopt -march=native -ccopt -fno-diagnostics-color -cclib -Wl,-O1 -cclib -Wl,--as-needed -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -cclib -Wl,--defsym=__gentoo_check_ldflags__=0 -g -I . -I . -I ../disassembler -I ../simulator -I ../loader -c spitcode.mli [================= ] 00893 / 01110 - exit source/front scan-c-ocaml_wrap.c, 0.47 sec, code 0 [================= ] 00894 / 01110 - build source/front ocaml_wrap.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o ocaml_wrap.o ocaml_wrap.c [================= ] 00895 / 01111 - exit source/front scan-c-readterm_c.c, 0.80 sec, code 0 [================= ] 00896 / 01111 - build source/front readterm_c.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o readterm_c.o readterm_c.c [================= ] 00897 / 01112 - exit source/front scan-c-query_c.c, 0.81 sec, code 0 [================= ] 00898 / 01112 - build source/front query_c.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o query_c.o query_c.c [================= ] 00899 / 01113 - exit source/front front.cmi, 1.10 sec, code 0 [================= ] 00900 / 01113 - scan source/loader scan-c-importtab.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM importtab.c [================= ] 00901 / 01113 - exit source/front readterm_c.o, 0.49 sec, code 0 [================= ] 00902 / 01113 - scan source/loader scan-c-searchtab.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM searchtab.c [================= ] 00903 / 01113 - exit source/front ocaml_wrap.o, 0.59 sec, code 0 [================= ] 00904 / 01113 - scan source/loader scan-c-implgoal.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM implgoal.c [================= ] 00905 / 01113 - exit source/front scan-c-front_c.c, 0.88 sec, code 0 [================= ] 00906 / 01113 - build source/front front_c.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o front_c.o front_c.c [================= ] 00908 / 01115 - exit source/front ccode_stubs_c.o, 0.98 sec, code 0 [================= ] 00909 / 01115 - scan source/loader scan-c-hashtab.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM hashtab.c [================= ] 00910 / 01115 - exit source/front query_c.o, 0.61 sec, code 0 [================= ] 00911 / 01115 - scan source/loader scan-c-strings.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM strings.c [================= ] 00912 / 01115 - exit source/compiler spitcode.cmi, 1.19 sec, code 0 [================= ] 00913 / 01115 - scan source/loader scan-c-loader.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM loader.c [================= ] 00914 / 01115 - exit source/loader scan-c-implgoal.c, 0.42 sec, code 0 [================= ] 00915 / 01115 - build source/loader implgoal.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o implgoal.o implgoal.c [================= ] 00919 / 01119 - exit source/loader scan-c-searchtab.c, 0.52 sec, code 0 [================= ] 00920 / 01119 - build source/loader searchtab.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o searchtab.o searchtab.c [================= ] 00920 / 01119 - exit source/loader scan-c-importtab.c, 0.63 sec, code 0 [================= ] 00921 / 01119 - build source/loader importtab.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o importtab.o importtab.c [================= ] 00921 / 01119 - exit source/loader scan-c-strings.c, 0.41 sec, code 0 [================= ] 00922 / 01119 - build source/loader strings.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o strings.o strings.c [================= ] 00923 / 01120 - exit source/loader scan-c-hashtab.c, 0.50 sec, code 0 [================= ] 00924 / 01120 - build source/loader hashtab.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o hashtab.o hashtab.c [================= ] 00924 / 01120 - exit source/loader scan-c-loader.c, 0.52 sec, code 0 [================= ] 00925 / 01120 - build source/loader loader.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o loader.o loader.c [================= ] 00930 / 01125 - exit source/loader implgoal.o, 0.68 sec, code 0 [================= ] 00931 / 01125 - scan source/loader scan-c-tyskel.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM tyskel.c [================= ] 00932 / 01125 - exit source/loader hashtab.o, 0.41 sec, code 0 [================= ] 00933 / 01125 - scan source/loader scan-c-const.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM const.c [================= ] 00934 / 01125 - exit source/front front_c.o, 1.20 sec, code 0 [================= ] 00935 / 01125 - scan source/loader scan-c-code.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM code.c [================= ] 00936 / 01125 - exit source/loader scan-c-tyskel.c, 0.38 sec, code 0 [================= ] 00937 / 01125 - build source/loader tyskel.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o tyskel.o tyskel.c [================= ] 00937 / 01125 - exit source/loader strings.o, 0.90 sec, code 0 [================= ] 00938 / 01125 - scan source/loader scan-c-kind.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM kind.c [================= ] 00939 / 01125 /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: liblink.a(linker_c.o): warning: relocation against `caml_local_roots' in read-only section `.text' [================= ] 00939 / 01125 - exit source/loader scan-c-const.c, 0.47 sec, code 0 [================= ] 00940 / 01125 - build source/loader const.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o const.o const.c [================= ] 00940 / 01125 - exit source/loader searchtab.o, 1.30 sec, code 0 [================= ] 00941 / 01125 - scan source/loader scan-c-bvrtab.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM bvrtab.c [================= ] 00942 / 01125 - exit source/loader loader.o, 0.94 sec, code 0 [================= ] 00943 / 01125 - scan source/loader scan-c-file.c + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -MM file.c [================= ] 00944 / 01125 /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: liblink.a(linker_c.o): in function `FRONT_link': linker_c.c:(.text+0xa): undefined reference to `caml_local_roots' /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: linker_c.c:(.text+0x41): undefined reference to `caml_local_roots' /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: linker_c.c:(.text+0xca): undefined reference to `caml_local_roots' /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: linker_c.c:(.text+0x117): undefined reference to `caml_local_roots' [================= ] 00944 / 01125 - exit source/loader scan-c-code.c, 0.66 sec, code 0 [================= ] 00945 / 01125 - build source/loader code.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o code.o code.c [================= ] 00945 / 01125 - exit source/loader scan-c-kind.c, 0.58 sec, code 0 [================= ] 00946 / 01125 - build source/loader kind.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o kind.o kind.c [================= ] 00946 / 01125 - exit source/loader tyskel.o, 0.69 sec, code 0 [================= ] 00947 / 01125 - scan source/front scan-ocaml-compilerfront.ml + ocamldep.opt -modules compilerfront.ml [================= ] 00948 / 01125 - exit source/loader importtab.o, 1.59 sec, code 0 [================= ] 00949 / 01125 /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: warning: creating DT_TEXTREL in a PIE collect2: error: ld returned 1 exit status File "caml_startup", line 1: Error: Error during linking (exit code 1) [=================== ] 01038 / 01125 - exit source/loader scan-c-bvrtab.c, 0.49 sec, code 0 [=================== ] 01039 / 01125 - build source/loader bvrtab.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o bvrtab.o bvrtab.c [=================== ] 01039 / 01125 - exit source/loader scan-c-file.c, 0.57 sec, code 0 [=================== ] 01040 / 01125 - build source/loader file.o + x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -I. -c -o file.o file.c [=================== ] 01040 / 01125 - exit source/loader const.o, 0.67 sec, code 0 [=================== ] 01041 / 01125 - exit source tjlink.opt, 4.31 sec, code 2 [=================== ] 01041 / 01125 - exit source tjdepend.opt, 4.67 sec, code 0 [=================== ] 01042 / 01125 In file included from code.c:32: code.c: In function ‘LD_CODE_LoadCode’: code.c:126:24: warning: format ‘%x’ expects argument of type ‘unsigned int’, but argument 3 has type ‘long int’ [-Wformat=] 126 | LD_debug("L%x ",*(CSpacePtr*)(code+j)-codeSpaceBeg); | ^~~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ | | | long int ld_message.h:27:58: note: in definition of macro ‘LD_debug’ 27 | #define LD_debug(...) {if(LD_verbosity>2){fprintf(stderr,__VA_ARGS__);}} | ^~~~~~~~~~~ code.c:126:27: note: format string is defined here 126 | LD_debug("L%x ",*(CSpacePtr*)(code+j)-codeSpaceBeg); | ~^ | | | unsigned int | %lx [=================== ] 01042 / 01125 - exit source/loader kind.o, 0.32 sec, code 0 [=================== ] 01043 / 01125 - exit source/front scan-ocaml-compilerfront.ml, 0.30 sec, code 0 [=================== ] 01044 / 01125 - exit source/loader bvrtab.o, 0.49 sec, code 0 [=================== ] 01045 / 01125 file.c: In function ‘LD_FILE_GetString’: file.c:35:3: warning: ignoring return value of ‘read’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 35 | read(fd,buffer,length); | ^~~~~~~~~~~~~~~~~~~~~~ file.c: In function ‘LD_FILE_GET4’: file.c:119:3: warning: ignoring return value of ‘read’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 119 | read(fd,&tmp,sizeof(tmp)); | ^~~~~~~~~~~~~~~~~~~~~~~~~ file.c: In function ‘LD_FILE_PipePUT1’: file.c:162:3: warning: ignoring return value of ‘write’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 162 | write(pfd,&b,sizeof(b)); | ^~~~~~~~~~~~~~~~~~~~~~~ file.c: In function ‘LD_FILE_PipePUT2’: file.c:167:3: warning: ignoring return value of ‘write’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 167 | write(pfd,&s,sizeof(s)); | ^~~~~~~~~~~~~~~~~~~~~~~ file.c: In function ‘LD_FILE_PipePUTWORD’: file.c:172:3: warning: ignoring return value of ‘write’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 172 | write(pfd,&w,sizeof(w)); | ^~~~~~~~~~~~~~~~~~~~~~~ file.c: In function ‘LD_FILE_PipePutString’: file.c:178:3: warning: ignoring return value of ‘write’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 178 | write(pfd,&len,sizeof(len)); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~ file.c:179:3: warning: ignoring return value of ‘write’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 179 | write(pfd,str,len); | ^~~~~~~~~~~~~~~~~~ [=================== ] 01045 / 01125 - exit source/loader code.o, 0.87 sec, code 0 [=================== ] 01046 / 01125 - exit source/loader file.o, 0.62 sec, code 0 [=================== ] 01047 / 01125 - exit source/compiler bytecode.cmx, 5.23 sec, code 0 [=================== ] 01048 / 01125 - exit source/compiler typereduction.cmx, 5.46 sec, code 0 [=================== ] 01049 / 01125 - exit source/compiler pervasive.cmx, 10.61 sec, code 0 [=================== ] 01050 / 01125 *** omake: 1050/1125 targets are up to date *** omake: failed (35.58 sec, 154/154 scans, 142/171 rules, 490/1006 digests) [=================== ] 01050 / 01126 *** omake: targets were not rebuilt because of errors: source/tjlink.opt * ERROR: dev-lang/teyjus-2.1-r1::gentoo failed (compile phase): * omake all failed * * Call stack: * ebuild.sh, line 125: Called src_compile * environment, line 1367: Called die * The specific snippet of code: * omake --verbose --force-dotomake all || die "omake all failed"; * * If you need support, post the output of `emerge --info '=dev-lang/teyjus-2.1-r1::gentoo'`, * the complete build log and the output of `emerge -pqv '=dev-lang/teyjus-2.1-r1::gentoo'`. * The complete build log is located at '/var/log/portage/dev-lang:teyjus-2.1-r1:20201018-175300.log'. * For convenience, a symlink to the build log is located at '/var/tmp/portage/dev-lang/teyjus-2.1-r1/temp/build.log'. * The ebuild environment file is located at '/var/tmp/portage/dev-lang/teyjus-2.1-r1/temp/environment'. * Working directory: '/var/tmp/portage/dev-lang/teyjus-2.1-r1/work/teyjus-2.1' * S: '/var/tmp/portage/dev-lang/teyjus-2.1-r1/work/teyjus-2.1'