Wiki » History » Revision 22
Revision 21 (Mikhail Chupilko, 10/17/2013 06:29 PM) → Revision 22/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:
* 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@.