<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Hi!<br>
<br>
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 on Ubuntu 14.10 then you
need to patch git submodules:<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>
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>
16.05.2015 05:15, S Kn пишет:<br>
</div>
<blockquote
cite="mid:CAEDDBoAxQejmiPT+p6+gzc_yZJWWV64jN2uh6pd28DPuwMn5rA@mail.gmail.com"
type="cite">
<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>
<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>