C++TESK Testing ToolKit

Installation Guide » History » Revision 52

Revision 51 (Alexander Kamkin, 09/26/2011 05:32 PM) → Revision 52/74 (Alexander Kamkin, 09/26/2011 05:34 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 archive: 
 <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> 

 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 and (if it is required) is installed into the directory @$ICARUS_HOME@. 

 VeriTool (if they are it is required) are is installed into @$ICARUS_HOME@ and @$VERITOOL_HOME@, respectively. the directory @$VERITOOL_HOME@. 

 h3. Manual Installation of the Verilog Tools 

 The Verilog tools can be installed manually. 

 To install Icarus Verilog, pass the following steps: 

 # Download the Icarus Verilog package from "here":http://sourceforge.net/projects/iverilog/files/iverilog. 
 # If the environment variable @ICARUS_HOME@ is not set, it should be assigned: 
 <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 archive 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, pass the following steps: 

 # Download the VeriTool package from "here":http://forge.ispras.ru/projects/veritool/files. 
 # If the environment variable @VERITOOL_HOME@ is not set, it should be assigned: 
 <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 archive 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>