[ldv-project] build error in batHashtbl.ml

[Vadim Mutilin]

Hi!

The best way is to use Docker images see our *LDV Tools in Docker 
instructions <http://forge.ispras.ru/projects/ldv/wiki/LDV_Tools_in_Docker>.
*
If you want to compile LDV-Tools yourself on Ubuntu 14.10 then you need 
to patch git submodules:

1. for ocaml 4.01
1.1 dscv/rcv/backends/blast - goto the submodule and apply the patch 
blast-Fix-hashtable-interface.patch
1.2 dscv/rcv/cil -  goto the submodule and apply the patch cil-ocaml.patch
2. for gcc 4.8.2
2.1 ri/cif/aspectator - goto the submodule and apply the patch 
aspectator-gcc.patch

Best,
Vadim

16.05.2015 05:15, 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
>
>
>
> _______________________________________________
> ldv-project mailing list
> ldv-project at linuxtesting.org
> http://linuxtesting.org/cgi-bin/mailman/listinfo/ldv-project

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://linuxtesting.org/pipermail/ldv-project/attachments/20150518/8c74c24a/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: blast-Fix-hashtable-interface.patch
Type: text/x-patch
Size: 817 bytes
Desc: not available
URL: <http://linuxtesting.org/pipermail/ldv-project/attachments/20150518/8c74c24a/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: cil-ocaml.patch
Type: text/x-patch
Size: 1770 bytes
Desc: not available
URL: <http://linuxtesting.org/pipermail/ldv-project/attachments/20150518/8c74c24a/attachment-0001.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: aspectator-gcc.patch
Type: text/x-patch
Size: 526 bytes
Desc: not available
URL: <http://linuxtesting.org/pipermail/ldv-project/attachments/20150518/8c74c24a/attachment-0002.bin>