Downloading and Building LDV » History » Revision 3
Revision 2 (Pavel Shved, 08/03/2010 04:07 PM) → Revision 3/31 (Pavel Shved, 08/03/2010 04:07 PM)
h1. Downloading the LDV sources 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. "here":http://git-scm.com/. h2. Downloading all sources We recommend using Git of version 1.7.1 or newer. With this version getting sources is easy: <pre> $ git clone git://forge.ispras.ru/ldv-tools.git $ cd ldv-tools $ git submodule update --init --recursive </pre> 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@: <pre> [alias] subinit = !"git submodule init; git submodule update ; git submodule foreach ''git subinit''" </pre> And then execute, in the @ldv-tools@ directory: <pre> $ git subinit </pre> 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. h2. 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*":http://linuxtesting.org/project/ldv, which uses the same backend as the one you''re building, and is deployed at our site.