2026-06-24 13:54.51: New job: build sail.0.13 (8b8053a5ec4d)
2026-06-24 13:54.51: Waiting for resource in pool day11-builds
2026-06-24 16:02.04: Got resource from pool day11-builds
2026-06-24 16:02.04: [profile full] build sail.0.13
2026-06-24 16:02.04: build sail.0.13 (8b8053a5ec4d)
=== DEPENDENCIES (28 transitive) ===
  base-bigarray.base                                 2e16f77d4cae
  base-bytes.base                                    c40d17bc86b5
  base-threads.base                                  c9e7bdbf5823
  base-unix.base                                     7d1428be9ddb
  base64.3.5.2                                       210584fc1188
  conf-findutils.1                                   26549b564faf
  conf-gmp.5                                         be11edf77089
  conf-pkg-config.5                                  d5de2c6a88f9
  conf-zlib.1                                        5297f1b9477f
  dune.3.23.1                                        848a72441e15
  lem.2026-05-01                                     287b131ca645
  linenoise.1.5.1                                    07f80e99a1a8
  linksem.0.8                                        e3baab46f4bc
  menhir.20211128                                    4d375e46691e
  menhirLib.20211128                                 84dec646e3db
  menhirSdk.20211128                                 fab0287522a3
  num.1.6                                            110cee7a7e2e
  ocaml.4.14.4                                       b047fb9251f4
  ocaml-base-compiler.4.14.4                         d3b7ccb2c6fb
  ocaml-config.2                                     2d9c209f5590
  ocamlbuild.0.16.1                                  7e0d6aadb209
  ocamlfind.1.9.8                                    214dd418ac02
  ocamlgraph.2.2.0                                   9a3a86466508
  omd.1.3.2                                          374f7e4b0b87
  ott.0.34                                           d1d958f39018
  pprint.20230830                                    22fe9373f2df
  yojson.3.0.0                                       99e7f342c6b3
  zarith.1.14                                        a8971d2f668c
