Project

General

Profile

Actions

Downloading and Building LDV » History » Revision 19

« Previous | Revision 19/31 (diff) | Next »
Alexey Khoroshilov, 08/05/2013 07:55 AM


Downloading and Building LDV

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.6.6 or newer. With this version getting sources is easy:

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

(you''ll download about 300 Mb, and the build will span to up to 4 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.3. To get it, after downloading, please perform:



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

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*, which uses the same backend as the one you''re building, and is deployed at our site.

Updated by Alexey Khoroshilov over 10 years ago · 19 revisions