Dear sir,<br><br>I have downloaded LDV tools and want to compile it.<br>http://forge.ispras.ru/projects/ldv/wiki/Downloading_and_Building_LDV<br><br>when I run 'make console-tools', I get an error:<br><br>RI doesn't require build itself<br>make[1]: Leaving directory `/home/bai/MyProject/ldv-tools/ri'<br>make -C dscv all<br>make[1]: Entering directory `/home/bai/MyProject/ldv-tools/dscv'<br>make -C rcv all<br>make[2]: Entering directory `/home/bai/MyProject/ldv-tools/dscv/rcv'<br>prefix=/dscv/rcv/backends/blast make -C backends/blast all<br>make[3]: Entering directory `/home/bai/MyProject/ldv-tools/dscv/rcv/backends/blast'<br>make -C blast all<br>make[4]: Entering directory `/home/bai/MyProject/ldv-tools/dscv/rcv/backends/blast/blast'<br>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 <br>make[5]: Entering directory `/home/bai/MyProject/ldv-tools/dscv/rcv/backends/blast/utils'<br>Compiling (to byte code) OCAML module batHashtbl.ml<br>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<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>make[5]: *** [batHashtbl.cmo] Error 2<br>make[5]: Leaving directory `/home/bai/MyProject/ldv-tools/dscv/rcv/backends/blast/utils'<br>make[4]: *** [/home/bai/MyProject/ldv-tools/dscv/rcv/backends/blast/blast/include/utils] Error 2<br>make[4]: Leaving directory `/home/bai/MyProject/ldv-tools/dscv/rcv/backends/blast/blast'<br>make[3]: *** [all] Error 2<br>make[3]: Leaving directory `/home/bai/MyProject/ldv-tools/dscv/rcv/backends/blast'<br>make[2]: *** [backends/blast-subdir-all] Error 2<br>make[2]: Leaving directory `/home/bai/MyProject/ldv-tools/dscv/rcv'<br>make[1]: *** [rcv-subdir-all] Error 2<br>make[1]: Leaving directory `/home/bai/MyProject/ldv-tools/dscv'<br>make: *** [dscv-subdir-all] Error 2<br><br>Could you give me some help?<br><br>Jia-Ju Bai<br><br><br><br>