<div dir="ltr"><div>Hi Vadim,<br><br></div>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.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, May 18, 2015 at 2:01 AM, Vadim Mutilin <span dir="ltr"><<a href="mailto:mutilin@ispras.ru" target="_blank">mutilin@ispras.ru</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div text="#000000" bgcolor="#FFFFFF">
    <div>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" target="_blank">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 type="cite"><div><div class="h5">
      <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></fieldset>
      <br>
      </div></div><pre>_______________________________________________
ldv-project mailing list
<a href="mailto:ldv-project@linuxtesting.org" target="_blank">ldv-project@linuxtesting.org</a>
<a href="http://linuxtesting.org/cgi-bin/mailman/listinfo/ldv-project" target="_blank">http://linuxtesting.org/cgi-bin/mailman/listinfo/ldv-project</a>
</pre>
    </blockquote>
    <br>
  </div>

</blockquote></div><br></div>