Project

General

Profile

Installation Guide » History » Revision 65

Revision 64 (Alexander Kamkin, 09/26/2011 06:14 PM) → Revision 65/74 (Alexander Kamkin, 09/26/2011 06:15 PM)

h1. Installation Guide 

 h2. Introduction 

 This document describes the steps should be followed to install "ะก++TESK Testing ToolKit":http://forge.ispras.ru/projects/cpptesk-toolkit (hereinafter C++TESK). In addition to C++TESK, "Icarus Verilog":http://iverilog.icarus.com and "VeriTool":http://forge.ispras.ru/projects/veritool (hereinafter Verilog tools) are recommended to be installed (they are used for generating C/C++ API for Verilog modules). 

 Before installing the toolkit make sure that [[System Requirements]] are met. 

 h2. Installation 

 h3. Basic Installation (Recommended) 

 To install C++TESK, pass the following steps: 

 # Download the latest version of the C++TESK package (@cpptesk-toolkit-src-<version-number>.tar.gz@) from the "Files":http://forge.ispras.ru/projects/cpptesk-toolkit/files page. 
 # Unzip the downloaded package: 
 <pre> 
 % tar xf cpptesk-toolkit-src-<version-number>.tar.gz 
 </pre> 
 # Run the @install.sh@ script as follows. 

 * To install C++TESK without installing the Verilog tools, run: 
 <pre> 
 % install.sh 
 </pre> 
 * To install C++TESK together with the Verilog tools (โˆ™) not reinstalling the Verilog tools if they have been already installed, run: 
 <pre> 
 % install.sh --install-veritool 
 </pre> 
 * To install C++TESK and (re)install the Verilog tools (โˆ™), run: 
 <pre> 
 % install.sh --force-install-veritool 
 </pre> (โˆ™) It should be emphasized that when installing the Verilog tools they are downloaded from the Internet. If direct connection is not available, try to install the Verilog tools manually (see the next section). 

 Home directories for the tools are chosen according to the following rules: 

 # If the environment variable @ISPRAS_HOME@ is not set, @ISPRAS_HOME=<user-home-directory>@. 
 # If the environment variable @CPPTESK_HOME@ is not set, @CPPTESK_HOME=$ISPRAS_HOME/tools/cpptesk-toolkit@. 
 # If the environment variable @ICARUS_HOME@ is not set, @ICARUS_HOME=$ISPRAS_HOME/tools/verilog@. 
 # It the environment variable @VERITOOL_HOME@ is not set, @VERITOOL_HOME=$ISPRAS_HOME/tools/veritool@. 

 C++TESK is installed into the directory @$CPPTESK_HOME@. 

 "Icarus Verilog":http://iverilog.icarus.com and "VeriTool":http://forge.ispras.ru/projects/veritool (if they are required) are installed into @$ICARUS_HOME@ and @$VERITOOL_HOME@, respectively. 

 h3. Manual Installation of the Verilog Tools 

 The Verilog tools can be installed manually (it might be useful if the target computer is not connected to the Internet, but there is another computer that can be used for downloading the packages). 

 To install "Icarus Verilog":http://iverilog.icarus.com, pass the following steps: 

 # Download the package from "here":http://sourceforge.net/projects/iverilog/files/iverilog. 
 # If the environment variable @ICARUS_HOME@ is not set, assign an appropriate value: 
 <pre> 
 % export ICARUS_HOME=<path-to-icarus-verilog-installation-directory> 
 % echo "export ICARUS_HOME=$ICARUS_HOME" >> "$HOME/.profile" 
 % echo "export ICARUS_HOME=$ICARUS_HOME" >> "$HOME/.bashrc" 
 </pre> 
 # Create the @$ICARUS_HOME@ directory if it does not exist: 
 <pre> 
 % mkdir -p "$ICARUS_HOME" 
 </pre> 
 # Unzip the downloaded package and compile the sources: 
 <pre> 
 % tar xf verilog-<version-number>.tar.gz 
 % cd verilog-<version-number> 
 % ./configure --prefix="$ICARUS_HOME" 
 % make && make install 
 </pre> 

 To install "VeriTool":http://forge.ispras.ru/projects/veritool, pass the following steps: 

 # Download the package from "here":http://forge.ispras.ru/projects/veritool/files. 
 # If the environment variable @VERITOOL_HOME@ is not set, assign an appropriate value: 
 <pre> 
 % export VERITOOL_HOME=<path-to-veritool-installation-directory> 
 % echo "export VERITOOL_HOME=$VERITOOL_HOME" >> "$HOME/.profile" 
 % echo "export VERITOOL_HOME=$VERITOOL_HOME" >> "$HOME/.bashrc" 
 </pre> 
 # Create the @$VERITOOL_HOME@ directory if it does not exist: 
 <pre> 
 % mkdir -p "$VERITOOL_HOME" 
 </pre> 
 # Unzip the downloaded package and compile the sources: 
 <pre> 
 % tar xf veritool-<version-number>.tar.gz 
 % cd veritool-<version-number> 
 % ./configure --prefix="$VERITOOL_HOME" 
 % make all && make install 
 </pre>