<div dir="ltr"><div>Hi,<br><br>I am trying to build Linux driver verification console tools in ubutu 14.10. But it fails with the following error message. I think its related to OCAML version number. According to readme file, LDV expects ocaml version between 3.10 - 3.11. But Ubuntu 14.10 only has packages above 4.0. When I tried to install earlier versions, I am getting lot of dependency errors. <br><br></div>Do you have any way to make it work on Ubuntu 14.10 ?<br><div><br><div><br>make[4]: Entering directory `/var/work/CodeBase/linux/tools/ldv-tools/dscv/rcv/backends/blast/blast'<br>making /var/work/CodeBase/linux/tools/ldv-tools/dscv/rcv/backends/blast/blast/include/utils /var/work/CodeBase/linux/tools/ldv-tools/dscv/rcv/backends/blast/blast/lib/libutils.cma /var/work/CodeBase/linux/tools/ldv-tools/dscv/rcv/backends/blast/blast/lib/libutils.cmxa /var/work/CodeBase/linux/tools/ldv-tools/dscv/rcv/backends/blast/blast/lib/libutils.a <br>make[5]: Entering directory `/var/work/CodeBase/linux/tools/ldv-tools/dscv/rcv/backends/blast/utils'<br>Compiling (to byte code) OCAML module batHashtbl.ml<br>ocamlc -dtypes -I /var/work/CodeBase/linux/tools/ldv-tools/dscv/rcv/backends/blast/blast/include/caddie -I /var/work/CodeBase/linux/tools/ldv-tools/dscv/rcv/backends/blast/blast/include/vampyre -I /var/work/CodeBase/linux/tools/ldv-tools/dscv/rcv/backends/blast/blast/include/foci -I /var/work/CodeBase/linux/tools/ldv-tools/dscv/rcv/backends/blast/blast/include/cil  -c batHashtbl.ml -o batHashtbl.cmo<br>File "batHashtbl.ml", line 1:<br>Error: The implementation batHashtbl.ml<br>       does not match the interface batHashtbl.cmi:<br>       Values do not match:<br>         val create : ?random:bool -> int -> ('a, 'b) Hashtbl.t<br>       is not included in<br>         val create : int -> ('a, 'b) t<br>       File "batHashtbl.ml", line 31, characters 8-14: Actual declaration<br><br></div></div></div>