Wiki » History » Version 18
Alexander Kamkin, 05/04/2011 05:05 PM
| 1 | 18 | Alexander Kamkin | h1. How to install VeriTool |
|---|---|---|---|
| 2 | 4 | Alexander Kamkin | |
| 3 | 8 | Alexander Kamkin | Install Icarus Verilog: |
| 4 | 9 | Alexander Kamkin | |
| 5 | 18 | Alexander Kamkin | * Download and unpack on of the releases available "here":ftp://icarus.com/pub/eda/verilog/v0.9/. |
| 6 | * Go inside the directory and configure the package: @configure --prefix=<icarus-installation-directory>@. |
||
| 7 | * Compile and install the package: @make all install@. |
||
| 8 | * Set the home variable: @export ICARUS_HOME=<icarus-installaction-directory>@. |
||
| 9 | 1 | Alexander Kamkin | |
| 10 | Install VeriTool: |
||
| 11 | 17 | Alexander Kamkin | |
| 12 | 18 | Alexander Kamkin | * Download and unpack on of the releases available "here":http://forge.ispras.ru/projects/veritool/files. |
| 13 | * Go inside the directory and configure the package: @sh configure --prefix=<veritool-installation-directory>@. |
||
| 14 | * Compile and install the package: @make all install@. |
||
| 15 | * Add @<veritool-installation-directory>/bin@ to @PATH@. |
||
| 16 | |||
| 17 | h1. How to run VeriTool |
||
| 18 | |||
| 19 | * Run @veritool --help@. |