Project

General

Profile

Installation Guide » History » Version 50

Alexander Kamkin, 09/26/2011 05:29 PM

1 1 Alexander Kamkin
h1. Installation Guide
2
3
h2. Introduction
4
5 26 Alexander Kamkin
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).
6 11 Alexander Kamkin
7
Before installing the toolkit make sure that [[System Requirements]] are met.
8 1 Alexander Kamkin
9
h2. Installation
10
11 41 Alexander Kamkin
h3. Basic Installation (Recommended)
12 40 Alexander Kamkin
13 12 Alexander Kamkin
To install C++TESK, pass the following steps:
14 1 Alexander Kamkin
15 49 Alexander Kamkin
# 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.
16 20 Alexander Kamkin
# Unzip the downloaded archive:
17 18 Alexander Kamkin
<pre>
18 50 Alexander Kamkin
% tar xf cpptesk-toolkit-src-<version-number>.tar.gz
19 18 Alexander Kamkin
</pre>
20 28 Alexander Kamkin
# Run the @install.sh@ script as follows.
21 29 Alexander Kamkin
22 27 Alexander Kamkin
* To install C++TESK without installing the Verilog tools, run:
23 22 Alexander Kamkin
<pre>
24
% install.sh
25 1 Alexander Kamkin
</pre>
26 33 Alexander Kamkin
* To install C++TESK together with the Verilog tools not reinstalling the Verilog tools if they have been already installed, run:
27 23 Alexander Kamkin
<pre>
28
% install.sh --install-veritool
29 31 Alexander Kamkin
</pre>
30 37 Alexander Kamkin
* To install C++TESK and (re)install the Verilog tools, run:
31 25 Alexander Kamkin
<pre>
32
% install.sh --force-install-veritool
33 34 Alexander Kamkin
</pre>
34 1 Alexander Kamkin
35 34 Alexander Kamkin
Home directories for the tools are chosen according to the following rules:
36 1 Alexander Kamkin
37 47 Alexander Kamkin
# If the environment variable @$ISPRAS_HOME@ is not set, it will be assigned to the user’s home directory (usually, @/home/<user-name>@).
38 38 Alexander Kamkin
# If the environment variable @$CPPTESK_HOME@ is not set, it will be assigned to the value @$ISPRAS_HOME/tools/cpptesk-toolkit@.
39
# If the environment variable @$ICARUS_HOME@ is not set, it will be assigned to the value @$ISPRAS_HOME/tools/verilog@.
40
# It the environment variable @$VERITOOL_HOME@ is not set, it will be assigned to the value @$ISPRAS_HOME/tools/veritool@.
41 35 Alexander Kamkin
42 39 Alexander Kamkin
C++TESK is installed into the directory @$CPPTESK_HOME@.
43 36 Alexander Kamkin
44 39 Alexander Kamkin
Icarus Verilog (if it is required) is installed into the directory @$ICARUS_HOME@.
45 36 Alexander Kamkin
46 6 Alexander Kamkin
VeriTool (if it is required) is installed into the directory @$VERITOOL_HOME@.
47 1 Alexander Kamkin
48 40 Alexander Kamkin
h3. Manual Installation of the Verilog Tools
49 6 Alexander Kamkin
50 42 Alexander Kamkin
The Verilog tools can be installed manually.
51 2 Alexander Kamkin
52 42 Alexander Kamkin
To install Icarus Verilog, pass the following steps:
53 1 Alexander Kamkin
54 44 Alexander Kamkin
# Download the Icarus Verilog package from "here":http://sourceforge.net/projects/iverilog/files/iverilog.
55 42 Alexander Kamkin
# If the environment variable @$ICARUS_HOME@ is not set, it should be assigned:
56 7 Alexander Kamkin
<pre>
57 47 Alexander Kamkin
% export ICARUS_HOME=<path-to-icarus-verilog-installation-directory>
58 42 Alexander Kamkin
% echo "export ICARUS_HOME=$ICARUS_HOME" >> "$HOME/.profile"
59
% echo "export ICARUS_HOME=$ICARUS_HOME" >> "$HOME/.bashrc"
60 7 Alexander Kamkin
</pre>
61 42 Alexander Kamkin
# Create the @$ICARUS_HOME@ directory if it does not exist:
62 7 Alexander Kamkin
<pre>
63 46 Alexander Kamkin
% mkdir -p "$ICARUS_HOME"
64 1 Alexander Kamkin
</pre>
65 46 Alexander Kamkin
# Unzip the downloaded archive and compile the sources:
66 1 Alexander Kamkin
<pre>
67 48 Alexander Kamkin
% tar xf verilog-<version-number>.tar.gz
68
% cd verilog-<version-number>
69 46 Alexander Kamkin
% ./configure --prefix="$ICARUS_HOME"
70
% make && make install
71 1 Alexander Kamkin
</pre>
72 7 Alexander Kamkin
73 42 Alexander Kamkin
To install VeriTool, pass the following steps:
74 7 Alexander Kamkin
75 46 Alexander Kamkin
# Download the VeriTool package from "here":http://forge.ispras.ru/projects/veritool/files.
76
# If the environment variable @$VERITOOL_HOME@ is not set, it should be assigned:
77 9 Alexander Kamkin
<pre>
78 47 Alexander Kamkin
% export VERITOOL_HOME=<path-to-veritool-installation-directory>
79 46 Alexander Kamkin
% echo "export VERITOOL_HOME=$VERITOOL_HOME" >> "$HOME/.profile"
80
% echo "export VERITOOL_HOME=$VERITOOL_HOME" >> "$HOME/.bashrc"
81 9 Alexander Kamkin
</pre>
82 46 Alexander Kamkin
# Create the @$VERITOOL_HOME@ directory if it does not exist:
83 9 Alexander Kamkin
<pre>
84 46 Alexander Kamkin
% mkdir -p "$VERITOOL_HOME"
85 9 Alexander Kamkin
</pre>
86 46 Alexander Kamkin
# Unzip the downloaded archive and compile the sources:
87 9 Alexander Kamkin
<pre>
88 48 Alexander Kamkin
% tar xf veritool-<version-number>.tar.gz
89
% cd veritool-<version-number>
90 46 Alexander Kamkin
% ./configure --prefix="$VERITOOL_HOME"
91
% make all && make install
92 9 Alexander Kamkin
</pre>