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

You may try LDV Tools without installation on your machine by deploying it with help of Docker. There are two docker images are available. First one contains already installed ldv-tools of version v08-rc1 and the second one contains mysql-server and database to store results. Below you can find archive package with images and the tutorial:

* "images":http://linuxtesting.org/downloads/ldv-docker-0.8-rc1.tar.gz

* [[LDV Tools in Docker]]