[ldv-project] An error of batHashtbl.ml when compiling LDV tools

[白家驹]

Dear sir,

I have downloaded LDV tools and want to compile it.
http://forge.ispras.ru/projects/ldv/wiki/Downloading_and_Building_LDV

when I run 'make console-tools', I get an error:

RI doesn't require build itself
make[1]: Leaving directory `/home/bai/MyProject/ldv-tools/ri'
make -C dscv all
make[1]: Entering directory `/home/bai/MyProject/ldv-tools/dscv'
make -C rcv all
make[2]: Entering directory `/home/bai/MyProject/ldv-tools/dscv/rcv'
prefix=/dscv/rcv/backends/blast make -C backends/blast all
make[3]: Entering directory `/home/bai/MyProject/ldv-tools/dscv/rcv/backends/blast'
make -C blast all
make[4]: Entering directory `/home/bai/MyProject/ldv-tools/dscv/rcv/backends/blast/blast'
making /home/bai/MyProject/ldv-tools/dscv/rcv/backends/blast/blast/include/utils /home/bai/MyProject/ldv-tools/dscv/rcv/backends/blast/blast/lib/libutils.cma /home/bai/MyProject/ldv-tools/dscv/rcv/backends/blast/blast/lib/libutils.cmxa /home/bai/MyProject/ldv-tools/dscv/rcv/backends/blast/blast/lib/libutils.a
make[5]: Entering directory `/home/bai/MyProject/ldv-tools/dscv/rcv/backends/blast/utils'
Compiling (to byte code) OCAML module batHashtbl.ml
ocamlc -dtypes -I /home/bai/MyProject/ldv-tools/dscv/rcv/backends/blast/blast/include/caddie -I /home/bai/MyProject/ldv-tools/dscv/rcv/backends/blast/blast/include/vampyre -I /home/bai/MyProject/ldv-tools/dscv/rcv/backends/blast/blast/include/foci -I /home/bai/MyProject/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
make[5]: *** [batHashtbl.cmo] Error 2
make[5]: Leaving directory `/home/bai/MyProject/ldv-tools/dscv/rcv/backends/blast/utils'
make[4]: *** [/home/bai/MyProject/ldv-tools/dscv/rcv/backends/blast/blast/include/utils] Error 2
make[4]: Leaving directory `/home/bai/MyProject/ldv-tools/dscv/rcv/backends/blast/blast'
make[3]: *** [all] Error 2
make[3]: Leaving directory `/home/bai/MyProject/ldv-tools/dscv/rcv/backends/blast'
make[2]: *** [backends/blast-subdir-all] Error 2
make[2]: Leaving directory `/home/bai/MyProject/ldv-tools/dscv/rcv'
make[1]: *** [rcv-subdir-all] Error 2
make[1]: Leaving directory `/home/bai/MyProject/ldv-tools/dscv'
make: *** [dscv-subdir-all] Error 2

Could you give me some help?

Jia-Ju Bai



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://linuxtesting.org/pipermail/ldv-project/attachments/20150609/90aac649/attachment.html>