Project

General

Profile

Installation Guide » History » Version 20

Sergey Smolov, 01/21/2020 05:11 PM

1 1 Sergey Smolov
h1. Installation Guide
2
3 16 Sergey Smolov
h2. Setting Environment Variables
4
5 20 Sergey Smolov
Several steps below require environment variable to be set in your OS. When you encounter such step in the guide, do the following (substitute @NAME@ and @VALUE@ by the name and value of your environment variable respectively):
6 16 Sergey Smolov
7
h3. Windows
8
9
# Open the @System Properties@ window.
10
# Switch to the @Advanced@ tab.
11
# Click on Environment Variables.
12
# Click @New...@ under @System Variables@.
13
# In the @New System Variable@ dialog specify variable name as @NAME@ and variable value as @VALUE@.
14
# Click @OK@ on all open windows.
15
# Reopen the command prompt window.
16
17
h3. Linux
18
19
Add the command below to the @~/.bash_profile@ or @~/.bashrc@ file (Linux):
20
<pre>export NAME=VALUE</pre> 
21
Changes will be applied after restarting the command-line terminal or reboot. You can also execute the command in your command-line terminal to make temporary changes.
22
23 17 Sergey Smolov
h2. Retrascope Installation
24 16 Sergey Smolov
25 19 Sergey Smolov
# Download and install "JDK 1.11":https://openjdk.java.net/projects/jdk/11/
26 16 Sergey Smolov
# Download and install SMT-LIBv2 solver. We recommend to use "Z3 4.3":https://github.com/Z3Prover/z3/releases/tag/z3-4.3.2.
27 20 Sergey Smolov
# Set either the system property @smt.solver.path@ or the environment variable @SMT_SOLVER_PATH@ to a full path to a SMT-solver executable file (for example, "/home/user/tools/z3/z3" or "C:\tools\z3\bin\z3.exe") in order to run solver-dependent tasks. If the both are set, a value of @fortress.solver.path@ will be used.
28 10 Mikhail Lebedev
# Download and install "nuXmv":https://es-static.fbk.eu/tools/nuxmv/index.php?n=Download.Download model checker.
29 18 Sergey Smolov
# Set either the system property @nuxmv.path@ or the environment variable @NUXMV_PATH@ to a full path to a NuXMV executable file (for example, "/home/user/tools/nuxmv/nuXmv" or "C:\tools\nuxmv\nuXmv.exe") in order to run checker-dependent tasks.
30 10 Mikhail Lebedev
# For VHDL designs elaboration:
31 16 Sergey Smolov
  a) Set @ZAMIA_LOCKING@ environment variable to @true@.
32 1 Sergey Smolov
  b) Download and install "Python interpreter":http://https://www.python.org. 
33 15 Sergey Smolov
# Download, unpack and use the tool through it's "Command Line Options":http://forge.ispras.ru/projects/retrascope/wiki/Command_Line_Options/edit.