Wiki » History » Revision 21
Revision 20 (Alexander Kamkin, 05/04/2011 05:08 PM) → Revision 21/24 (Mikhail Chupilko, 10/17/2013 06:29 PM)
h1. How to Install VeriTool h2. Install Icarus Verilog: * Download and unpack on of the releases available "here":ftp://icarus.com/pub/eda/verilog/v0.9/. * Go inside the directory and configure the package: @configure --prefix=<ICARUS-INSTALLATION-DIRECTORY>@. * Compile and install the package: @make all install@. * Set the home variable: @export ICARUS_HOME=<ICARUS-INSTALLATION-DIRECTORY>@. h2. Install VeriTool under Linux: VeriTool: * Download and unpack on of the releases available "here":http://forge.ispras.ru/projects/veritool/files. * Go inside the directory and configure the package: @sh configure --prefix=<VERITOOL-INSTALLATION-DIRECTORY>@. * Compile and install the package: @make all install@. * Add @<VERITOOL-INSTALLATION-DIRECTORY>/bin@ to @PATH@. h2. Install VeriTool under Windows using MinGW: To make Veritool run under MinGW: * Download and unpack on of the releases available "here":http://forge.ispras.ru/projects/veritool/files. * Go inside the directory and configure the package: @sh configure --prefix=<VERITOOL-INSTALLATION-DIRECTORY>@. * Modify src/veritool/Makefile.in by adding @-livl@ to @veritool_tgt_LDFLAGS@ and modifying from <pre> veritool.tgt$(EXEEXT): $(veritool_tgt_OBJECTS) $(veritool_tgt_DEPENDENCIES) @rm -f veritool.tgt$(EXEEXT) $(veritool_tgt_LINK) $(veritool_tgt_OBJECTS) $(veritool_tgt_LDADD) $(LIBS) </pre> to <pre> veritool.tgt$(EXEEXT): $(veritool_tgt_OBJECTS) $(veritool_tgt_DEPENDENCIES) @rm -f veritool.tgt$(EXEEXT) $(veritool_tgt_LINK) $(veritool_tgt_OBJECTS) $(veritool_tgt_LDFLAGS) $(veritool_tgt_LDADD) $(LIBS) </pre> and from <pre> veritool_tgt_LINK = $(CCLD) $(veritool_tgt_CFLAGS) $(CFLAGS) \ $(veritool_tgt_LDFLAGS) $(LDFLAGS) -o $@ </pre> to <pre> veritool_tgt_LINK = $(CCLD) $(veritool_tgt_CFLAGS) $(CFLAGS) \ $(LDFLAGS) -o $@ </pre> * Compile and install the package: @make all install@. * Add @<VERITOOL-INSTALLATION-DIRECTORY>/bin@ to @PATH@. h1. How to Run VeriTool * Install VeriTool. * Run @veritool --help@.