Linux Driver Verification

h1. Downloading and Building LDV

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/download.

h2. Downloading all sources

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

<pre>

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

</pre>

(you''ll download about 200 Mb)

If, upon executing the command, it says that @--recursive@ is not supported, then you''re running an older version of Git.  If you don''t want to upgrade, please, refer to [[downloading sources with older version of Git]]. 

Downloading sources of subprojects (submodules) is crucial.  *LDV-tools won''t build without submodules*.

h2. Building LDV-tools

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

Note that LDV-tools has a considerable 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, and a web server that runs PHP 5.  A full and concise list of prerequisites is found in the source:INSTALL file.

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