Project

General

Profile

Downloading and Building LDV » History » Revision 4

Revision 3 (Pavel Shved, 08/03/2010 04:07 PM) → Revision 4/31 (Pavel Shved, 08/03/2010 04:08 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. 

 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! 

 Then execute, in the @ldv-tools@ directory: 

 <pre> 
     $ git subinit 
 </pre> 

 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.