Build:
- 0
2026-06-24 23:03.42: New job: build bap-powerpc.2.5.0 (78975836ca21) 2026-06-24 23:03.42: Waiting for resource in pool day11-builds 2026-06-24 23:09.50: Got resource from pool day11-builds 2026-06-24 23:09.50: [profile full] build bap-powerpc.2.5.0 2026-06-24 23:09.50: build bap-powerpc.2.5.0 (78975836ca21) === DEPENDENCIES (127 transitive) === angstrom.0.16.1 b3c0b2c22161 bap-abi.2.5.0 094de274f76f bap-api.2.5.0 da094fdf35f8 bap-build.2.5.0 c63d847fd552 bap-bundle.2.5.0 476da2561f6f bap-c.2.5.0 1da5a935a195 bap-core-theory.2.5.0 15bc7fea3972 bap-future.2.5.0 e70b76232709 bap-knowledge.2.5.0 37ddf7ce7479 bap-main.2.5.0 447d0827c445 bap-plugins.2.5.0 9fbdc3cdb3cd bap-recipe.2.5.0 d1be23ff7fd1 bap-relation.2.5.0 a13cb2aa5d98 bap-std.2.5.0 c14e3a403679 base.v0.14.4 937960646323 base-bytes.base c40d17bc86b5 base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb base_bigstring.v0.14.0 b79dde5f8b13 base_quickcheck.v0.14.1 63e708eb5356 bigarray-compat.1.1.0 6340769fc89d bigstringaf.0.10.0 2670f46d1cef bin_prot.v0.14.1 fb843a6b4b8b bitvec.2.5.0 f1f69bedd55d bitvec-binprot.2.5.0 04ac22c669bd bitvec-order.2.5.0 5f2f37a71e34 bitvec-sexp.2.5.0 bb9896662ad5 camlzip.1.14 b2a1cb874022 cmdliner.1.3.0 7280d3fb1acd conf-binutils.0.3 85299a0e9f3c conf-clang.2 94a49377a883 conf-gmp.5 be11edf77089 conf-m4.1 bd3d9b09c253 conf-perl.2 bdcd7b1dce5e conf-pkg-config.5 d5de2c6a88f9 conf-which.1 84b48e007e35 conf-zlib.1 5297f1b9477f core_kernel.v0.14.2 7a839334b5c3 cppo.1.8.0 5f3f70cae95b csexp.1.5.2 610c78f17734 dune.3.23.1 848a72441e15 dune-configurator.3.23.1 bc97ce98d8a9 fieldslib.v0.14.0 d41213ef3863 fileutils.0.6.6 0f84dbe61300 graphlib.2.5.0 fc0b300fa018 jane-street-headers.v0.14.0 910ffdd10cb6 jst-config.v0.14.1 4ab8a6a43724 lambda-term.3.4.0 6658cf7e62d9 logs.0.10.0 136596d99ee6 lwt.6.1.2 d46d0c4f757d lwt_react.1.2.0 596fc200f7e3 mew.0.1.0 6293a8944552 mew_vi.0.5.0 2c9aaa8599c1 mmap.1.2.0 e723f0a4d054 monads.2.5.0 3b1b5776366a num.1.6 110cee7a7e2e oasis.0.4.11 397b1819484e ocaml.4.14.4 b047fb9251f4 ocaml-base-compiler.4.14.4 d3b7ccb2c6fb ocaml-compiler-libs.v0.12.4 2aecf989b0b2 ocaml-config.2 2d9c209f5590 ocaml-syntax-shims.1.0.0 ac7d70c1c23c ocamlbuild.0.16.1 7e0d6aadb209 ocamlfind.1.9.8 214dd418ac02 ocamlgraph.2.2.0 9a3a86466508 ocamlify.0.0.1 bf0ac2a8a674 ocamlmod.0.1.1 9795d85ef03b ocplib-endian.1.2 380dd426e898 octavius.1.2.2 880f957d6fd6 ogre.2.5.0 fe66c6978014 parsexp.v0.14.2 64be31f916bc ppx_assert.v0.14.0 ff7083279127 ppx_bap.v0.14.0 11b218de56ea ppx_base.v0.14.0 603d791c330c ppx_bench.v0.14.1 fad1c69c8095 ppx_bin_prot.v0.14.0 95487e4e9a65 ppx_cold.v0.14.0 e2614d29b0ce ppx_compare.v0.14.0 ede169eea811 ppx_custom_printf.v0.14.1 c95621973422 ppx_derivers.1.2.1 9245877bc46e ppx_enumerate.v0.14.0 04f342adf8c4 ppx_expect.v0.14.2 658d290f04b6 ppx_fields_conv.v0.14.2 aff8cf026cbd ppx_fixed_literal.v0.14.0 40340af653b3 ppx_hash.v0.14.0 27be7493ccdb ppx_here.v0.14.0 018019cb345b ppx_inline_test.v0.14.1 08dcda0d0e85 ppx_jane.v0.14.0 4a4f49cc5014 ppx_js_style.v0.14.1 9a2d98184d97 ppx_let.v0.14.0 8c2415289b8f ppx_module_timer.v0.14.0 29a29196730d ppx_optcomp.v0.14.3 3e08620e62d7 ppx_optional.v0.14.0 c76e98623b69 ppx_pipebang.v0.14.0 935121a6c2ed ppx_sexp_conv.v0.14.3 46c48c54eeef ppx_sexp_message.v0.14.1 958e2d56b950 ppx_sexp_value.v0.14.0 1771f90c7ea5 ppx_stable.v0.14.1 50a7b55f0815 ppx_string.v0.14.1 a5c654c3d752 ppx_typerep_conv.v0.14.2 364321741668 ppx_variants_conv.v0.14.2 f6989d1fa96e ppxlib.0.25.1 d883cca984de re.1.14.0 d62d6f65abb6 react.1.2.2 8688536508b7 regular.2.5.0 2f5384fb714c result.1.5 9b1cd45b2159 sexplib.v0.14.0 038a27c7e8de sexplib0.v0.14.0 75fd723bc5ba splittable_random.v0.14.0 2622c98eb132 stdio.v0.14.0 9b4cb4ea7c2d stdlib-shims.0.3.0 de5202e23add stringext.1.6.0 9dbcca0df50a time_now.v0.14.0 4a9b561ee076 topkg.1.1.1 511e1a1958da trie.1.0.0 2fb1c4204335 typerep.v0.14.0 ed6f14fbcf8b uchar.0.0.2 15440406b802 uri.4.4.0 ae40a4374ff7 utop.2.17.0 373bacf5503d uucp.17.0.0 e8fc1f53b026 uuidm.0.9.10 74453a1b50a9 uuseg.17.0.0 ce8d69fb1d84 uutf.1.0.4 6722c3fe4bcc variantslib.v0.14.0 c2d0032ee640 xdg.3.23.1 063f0692ab60 zarith.1.14 a8971d2f668c zed.3.2.3 afb75f5d6607 === STDOUT === Processing: [default: loading data] [bap-powerpc.2.5.0: extract] -> retrieved bap-powerpc.2.5.0 (cached) [bap-powerpc: ./configure] + /home/opam/.opam/default/.opam-switch/build/bap-powerpc.2.5.0/./configure "--prefix=/home/opam/.opam/default" "--enable-powerpc" (CWD=/home/opam/.opam/default/.opam-switch/build/bap-powerpc.2.5.0) - File "oasis/common.setup.ml.in", line 573, characters 4-15: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "oasis/common.setup.ml.in", line 601, characters 19-36: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "oasis/common.setup.ml.in", line 608, characters 37-48: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "oasis/common.setup.ml.in", line 611, characters 17-31: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "oasis/common.setup.ml.in", line 1429, characters 16-33: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "oasis/common.setup.ml.in", line 1431, characters 22-38: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "oasis/common.setup.ml.in", line 1432, characters 14-26: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "oasis/common.setup.ml.in", line 1433, characters 11-23: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "oasis/common.setup.ml.in", line 1433, characters 28-40: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "oasis/common.setup.ml.in", line 1434, characters 11-23: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "oasis/common.setup.ml.in", line 1434, characters 28-41: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "oasis/common.setup.ml.in", line 1435, characters 11-24: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "oasis/common.setup.ml.in", line 1436, characters 11-23: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3176, characters 8-19: - 3176 | Stream.from - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3179, characters 21-32: - 3179 | match Stream.next st with - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3182, characters 18-32: - 3182 | with Stream.Failure -> None) - ^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3184, characters 6-23: - 3184 | Genlex.make_lexer ["="] st_line - ^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3187, characters 12-24: - 3187 | match Stream.npeek 3 lxr with - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3188, characters 9-21: - 3188 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] -> - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3188, characters 26-36: - 3188 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] -> - ^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3188, characters 42-55: - 3188 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] -> - ^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3189, characters 8-19: - 3189 | Stream.junk lxr; Stream.junk lxr; Stream.junk lxr; - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3189, characters 25-36: - 3189 | Stream.junk lxr; Stream.junk lxr; Stream.junk lxr; - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3189, characters 42-53: - 3189 | Stream.junk lxr; Stream.junk lxr; Stream.junk lxr; - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3201, characters 17-34: - 3201 | let st = Stream.of_channel chn in - ^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3326, characters 16-33: - 3326 | let var_lxr = Genlex.make_lexer [] - ^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3345, characters 22-38: - 3345 | var_lxr (Stream.of_string var) - ^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3347, characters 17-29: - 3347 | match Stream.npeek 3 st with - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3348, characters 16-28: - 3348 | | [Genlex.Ident "utoh"; Genlex.Ident nm] -> - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3348, characters 37-49: - 3348 | | [Genlex.Ident "utoh"; Genlex.Ident nm] -> - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3350, characters 16-28: - 3350 | | [Genlex.Ident "utoh"; Genlex.String s] -> - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3350, characters 37-50: - 3350 | | [Genlex.Ident "utoh"; Genlex.String s] -> - ^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3352, characters 16-28: - 3352 | | [Genlex.Ident "ocaml_escaped"; Genlex.Ident nm] -> - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3352, characters 46-58: - 3352 | | [Genlex.Ident "ocaml_escaped"; Genlex.Ident nm] -> - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3354, characters 16-28: - 3354 | | [Genlex.Ident "ocaml_escaped"; Genlex.String s] -> - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3354, characters 46-59: - 3354 | | [Genlex.Ident "ocaml_escaped"; Genlex.String s] -> - ^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3356, characters 16-28: - 3356 | | [Genlex.Ident nm] -> - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3369, characters 13-25: - 3369 | | Stream.Error e -> - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 4518, characters 21-38: - 4518 | let lxr = Genlex.make_lexer [] (stream_of_reader rdr) in - ^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 4520, characters 19-31: - 4520 | match Stream.npeek 2 lxr with - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 4521, characters 16-29: - 4521 | | [Genlex.String e; Genlex.String d] -> - ^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 4521, characters 33-46: - 4521 | | [Genlex.String e; Genlex.String d] -> - ^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 4523, characters 15-26: - 4523 | Stream.junk lxr; Stream.junk lxr; - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 4523, characters 32-43: - 4523 | Stream.junk lxr; Stream.junk lxr; - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - - Configuration: - ocamlfind: ........................................... /home/opam/.opam/default/bin/ocamlfind - ocamlc: .............................................. /home/opam/.opam/default/bin/ocamlc.opt - ocamlopt: ............................................ /home/opam/.opam/default/bin/ocamlopt.opt - ocamlbuild: .......................................... /home/opam/.opam/default/bin/ocamlbuild - Package name: ........................................ bap - Package version: ..................................... 2.5.0 - os_type: ............................................. Unix - system: .............................................. linux - architecture: ........................................ amd64 - ccomp_type: .......................................... cc - ocaml_version: ....................................... 4.14.4 - standard_library_default: ............................ /home/opam/.opam/default/lib/ocaml - standard_library: .................................... /home/opam/.opam/default/lib/ocaml - bytecomp_c_compiler: ................................. gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64 - native_c_compiler: ................................... gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64 - model: ............................................... default - ext_obj: ............................................. .o - ext_asm: ............................................. .s - ext_lib: ............................................. .a - ext_dll: ............................................. .so - default_executable_name: ............................. a.out - systhread_supported: ................................. true - Install architecture-independent files dir: .......... /home/opam/.opam/default - Install architecture-dependent files in dir: ......... $prefix - User executables: .................................... $exec_prefix/bin - System admin executables: ............................ $exec_prefix/sbin - Program executables: ................................. $exec_prefix/libexec - Read-only single-machine data: ....................... $prefix/etc - Modifiable architecture-independent data: ............ $prefix/com - Modifiable single-machine data: ...................... $prefix/var - Object code libraries: ............................... $exec_prefix/lib - Read-only arch-independent data root: ................ $prefix/share - Read-only architecture-independent data: ............. $datarootdir - Info documentation: .................................. $datarootdir/info - Locale-dependent data: ............................... $datarootdir/locale - Man documentation: ................................... $datarootdir/man - Documentation root: .................................. $datarootdir/doc/$pkg_name - HTML documentation: .................................. $docdir - DVI documentation: ................................... $docdir - PDF documentation: ................................... $docdir - PS documentation: .................................... $docdir - findlib_version: ..................................... 1.9.8 - is_native: ........................................... true - suffix_program: ...................................... - Remove a file.: ...................................... rm -f - Remove a directory.: ................................. rm -rf - Turn ocaml debug flag on: ............................ true - Turn ocaml profile flag on: .......................... false - Compiler support generation of .cmxs.: ............... true - OCamlbuild additional flags: ......................... - A default folder for plugins: ........................ /home/opam/.opam/default/lib/bap - c++ compiler: ........................................ /usr/bin/c++ - C compiler optimization level: ....................... -O2 - Build every feature by default: ...................... false - Enable development mode: ............................. false - Build PowerPC lifter: ................................ true - Create documentations: ............................... true - Compile tests executable and library and run them: ... false - pkg_core_kernel: ..................................... /home/opam/.opam/default/lib/core_kernel - pkg_ppx_bap: ......................................... /home/opam/.opam/default/lib/ppx_bap - pkg_ogre: ............................................ /home/opam/.opam/default/lib/ogre - pkg_bap_knowledge: ................................... /home/opam/.opam/default/lib/bap-knowledge - pkg_bap_core_theory: ................................. /home/opam/.opam/default/lib/bap-core-theory - pkg_bap: ............................................. /home/opam/.opam/default/lib/bap - pkg_bap_abi: ......................................... /home/opam/.opam/default/lib/bap-abi - pkg_bap_c: ........................................... /home/opam/.opam/default/lib/bap-c - pkg_zarith: .......................................... /home/opam/.opam/default/lib/zarith - pkg_monads: .......................................... /home/opam/.opam/default/lib/monads - pkg_regular: ......................................... /home/opam/.opam/default/lib/regular - pkg_bap_api: ......................................... /home/opam/.opam/default/lib/bap-api - [bap-powerpc: make] + /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/bap-powerpc.2.5.0) - ./setup.exe -quiet -build - + ocamlfind ocamlc -config - + ocamlfind ocamlopt -package unix -package ocamlbuild -linkpkg -package findlib myocamlbuild.ml /home/opam/.opam/default/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild - + ocamlfind ocamlc -config - + /home/opam/.opam/default/bin/ocamlfind ocamldep -modules tools/postinstall.ml > tools/postinstall.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -I tools -o tools/postinstall.cmo tools/postinstall.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -I tools -o tools/postinstall.cmo tools/postinstall.ml - File "tools/postinstall.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -I tools -o tools/postinstall.cmx tools/postinstall.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -I tools -o tools/postinstall.cmx tools/postinstall.ml - File "tools/postinstall.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -linkpkg -g -linkpkg -I tools tools/postinstall.cmx -o tools/postinstall.native - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package ogre -package bap-knowledge -package bap-core-theory -modules lib/bap_powerpc/bap_powerpc_target.mli > lib/bap_powerpc/bap_powerpc_target.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package ogre -package bap-knowledge -package bap-core-theory -I lib/bap_powerpc -o lib/bap_powerpc/bap_powerpc_target.cmi lib/bap_powerpc/bap_powerpc_target.mli - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package ogre -package bap-knowledge -package bap-core-theory -modules lib/bap_powerpc/bap_powerpc_target.ml > lib/bap_powerpc/bap_powerpc_target.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package ogre -package bap-knowledge -package bap-core-theory -I lib/bap_powerpc -o lib/bap_powerpc/bap_powerpc_target.cmo lib/bap_powerpc/bap_powerpc_target.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -a -I lib/bap_powerpc lib/bap_powerpc/bap_powerpc_target.cmo -o lib/bap_powerpc/bap-powerpc.cma - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package ogre -package bap-knowledge -package bap-core-theory -I lib/bap_powerpc -o lib/bap_powerpc/bap_powerpc_target.cmx lib/bap_powerpc/bap_powerpc_target.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -a -I lib/bap_powerpc lib/bap_powerpc/bap_powerpc_target.cmx -o lib/bap_powerpc/bap-powerpc.cmxa - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -shared -linkall -I lib/bap_powerpc lib/bap_powerpc/bap-powerpc.cmxa -o lib/bap_powerpc/bap-powerpc.cmxs - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc.mli > plugins/powerpc/powerpc.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc.cmi plugins/powerpc/powerpc.mli - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc.ml > plugins/powerpc/powerpc.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_cpu.mli > plugins/powerpc/powerpc_cpu.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_rtl.mli > plugins/powerpc/powerpc_rtl.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_types.ml > plugins/powerpc/powerpc_types.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_dsl.mli > plugins/powerpc/powerpc_dsl.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_rtl.cmi plugins/powerpc/powerpc_rtl.mli - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_dsl.cmi plugins/powerpc/powerpc_dsl.mli - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_types.cmo plugins/powerpc/powerpc_types.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_types.cmo plugins/powerpc/powerpc_types.ml - File "plugins/powerpc/powerpc_types.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_model.mli > plugins/powerpc/powerpc_model.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_utils.mli > plugins/powerpc/powerpc_utils.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_cpu.cmi plugins/powerpc/powerpc_cpu.mli - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_model.cmi plugins/powerpc/powerpc_model.mli - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_utils.cmi plugins/powerpc/powerpc_utils.mli - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_cpu.ml > plugins/powerpc/powerpc_cpu.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_dsl.ml > plugins/powerpc/powerpc_dsl.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_model.ml > plugins/powerpc/powerpc_model.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_rtl.ml > plugins/powerpc/powerpc_rtl.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_utils.ml > plugins/powerpc/powerpc_utils.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_abi.mli > plugins/powerpc/powerpc_abi.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_abi.cmi plugins/powerpc/powerpc_abi.mli - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_abi.ml > plugins/powerpc/powerpc_abi.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_add.ml > plugins/powerpc/powerpc_add.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_branch.ml > plugins/powerpc/powerpc_branch.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_compare.ml > plugins/powerpc/powerpc_compare.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_cr.ml > plugins/powerpc/powerpc_cr.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_div.ml > plugins/powerpc/powerpc_div.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_load.ml > plugins/powerpc/powerpc_load.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_logical.ml > plugins/powerpc/powerpc_logical.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_main.ml > plugins/powerpc/powerpc_main.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_add.cmo plugins/powerpc/powerpc_add.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_add.cmo plugins/powerpc/powerpc_add.ml - File "plugins/powerpc/powerpc_add.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_branch.cmo plugins/powerpc/powerpc_branch.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_branch.cmo plugins/powerpc/powerpc_branch.ml - File "plugins/powerpc/powerpc_branch.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_compare.cmo plugins/powerpc/powerpc_compare.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_compare.cmo plugins/powerpc/powerpc_compare.ml - File "plugins/powerpc/powerpc_compare.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_cr.cmo plugins/powerpc/powerpc_cr.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_cr.cmo plugins/powerpc/powerpc_cr.ml - File "plugins/powerpc/powerpc_cr.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_div.cmo plugins/powerpc/powerpc_div.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_div.cmo plugins/powerpc/powerpc_div.ml - File "plugins/powerpc/powerpc_div.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_load.cmo plugins/powerpc/powerpc_load.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_load.cmo plugins/powerpc/powerpc_load.ml - File "plugins/powerpc/powerpc_load.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_logical.cmo plugins/powerpc/powerpc_logical.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_logical.cmo plugins/powerpc/powerpc_logical.ml - File "plugins/powerpc/powerpc_logical.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_move.ml > plugins/powerpc/powerpc_move.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_mul.ml > plugins/powerpc/powerpc_mul.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_rotate.ml > plugins/powerpc/powerpc_rotate.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_shift.ml > plugins/powerpc/powerpc_shift.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_store.ml > plugins/powerpc/powerpc_store.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -modules plugins/powerpc/powerpc_sub.ml > plugins/powerpc/powerpc_sub.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_move.cmo plugins/powerpc/powerpc_move.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_move.cmo plugins/powerpc/powerpc_move.ml - File "plugins/powerpc/powerpc_move.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_mul.cmo plugins/powerpc/powerpc_mul.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_mul.cmo plugins/powerpc/powerpc_mul.ml - File "plugins/powerpc/powerpc_mul.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_rotate.cmo plugins/powerpc/powerpc_rotate.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_rotate.cmo plugins/powerpc/powerpc_rotate.ml - File "plugins/powerpc/powerpc_rotate.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_shift.cmo plugins/powerpc/powerpc_shift.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_shift.cmo plugins/powerpc/powerpc_shift.ml - File "plugins/powerpc/powerpc_shift.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_store.cmo plugins/powerpc/powerpc_store.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_store.cmo plugins/powerpc/powerpc_store.ml - File "plugins/powerpc/powerpc_store.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_sub.cmo plugins/powerpc/powerpc_sub.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_sub.cmo plugins/powerpc/powerpc_sub.ml - File "plugins/powerpc/powerpc_sub.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc.cmo plugins/powerpc/powerpc.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_cpu.cmo plugins/powerpc/powerpc_cpu.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_dsl.cmo plugins/powerpc/powerpc_dsl.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_model.cmo plugins/powerpc/powerpc_model.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_rtl.cmo plugins/powerpc/powerpc_rtl.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_utils.cmo plugins/powerpc/powerpc_utils.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_abi.cmo plugins/powerpc/powerpc_abi.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_main.cmo plugins/powerpc/powerpc_main.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_main.cmo plugins/powerpc/powerpc_main.ml - File "plugins/powerpc/powerpc_main.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlc -a -I plugins/powerpc plugins/powerpc/powerpc_utils.cmo plugins/powerpc/powerpc_rtl.cmo plugins/powerpc/powerpc_dsl.cmo plugins/powerpc/powerpc_model.cmo plugins/powerpc/powerpc_types.cmo plugins/powerpc/powerpc_cpu.cmo plugins/powerpc/powerpc.cmo plugins/powerpc/powerpc_abi.cmo plugins/powerpc/powerpc_add.cmo plugins/powerpc/powerpc_branch.cmo plugins/powerpc/powerpc_compare.cmo plugins/powerpc/powerpc_cr.cmo plugins/powerpc/powerpc_div.cmo plugins/powerpc/powerpc_load.cmo plugins/powerpc/powerpc_logical.cmo plugins/powerpc/powerpc_move.cmo plugins/powerpc/powerpc_mul.cmo plugins/powerpc/powerpc_rotate.cmo plugins/powerpc/powerpc_shift.cmo plugins/powerpc/powerpc_store.cmo plugins/powerpc/powerpc_sub.cmo plugins/powerpc/powerpc_main.cmo -o plugins/powerpc/powerpc_plugin.cma - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_utils.cmx plugins/powerpc/powerpc_utils.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_rtl.cmx plugins/powerpc/powerpc_rtl.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_dsl.cmx plugins/powerpc/powerpc_dsl.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_model.cmx plugins/powerpc/powerpc_model.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_types.cmx plugins/powerpc/powerpc_types.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_types.cmx plugins/powerpc/powerpc_types.ml - File "plugins/powerpc/powerpc_types.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_cpu.cmx plugins/powerpc/powerpc_cpu.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc.cmx plugins/powerpc/powerpc.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_abi.cmx plugins/powerpc/powerpc_abi.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_add.cmx plugins/powerpc/powerpc_add.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_add.cmx plugins/powerpc/powerpc_add.ml - File "plugins/powerpc/powerpc_add.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_branch.cmx plugins/powerpc/powerpc_branch.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_branch.cmx plugins/powerpc/powerpc_branch.ml - File "plugins/powerpc/powerpc_branch.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_compare.cmx plugins/powerpc/powerpc_compare.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_compare.cmx plugins/powerpc/powerpc_compare.ml - File "plugins/powerpc/powerpc_compare.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_cr.cmx plugins/powerpc/powerpc_cr.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_cr.cmx plugins/powerpc/powerpc_cr.ml - File "plugins/powerpc/powerpc_cr.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_div.cmx plugins/powerpc/powerpc_div.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_div.cmx plugins/powerpc/powerpc_div.ml - File "plugins/powerpc/powerpc_div.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_load.cmx plugins/powerpc/powerpc_load.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_load.cmx plugins/powerpc/powerpc_load.ml - File "plugins/powerpc/powerpc_load.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_logical.cmx plugins/powerpc/powerpc_logical.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_logical.cmx plugins/powerpc/powerpc_logical.ml - File "plugins/powerpc/powerpc_logical.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_move.cmx plugins/powerpc/powerpc_move.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_move.cmx plugins/powerpc/powerpc_move.ml - File "plugins/powerpc/powerpc_move.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_mul.cmx plugins/powerpc/powerpc_mul.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_mul.cmx plugins/powerpc/powerpc_mul.ml - File "plugins/powerpc/powerpc_mul.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_rotate.cmx plugins/powerpc/powerpc_rotate.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_rotate.cmx plugins/powerpc/powerpc_rotate.ml - File "plugins/powerpc/powerpc_rotate.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_shift.cmx plugins/powerpc/powerpc_shift.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_shift.cmx plugins/powerpc/powerpc_shift.ml - File "plugins/powerpc/powerpc_shift.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_store.cmx plugins/powerpc/powerpc_store.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_store.cmx plugins/powerpc/powerpc_store.ml - File "plugins/powerpc/powerpc_store.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_sub.cmx plugins/powerpc/powerpc_sub.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_sub.cmx plugins/powerpc/powerpc_sub.ml - File "plugins/powerpc/powerpc_sub.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_main.cmx plugins/powerpc/powerpc_main.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_powerpc -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel -package bap -package zarith -package regular -package ogre -package monads -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -I plugins/powerpc -I lib/bap_powerpc -o plugins/powerpc/powerpc_main.cmx plugins/powerpc/powerpc_main.ml - File "plugins/powerpc/powerpc_main.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -a -I plugins/powerpc plugins/powerpc/powerpc_utils.cmx plugins/powerpc/powerpc_rtl.cmx plugins/powerpc/powerpc_dsl.cmx plugins/powerpc/powerpc_model.cmx plugins/powerpc/powerpc_types.cmx plugins/powerpc/powerpc_cpu.cmx plugins/powerpc/powerpc.cmx plugins/powerpc/powerpc_abi.cmx plugins/powerpc/powerpc_add.cmx plugins/powerpc/powerpc_branch.cmx plugins/powerpc/powerpc_compare.cmx plugins/powerpc/powerpc_cr.cmx plugins/powerpc/powerpc_div.cmx plugins/powerpc/powerpc_load.cmx plugins/powerpc/powerpc_logical.cmx plugins/powerpc/powerpc_move.cmx plugins/powerpc/powerpc_mul.cmx plugins/powerpc/powerpc_rotate.cmx plugins/powerpc/powerpc_shift.cmx plugins/powerpc/powerpc_store.cmx plugins/powerpc/powerpc_sub.cmx plugins/powerpc/powerpc_main.cmx -o plugins/powerpc/powerpc_plugin.cmxa - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -shared -linkall -I plugins/powerpc plugins/powerpc/powerpc_plugin.cmxa -o plugins/powerpc/powerpc_plugin.cmxs - + ocamlfind ocamlopt -package unix -package ocamlbuild -linkpkg -package findlib myocamlbuild.ml /home/opam/.opam/default/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild - File "myocamlbuild.ml", line 454, characters 8-19: - 454 | Stream.from - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 457, characters 21-32: - 457 | match Stream.next st with - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 460, characters 18-32: - 460 | with Stream.Failure -> None) - ^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 462, characters 6-23: - 462 | Genlex.make_lexer ["="] st_line - ^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 465, characters 12-24: - 465 | match Stream.npeek 3 lxr with - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 466, characters 9-21: - 466 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] -> - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 466, characters 26-36: - 466 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] -> - ^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 466, characters 42-55: - 466 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] -> - ^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 467, characters 8-19: - 467 | Stream.junk lxr; Stream.junk lxr; Stream.junk lxr; - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 467, characters 25-36: - 467 | Stream.junk lxr; Stream.junk lxr; Stream.junk lxr; - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 467, characters 42-53: - 467 | Stream.junk lxr; Stream.junk lxr; Stream.junk lxr; - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 479, characters 17-34: - 479 | let st = Stream.of_channel chn in - ^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. -> compiled bap-powerpc.2.5.0 [bap-powerpc: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/bap-powerpc.2.5.0) - ./setup.exe -quiet -install - Installed /home/opam/.opam/default/lib/bap-powerpc/bap_powerpc_target.mli - Installed /home/opam/.opam/default/lib/bap-powerpc/bap-powerpc.cma - Installed /home/opam/.opam/default/lib/bap-powerpc/bap-powerpc.cmxa - Installed /home/opam/.opam/default/lib/bap-powerpc/bap-powerpc.a - Installed /home/opam/.opam/default/lib/bap-powerpc/bap-powerpc.cmxs - Installed /home/opam/.opam/default/lib/bap-powerpc/bap_powerpc_target.cmi - Installed /home/opam/.opam/default/lib/bap-powerpc/bap_powerpc_target.cmti - Installed /home/opam/.opam/default/lib/bap-powerpc/bap_powerpc_target.cmt - Installed /home/opam/.opam/default/lib/bap-powerpc/bap_powerpc_target.annot - Installed /home/opam/.opam/default/lib/bap-powerpc/bap_powerpc_target.cmx - Installed /home/opam/.opam/default/lib/bap-powerpc/META - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_plugin.cma - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_plugin.cmxa - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_plugin.a - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_plugin.cmxs - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_sub.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_store.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_shift.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_rotate.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_mul.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_move.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_main.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_logical.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_load.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_div.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_cr.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_compare.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_branch.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_add.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_abi.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_utils.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_types.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_rtl.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_model.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_dsl.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_cpu.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-powerpc/META - sh tools/build_plugins.sh - + ocamlfind ocamlc -config - + ocamlfind ocamlc -config - + ocamlfind ocamldep -package bap-plugin-powerpc -package ppx_bap -package core_kernel -package bap -modules bap_plugin_powerpc.ml > bap_plugin_powerpc.ml.depends - + ocamlfind ocamlc -c -g -thread -package bap-plugin-powerpc -package ppx_bap -package core_kernel -package bap -o bap_plugin_powerpc.cmo bap_plugin_powerpc.ml - + ocamlfind ocamlopt -c -g -thread -package bap-plugin-powerpc -package ppx_bap -package core_kernel -package bap -o bap_plugin_powerpc.cmx bap_plugin_powerpc.ml - + ocamlfind ocamlopt -a -thread -package bap-plugin-powerpc -package ppx_bap -package core_kernel -package bap bap_plugin_powerpc.cmx -o bap_plugin_powerpc.cmxa - + ocamlfind ocamlopt -shared -linkall -ccopt -L -ccopt . bap_plugin_powerpc.cmxa -o bap_plugin_powerpc.cmxs - + cp /home/opam/.opam/default/lib/bap-abi/bap_abi.cmxs . - + cp /home/opam/.opam/default/lib/bap-abi/bap_abi.cma . - + cp /home/opam/.opam/default/lib/bap-api/bap_api.cmxs . - + cp /home/opam/.opam/default/lib/bap-api/bap_api.cma . - + cp /home/opam/.opam/default/lib/bap-c/bap_c.cmxs . - + cp /home/opam/.opam/default/lib/bap-c/bap_c.cma . - + cp /home/opam/.opam/default/lib/bap-powerpc/bap-powerpc.cmxs . - + cp /home/opam/.opam/default/lib/bap-powerpc/bap-powerpc.cma . - + cp /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_plugin.cmxs . - + cp /home/opam/.opam/default/lib/bap-plugin-powerpc/powerpc_plugin.cma . - + ocamlfind ocamlc -a -custom -thread -package bap-plugin-powerpc -package ppx_bap -package core_kernel -package bap bap_plugin_powerpc.cmo -o bap_plugin_powerpc.cma - + bapbundle pack -name bap_plugin_powerpc -main bap_plugin_powerpc.cmxs -main bap_plugin_powerpc.cma -requires 'bap_abi=bap_abi.cmxs,bap_abi=bap_abi.cma,bap_api=bap_api.cmxs,bap_api=bap_api.cma,bap_c=bap_c.cmxs,bap_c=bap_c.cma,bap-powerpc=bap-powerpc.cmxs,bap-powerpc=bap-powerpc.cma,powerpc_plugin=powerpc_plugin.cmxs,powerpc_plugin=powerpc_plugin.cma' -provides bap_plugin_powerpc bap_plugin_powerpc.plugin - + ln -sf /home/opam/.opam/default/.opam-switch/build/bap-powerpc.2.5.0/_build/built_plugins/powerpc/_build/bap_plugin_powerpc.plugin .. - Finished updating plugins - if [ -f ./postinstall.native ]; then ./postinstall.native; fi - if [ -f ./postinstall.byte ]; then ./postinstall.byte; fi - if [ -f ./postinstall ]; then ./postinstall; fi -> installed bap-powerpc.2.5.0 [WARNING] Opam packages conf-binutils.0.3, conf-clang.2, conf-gmp.5, conf-m4.1 and conf-zlib.1 depend on the following system packages that are no longer installed: binutils-multiarch clang libgmp-dev m4 zlib1g-dev - conf-binutils.0.3: depends on binutils-multiarch - conf-clang.2: depends on clang - conf-gmp.5: depends on libgmp-dev - conf-m4.1: depends on m4 - conf-zlib.1: depends on zlib1g-dev === STDERR === 2026-06-24 23:11.19: OK: build bap-powerpc.2.5.0 (runc: 80.7s, disk: 97KB) 2026-06-24 23:11.19: Job succeeded