[ldv-project] build error in batHashtbl.ml

[S Kn]

Hi,

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.

Do you have any way to make it work on Ubuntu 14.10 ?


make[4]: Entering directory
`/var/work/CodeBase/linux/tools/ldv-tools/dscv/rcv/backends/blast/blast'
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

make[5]: Entering directory
`/var/work/CodeBase/linux/tools/ldv-tools/dscv/rcv/backends/blast/utils'
Compiling (to byte code) OCAML module batHashtbl.ml
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
File "batHashtbl.ml", line 1:
Error: The implementation batHashtbl.ml
       does not match the interface batHashtbl.cmi:
       Values do not match:
         val create : ?random:bool -> int -> ('a, 'b) Hashtbl.t
       is not included in
         val create : int -> ('a, 'b) t
       File "batHashtbl.ml", line 31, characters 8-14: Actual declaration
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://linuxtesting.org/pipermail/ldv-project/attachments/20150515/d4c51ef7/attachment.html>