Build:
- 0
2026-06-23 23:08.02: New job: build bap-mips.2.2.0 (52e8a607ccb8) 2026-06-23 23:08.02: Waiting for resource in pool day11-builds 2026-06-23 23:20.19: Got resource from pool day11-builds 2026-06-23 23:20.19: [profile full] build bap-mips.2.2.0 2026-06-23 23:20.19: build bap-mips.2.2.0 (52e8a607ccb8) === DEPENDENCIES (126 transitive) === angstrom.0.16.1 9f0d650aad47 bap-abi.2.2.0 dd84dee43da5 bap-api.2.2.0 17ddd1724bc4 bap-build.2.2.0 612332ea92b0 bap-bundle.2.2.0 afc3cfdc5b6f bap-c.2.2.0 cc393e0a4ede bap-core-theory.2.2.0 1749e0ca0df9 bap-future.2.2.0 5a4b6126d3df bap-knowledge.2.2.0 c5f1ccea3c0c bap-main.2.2.0 741306da4f46 bap-plugins.2.2.0 f0f300cc40f2 bap-recipe.2.2.0 5ab41e4308c4 bap-relation.2.2.0 78ed06a93516 bap-std.2.2.0 cd72ab165b4a base.v0.14.4 9f1656c7e705 base-bytes.base a8b2f2cb4094 base-threads.base b7164ff76afe base-unix.base 839dc585f12d base_bigstring.v0.14.0 351fa1bfbf41 base_quickcheck.v0.14.0 410f49dc390e bigarray-compat.1.1.0 9bfd1416ca18 bigstringaf.0.10.0 79c728334d28 bin_prot.v0.14.1 98d9c4208372 bitvec.2.2.0 40aad342c3af bitvec-binprot.2.2.0 c08ac7765d2d bitvec-order.2.2.0 b8a58d3405c1 bitvec-sexp.2.2.0 01206d9c4a9f camlzip.1.11 40b7affbc851 cmdliner.1.3.0 a308ed263822 conf-gmp.5 61e3c79e0ddf conf-pkg-config.5 4b60827fc174 conf-zlib.1 71f76614ba40 core_kernel.v0.14.1 c458d5e342d9 cppo.1.8.0 708e9eb1da47 csexp.1.5.2 2dc1d42cb195 dune.3.23.1 6e9c895d33c4 dune-configurator.3.22.2 b3ee8ff25f05 fieldslib.v0.14.0 3a43d9c2ccac fileutils.0.6.4 c4efd911a4e6 graphlib.2.2.0 2776cb842066 jane-street-headers.v0.14.0 bf754438b11b jst-config.v0.14.1 87488768c4dc lambda-term.3.4.0 7cf1fb8c2e74 logs.0.8.0 1ef5b8362ac0 lwt.5.10.0 ac5e7206cfa3 lwt_react.1.2.0 e412f7a51763 mew.0.1.0 aa236be4d518 mew_vi.0.5.0 e21f57cf19ff mmap.1.2.0 4fa905a4bdac monads.2.2.0 3e2d1a1c6ac0 num.1.6 6107ad20ded4 oasis.0.4.11 b0b712f02de4 ocaml.4.12.1 b220906b3826 ocaml-base-compiler.4.12.1 ce8680725b32 ocaml-compiler-libs.v0.12.4 692cac4e32e0 ocaml-config.2 3a99bd9dbb34 ocaml-migrate-parsetree.1.8.0 2e4ce0b38e6e ocaml-secondary-compiler.4.14.2 208983c0e1e0 ocaml-syntax-shims.1.0.0 d10b7a5e5f51 ocamlbuild.0.16.1 0aed2948eb5f ocamlfind.1.9.6 6a204c1e4cf6 ocamlfind-secondary.1.9.6 74c288ceaf87 ocamlgraph.2.2.0 59f35d6a6547 ocamlify.0.0.1 dd86b5003dd0 ocamlmod.0.0.9 ce94985ec150 ocplib-endian.1.2 6e44ef049825 octavius.1.2.2 a6e81ffe33ad ogre.2.2.0 8cb7f9c2e744 parsexp.v0.14.2 9d7241cc0902 ppx_assert.v0.14.0 d127f7a0030c ppx_bap.v0.14.0 0437db514a12 ppx_base.v0.14.0 9813913c2552 ppx_bench.v0.14.1 3864bee1a878 ppx_bin_prot.v0.14.0 96f41139fb01 ppx_cold.v0.14.0 e1a3611d2658 ppx_compare.v0.14.0 937cdc221037 ppx_custom_printf.v0.14.0 c50cd610b432 ppx_derivers.1.2.1 8e0bcbefff24 ppx_enumerate.v0.14.0 48e773747774 ppx_expect.v0.14.0 8d1d9f681b4c ppx_fields_conv.v0.14.1 53e3713e7e49 ppx_fixed_literal.v0.14.0 08d4ddf6c300 ppx_hash.v0.14.0 dd5cac968c9e ppx_here.v0.14.0 b19e91f69ad7 ppx_inline_test.v0.14.1 e29e4ee942bc ppx_jane.v0.14.0 acbcc30586c1 ppx_js_style.v0.14.1 9f6364b28244 ppx_let.v0.14.0 6262e26e2b9d ppx_module_timer.v0.14.0 e9b30a447c61 ppx_optcomp.v0.14.0 da12db6c7643 ppx_optional.v0.14.0 4fd8a2adec62 ppx_pipebang.v0.14.0 944621475324 ppx_sexp_conv.v0.14.1 d818046bc359 ppx_sexp_message.v0.14.0 4f7d64074e45 ppx_sexp_value.v0.14.0 da6a28e1a07d ppx_stable.v0.14.1 7a96dd6f50d1 ppx_string.v0.14.1 cf4b901565c4 ppx_typerep_conv.v0.14.1 f919202e5063 ppx_variants_conv.v0.14.1 c973499ae832 ppxlib.0.15.0 e626e7e41d65 re.1.12.0 b44768667e4e react.1.2.2 d43163269ab0 regular.2.2.0 447d329150d2 result.1.5 be123bcfc185 seq.base 464aa74108c5 sexplib.v0.14.0 b0d486e7157e sexplib0.v0.14.0 ebe6a4b61f9e splittable_random.v0.14.0 793729fb84ba stdio.v0.14.0 68e50d7a3d1b stdlib-shims.0.3.0 73378b8dd48d stringext.1.6.0 191e26a6e594 time_now.v0.14.0 9efeaeeb9fb1 topkg.1.1.1 38d1e7a378f4 trie.1.0.0 99df07d44b3a typerep.v0.14.0 d78c25d78a0d uchar.0.0.2 4db3d77eb50c uri.4.4.0 05e19b48f30e utop.2.17.0 244853dffadb uucp.15.0.0 2db00db45e3f uuidm.0.9.8 0a9bcf5c7de5 uuseg.15.0.0 a1ce3cdb31f4 uutf.1.0.4 332b0307f839 variantslib.v0.14.0 86202dfc71f7 xdg.3.22.2 3d54e0b35daf zarith.1.14 a7814713c672 zed.3.2.3 0022b8f74f74 === STDOUT === Processing: [default: loading data] [bap-mips.2.2.0: extract] -> retrieved bap-mips.2.2.0 (cached) [bap-mips: ./configure] + /home/opam/.opam/default/.opam-switch/build/bap-mips.2.2.0/./configure "--prefix=/home/opam/.opam/default" "--enable-mips" (CWD=/home/opam/.opam/default/.opam-switch/build/bap-mips.2.2.0) - - 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.2.0 - os_type: ............................................. Unix - system: .............................................. linux - architecture: ........................................ amd64 - ccomp_type: .......................................... cc - ocaml_version: ....................................... 4.12.1 - 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 -fPIC -D_FILE_OFFSET_BITS=64 -D_REENTRANT - native_c_compiler: ................................... gcc -O2 -fno-strict-aliasing -fwrapv -fPIC -D_FILE_OFFSET_BITS=64 -D_REENTRANT - 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.6 - 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 MIPS 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_regular: ......................................... /home/opam/.opam/default/lib/regular - pkg_zarith: .......................................... /home/opam/.opam/default/lib/zarith - pkg_bap_main: ........................................ /home/opam/.opam/default/lib/bap-main - pkg_bap_api: ......................................... /home/opam/.opam/default/lib/bap-api - [bap-mips: make] + /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/bap-mips.2.2.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 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 -linkpkg -g -linkpkg -I tools tools/postinstall.cmx -o tools/postinstall.native - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package ogre -package core_kernel -package bap-knowledge -package bap-core-theory -package bap -modules lib/bap_mips/bap_mips_target.mli > lib/bap_mips/bap_mips_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 ogre -package core_kernel -package bap-knowledge -package bap-core-theory -package bap -I lib/bap_mips -o lib/bap_mips/bap_mips_target.cmi lib/bap_mips/bap_mips_target.mli - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package ogre -package core_kernel -package bap-knowledge -package bap-core-theory -package bap -modules lib/bap_mips/bap_mips_target.ml > lib/bap_mips/bap_mips_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 ogre -package core_kernel -package bap-knowledge -package bap-core-theory -package bap -I lib/bap_mips -o lib/bap_mips/bap_mips_target.cmo lib/bap_mips/bap_mips_target.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -a -I lib/bap_mips lib/bap_mips/bap_mips_target.cmo -o lib/bap_mips/bap-mips.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 ogre -package core_kernel -package bap-knowledge -package bap-core-theory -package bap -I lib/bap_mips -o lib/bap_mips/bap_mips_target.cmx lib/bap_mips/bap_mips_target.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -a -I lib/bap_mips lib/bap_mips/bap_mips_target.cmx -o lib/bap_mips/bap-mips.cmxa - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -shared -linkall -I lib/bap_mips lib/bap_mips/bap-mips.cmxa -o lib/bap_mips/bap-mips.cmxs - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -modules plugins/mips/mips.ml > plugins/mips/mips.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -modules plugins/mips/mips_cpu.ml > plugins/mips/mips_cpu.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -modules plugins/mips/mips_dsl.mli > plugins/mips/mips_dsl.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -modules plugins/mips/mips_rtl.mli > plugins/mips/mips_rtl.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_rtl.cmi plugins/mips/mips_rtl.mli - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -modules plugins/mips/mips_model.mli > plugins/mips/mips_model.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -modules plugins/mips/mips_types.ml > plugins/mips/mips_types.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_dsl.cmi plugins/mips/mips_dsl.mli - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_model.cmi plugins/mips/mips_model.mli - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -modules plugins/mips/mips_utils.mli > plugins/mips/mips_utils.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_utils.cmi plugins/mips/mips_utils.mli - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_types.cmo plugins/mips/mips_types.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_cpu.cmo plugins/mips/mips_cpu.ml - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -modules plugins/mips/mips_main.ml > plugins/mips/mips_main.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips.cmo plugins/mips/mips.ml - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -modules plugins/mips/mips_abi.mli > plugins/mips/mips_abi.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_abi.cmi plugins/mips/mips_abi.mli - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -modules plugins/mips/mips_utils.ml > plugins/mips/mips_utils.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -modules plugins/mips/mips_load.ml > plugins/mips/mips_load.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -modules plugins/mips/mips_model.ml > plugins/mips/mips_model.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -modules plugins/mips/mips_abi.ml > plugins/mips/mips_abi.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -modules plugins/mips/mips_dsl.ml > plugins/mips/mips_dsl.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -modules plugins/mips/mips_rtl.ml > plugins/mips/mips_rtl.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -modules plugins/mips/mips_arithmetic.ml > plugins/mips/mips_arithmetic.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -modules plugins/mips/mips_branch.ml > plugins/mips/mips_branch.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -modules plugins/mips/mips_conditional.ml > plugins/mips/mips_conditional.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -modules plugins/mips/mips_logic.ml > plugins/mips/mips_logic.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -modules plugins/mips/mips_multiply.ml > plugins/mips/mips_multiply.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -modules plugins/mips/mips_divide.ml > plugins/mips/mips_divide.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -modules plugins/mips/mips_shift_and_rot.ml > plugins/mips/mips_shift_and_rot.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -modules plugins/mips/mips_store.ml > plugins/mips/mips_store.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_main.cmo plugins/mips/mips_main.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_utils.cmo plugins/mips/mips_utils.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_load.cmo plugins/mips/mips_load.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_model.cmo plugins/mips/mips_model.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_abi.cmo plugins/mips/mips_abi.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_dsl.cmo plugins/mips/mips_dsl.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_rtl.cmo plugins/mips/mips_rtl.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_arithmetic.cmo plugins/mips/mips_arithmetic.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_branch.cmo plugins/mips/mips_branch.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_conditional.cmo plugins/mips/mips_conditional.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_logic.cmo plugins/mips/mips_logic.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_multiply.cmo plugins/mips/mips_multiply.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_divide.cmo plugins/mips/mips_divide.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_shift_and_rot.cmo plugins/mips/mips_shift_and_rot.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_store.cmo plugins/mips/mips_store.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -a -I plugins/mips plugins/mips/mips_utils.cmo plugins/mips/mips_rtl.cmo plugins/mips/mips_dsl.cmo plugins/mips/mips_model.cmo plugins/mips/mips_types.cmo plugins/mips/mips_cpu.cmo plugins/mips/mips.cmo plugins/mips/mips_abi.cmo plugins/mips/mips_main.cmo plugins/mips/mips_load.cmo plugins/mips/mips_arithmetic.cmo plugins/mips/mips_branch.cmo plugins/mips/mips_conditional.cmo plugins/mips/mips_logic.cmo plugins/mips/mips_multiply.cmo plugins/mips/mips_divide.cmo plugins/mips/mips_shift_and_rot.cmo plugins/mips/mips_store.cmo -o plugins/mips/mips_plugin.cma - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_utils.cmx plugins/mips/mips_utils.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_rtl.cmx plugins/mips/mips_rtl.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_dsl.cmx plugins/mips/mips_dsl.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_model.cmx plugins/mips/mips_model.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_types.cmx plugins/mips/mips_types.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_cpu.cmx plugins/mips/mips_cpu.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips.cmx plugins/mips/mips.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_abi.cmx plugins/mips/mips_abi.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_main.cmx plugins/mips/mips_main.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_load.cmx plugins/mips/mips_load.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_arithmetic.cmx plugins/mips/mips_arithmetic.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_branch.cmx plugins/mips/mips_branch.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_conditional.cmx plugins/mips/mips_conditional.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_logic.cmx plugins/mips/mips_logic.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_multiply.cmx plugins/mips/mips_multiply.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_divide.cmx plugins/mips/mips_divide.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_shift_and_rot.cmx plugins/mips/mips_shift_and_rot.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_mips -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package zarith -package regular -package ppx_bap -package ogre -package core_kernel -package bap-main -package bap-knowledge -package bap-core-theory -package bap-c -package bap-api -package bap-abi -package bap -I plugins/mips -I lib/bap_mips -o plugins/mips/mips_store.cmx plugins/mips/mips_store.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -a -I plugins/mips plugins/mips/mips_utils.cmx plugins/mips/mips_rtl.cmx plugins/mips/mips_dsl.cmx plugins/mips/mips_model.cmx plugins/mips/mips_types.cmx plugins/mips/mips_cpu.cmx plugins/mips/mips.cmx plugins/mips/mips_abi.cmx plugins/mips/mips_main.cmx plugins/mips/mips_load.cmx plugins/mips/mips_arithmetic.cmx plugins/mips/mips_branch.cmx plugins/mips/mips_conditional.cmx plugins/mips/mips_logic.cmx plugins/mips/mips_multiply.cmx plugins/mips/mips_divide.cmx plugins/mips/mips_shift_and_rot.cmx plugins/mips/mips_store.cmx -o plugins/mips/mips_plugin.cmxa - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -shared -linkall -I plugins/mips plugins/mips/mips_plugin.cmxa -o plugins/mips/mips_plugin.cmxs -> compiled bap-mips.2.2.0 [bap-mips: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/bap-mips.2.2.0) - ./setup.exe -quiet -install - Installed /home/opam/.opam/default/lib/bap-plugin-mips/mips_plugin.cma - Installed /home/opam/.opam/default/lib/bap-plugin-mips/mips_plugin.cmxa - Installed /home/opam/.opam/default/lib/bap-plugin-mips/mips_plugin.a - Installed /home/opam/.opam/default/lib/bap-plugin-mips/mips_plugin.cmxs - Installed /home/opam/.opam/default/lib/bap-plugin-mips/mips_store.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-mips/mips_shift_and_rot.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-mips/mips_divide.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-mips/mips_multiply.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-mips/mips_logic.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-mips/mips_conditional.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-mips/mips_branch.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-mips/mips_arithmetic.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-mips/mips_rtl.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-mips/mips_dsl.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-mips/mips_abi.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-mips/mips_model.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-mips/mips_load.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-mips/mips_cpu.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-mips/mips_utils.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-mips/mips_types.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-mips/mips_main.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-mips/mips.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-mips/META - Installed /home/opam/.opam/default/lib/bap-mips/bap_mips_target.mli - Installed /home/opam/.opam/default/lib/bap-mips/bap-mips.cma - Installed /home/opam/.opam/default/lib/bap-mips/bap-mips.cmxa - Installed /home/opam/.opam/default/lib/bap-mips/bap-mips.a - Installed /home/opam/.opam/default/lib/bap-mips/bap-mips.cmxs - Installed /home/opam/.opam/default/lib/bap-mips/bap_mips_target.cmi - Installed /home/opam/.opam/default/lib/bap-mips/bap_mips_target.cmti - Installed /home/opam/.opam/default/lib/bap-mips/bap_mips_target.cmt - Installed /home/opam/.opam/default/lib/bap-mips/bap_mips_target.annot - Installed /home/opam/.opam/default/lib/bap-mips/bap_mips_target.cmx - Installed /home/opam/.opam/default/lib/bap-mips/META - sh tools/build_plugins.sh - + ocamlfind ocamlc -config - + ocamlfind ocamlc -config - + ocamlfind ocamldep -package bap-plugin-mips -package ppx_bap -package core_kernel -package bap -modules bap_plugin_mips.ml > bap_plugin_mips.ml.depends - + ocamlfind ocamlc -c -g -thread -package bap-plugin-mips -package ppx_bap -package core_kernel -package bap -o bap_plugin_mips.cmo bap_plugin_mips.ml - + ocamlfind ocamlopt -c -g -thread -package bap-plugin-mips -package ppx_bap -package core_kernel -package bap -o bap_plugin_mips.cmx bap_plugin_mips.ml - + ocamlfind ocamlopt -a -thread -package bap-plugin-mips -package ppx_bap -package core_kernel -package bap bap_plugin_mips.cmx -o bap_plugin_mips.cmxa - + ocamlfind ocamlopt -shared -linkall -ccopt -L -ccopt . bap_plugin_mips.cmxa -o bap_plugin_mips.cmxs - + cp /home/opam/.opam/default/lib/bap-mips/bap-mips.cmxs . - + cp /home/opam/.opam/default/lib/bap-mips/bap-mips.cma . - + 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-plugin-mips/mips_plugin.cmxs . - + cp /home/opam/.opam/default/lib/bap-plugin-mips/mips_plugin.cma . - + ocamlfind ocamlc -a -custom -thread -package bap-plugin-mips -package ppx_bap -package core_kernel -package bap bap_plugin_mips.cmo -o bap_plugin_mips.cma - + bapbundle pack -name bap_plugin_mips -main bap_plugin_mips.cmxs -main bap_plugin_mips.cma -requires 'bap-mips=bap-mips.cmxs,bap-mips=bap-mips.cma,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,mips_plugin=mips_plugin.cmxs,mips_plugin=mips_plugin.cma' -provides bap_plugin_mips bap_plugin_mips.plugin - + ln -sf /home/opam/.opam/default/.opam-switch/build/bap-mips.2.2.0/_build/built_plugins/mips/_build/bap_plugin_mips.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-mips.2.2.0 [WARNING] Opam packages bap-std.2.2.0, conf-gmp.5 and conf-zlib.1 depend on the following system packages that are no longer installed: clang libgmp-dev zlib1g-dev - bap-std.2.2.0: depends on clang - conf-gmp.5: depends on libgmp-dev - conf-zlib.1: depends on zlib1g-dev === STDERR === 2026-06-23 23:22.09: OK: build bap-mips.2.2.0 (runc: 57.1s, disk: 59KB) 2026-06-23 23:22.09: Job succeeded