<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Hi Jia-Ju!<br>
<br>
If you want just to run LDV-Tools then the best way is to use
Docker images see our <strong><a
href="http://forge.ispras.ru/projects/ldv/wiki/LDV_Tools_in_Docker">LDV
Tools in Docker instructions</a>.<br>
</strong><br>
If you want to compile LDV-Tools yourself you need to install
correct versions of dependences, see INSTALL file.<br>
It looks like you are using newer version of ocaml. If you still
want to use it please patch the sources:<br>
<br>
1. for ocaml 4.01<br>
1.1 dscv/rcv/backends/blast - goto the submodule and apply the
patch blast-Fix-hashtable-interface.patch<br>
1.2 dscv/rcv/cil - goto the submodule and apply the patch
cil-ocaml.patch<br>
<br>
You may also have the newer version of gcc:<br>
2. for gcc 4.8.2<br>
2.1 ri/cif/aspectator - goto the submodule and apply the patch
aspectator-gcc.patch<br>
<br>
Best,<br>
Vadim<br>
<br>
09.06.2015 11:56, 白家驹 пишет:<br>
</div>
<blockquote
cite="mid:40c41d78.9c61.14dd78951d6.Coremail.bjj13@mails.tsinghua.edu.cn"
type="cite">Dear sir,<br>
<br>
I have downloaded LDV tools and want to compile it.<br>
<a class="moz-txt-link-freetext" href="http://forge.ispras.ru/projects/ldv/wiki/Downloading_and_Building_LDV">http://forge.ispras.ru/projects/ldv/wiki/Downloading_and_Building_LDV</a><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/b
ai/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>
&n bsp; 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>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
ldv-project mailing list
<a class="moz-txt-link-abbreviated" href="mailto:ldv-project@linuxtesting.org">ldv-project@linuxtesting.org</a>
<a class="moz-txt-link-freetext" href="http://linuxtesting.org/cgi-bin/mailman/listinfo/ldv-project">http://linuxtesting.org/cgi-bin/mailman/listinfo/ldv-project</a>
</pre>
</blockquote>
<br>
</body>
</html>