Downloading the LDV sources¶

LDV sources are stored in several Git repositories. To download them, you currently need a Git version control system installed at your machine. Git is free software, and you can download it here.

Downloading all sources¶

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

    $ git clone git://forge.ispras.ru/ldv-tools.git
    $ cd ldv-tools
    $ git submodule update --init --recursive

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:

[alias]
       subinit = !"git submodule init; git submodule update ; git submodule foreach ''git subinit''" 

And then execute, in the ldv-tools directory:

    $ git subinit

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.

Building LDV-tools¶

After you downloaded all the sources, you may examine 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. 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 you tried our *Online Verification*, which uses the same backend as the one you''re building, and is deployed at our site.