=== STDOUT ===
Processing: [default: loading data]
[sail.0.13: dl]
[sail.0.13: extract]
-> retrieved sail.0.13  (https://opam.ocaml.org/cache)
[sail: make isail]
+ /usr/bin/make "INSTALL_DIR=/home/opam/.opam/default" "SHARE_DIR=/home/opam/.opam/default/share/sail" "isail" (CWD=/home/opam/.opam/default/.opam-switch/build/sail.0.13)
- /usr/bin/make -C src isail
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/sail.0.13/src'
- Makefile:51: MAKECMDGOALS is isail
- ott -sort false -generate_aux_rules true -o ast.lem -picky_multiple_parses true  ../language/sail.ott
- Ott version 0.34   distribution of Mon Dec 30 10:12:45 GMT 2024
- lem -ocaml ast.lem
- sed -i.bak -f ast.sed ast.ml
- ott -sort false -generate_aux_rules true -o jib.lem -picky_multiple_parses true ../language/jib.ott
- Ott version 0.34   distribution of Mon Dec 30 10:12:45 GMT 2024
- lem -ocaml jib.lem -lib . -lib gen_lib/
- sed -i.bak -f ast.sed jib.ml
- echo "(* Generated file -- do not edit. *)" > manifest.ml
- echo let dir=\"/home/opam/.opam/default/share/sail\" >> manifest.ml
- echo let commit=\"opam\" >> manifest.ml
- echo let branch=\"sail2\" >> manifest.ml
- echo let version=\""0.13"\" >> manifest.ml
- ocamlbuild -use-ocamlfind isail.native sail_lib.cma sail_lib.cmxa libsail.cma libsail.cmxa
- + ocamlfind ocamlc -config
- + ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/default/lib/ocamlbuild /home/opam/.opam/default/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/default/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- + ocamlfind ocamlc -config
- + ocamlfind ocamldep -package lem -package base64 -package pprint -package yojson -package linenoise -modules isail.ml > isail.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules ast.ml > ast.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules parse_ast.ml > parse_ast.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules value.ml > value.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -package linksem -modules elf_loader.ml > elf_loader.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules sail_lib.ml > sail_lib.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules util.mli > util.mli.depends
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o util.cmi util.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o util.cmi util.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o sail_lib.cmo sail_lib.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o sail_lib.cmo sail_lib.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- File "sail_lib.ml", line 694, characters 16-39:
- 694 | let print str = Pervasives.print_string str
-                       ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "sail_lib.ml", line 696, characters 16-39:
- 696 | let prerr str = Pervasives.prerr_string str
-                       ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -package linksem -I gen_lib -I jib -o elf_loader.cmo elf_loader.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -package linksem -I gen_lib -I jib -o elf_loader.cmo elf_loader.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o parse_ast.cmo parse_ast.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o parse_ast.cmo parse_ast.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o value.cmo value.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o value.cmo value.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules ast_util.mli > ast_util.mli.depends
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o ast.cmo ast.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o ast.cmo ast.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules gdbmi.ml > gdbmi.ml.depends
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o ast_util.cmi ast_util.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o ast_util.cmi ast_util.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + /home/opam/.opam/default/bin/ocamllex.opt -q gdbmi_lexer.mll
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules gdbmi_lexer.ml > gdbmi_lexer.ml.depends
- + menhir --raw-depend --ocamldep 'ocamlfind ocamldep -modules' gdbmi_parser.mly > gdbmi_parser.mly.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules gdbmi_types.ml > gdbmi_types.ml.depends
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gdbmi_types.cmo gdbmi_types.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gdbmi_types.cmo gdbmi_types.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + menhir --ocamlc 'ocamlfind ocamlc -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib' --infer gdbmi_parser.mly
- + menhir --ocamlc 'ocamlfind ocamlc -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib' --infer gdbmi_parser.mly
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules gdbmi_parser.mli > gdbmi_parser.mli.depends
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o gdbmi_parser.cmi gdbmi_parser.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o gdbmi_parser.cmi gdbmi_parser.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules interactive.mli > interactive.mli.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules type_check.mli > type_check.mli.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules pattern_completeness.mli > pattern_completeness.mli.depends
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o pattern_completeness.cmi pattern_completeness.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o pattern_completeness.cmi pattern_completeness.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o type_check.cmi type_check.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o type_check.cmi type_check.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules interpreter.ml > interpreter.ml.depends
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o interactive.cmi interactive.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o interactive.cmi interactive.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules pretty_print_sail.ml > pretty_print_sail.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules reporting.mli > reporting.mli.depends
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o reporting.cmi reporting.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o reporting.cmi reporting.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules type_error.ml > type_error.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules error_format.ml > error_format.ml.depends
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o error_format.cmo error_format.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o error_format.cmo error_format.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o pretty_print_sail.cmo pretty_print_sail.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o pretty_print_sail.cmo pretty_print_sail.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o type_error.cmo type_error.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o type_error.cmo type_error.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gdbmi_lexer.cmo gdbmi_lexer.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gdbmi_lexer.cmo gdbmi_lexer.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o interpreter.cmo interpreter.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o interpreter.cmo interpreter.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules initial_check.mli > initial_check.mli.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -package omd -modules latex.ml > latex.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules process_file.mli > process_file.mli.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules rewrites.mli > rewrites.mli.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -package yojson -modules sail.ml > sail.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules jib/c_backend.mli > jib/c_backend.mli.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules jib.ml > jib.ml.depends
- + lem -lib ../gen_lib -wl_pat_comp ign -wl_pat_exh ign -wl_pat_fail ign -wl_unused_vars ign -ocaml value2.lem
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules value2.ml > value2.ml.depends
- + lem -lib ../gen_lib -wl_pat_comp ign -wl_pat_exh ign -wl_pat_fail ign -wl_unused_vars ign -ocaml gen_lib/sail2_values.lem
- + lem -lib ../gen_lib -wl_pat_comp ign -wl_pat_exh ign -wl_pat_fail ign -wl_unused_vars ign -ocaml gen_lib/sail2_values.lem
- File "/home/opam/.opam/default/share/lem/library/num.lem", line 2137, character 1 to line 2137, character 43
-   Warning: compile message for constant 'Num.naturalFromInteger' and target 'ocaml'
-     x natFromNatural might fail for too big values. The values allowed are system-dependent. However, at least 30 bit should be available, i.e. all numbers up to 2^30 = 1 073 741 824 should be OK.
- File "gen_lib/sail2_values.lem", line 994, character 1 to line 994, character 79
-   Warning: renaming 'while' to 'while0' for target ocaml
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules gen_lib/sail2_values.ml > gen_lib/sail2_values.ml.depends
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gen_lib/sail2_values.cmo gen_lib/sail2_values.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gen_lib/sail2_values.cmo gen_lib/sail2_values.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o value2.cmo value2.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o value2.cmo value2.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules jib/jib_compile.mli > jib/jib_compile.mli.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules jib/anf.mli > jib/anf.mli.depends
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o jib.cmo jib.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o jib.cmo jib.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules jib/jib_util.ml > jib/jib_util.ml.depends
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/anf.cmi jib/anf.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/anf.cmi jib/anf.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_util.cmo jib/jib_util.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_util.cmo jib/jib_util.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_compile.cmi jib/jib_compile.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_compile.cmi jib/jib_compile.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -package yojson -modules jib/c_codegen.ml > jib/c_codegen.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules rewriter.mli > rewriter.mli.depends
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o rewriter.cmi rewriter.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o rewriter.cmi rewriter.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules constant_fold.ml > constant_fold.ml.depends
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o initial_check.cmi initial_check.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o initial_check.cmi initial_check.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules constant_propagation_mutrec.ml > constant_propagation_mutrec.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules constant_propagation.mli > constant_propagation.mli.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules spec_analysis.mli > spec_analysis.mli.depends
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o constant_propagation.cmi constant_propagation.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o constant_propagation.cmi constant_propagation.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o spec_analysis.cmi spec_analysis.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o spec_analysis.cmi spec_analysis.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules constraint.mli > constraint.mli.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules jib/jib_ir.ml > jib/jib_ir.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules jib/jib_interactive.mli > jib/jib_interactive.mli.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules jib/jib_optimize.mli > jib/jib_optimize.mli.depends
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_interactive.cmi jib/jib_interactive.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_interactive.cmi jib/jib_interactive.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_optimize.cmi jib/jib_optimize.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_optimize.cmi jib/jib_optimize.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules jib/jib_smt.mli > jib/jib_smt.mli.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules jib/jib_ssa.mli > jib/jib_ssa.mli.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules property.mli > property.mli.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules smtlib.ml > smtlib.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules parser_combinators.ml > parser_combinators.ml.depends
- + lem -lib ../gen_lib -wl_pat_comp ign -wl_pat_exh ign -wl_pat_fail ign -wl_unused_vars ign -ocaml gen_lib/sail2_operators_bitlists.lem
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules gen_lib/sail2_operators_bitlists.ml > gen_lib/sail2_operators_bitlists.ml.depends
- + lem -lib ../gen_lib -wl_pat_comp ign -wl_pat_exh ign -wl_pat_fail ign -wl_unused_vars ign -ocaml gen_lib/sail2_operators.lem
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules gen_lib/sail2_operators.ml > gen_lib/sail2_operators.ml.depends
- + lem -lib ../gen_lib -wl_pat_comp ign -wl_pat_exh ign -wl_pat_fail ign -wl_unused_vars ign -ocaml gen_lib/sail2_prompt.lem
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules gen_lib/sail2_prompt.ml > gen_lib/sail2_prompt.ml.depends
- + lem -lib ../gen_lib -wl_pat_comp ign -wl_pat_exh ign -wl_pat_fail ign -wl_unused_vars ign -ocaml gen_lib/sail2_prompt_monad.lem
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules gen_lib/sail2_prompt_monad.ml > gen_lib/sail2_prompt_monad.ml.depends
- + lem -lib ../gen_lib -wl_pat_comp ign -wl_pat_exh ign -wl_pat_fail ign -wl_unused_vars ign -ocaml gen_lib/sail2_instr_kinds.lem
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules gen_lib/sail2_instr_kinds.ml > gen_lib/sail2_instr_kinds.ml.depends
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gen_lib/sail2_instr_kinds.cmo gen_lib/sail2_instr_kinds.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gen_lib/sail2_instr_kinds.cmo gen_lib/sail2_instr_kinds.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gen_lib/sail2_prompt_monad.cmo gen_lib/sail2_prompt_monad.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gen_lib/sail2_prompt_monad.cmo gen_lib/sail2_prompt_monad.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gen_lib/sail2_operators.cmo gen_lib/sail2_operators.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gen_lib/sail2_operators.cmo gen_lib/sail2_operators.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gen_lib/sail2_prompt.cmo gen_lib/sail2_prompt.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gen_lib/sail2_prompt.cmo gen_lib/sail2_prompt.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o parser_combinators.cmo parser_combinators.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o parser_combinators.cmo parser_combinators.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gen_lib/sail2_operators_bitlists.cmo gen_lib/sail2_operators_bitlists.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gen_lib/sail2_operators_bitlists.cmo gen_lib/sail2_operators_bitlists.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_ssa.cmi jib/jib_ssa.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_ssa.cmi jib/jib_ssa.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o property.cmi property.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o property.cmi property.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o smtlib.cmo smtlib.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o smtlib.cmo smtlib.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules jib/jib_smt_fuzz.ml > jib/jib_smt_fuzz.ml.depends
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_smt.cmi jib/jib_smt.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_smt.cmi jib/jib_smt.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -package omd -I gen_lib -I jib -o latex.cmo latex.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -package omd -I gen_lib -I jib -o latex.cmo latex.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules manifest.ml > manifest.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules nl_flow.mli > nl_flow.mli.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules ocaml_backend.ml > ocaml_backend.ml.depends
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o manifest.cmo manifest.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o manifest.cmo manifest.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o rewrites.cmi rewrites.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o rewrites.cmi rewrites.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules pretty_print_coq.ml > pretty_print_coq.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules pretty_print_common.ml > pretty_print_common.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules state.ml > state.ml.depends
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o pretty_print_common.cmo pretty_print_common.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o pretty_print_common.cmo pretty_print_common.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o state.cmo state.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o state.cmo state.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules pretty_print_lem.ml > pretty_print_lem.ml.depends
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o process_file.cmi process_file.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o process_file.cmi process_file.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules profile.ml > profile.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules specialize.mli > specialize.mli.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules splice.ml > splice.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules toFromInterp_backend.ml > toFromInterp_backend.ml.depends
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o ocaml_backend.cmo ocaml_backend.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o ocaml_backend.cmo ocaml_backend.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/c_backend.cmi jib/c_backend.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/c_backend.cmi jib/c_backend.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -package yojson -I jib -I gen_lib -o jib/c_codegen.cmo jib/c_codegen.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -package yojson -I jib -I gen_lib -o jib/c_codegen.cmo jib/c_codegen.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o constant_fold.cmo constant_fold.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o constant_fold.cmo constant_fold.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o constant_propagation_mutrec.cmo constant_propagation_mutrec.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o constant_propagation_mutrec.cmo constant_propagation_mutrec.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o constraint.cmi constraint.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o constraint.cmi constraint.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_ir.cmo jib/jib_ir.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_ir.cmo jib/jib_ir.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_smt_fuzz.cmo jib/jib_smt_fuzz.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_smt_fuzz.cmo jib/jib_smt_fuzz.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o nl_flow.cmi nl_flow.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o nl_flow.cmi nl_flow.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o pretty_print_coq.cmo pretty_print_coq.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o pretty_print_coq.cmo pretty_print_coq.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o pretty_print_lem.cmo pretty_print_lem.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o pretty_print_lem.cmo pretty_print_lem.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o profile.cmo profile.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o profile.cmo profile.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o specialize.cmi specialize.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o specialize.cmi specialize.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o splice.cmo splice.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o splice.cmo splice.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o toFromInterp_backend.cmo toFromInterp_backend.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o toFromInterp_backend.cmo toFromInterp_backend.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules slice.mli > slice.mli.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules graph.mli > graph.mli.depends
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o graph.cmi graph.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o graph.cmi graph.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gdbmi.cmo gdbmi.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gdbmi.cmo gdbmi.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -package yojson -I gen_lib -I jib -o sail.cmo sail.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -package yojson -I gen_lib -I jib -o sail.cmo sail.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o slice.cmi slice.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o slice.cmi slice.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -package yojson -package linenoise -I gen_lib -I jib -o isail.cmo isail.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -package yojson -package linenoise -I gen_lib -I jib -o isail.cmo isail.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules util.ml > util.ml.depends
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o util.cmx util.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o util.cmx util.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- File "util.ml", line 129, characters 21-39:
- 129 |   let l' = List.sort Pervasives.compare l in
-                            ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "util.ml", line 337, characters 18-36:
- 337 |     let compare = Pervasives.compare
-                         ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "util.ml", line 343, characters 18-36:
- 343 |     let compare = Pervasives.compare
-                         ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "util.ml", line 374, characters 13-30:
- 374 |     let s1 = Stream.of_channel (open_in_bin file1) in
-                    ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "util.ml", line 375, characters 13-30:
- 375 |     let s2 = Stream.of_channel (open_in_bin file2) in
-                    ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "util.ml", line 376, characters 33-45:
- 376 |     let stream_is_empty s = (try Stream.empty s; true with Stream.Failure -> false) in
-                                        ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "util.ml", line 376, characters 59-73:
- 376 |     let stream_is_empty s = (try Stream.empty s; true with Stream.Failure -> false) in
-                                                                  ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "util.ml", line 378, characters 14-25:
- 378 |       while ((Stream.next s1) = (Stream.next s2)) do () done;
-                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "util.ml", line 378, characters 33-44:
- 378 |       while ((Stream.next s1) = (Stream.next s2)) do () done;
-                                        ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "util.ml", line 380, characters 9-23:
- 380 |     with Stream.Failure -> stream_is_empty s1 && stream_is_empty s2
-                ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o sail_lib.cmx sail_lib.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o sail_lib.cmx sail_lib.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- File "sail_lib.ml", line 694, characters 16-39:
- 694 | let print str = Pervasives.print_string str
-                       ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "sail_lib.ml", line 696, characters 16-39:
- 696 | let prerr str = Pervasives.prerr_string str
-                       ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -package linksem -I gen_lib -I jib -o elf_loader.cmx elf_loader.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -package linksem -I gen_lib -I jib -o elf_loader.cmx elf_loader.ml
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o parse_ast.cmx parse_ast.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o parse_ast.cmx parse_ast.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o value.cmx value.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o value.cmx value.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules ast_util.ml > ast_util.ml.depends
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o ast.cmx ast.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o ast.cmx ast.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules reporting.ml > reporting.ml.depends
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o error_format.cmx error_format.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o error_format.cmx error_format.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o reporting.cmx reporting.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o reporting.cmx reporting.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o ast_util.cmx ast_util.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o ast_util.cmx ast_util.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules gdbmi_parser.ml > gdbmi_parser.ml.depends
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gdbmi_types.cmx gdbmi_types.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gdbmi_types.cmx gdbmi_types.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gdbmi_parser.cmx gdbmi_parser.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gdbmi_parser.cmx gdbmi_parser.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules interactive.ml > interactive.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules type_check.ml > type_check.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules bitfield.ml > bitfield.ml.depends
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o bitfield.cmo bitfield.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o bitfield.cmo bitfield.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules initial_check.ml > initial_check.ml.depends
- + /home/opam/.opam/default/bin/ocamllex.opt -q lexer.mll
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules lexer.ml > lexer.ml.depends
- + menhir --raw-depend --ocamldep 'ocamlfind ocamldep -modules' parser.mly > parser.mly.depends
- + menhir --ocamlc 'ocamlfind ocamlc -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib' --infer parser.mly
- + menhir --ocamlc 'ocamlfind ocamlc -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib' --infer parser.mly
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules parser.mli > parser.mli.depends
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o parser.cmi parser.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o parser.cmi parser.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o lexer.cmo lexer.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o lexer.cmo lexer.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules parser.ml > parser.ml.depends
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o parser.cmx parser.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o parser.cmx parser.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o lexer.cmx lexer.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o lexer.cmx lexer.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o initial_check.cmx initial_check.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o initial_check.cmx initial_check.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules constraint.ml > constraint.ml.depends
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o profile.cmx profile.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o profile.cmx profile.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules nl_flow.ml > nl_flow.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules pattern_completeness.ml > pattern_completeness.ml.depends
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o bitfield.cmx bitfield.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o bitfield.cmx bitfield.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o constraint.cmx constraint.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o constraint.cmx constraint.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o nl_flow.cmx nl_flow.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o nl_flow.cmx nl_flow.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o pattern_completeness.cmx pattern_completeness.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o pattern_completeness.cmx pattern_completeness.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o type_check.cmx type_check.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o type_check.cmx type_check.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o interactive.cmx interactive.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o interactive.cmx interactive.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o pretty_print_sail.cmx pretty_print_sail.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o pretty_print_sail.cmx pretty_print_sail.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o type_error.cmx type_error.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o type_error.cmx type_error.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gdbmi_lexer.cmx gdbmi_lexer.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gdbmi_lexer.cmx gdbmi_lexer.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o interpreter.cmx interpreter.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o interpreter.cmx interpreter.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules process_file.ml > process_file.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules pretty_print.ml > pretty_print.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules pretty_print.mli > pretty_print.mli.depends
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o pretty_print.cmi pretty_print.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o pretty_print.cmi pretty_print.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules rewriter.ml > rewriter.ml.depends
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o pretty_print_common.cmx pretty_print_common.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o pretty_print_common.cmx pretty_print_common.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o rewriter.cmx rewriter.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o rewriter.cmx rewriter.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o state.cmx state.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o state.cmx state.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o pretty_print_lem.cmx pretty_print_lem.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o pretty_print_lem.cmx pretty_print_lem.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules rewrites.ml > rewrites.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules constant_propagation.ml > constant_propagation.ml.depends
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o constant_fold.cmx constant_fold.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o constant_fold.cmx constant_fold.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules spec_analysis.ml > spec_analysis.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules graph.ml > graph.ml.depends
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o graph.cmx graph.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o graph.cmx graph.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o spec_analysis.cmx spec_analysis.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o spec_analysis.cmx spec_analysis.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o constant_propagation.cmx constant_propagation.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o constant_propagation.cmx constant_propagation.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules monomorphise.ml > monomorphise.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules monomorphise.mli > monomorphise.mli.depends
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o monomorphise.cmi monomorphise.mli
- + ocamlfind ocamlc -c -g -package lem -package base64 -package pprint -I gen_lib -I jib -o monomorphise.cmi monomorphise.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules optimize.ml > optimize.ml.depends
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o optimize.cmo optimize.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o optimize.cmo optimize.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules property.ml > property.ml.depends
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o parser_combinators.cmx parser_combinators.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o parser_combinators.cmx parser_combinators.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o constant_propagation_mutrec.cmx constant_propagation_mutrec.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o constant_propagation_mutrec.cmx constant_propagation_mutrec.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o monomorphise.cmx monomorphise.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o monomorphise.cmx monomorphise.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o optimize.cmx optimize.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o optimize.cmx optimize.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o property.cmx property.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o property.cmx property.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gen_lib/sail2_values.cmx gen_lib/sail2_values.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gen_lib/sail2_values.cmx gen_lib/sail2_values.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules scattered.ml > scattered.ml.depends
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o scattered.cmo scattered.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o scattered.cmo scattered.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o manifest.cmx manifest.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o manifest.cmx manifest.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o pretty_print.cmx pretty_print.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o pretty_print.cmx pretty_print.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o pretty_print_coq.cmx pretty_print_coq.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o pretty_print_coq.cmx pretty_print_coq.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o rewrites.cmx rewrites.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o rewrites.cmx rewrites.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o scattered.cmx scattered.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o scattered.cmx scattered.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules jib/c_backend.ml > jib/c_backend.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules jib/anf.ml > jib/anf.ml.depends
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o value2.cmx value2.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o value2.cmx value2.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o jib.cmx jib.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o jib.cmx jib.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_util.cmx jib/jib_util.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_util.cmx jib/jib_util.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules jib/jib_compile.ml > jib/jib_compile.ml.depends
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/anf.cmx jib/anf.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/anf.cmx jib/anf.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules jib/jib_interactive.ml > jib/jib_interactive.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules jib/jib_optimize.ml > jib/jib_optimize.ml.depends
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_compile.cmx jib/jib_compile.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_compile.cmx jib/jib_compile.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_interactive.cmx jib/jib_interactive.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_interactive.cmx jib/jib_interactive.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_optimize.cmx jib/jib_optimize.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_optimize.cmx jib/jib_optimize.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules jib/jib_smt.ml > jib/jib_smt.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules jib/jib_ssa.ml > jib/jib_ssa.ml.depends
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_ir.cmx jib/jib_ir.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_ir.cmx jib/jib_ir.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gen_lib/sail2_instr_kinds.cmx gen_lib/sail2_instr_kinds.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gen_lib/sail2_instr_kinds.cmx gen_lib/sail2_instr_kinds.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gen_lib/sail2_prompt_monad.cmx gen_lib/sail2_prompt_monad.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gen_lib/sail2_prompt_monad.cmx gen_lib/sail2_prompt_monad.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gen_lib/sail2_operators.cmx gen_lib/sail2_operators.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gen_lib/sail2_operators.cmx gen_lib/sail2_operators.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gen_lib/sail2_prompt.cmx gen_lib/sail2_prompt.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gen_lib/sail2_prompt.cmx gen_lib/sail2_prompt.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gen_lib/sail2_operators_bitlists.cmx gen_lib/sail2_operators_bitlists.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gen_lib/sail2_operators_bitlists.cmx gen_lib/sail2_operators_bitlists.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_ssa.cmx jib/jib_ssa.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_ssa.cmx jib/jib_ssa.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o smtlib.cmx smtlib.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o smtlib.cmx smtlib.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_smt.cmx jib/jib_smt.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_smt.cmx jib/jib_smt.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -package omd -I gen_lib -I jib -o latex.cmx latex.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -package omd -I gen_lib -I jib -o latex.cmx latex.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o process_file.cmx process_file.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o process_file.cmx process_file.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules specialize.ml > specialize.ml.depends
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o ocaml_backend.cmx ocaml_backend.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o ocaml_backend.cmx ocaml_backend.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/c_backend.cmx jib/c_backend.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/c_backend.cmx jib/c_backend.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -package yojson -I jib -I gen_lib -o jib/c_codegen.cmx jib/c_codegen.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -package yojson -I jib -I gen_lib -o jib/c_codegen.cmx jib/c_codegen.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_smt_fuzz.cmx jib/jib_smt_fuzz.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_smt_fuzz.cmx jib/jib_smt_fuzz.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o specialize.cmx specialize.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o specialize.cmx specialize.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o splice.cmx splice.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o splice.cmx splice.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o toFromInterp_backend.cmx toFromInterp_backend.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o toFromInterp_backend.cmx toFromInterp_backend.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules slice.ml > slice.ml.depends
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gdbmi.cmx gdbmi.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o gdbmi.cmx gdbmi.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -package yojson -I gen_lib -I jib -o sail.cmx sail.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -package yojson -I gen_lib -I jib -o sail.cmx sail.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o slice.cmx slice.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o slice.cmx slice.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -package yojson -package linenoise -I gen_lib -I jib -o isail.cmx isail.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -package yojson -package linenoise -I gen_lib -I jib -o isail.cmx isail.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -linkpkg -g -package lem -package base64 -package pprint -package omd -package linksem -package yojson -package linenoise -package zarith -I gen_lib -I jib util.cmx sail_lib.cmx elf_loader.cmx parse_ast.cmx value.cmx ast.cmx error_format.cmx reporting.cmx ast_util.cmx parser.cmx lexer.cmx initial_check.cmx bitfield.cmx profile.cmx constraint.cmx nl_flow.cmx pattern_completeness.cmx type_check.cmx interactive.cmx pretty_print_sail.cmx type_error.cmx interpreter.cmx rewriter.cmx constant_fold.cmx graph.cmx spec_analysis.cmx constant_propagation.cmx constant_propagation_mutrec.cmx gdbmi_types.cmx gdbmi_parser.cmx gdbmi_lexer.cmx gdbmi.cmx gen_lib/sail2_instr_kinds.cmx gen_lib/sail2_values.cmx gen_lib/sail2_operators.cmx gen_lib/sail2_prompt_monad.cmx gen_lib/sail2_prompt.cmx gen_lib/sail2_operators_bitlists.cmx value2.cmx jib.cmx jib/jib_util.cmx jib/anf.cmx jib/jib_compile.cmx jib/jib_interactive.cmx jib/jib_optimize.cmx jib/c_backend.cmx jib/c_codegen.cmx jib/jib_ir.cmx jib/jib_ssa.cmx parser_combinators.cmx property.cmx smtlib.cmx jib/jib_smt.cmx jib/jib_smt_fuzz.cmx latex.cmx manifest.cmx pretty_print_common.cmx state.cmx pretty_print_lem.cmx monomorphise.cmx optimize.cmx rewrites.cmx ocaml_backend.cmx pretty_print.cmx pretty_print_coq.cmx scattered.cmx process_file.cmx specialize.cmx splice.cmx toFromInterp_backend.cmx sail.cmx slice.cmx isail.cmx -o isail.native
- + ocamlfind ocamlopt -linkpkg -g -package lem -package base64 -package pprint -package omd -package linksem -package yojson -package linenoise -package zarith -I gen_lib -I jib util.cmx sail_lib.cmx elf_loader.cmx parse_ast.cmx value.cmx ast.cmx error_format.cmx reporting.cmx ast_util.cmx parser.cmx lexer.cmx initial_check.cmx bitfield.cmx profile.cmx constraint.cmx nl_flow.cmx pattern_completeness.cmx type_check.cmx interactive.cmx pretty_print_sail.cmx type_error.cmx interpreter.cmx rewriter.cmx constant_fold.cmx graph.cmx spec_analysis.cmx constant_propagation.cmx constant_propagation_mutrec.cmx gdbmi_types.cmx gdbmi_parser.cmx gdbmi_lexer.cmx gdbmi.cmx gen_lib/sail2_instr_kinds.cmx gen_lib/sail2_values.cmx gen_lib/sail2_operators.cmx gen_lib/sail2_prompt_monad.cmx gen_lib/sail2_prompt.cmx gen_lib/sail2_operators_bitlists.cmx value2.cmx jib.cmx jib/jib_util.cmx jib/anf.cmx jib/jib_compile.cmx jib/jib_interactive.cmx jib/jib_optimize.cmx jib/c_backend.cmx jib/c_codegen.cmx jib/jib_ir.cmx jib/jib_ssa.cmx parser_combinators.cmx property.cmx smtlib.cmx jib/jib_smt.cmx jib/jib_smt_fuzz.cmx latex.cmx manifest.cmx pretty_print_common.cmx state.cmx pretty_print_lem.cmx monomorphise.cmx optimize.cmx rewrites.cmx ocaml_backend.cmx pretty_print.cmx pretty_print_coq.cmx scattered.cmx process_file.cmx specialize.cmx splice.cmx toFromInterp_backend.cmx sail.cmx slice.cmx isail.cmx -o isail.native
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o util.cmo util.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o util.cmo util.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- File "util.ml", line 129, characters 21-39:
- 129 |   let l' = List.sort Pervasives.compare l in
-                            ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "util.ml", line 337, characters 18-36:
- 337 |     let compare = Pervasives.compare
-                         ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "util.ml", line 343, characters 18-36:
- 343 |     let compare = Pervasives.compare
-                         ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "util.ml", line 374, characters 13-30:
- 374 |     let s1 = Stream.of_channel (open_in_bin file1) in
-                    ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "util.ml", line 375, characters 13-30:
- 375 |     let s2 = Stream.of_channel (open_in_bin file2) in
-                    ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "util.ml", line 376, characters 33-45:
- 376 |     let stream_is_empty s = (try Stream.empty s; true with Stream.Failure -> false) in
-                                        ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "util.ml", line 376, characters 59-73:
- 376 |     let stream_is_empty s = (try Stream.empty s; true with Stream.Failure -> false) in
-                                                                  ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "util.ml", line 378, characters 14-25:
- 378 |       while ((Stream.next s1) = (Stream.next s2)) do () done;
-                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "util.ml", line 378, characters 33-44:
- 378 |       while ((Stream.next s1) = (Stream.next s2)) do () done;
-                                        ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "util.ml", line 380, characters 9-23:
- 380 |     with Stream.Failure -> stream_is_empty s1 && stream_is_empty s2
-                ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- + ocamlfind ocamlc -a util.cmo sail_lib.cmo -o sail_lib.cma
- + ocamlfind ocamlopt -a util.cmx sail_lib.cmx -o sail_lib.cmxa
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules cgen_backend.ml > cgen_backend.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules toFromInterp_lib_mword.ml > toFromInterp_lib_mword.ml.depends
- + ocamlfind ocamldep -package lem -package base64 -package pprint -modules toFromInterp_lib_bitlist.ml > toFromInterp_lib_bitlist.ml.depends
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/anf.cmo jib/anf.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/anf.cmo jib/anf.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o ast_util.cmo ast_util.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o ast_util.cmo ast_util.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/c_backend.cmo jib/c_backend.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/c_backend.cmo jib/c_backend.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o cgen_backend.cmo cgen_backend.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o cgen_backend.cmo cgen_backend.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o constant_propagation.cmo constant_propagation.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o constant_propagation.cmo constant_propagation.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o constraint.cmo constraint.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o constraint.cmo constraint.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o graph.cmo graph.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o graph.cmo graph.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o initial_check.cmo initial_check.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o initial_check.cmo initial_check.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o interactive.cmo interactive.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o interactive.cmo interactive.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_compile.cmo jib/jib_compile.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_compile.cmo jib/jib_compile.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_optimize.cmo jib/jib_optimize.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_optimize.cmo jib/jib_optimize.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_ssa.cmo jib/jib_ssa.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_ssa.cmo jib/jib_ssa.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_smt.cmo jib/jib_smt.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_smt.cmo jib/jib_smt.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_interactive.cmo jib/jib_interactive.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I jib -I gen_lib -o jib/jib_interactive.cmo jib/jib_interactive.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o monomorphise.cmo monomorphise.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o monomorphise.cmo monomorphise.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o nl_flow.cmo nl_flow.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o nl_flow.cmo nl_flow.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o parser.cmo parser.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o parser.cmo parser.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o pattern_completeness.cmo pattern_completeness.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o pattern_completeness.cmo pattern_completeness.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o pretty_print.cmo pretty_print.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o pretty_print.cmo pretty_print.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o process_file.cmo process_file.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o process_file.cmo process_file.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o property.cmo property.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o property.cmo property.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o reporting.cmo reporting.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o reporting.cmo reporting.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o rewriter.cmo rewriter.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o rewriter.cmo rewriter.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o rewrites.cmo rewrites.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o rewrites.cmo rewrites.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o spec_analysis.cmo spec_analysis.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o spec_analysis.cmo spec_analysis.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o specialize.cmo specialize.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o specialize.cmo specialize.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o toFromInterp_lib_mword.cmo toFromInterp_lib_mword.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o toFromInterp_lib_mword.cmo toFromInterp_lib_mword.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o toFromInterp_lib_bitlist.cmo toFromInterp_lib_bitlist.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o toFromInterp_lib_bitlist.cmo toFromInterp_lib_bitlist.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o type_check.cmo type_check.ml
- + ocamlfind ocamlc -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o type_check.cmo type_check.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -a -I gen_lib -I jib parse_ast.cmo util.cmo sail_lib.cmo elf_loader.cmo value.cmo ast.cmo error_format.cmo reporting.cmo ast_util.cmo gen_lib/sail2_values.cmo jib.cmo jib/jib_util.cmo parser.cmo lexer.cmo initial_check.cmo bitfield.cmo profile.cmo constraint.cmo nl_flow.cmo pattern_completeness.cmo type_check.cmo jib/anf.cmo graph.cmo interactive.cmo pretty_print_sail.cmo type_error.cmo jib/jib_compile.cmo jib/jib_interactive.cmo jib/jib_optimize.cmo rewriter.cmo spec_analysis.cmo jib/c_backend.cmo cgen_backend.cmo interpreter.cmo constant_fold.cmo constant_propagation.cmo constant_propagation_mutrec.cmo jib/jib_ir.cmo jib/jib_ssa.cmo parser_combinators.cmo property.cmo smtlib.cmo jib/jib_smt.cmo latex.cmo manifest.cmo pretty_print_common.cmo state.cmo pretty_print_lem.cmo monomorphise.cmo optimize.cmo rewrites.cmo ocaml_backend.cmo pretty_print.cmo pretty_print_coq.cmo scattered.cmo process_file.cmo specialize.cmo toFromInterp_backend.cmo toFromInterp_lib_mword.cmo toFromInterp_lib_bitlist.cmo -o libsail.cma
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o cgen_backend.cmx cgen_backend.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o cgen_backend.cmx cgen_backend.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o toFromInterp_lib_mword.cmx toFromInterp_lib_mword.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o toFromInterp_lib_mword.cmx toFromInterp_lib_mword.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o toFromInterp_lib_bitlist.cmx toFromInterp_lib_bitlist.ml
- + ocamlfind ocamlopt -c -g -annot -bin-annot -w y -package lem -package base64 -package pprint -I gen_lib -I jib -o toFromInterp_lib_bitlist.cmx toFromInterp_lib_bitlist.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -a -I gen_lib -I jib util.cmx sail_lib.cmx elf_loader.cmx parse_ast.cmx value.cmx ast.cmx error_format.cmx reporting.cmx ast_util.cmx parser.cmx lexer.cmx initial_check.cmx bitfield.cmx profile.cmx constraint.cmx gen_lib/sail2_values.cmx jib.cmx jib/jib_util.cmx nl_flow.cmx pattern_completeness.cmx type_check.cmx jib/anf.cmx graph.cmx interactive.cmx pretty_print_sail.cmx type_error.cmx jib/jib_compile.cmx jib/jib_interactive.cmx jib/jib_optimize.cmx rewriter.cmx spec_analysis.cmx jib/c_backend.cmx cgen_backend.cmx interpreter.cmx constant_fold.cmx constant_propagation.cmx constant_propagation_mutrec.cmx jib/jib_ir.cmx jib/jib_ssa.cmx parser_combinators.cmx property.cmx smtlib.cmx jib/jib_smt.cmx latex.cmx manifest.cmx pretty_print_common.cmx state.cmx pretty_print_lem.cmx monomorphise.cmx optimize.cmx rewrites.cmx ocaml_backend.cmx pretty_print.cmx pretty_print_coq.cmx scattered.cmx process_file.cmx specialize.cmx toFromInterp_backend.cmx toFromInterp_lib_mword.cmx toFromInterp_lib_bitlist.cmx -o libsail.cmxa
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/sail.0.13/src'
- ln -f -s src/isail.native sail
-> compiled  sail.0.13
[sail: make install]
+ /usr/bin/make "INSTALL_DIR=/home/opam/.opam/default" "SHARE_DIR=/home/opam/.opam/default/share/sail" "install" (CWD=/home/opam/.opam/default/.opam-switch/build/sail.0.13)
- if [ -z "/home/opam/.opam/default/share/sail" ]; then echo SHARE_DIR is unset; false; fi
- mkdir -p /home/opam/.opam/default/bin
- cp src/isail.native /home/opam/.opam/default/bin/sail
- mkdir -p /home/opam/.opam/default/share/sail
- make -C lib/isabelle all
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/sail.0.13/lib/isabelle'
- lem -isa -outdir . -auxiliary_level none -lib ../../src/lem_interp -lib ../../src/gen_lib ../../src/gen_lib/sail2_instr_kinds.lem
- lem -isa -outdir . -auxiliary_level none -lib ../../src/lem_interp -lib ../../src/gen_lib ../../src/gen_lib/sail2_values.lem
- File "../../src/gen_lib/sail2_values.lem", line 482, character 3 to line 500, character 5
-   Warning: pattern compilation used for target isabelle
- File "../../src/gen_lib/sail2_values.lem", line 482, character 3 to line 500, character 5
-   Warning: pattern compilation used for target isabelle
- File "/home/opam/.opam/default/share/lem/library/num.lem", line 2137, character 1 to line 2137, character 43
-   Warning: compile message for constant 'Num.naturalFromInteger' and target 'isabelle'
-     x natFromNatural might fail for too big values. The values allowed are system-dependent. However, at least 30 bit should be available, i.e. all numbers up to 2^30 = 1 073 741 824 should be OK.
- lem -isa -outdir . -auxiliary_level none -lib ../../src/lem_interp -lib ../../src/gen_lib ../../src/gen_lib/sail2_operators.lem
- lem -isa -outdir . -auxiliary_level none -lib ../../src/lem_interp -lib ../../src/gen_lib ../../src/gen_lib/sail2_prompt_monad.lem
- File "../../src/gen_lib/sail2_prompt_monad.lem", line 174, character 1 to line 181, character 11
-   Warning: unused variable: 'addr_sz'
- File "../../src/gen_lib/sail2_prompt_monad.lem", line 189, character 1 to line 192, character 60
-   Warning: unused variable: 'addr_size'
- File "../../src/gen_lib/sail2_prompt_monad.lem", line 196, character 1 to line 201, character 5
-   Warning: unused variable: 'addr_size'
- File "../../src/gen_lib/sail2_prompt_monad.lem", line 82, character 1 to line 82, character 52
-   Warning: renaming 'exit' to 'exit0' for target isabelle
- lem -isa -outdir . -auxiliary_level none -lib ../../src/lem_interp -lib ../../src/gen_lib ../../src/gen_lib/sail2_prompt.lem
- lem -isa -outdir . -auxiliary_level none -lib ../../src/lem_interp -lib ../../src/gen_lib ../../src/gen_lib/sail2_operators_mwords.lem
- File "../../src/gen_lib/sail2_operators_mwords.lem", line 325, character 1 to line 326, character 53
-   Warning: unused variable: 'out_len'
- lem -isa -outdir . -auxiliary_level none -lib ../../src/lem_interp -lib ../../src/gen_lib ../../src/gen_lib/sail2_operators_bitlists.lem
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 303, character 1 to line 304, character 53
-   Warning: unused variable: 'out_len'
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 16, character 5 to line 16, character 8
-   Warning: renaming 'uint' to 'uint0' for target isabelle
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 24, character 5 to line 24, character 8
-   Warning: renaming 'sint' to 'sint0' for target isabelle
- lem -isa -outdir . -auxiliary_level none -lib ../../src/lem_interp -lib ../../src/gen_lib ../../src/gen_lib/sail2_state_monad.lem
- File "../../src/gen_lib/sail2_state_monad.lem", line 151, character 1 to line 153, character 16
-   Warning: unused variable: 'addr_size'
- File "../../src/gen_lib/sail2_state_monad.lem", line 191, character 1 to line 191, character 67
-   Warning: unused variable: 'addr_size'
- lem -isa -outdir . -auxiliary_level none -lib ../../src/lem_interp -lib ../../src/gen_lib ../../src/gen_lib/sail2_state.lem
- lem -isa -outdir . -auxiliary_level none -lib ../../src/lem_interp -lib ../../src/gen_lib ../../src/gen_lib/sail2_state_lifting.lem
- lem -isa -outdir . -auxiliary_level none -lib ../../src/lem_interp -lib ../../src/gen_lib ../../src/gen_lib/sail2_string.lem
- File "../../src/gen_lib/sail2_string.lem", line 45, character 3 to line 53, character 5
-   Warning: pattern compilation used for target isabelle
- File "../../src/gen_lib/sail2_string.lem", line 45, character 3 to line 53, character 5
-   Warning: pattern compilation used for target isabelle
- File "../../src/gen_lib/sail2_string.lem", line 62, character 7 to line 65, character 9
-   Warning: pattern compilation used for target isabelle
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/sail.0.13/lib/isabelle'
- make -C lib/hol all-scripts
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/sail.0.13/lib/hol'
- lem -hol -outdir . -auxiliary_level none -lib ../../src/lem_interp -lib ../../src/gen_lib ../../src/gen_lib/sail2_instr_kinds.lem ../../src/gen_lib/sail2_values.lem ../../src/gen_lib/sail2_operators.lem ../../src/gen_lib/sail2_operators_mwords.lem ../../src/gen_lib/sail2_operators_bitlists.lem ../../src/gen_lib/sail2_state_monad.lem ../../src/gen_lib/sail2_state.lem ../../src/gen_lib/sail2_string.lem sail2_prompt_monad.lem sail2_prompt.lem
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 303, character 1 to line 304, character 53
-   Warning: unused variable: 'out_len'
- File "../../src/gen_lib/sail2_operators_mwords.lem", line 325, character 1 to line 326, character 53
-   Warning: unused variable: 'out_len'
- File "sail2_prompt.lem", line 13, character 1 to line 13, character 37
-   Warning: unused variable: 'msg'
- File "sail2_prompt_monad.lem", line 25, character 1 to line 25, character 44
-   Warning: unused variable: 'msg'
- File "sail2_prompt_monad.lem", line 47, character 1 to line 47, character 55
-   Warning: unused variables: 'wk', 'addrsize', 'addr', 'sz'
- File "../../src/gen_lib/sail2_state_monad.lem", line 151, character 1 to line 153, character 16
-   Warning: unused variable: 'addr_size'
- File "../../src/gen_lib/sail2_state_monad.lem", line 191, character 1 to line 191, character 67
-   Warning: unused variable: 'addr_size'
- File "../../src/gen_lib/sail2_values.lem", line 482, character 3 to line 500, character 5
-   Warning: pattern compilation used for target hol
- File "/home/opam/.opam/default/share/lem/library/num.lem", line 2137, character 1 to line 2137, character 43
-   Warning: compile message for constant 'Num.naturalFromInteger' and target 'hol'
-     x natFromNatural might fail for too big values. The values allowed are system-dependent. However, at least 30 bit should be available, i.e. all numbers up to 2^30 = 1 073 741 824 should be OK.
- File "../../src/gen_lib/sail2_values.lem", line 12, character 1 to line 12, character 39
-   Warning: renaming 'pow' to 'pow0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 10, character 1 to line 10, character 43
-   Warning: renaming 'uint_maybe' to 'uint_maybe0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 12, character 5 to line 12, character 13
-   Warning: renaming 'uint_fail' to 'uint_fail0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 13, character 5 to line 13, character 15
-   Warning: renaming 'uint_nondet' to 'uint_nondet0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 18, character 1 to line 18, character 43
-   Warning: renaming 'sint_maybe' to 'sint_maybe0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 20, character 5 to line 20, character 13
-   Warning: renaming 'sint_fail' to 'sint_fail0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 21, character 5 to line 21, character 15
-   Warning: renaming 'sint_nondet' to 'sint_nondet0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 26, character 1 to line 26, character 48
-   Warning: renaming 'extz_vec' to 'extz_vec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 29, character 1 to line 29, character 48
-   Warning: renaming 'exts_vec' to 'exts_vec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 32, character 1 to line 32, character 51
-   Warning: renaming 'zero_extend' to 'zero_extend0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 35, character 1 to line 35, character 51
-   Warning: renaming 'sign_extend' to 'sign_extend0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 38, character 1 to line 38, character 32
-   Warning: renaming 'zeros' to 'zeros0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 44, character 1 to line 44, character 55
-   Warning: renaming 'vector_truncate' to 'vector_truncate0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 47, character 1 to line 47, character 58
-   Warning: renaming 'vector_truncateLSB' to 'vector_truncateLSB0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 61, character 1 to line 61, character 49
-   Warning: renaming 'access_vec_inc' to 'access_vec_inc0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 64, character 1 to line 64, character 49
-   Warning: renaming 'access_vec_dec' to 'access_vec_dec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 67, character 1 to line 67, character 62
-   Warning: renaming 'update_vec_inc' to 'update_vec_inc0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 69, character 5 to line 69, character 24
-   Warning: renaming 'update_vec_inc_maybe' to 'update_vec_inc_maybe0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 70, character 5 to line 70, character 23
-   Warning: renaming 'update_vec_inc_fail' to 'update_vec_inc_fail0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 71, character 5 to line 71, character 25
-   Warning: renaming 'update_vec_inc_nondet' to 'update_vec_inc_nondet0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 73, character 1 to line 73, character 62
-   Warning: renaming 'update_vec_dec' to 'update_vec_dec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 75, character 5 to line 75, character 24
-   Warning: renaming 'update_vec_dec_maybe' to 'update_vec_dec_maybe0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 76, character 5 to line 76, character 23
-   Warning: renaming 'update_vec_dec_fail' to 'update_vec_dec_fail0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 77, character 5 to line 77, character 25
-   Warning: renaming 'update_vec_dec_nondet' to 'update_vec_dec_nondet0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 79, character 1 to line 79, character 67
-   Warning: renaming 'subrange_vec_inc' to 'subrange_vec_inc0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 82, character 1 to line 82, character 67
-   Warning: renaming 'subrange_vec_dec' to 'subrange_vec_dec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 85, character 1 to line 85, character 87
-   Warning: renaming 'update_subrange_vec_inc' to 'update_subrange_vec_inc0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 88, character 1 to line 88, character 87
-   Warning: renaming 'update_subrange_vec_dec' to 'update_subrange_vec_dec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 91, character 1 to line 91, character 52
-   Warning: renaming 'concat_vec' to 'concat_vec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 94, character 1 to line 94, character 45
-   Warning: renaming 'cons_vec' to 'cons_vec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 96, character 5 to line 96, character 18
-   Warning: renaming 'cons_vec_maybe' to 'cons_vec_maybe0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 97, character 5 to line 97, character 17
-   Warning: renaming 'cons_vec_fail' to 'cons_vec_fail0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 98, character 5 to line 98, character 19
-   Warning: renaming 'cons_vec_nondet' to 'cons_vec_nondet0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 100, character 1 to line 100, character 37
-   Warning: renaming 'cast_unit_vec' to 'cast_unit_vec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 102, character 5 to line 102, character 23
-   Warning: renaming 'cast_unit_vec_maybe' to 'cast_unit_vec_maybe0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 103, character 5 to line 103, character 22
-   Warning: renaming 'cast_unit_vec_fail' to 'cast_unit_vec_fail0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 104, character 5 to line 104, character 24
-   Warning: renaming 'cast_unit_vec_nondet' to 'cast_unit_vec_nondet0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 106, character 1 to line 106, character 45
-   Warning: renaming 'vec_of_bit' to 'vec_of_bit0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 108, character 5 to line 108, character 20
-   Warning: renaming 'vec_of_bit_maybe' to 'vec_of_bit_maybe0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 109, character 5 to line 109, character 19
-   Warning: renaming 'vec_of_bit_fail' to 'vec_of_bit_fail0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 110, character 5 to line 110, character 21
-   Warning: renaming 'vec_of_bit_nondet' to 'vec_of_bit_nondet0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 112, character 1 to line 112, character 27
-   Warning: renaming 'msb' to 'msb0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 115, character 1 to line 115, character 57
-   Warning: renaming 'int_of_vec_maybe' to 'int_of_vec_maybe0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 117, character 5 to line 117, character 19
-   Warning: renaming 'int_of_vec_fail' to 'int_of_vec_fail0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 119, character 5 to line 119, character 14
-   Warning: renaming 'int_of_vec' to 'int_of_vec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 121, character 1 to line 121, character 40
-   Warning: renaming 'string_of_bits' to 'string_of_bits0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 124, character 1 to line 124, character 48
-   Warning: renaming 'decimal_string_of_bits' to 'decimal_string_of_bits0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 127, character 1 to line 127, character 49
-   Warning: renaming 'and_vec' to 'and_vec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 128, character 1 to line 128, character 49
-   Warning: renaming 'or_vec' to 'or_vec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 129, character 1 to line 129, character 49
-   Warning: renaming 'xor_vec' to 'xor_vec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 130, character 1 to line 130, character 36
-   Warning: renaming 'not_vec' to 'not_vec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 144, character 1 to line 144, character 51
-   Warning: renaming 'add_vec' to 'add_vec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 145, character 1 to line 145, character 51
-   Warning: renaming 'adds_vec' to 'adds_vec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 146, character 1 to line 146, character 51
-   Warning: renaming 'sub_vec' to 'sub_vec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 147, character 1 to line 147, character 51
-   Warning: renaming 'subs_vec' to 'subs_vec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 148, character 1 to line 148, character 51
-   Warning: renaming 'mult_vec' to 'mult_vec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 149, character 1 to line 149, character 51
-   Warning: renaming 'mults_vec' to 'mults_vec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 157, character 1 to line 157, character 57
-   Warning: renaming 'add_vec_int' to 'add_vec_int0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 158, character 1 to line 158, character 57
-   Warning: renaming 'sub_vec_int' to 'sub_vec_int0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 159, character 1 to line 159, character 57
-   Warning: renaming 'mult_vec_int' to 'mult_vec_int0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 164, character 1 to line 164, character 57
-   Warning: renaming 'add_int_vec' to 'add_int_vec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 165, character 1 to line 165, character 57
-   Warning: renaming 'sub_int_vec' to 'sub_int_vec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 166, character 1 to line 166, character 57
-   Warning: renaming 'mult_int_vec' to 'mult_int_vec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 176, character 5 to line 176, character 16
-   Warning: renaming 'add_vec_bool' to 'add_vec_bool0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 177, character 5 to line 177, character 21
-   Warning: renaming 'add_vec_bit_maybe' to 'add_vec_bit_maybe0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 178, character 5 to line 178, character 20
-   Warning: renaming 'add_vec_bit_fail' to 'add_vec_bit_fail0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 179, character 5 to line 179, character 22
-   Warning: renaming 'add_vec_bit_nondet' to 'add_vec_bit_nondet0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 171, character 1 to line 171, character 53
-   Warning: renaming 'add_vec_bit' to 'add_vec_bit0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 182, character 5 to line 182, character 17
-   Warning: renaming 'adds_vec_bool' to 'adds_vec_bool0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 183, character 5 to line 183, character 22
-   Warning: renaming 'adds_vec_bit_maybe' to 'adds_vec_bit_maybe0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 184, character 5 to line 184, character 21
-   Warning: renaming 'adds_vec_bit_fail' to 'adds_vec_bit_fail0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 185, character 5 to line 185, character 23
-   Warning: renaming 'adds_vec_bit_nondet' to 'adds_vec_bit_nondet0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 172, character 1 to line 172, character 53
-   Warning: renaming 'adds_vec_bit' to 'adds_vec_bit0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 188, character 5 to line 188, character 16
-   Warning: renaming 'sub_vec_bool' to 'sub_vec_bool0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 189, character 5 to line 189, character 21
-   Warning: renaming 'sub_vec_bit_maybe' to 'sub_vec_bit_maybe0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 190, character 5 to line 190, character 20
-   Warning: renaming 'sub_vec_bit_fail' to 'sub_vec_bit_fail0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 191, character 5 to line 191, character 22
-   Warning: renaming 'sub_vec_bit_nondet' to 'sub_vec_bit_nondet0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 173, character 1 to line 173, character 53
-   Warning: renaming 'sub_vec_bit' to 'sub_vec_bit0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 194, character 5 to line 194, character 17
-   Warning: renaming 'subs_vec_bool' to 'subs_vec_bool0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 195, character 5 to line 195, character 22
-   Warning: renaming 'subs_vec_bit_maybe' to 'subs_vec_bit_maybe0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 196, character 5 to line 196, character 21
-   Warning: renaming 'subs_vec_bit_fail' to 'subs_vec_bit_fail0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 197, character 5 to line 197, character 23
-   Warning: renaming 'subs_vec_bit_nondet' to 'subs_vec_bit_nondet0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 174, character 1 to line 174, character 53
-   Warning: renaming 'subs_vec_bit' to 'subs_vec_bit0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 222, character 1 to line 222, character 52
-   Warning: renaming 'shiftl' to 'shiftl0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 223, character 1 to line 223, character 52
-   Warning: renaming 'shiftr' to 'shiftr0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 224, character 1 to line 224, character 52
-   Warning: renaming 'arith_shiftr' to 'arith_shiftr0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 225, character 1 to line 225, character 52
-   Warning: renaming 'rotl' to 'rotl0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 226, character 1 to line 226, character 52
-   Warning: renaming 'rotr' to 'rotr0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 233, character 1 to line 233, character 56
-   Warning: renaming 'mod_vec' to 'mod_vec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 234, character 1 to line 234, character 64
-   Warning: renaming 'mod_vec_maybe' to 'mod_vec_maybe0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 235, character 1 to line 235, character 86
-   Warning: renaming 'mod_vec_fail' to 'mod_vec_fail0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 236, character 1 to line 236, character 86
-   Warning: renaming 'mod_vec_nondet' to 'mod_vec_nondet0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 242, character 1 to line 242, character 57
-   Warning: renaming 'quot_vec' to 'quot_vec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 243, character 1 to line 243, character 65
-   Warning: renaming 'quot_vec_maybe' to 'quot_vec_maybe0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 244, character 1 to line 244, character 87
-   Warning: renaming 'quot_vec_fail' to 'quot_vec_fail0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 245, character 1 to line 245, character 87
-   Warning: renaming 'quot_vec_nondet' to 'quot_vec_nondet0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 251, character 1 to line 251, character 58
-   Warning: renaming 'quots_vec' to 'quots_vec0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 252, character 1 to line 252, character 66
-   Warning: renaming 'quots_vec_maybe' to 'quots_vec_maybe0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 253, character 1 to line 253, character 88
-   Warning: renaming 'quots_vec_fail' to 'quots_vec_fail0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 254, character 1 to line 254, character 88
-   Warning: renaming 'quots_vec_nondet' to 'quots_vec_nondet0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 260, character 1 to line 260, character 58
-   Warning: renaming 'mod_vec_int' to 'mod_vec_int0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 261, character 1 to line 261, character 66
-   Warning: renaming 'mod_vec_int_maybe' to 'mod_vec_int_maybe0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 262, character 1 to line 262, character 88
-   Warning: renaming 'mod_vec_int_fail' to 'mod_vec_int_fail0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 263, character 1 to line 263, character 88
-   Warning: renaming 'mod_vec_int_nondet' to 'mod_vec_int_nondet0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 269, character 1 to line 269, character 59
-   Warning: renaming 'quot_vec_int' to 'quot_vec_int0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 270, character 1 to line 270, character 67
-   Warning: renaming 'quot_vec_int_maybe' to 'quot_vec_int_maybe0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 271, character 1 to line 271, character 89
-   Warning: renaming 'quot_vec_int_fail' to 'quot_vec_int_fail0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 272, character 1 to line 272, character 89
-   Warning: renaming 'quot_vec_int_nondet' to 'quot_vec_int_nondet0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 278, character 1 to line 278, character 54
-   Warning: renaming 'replicate_bits' to 'replicate_bits0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 281, character 1 to line 281, character 44
-   Warning: renaming 'duplicate' to 'duplicate0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 283, character 5 to line 283, character 19
-   Warning: renaming 'duplicate_maybe' to 'duplicate_maybe0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 284, character 5 to line 284, character 18
-   Warning: renaming 'duplicate_fail' to 'duplicate_fail0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 285, character 5 to line 285, character 20
-   Warning: renaming 'duplicate_nondet' to 'duplicate_nondet0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 289, character 1 to line 289, character 47
-   Warning: renaming 'reverse_endianness' to 'reverse_endianness0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 292, character 1 to line 292, character 62
-   Warning: renaming 'get_slice_int' to 'get_slice_int0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 295, character 1 to line 295, character 73
-   Warning: renaming 'set_slice_int' to 'set_slice_int0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 298, character 1 to line 298, character 56
-   Warning: renaming 'slice' to 'slice0' for target hol
- File "../../src/gen_lib/sail2_operators_bitlists.lem", line 302, character 1 to line 302, character 84
-   Warning: renaming 'set_slice' to 'set_slice0' for target hol
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/sail.0.13/lib/hol'
- cp -r lib /home/opam/.opam/default/share/sail
- mkdir -p /home/opam/.opam/default/share/sail/src
- cp src/elf_loader.ml /home/opam/.opam/default/share/sail/src
- cp src/sail_lib.ml /home/opam/.opam/default/share/sail/src
- cp src/util.ml /home/opam/.opam/default/share/sail/src
- cp -r src/gen_lib /home/opam/.opam/default/share/sail/src
- cp -r src/lem_interp /home/opam/.opam/default/share/sail/src
- /usr/bin/make install_libsail
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/sail.0.13'
- /usr/bin/make uninstall_libsail
- make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/sail.0.13'
- ocamlfind remove sail
- ocamlfind: [WARNING] No such file: /home/opam/.opam/default/lib/sail/META
- make[2]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/sail.0.13'
- ocamlfind install sail src/META src/_build/libsail.* $(find src/_build \( -name '*.mli' -or -name '*.cmi' -or -name '*.cmx' \) -and -not -name 'myocamlbuild.*')
- Installed /home/opam/.opam/default/lib/sail/specialize.mli
- Installed /home/opam/.opam/default/lib/sail/interpreter.cmx
- Installed /home/opam/.opam/default/lib/sail/parser.cmi
- Installed /home/opam/.opam/default/lib/sail/initial_check.cmx
- Installed /home/opam/.opam/default/lib/sail/value.cmx
- Installed /home/opam/.opam/default/lib/sail/parser_combinators.cmi
- Installed /home/opam/.opam/default/lib/sail/pretty_print_sail.cmx
- Installed /home/opam/.opam/default/lib/sail/spec_analysis.cmi
- Installed /home/opam/.opam/default/lib/sail/isail.cmx
- Installed /home/opam/.opam/default/lib/sail/value.cmi
- Installed /home/opam/.opam/default/lib/sail/pattern_completeness.cmi
- Installed /home/opam/.opam/default/lib/sail/manifest.cmi
- Installed /home/opam/.opam/default/lib/sail/gdbmi_types.cmx
- Installed /home/opam/.opam/default/lib/sail/monomorphise.cmi
- Installed /home/opam/.opam/default/lib/sail/latex.cmi
- Installed /home/opam/.opam/default/lib/sail/ast.cmi
- Installed /home/opam/.opam/default/lib/sail/value2.cmi
- Installed /home/opam/.opam/default/lib/sail/pretty_print.mli
- Installed /home/opam/.opam/default/lib/sail/type_check.cmx
- Installed /home/opam/.opam/default/lib/sail/interactive.cmi
- Installed /home/opam/.opam/default/lib/sail/rewrites.cmi
- Installed /home/opam/.opam/default/lib/sail/initial_check.mli
- Installed /home/opam/.opam/default/lib/sail/property.cmx
- Installed /home/opam/.opam/default/lib/sail/property.cmi
- Installed /home/opam/.opam/default/lib/sail/initial_check.cmi
- Installed /home/opam/.opam/default/lib/sail/optimize.cmx
- Installed /home/opam/.opam/default/lib/sail/type_check.mli
- Installed /home/opam/.opam/default/lib/sail/spec_analysis.mli
- Installed /home/opam/.opam/default/lib/sail/spec_analysis.cmx
- Installed /home/opam/.opam/default/lib/sail/ast_util.cmi
- Installed /home/opam/.opam/default/lib/sail/constant_propagation.mli
- Installed /home/opam/.opam/default/lib/sail/manifest.cmx
- Installed /home/opam/.opam/default/lib/sail/constant_propagation.cmx
- Installed /home/opam/.opam/default/lib/sail/lexer.cmx
- Installed /home/opam/.opam/default/lib/sail/util.mli
- Installed /home/opam/.opam/default/lib/sail/util.cmx
- Installed /home/opam/.opam/default/lib/sail/constraint.cmx
- Installed /home/opam/.opam/default/lib/sail/specialize.cmi
- Installed /home/opam/.opam/default/lib/sail/interactive.mli
- Installed /home/opam/.opam/default/lib/sail/pretty_print_common.cmi
- Installed /home/opam/.opam/default/lib/sail/parser_combinators.cmx
- Installed /home/opam/.opam/default/lib/sail/lexer.cmi
- Installed /home/opam/.opam/default/lib/sail/constant_propagation_mutrec.cmx
- Installed /home/opam/.opam/default/lib/sail/monomorphise.mli
- Installed /home/opam/.opam/default/lib/sail/slice.mli
- Installed /home/opam/.opam/default/lib/sail/pretty_print.cmi
- Installed /home/opam/.opam/default/lib/sail/constant_fold.cmi
- Installed /home/opam/.opam/default/lib/sail/type_error.cmi
- Installed /home/opam/.opam/default/lib/sail/state.cmi
- Installed /home/opam/.opam/default/lib/sail/optimize.cmi
- Installed /home/opam/.opam/default/lib/sail/pattern_completeness.mli
- Installed /home/opam/.opam/default/lib/sail/elf_loader.cmi
- Installed /home/opam/.opam/default/lib/sail/ast_util.cmx
- Installed /home/opam/.opam/default/lib/sail/reporting.cmx
- Installed /home/opam/.opam/default/lib/sail/rewriter.mli
- Installed /home/opam/.opam/default/lib/sail/latex.cmx
- Installed /home/opam/.opam/default/lib/sail/smtlib.cmi
- Installed /home/opam/.opam/default/lib/sail/value2.cmx
- Installed /home/opam/.opam/default/lib/sail/interpreter.cmi
- Installed /home/opam/.opam/default/lib/sail/error_format.cmi
- Installed /home/opam/.opam/default/lib/sail/scattered.cmi
- Installed /home/opam/.opam/default/lib/sail/process_file.mli
- Installed /home/opam/.opam/default/lib/sail/sail2_prompt_monad.cmx
- Installed /home/opam/.opam/default/lib/sail/sail2_prompt_monad.cmi
- Installed /home/opam/.opam/default/lib/sail/sail2_operators.cmi
- Installed /home/opam/.opam/default/lib/sail/sail2_values.cmx
- Installed /home/opam/.opam/default/lib/sail/sail2_prompt.cmi
- Installed /home/opam/.opam/default/lib/sail/sail2_operators_bitlists.cmi
- Installed /home/opam/.opam/default/lib/sail/sail2_operators.cmx
- Installed /home/opam/.opam/default/lib/sail/sail2_operators_bitlists.cmx
- Installed /home/opam/.opam/default/lib/sail/sail2_values.cmi
- Installed /home/opam/.opam/default/lib/sail/sail2_instr_kinds.cmx
- Installed /home/opam/.opam/default/lib/sail/sail2_prompt.cmx
- Installed /home/opam/.opam/default/lib/sail/sail2_instr_kinds.cmi
- Installed /home/opam/.opam/default/lib/sail/gdbmi.cmi
- Installed /home/opam/.opam/default/lib/sail/toFromInterp_lib_mword.cmx
- Installed /home/opam/.opam/default/lib/sail/slice.cmx
- Installed /home/opam/.opam/default/lib/sail/bitfield.cmi
- Installed /home/opam/.opam/default/lib/sail/toFromInterp_lib_mword.cmi
- Installed /home/opam/.opam/default/lib/sail/process_file.cmi
- Installed /home/opam/.opam/default/lib/sail/specialize.cmx
- Installed /home/opam/.opam/default/lib/sail/elf_loader.cmx
- Installed /home/opam/.opam/default/lib/sail/reporting.mli
- Installed /home/opam/.opam/default/lib/sail/type_error.cmx
- Installed /home/opam/.opam/default/lib/sail/property.mli
- Installed /home/opam/.opam/default/lib/sail/pretty_print.cmx
- Installed /home/opam/.opam/default/lib/sail/graph.mli
- Installed /home/opam/.opam/default/lib/sail/pretty_print_coq.cmx
- Installed /home/opam/.opam/default/lib/sail/ast.cmx
- Installed /home/opam/.opam/default/lib/sail/toFromInterp_backend.cmx
- Installed /home/opam/.opam/default/lib/sail/monomorphise.cmx
- Installed /home/opam/.opam/default/lib/sail/ast_util.mli
- Installed /home/opam/.opam/default/lib/sail/jib_interactive.mli
- Installed /home/opam/.opam/default/lib/sail/anf.mli
- Installed /home/opam/.opam/default/lib/sail/c_backend.cmx
- Installed /home/opam/.opam/default/lib/sail/jib_interactive.cmx
- Installed /home/opam/.opam/default/lib/sail/jib_smt.cmx
- Installed /home/opam/.opam/default/lib/sail/c_codegen.cmi
- Installed /home/opam/.opam/default/lib/sail/jib_ir.cmx
- Installed /home/opam/.opam/default/lib/sail/jib_ssa.mli
- Installed /home/opam/.opam/default/lib/sail/anf.cmi
- Installed /home/opam/.opam/default/lib/sail/jib_optimize.mli
- Installed /home/opam/.opam/default/lib/sail/jib_ssa.cmx
- Installed /home/opam/.opam/default/lib/sail/jib_ir.cmi
- Installed /home/opam/.opam/default/lib/sail/c_backend.mli
- Installed /home/opam/.opam/default/lib/sail/jib_optimize.cmx
- Installed /home/opam/.opam/default/lib/sail/jib_smt.cmi
- Installed /home/opam/.opam/default/lib/sail/jib_util.cmx
- Installed /home/opam/.opam/default/lib/sail/jib_compile.cmi
- Installed /home/opam/.opam/default/lib/sail/jib_ssa.cmi
- Installed /home/opam/.opam/default/lib/sail/jib_smt_fuzz.cmx
- Installed /home/opam/.opam/default/lib/sail/c_backend.cmi
- Installed /home/opam/.opam/default/lib/sail/c_codegen.cmx
- Installed /home/opam/.opam/default/lib/sail/anf.cmx
- Installed /home/opam/.opam/default/lib/sail/jib_smt_fuzz.cmi
- Installed /home/opam/.opam/default/lib/sail/jib_util.cmi
- Installed /home/opam/.opam/default/lib/sail/jib_optimize.cmi
- Installed /home/opam/.opam/default/lib/sail/jib_interactive.cmi
- Installed /home/opam/.opam/default/lib/sail/jib_smt.mli
- Installed /home/opam/.opam/default/lib/sail/jib_compile.mli
- Installed /home/opam/.opam/default/lib/sail/jib_compile.cmx
- Installed /home/opam/.opam/default/lib/sail/gdbmi_types.cmi
- Installed /home/opam/.opam/default/lib/sail/gdbmi_lexer.cmi
- Installed /home/opam/.opam/default/lib/sail/cgen_backend.cmi
- Installed /home/opam/.opam/default/lib/sail/splice.cmi
- Installed /home/opam/.opam/default/lib/sail/util.cmi
- Installed /home/opam/.opam/default/lib/sail/process_file.cmx
- Installed /home/opam/.opam/default/lib/sail/toFromInterp_lib_bitlist.cmi
- Installed /home/opam/.opam/default/lib/sail/gdbmi_parser.cmi
- Installed /home/opam/.opam/default/lib/sail/gdbmi_parser.mli
- Installed /home/opam/.opam/default/lib/sail/sail.cmi
- Installed /home/opam/.opam/default/lib/sail/nl_flow.mli
- Installed /home/opam/.opam/default/lib/sail/bitfield.cmx
- Installed /home/opam/.opam/default/lib/sail/parse_ast.cmi
- Installed /home/opam/.opam/default/lib/sail/nl_flow.cmi
- Installed /home/opam/.opam/default/lib/sail/slice.cmi
- Installed /home/opam/.opam/default/lib/sail/constraint.cmi
- Installed /home/opam/.opam/default/lib/sail/cgen_backend.cmx
- Installed /home/opam/.opam/default/lib/sail/scattered.cmx
- Installed /home/opam/.opam/default/lib/sail/constant_propagation_mutrec.cmi
- Installed /home/opam/.opam/default/lib/sail/toFromInterp_lib_bitlist.cmx
- Installed /home/opam/.opam/default/lib/sail/sail.cmx
- Installed /home/opam/.opam/default/lib/sail/error_format.cmx
- Installed /home/opam/.opam/default/lib/sail/interactive.cmx
- Installed /home/opam/.opam/default/lib/sail/gdbmi_parser.cmx
- Installed /home/opam/.opam/default/lib/sail/ocaml_backend.cmx
- Installed /home/opam/.opam/default/lib/sail/state.cmx
- Installed /home/opam/.opam/default/lib/sail/profile.cmx
- Installed /home/opam/.opam/default/lib/sail/sail_lib.cmi
- Installed /home/opam/.opam/default/lib/sail/reporting.cmi
- Installed /home/opam/.opam/default/lib/sail/constant_fold.cmx
- Installed /home/opam/.opam/default/lib/sail/rewriter.cmi
- Installed /home/opam/.opam/default/lib/sail/type_check.cmi
- Installed /home/opam/.opam/default/lib/sail/pattern_completeness.cmx
- Installed /home/opam/.opam/default/lib/sail/jib.cmx
- Installed /home/opam/.opam/default/lib/sail/graph.cmx
- Installed /home/opam/.opam/default/lib/sail/jib.cmi
- Installed /home/opam/.opam/default/lib/sail/parser.mli
- Installed /home/opam/.opam/default/lib/sail/parser.cmx
- Installed /home/opam/.opam/default/lib/sail/rewrites.mli
- Installed /home/opam/.opam/default/lib/sail/constraint.mli
- Installed /home/opam/.opam/default/lib/sail/rewriter.cmx
- Installed /home/opam/.opam/default/lib/sail/graph.cmi
- Installed /home/opam/.opam/default/lib/sail/isail.cmi
- Installed /home/opam/.opam/default/lib/sail/pretty_print_lem.cmi
- Installed /home/opam/.opam/default/lib/sail/rewrites.cmx
- Installed /home/opam/.opam/default/lib/sail/gdbmi.cmx
- Installed /home/opam/.opam/default/lib/sail/splice.cmx
- Installed /home/opam/.opam/default/lib/sail/profile.cmi
- Installed /home/opam/.opam/default/lib/sail/pretty_print_coq.cmi
- Installed /home/opam/.opam/default/lib/sail/parse_ast.cmx
- Installed /home/opam/.opam/default/lib/sail/toFromInterp_backend.cmi
- Installed /home/opam/.opam/default/lib/sail/ocaml_backend.cmi
- Installed /home/opam/.opam/default/lib/sail/gdbmi_lexer.cmx
- Installed /home/opam/.opam/default/lib/sail/smtlib.cmx
- Installed /home/opam/.opam/default/lib/sail/constant_propagation.cmi
- Installed /home/opam/.opam/default/lib/sail/pretty_print_sail.cmi
- Installed /home/opam/.opam/default/lib/sail/pretty_print_common.cmx
- Installed /home/opam/.opam/default/lib/sail/pretty_print_lem.cmx
- Installed /home/opam/.opam/default/lib/sail/sail_lib.cmx
- Installed /home/opam/.opam/default/lib/sail/nl_flow.cmx
- Installed /home/opam/.opam/default/lib/sail/libsail.mllib
- Installed /home/opam/.opam/default/lib/sail/libsail.cmxa
- Installed /home/opam/.opam/default/lib/sail/libsail.cma
- Installed /home/opam/.opam/default/lib/sail/libsail.a
- Installed /home/opam/.opam/default/lib/sail/META
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/sail.0.13'
-> installed sail.0.13
[WARNING] Opam packages conf-pkg-config.5 and conf-zlib.1 depend on the following system packages that are no longer installed: pkg-config zlib1g-dev
  - conf-pkg-config.5: depends on pkg-config
  - conf-zlib.1: depends on zlib1g-dev

=== STDERR ===

2026-06-24 16:06.57: OK: build sail.0.13 (runc: 270.7s, disk: 254KB)
2026-06-24 16:06.57: Job succeeded