Wiki » History » Revision 18
Revision 17 (Alexander Kamkin, 05/04/2011 05:02 PM) → Revision 18/24 (Alexander Kamkin, 05/04/2011 05:05 PM)
h1. How to install VeriTool Installation Install Icarus Verilog: * Download and unpack on of the Icarus Verilog releases available "here":ftp://icarus.com/pub/eda/verilog/v0.9/. * Go inside the directory and configure the package: @configure --prefix=<icarus-installation-directory>@. --prefix=*ICARUS_INSTALLATION_DIRECTORY*@. * Compile and install the package: @make all install@. * Set the home variable: @export ICARUS_HOME=<icarus-installaction-directory>@. ICARUS_HOME=installaction_directory@. Install VeriTool: * Download and unpack on of the releases available "here":http://forge.ispras.ru/projects/veritool/files. here:http://forge.ispras.ru/projects/veritool/files. * Go inside the directory and configure the package: Run @sh configure --prefix=<veritool-installation-directory>@. --prefix=veritool_installation_directory@. * Compile and install the package: Run @make all install@. * Add @<veritool-installation-directory>/bin@ @veritool_installation_directory/bin@ to @PATH@. h1. How to run VeriTool * Run @veritool --help@.