Linux Driver Verification

h1. Downloading the LDV sources

LDV sources are stored in several Git repositories.  To download them, you currently need a "Git version control system":http://git-scm.com/ installed at your machine.  Git is free software, and you can download it "here":http://git-scm.com/.

h2. Downloading all sources

We recommend using Git of version 1.7.1 or newer.  With this version getting sources is easy:

<pre>

    $ git clone git://forge.ispras.ru/ldv-tools.git

    $ cd ldv-tools

    $ git submodule update --init --recursive

</pre>

If upon executing the third command it says that @--recursive@ is not supported, then you''re running an older version of Git.  If you don''t want to upgrade, you should first add the following lines to @~/.gitconfig@:

<pre>

[alias]

       subinit = !"git submodule init; git submodule update ; git submodule foreach ''git subinit''"

</pre>

And then execute, in the @ldv-tools@ directory:

<pre>

    $ git subinit

</pre>

Note that the name of this alias (at left-hand side of @=@ sign) should match the one invoked at the end of this line!

Downloading sources of subprojects (submodules) is crucial.  Without them, the LDV-tools won''t build.

h2. Building LDV-tools

After you downloaded all the sources, you may examine @INSTALL@ file for further instructions.

Note that LDV-tools has a vast number of prerequisites.  A full installation of LDV-tools requires C++, Java and OCaml compilers, Perl and Ruby interpreters and some modules (gems) for them.  A full and concise list of prerequisites is found in the @INSTALL@ file.

LDV-tools take one or two hours to build.  If you''re tired waiting, make sure that you tried our "*Online Verification*":http://linuxtesting.org/project/ldv, which uses the same backend, and is deployed at our site.