Retrascope » Retrascope IDE

h1. Installation Guide

{{toc}}

h2. Eclipse IDE Installation

The "Retrascope IDE":http://forge.ispras.ru/projects/retrascope-ide is implemented as an "Eclipse IDE":http://www.eclipse.org plugin. Thus, "Eclipse IDE":http://www.eclipse.org is the first thing you need to install (except "JDK":http://www.oracle.com/technetwork/java/javase/downloads/index.html):

# Download the "Eclipse IDE":http://www.eclipse.org package (Kepler or Luna) from http://www.eclipse.org and unpack it.

h2. Solver Installation

The "Retrascope":http://forge.ispras.ru/projects/retrascope core uses the "Z3":http://z3.codeplex.com solver to perform analysis of HDL descriptions. To install "Z3":http://z3.codeplex.com and make "Retrascope":http://forge.ispras.ru/projects/retrascope able to work with it, perform the following steps:

# Download the "Z3":http://z3.codeplex.com package from http://z3.codeplex.com and unpack it.

# Specify the @SMT_SOLVER_PATH@ environment variable (it should point to the Z3 executable file).

h2. Zest Installation

Some of the "Retrascope IDE":http://forge.ispras.ru/projects/retrascope-ide engines depends on the Zest framework (e.g., it is used to visualize CFG and EFSM models). It is recommended to install it before working with the environment:

# Click the @Help/Install New Software...@ menu item.

# Choose a repository from the @Work with...@ list.

# Select the @Modeling/Graphical Editing Framework Zest Visualization Toolkit SDK@ tree item.

# Push the @Next@ button a number of times.

# Push the @Finish@ button.

h2. Veditor Installation

# Download the @net.sourceforge.veditor_*.jar@ file from http://sourceforge.net/projects/veditor.

# Copy the file to the @<ECLIPSE_HOME>/plugins@ directory.