Fails to build with ocamlc 4.04

[tavianator]

With ocamlc 4.04.1, I get errors like this:

File "src/libraries/datatype/datatype.ml", line 775, characters 0-287:
Warning 60: unused module Pair_name.
File "src/libraries/datatype/datatype.ml", line 1245, characters 0-25:
Warning 60: unused module Caml_array.
File "src/libraries/datatype/datatype.ml", line 1925, characters 0-24:
Warning 60: unused module Big_int.
File "src/libraries/datatype/datatype.ml", line 1970, characters 0-364:
Warning 60: unused module Triple_name.
File "src/libraries/datatype/datatype.ml", line 2073, characters 0-438:
Warning 60: unused module Quadruple_name.
File "src/libraries/datatype/datatype.ml", line 1:
Error: Some fatal warnings were triggered (5 occurrences)

...

Ocamlc       src/kernel_services/plugin_entry_points/db.cmo
File "src/kernel_services/plugin_entry_points/db.ml", line 1:
Error: The implementation src/kernel_services/plugin_entry_points/db.ml
       does not match the interface src/kernel_services/plugin_entry_points/db.cmi:
       ...
       In module Properties.Interp.To_zone:
       Values do not match:
         val mk_ctx_func_contrat : (Cil_types.kernel_function -> '_a) ref
       is not included in
         val mk_ctx_func_contrat :
           (Cil_types.kernel_function -> state_opt:bool option -> t_ctx) ref
       File "src/kernel_services/plugin_entry_points/db.ml", line 1162, characters 10-29:
         Actual declaration
make: *** [share/Makefile.generic:78: src/kernel_services/plugin_entry_points/db.cmo] Error 2

The first one is easy to work around with -warn-error -a, but the second one probably requires this fix.

[pascal-cuoq]

Hello,

please see if you manage to compile https://github.com/TrustInSoft/tis-kernel . The dependencies are the same as tis-interpreter, except that it supports more recent OCaml versions. You'll find TIS Interpreter inside the tis-interpreter directory.

Sorry, I'm being informed that tis-kernel has not been adapted to compile with OCaml 4.04 yet either. We still use OCaml 4.03.

[pascal-cuoq]

fwiw this Travis CI configuration file contains commands to install OCaml 4.03 in a separate directory (it uses $HOME/tis-kernel-opam).