Project

General

Profile

Installation Guide » History » Revision 5

Revision 4 (Alexander Kamkin, 12/12/2014 11:09 AM) → Revision 5/52 (Alexander Kamkin, 12/12/2014 11:20 AM)

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/kepler/ or http://www.eclipse.org/luna/ and unpack it. TODO 
 # TODO 

 h2. Solver Installation 

 The "Retrascope":http://forge.ispras.ru/projects/retrascope core uses the "Z3":http://z3.codeplex.com Z3 solver to perform analysis of HDL descriptions. To install "Z3":http://z3.codeplex.com Z3 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 Z3 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: 

 # TODO 
 # TODO 

 h2. Veditor Installation 

 # TODO 
 # TODO