[ldv-project] build error in batHashtbl.ml

[S Kn]

Hi Vadim,

Thanks for the response. I will try to compile it again with your patches.
If it does not work, I will go ahead with the image.

On Mon, May 18, 2015 at 2:01 AM, Vadim Mutilin <mutilin at ispras.ru> wrote:

>  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 listldv-project at linuxtesting.orghttp://linuxtesting.org/cgi-bin/mailman/listinfo/ldv-project
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://linuxtesting.org/pipermail/ldv-project/attachments/20150518/6e184b53/attachment.html>