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 900 Mb, and the build will span to up to 5 Gb)

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]]. 

Current stable version is @v0.6@. To get it, after downloading, please perform:

<pre>

$ cd ldv-tools && git checkout v0.7 && git submodule update --init --recursive

</pre>

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 can be found in the source:INSTALL file.

LDV Tools take one or two hours to build.

h2. LDV Tools in Docker

To try LDV Tools without installation all dependencies on your machine, you can use Docker images as described in the *[[LDV Tools in Docker|tutorial]]*.