Project

General

Profile

Installation Guide » History » Version 42

Alexander Kamkin, 09/26/2011 05:18 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 19 Alexander Kamkin
# Download the latest version of the C++TESK package (@cpptesk-toolkit-src-*.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
% tar xf cpptesk-toolkit-src-*.tar.gz
19
</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 38 Alexander Kamkin
# If the environment variable @$ISPRAS_HOME@ is not set, it will be assigned to the user’s home directory (usually, @/home/<user>@).
38
# 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 42 Alexander Kamkin
# Download the Icarus Verilog package from http://sourceforge.net/projects/iverilog/files/iverilog.
55
# If the environment variable @$ICARUS_HOME@ is not set, it should be assigned:
56 7 Alexander Kamkin
<pre>
57 42 Alexander Kamkin
% export ICARUS_HOME=<path_to_icarus_verilog_directory>
58
% 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 1 Alexander Kamkin
mkdir -p "$ICARUS_HOME"
64
</pre>
65 42 Alexander Kamkin
# Unzip the downloaded archive and make it:
66 1 Alexander Kamkin
<pre>
67 7 Alexander Kamkin
tar xf verilog-0.9.4.tar.gz
68 1 Alexander Kamkin
cd verilog-0.9.4
69
./configure --prefix="$ICARUS_HOME"
70
make && make install
71
</pre>
72 7 Alexander Kamkin
73 42 Alexander Kamkin
To install VeriTool, pass the following steps:
74 7 Alexander Kamkin
75 42 Alexander Kamkin
# http://forge.ispras.ru/projects/veritool/files.
76 9 Alexander Kamkin
# If the system variable $VERITOOL_HOME is not set, it should be assigned. E.g., the following command sequence can help:
77
<pre>
78 10 Alexander Kamkin
export VERITOOL_HOME=< _path_for_VeriTool_installation_ >
79 1 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
# It the folder $VERITOOL_HOME does not exist, it should be created:
83
<pre>
84 1 Alexander Kamkin
mkdir -p "$VERITOOL_HOME"
85 9 Alexander Kamkin
</pre>
86
# Having changed the directory to the one with installation package of VeriTool, it is necessary to apply the following command sequence:
87
<pre>
88 1 Alexander Kamkin
tar xf veritool-0.2.1-beta-20110702.tar.gz
89
cd veritool-0.2.1-beta-20110702
90
./configure --prefix="$VERITOOL_HOME"
91
make all && make install
92 9 Alexander Kamkin
</pre>