Wiki » History » Version 21
Mikhail Chupilko, 10/17/2013 06:29 PM
| 1 | 20 | Alexander Kamkin | h1. How to Install VeriTool |
|---|---|---|---|
| 2 | 4 | Alexander Kamkin | |
| 3 | 19 | Alexander Kamkin | h2. 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 | 19 | Alexander Kamkin | * Go inside the directory and configure the package: @configure --prefix=<ICARUS-INSTALLATION-DIRECTORY>@. |
| 7 | 18 | Alexander Kamkin | * Compile and install the package: @make all install@. |
| 8 | 19 | Alexander Kamkin | * Set the home variable: @export ICARUS_HOME=<ICARUS-INSTALLATION-DIRECTORY>@. |
| 9 | 1 | Alexander Kamkin | |
| 10 | 21 | Mikhail Chupilko | h2. Install VeriTool under Linux: |
| 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 | 1 | Alexander Kamkin | * Go inside the directory and configure the package: @sh configure --prefix=<VERITOOL-INSTALLATION-DIRECTORY>@. |
| 14 | 21 | Mikhail Chupilko | * Compile and install the package: @make all install@. |
| 15 | * Add @<VERITOOL-INSTALLATION-DIRECTORY>/bin@ to @PATH@. |
||
| 16 | |||
| 17 | h2. Install VeriTool under Windows using MinGW: |
||
| 18 | |||
| 19 | To make Veritool run under MinGW: |
||
| 20 | |||
| 21 | * Download and unpack on of the releases available "here":http://forge.ispras.ru/projects/veritool/files. |
||
| 22 | * Go inside the directory and configure the package: @sh configure --prefix=<VERITOOL-INSTALLATION-DIRECTORY>@. |
||
| 23 | * Modify src/veritool/Makefile.in by adding @-livl@ to @veritool_tgt_LDFLAGS@ and modifying from |
||
| 24 | <pre> |
||
| 25 | veritool.tgt$(EXEEXT): $(veritool_tgt_OBJECTS) $(veritool_tgt_DEPENDENCIES) |
||
| 26 | |||
| 27 | @rm -f veritool.tgt$(EXEEXT) |
||
| 28 | |||
| 29 | $(veritool_tgt_LINK) $(veritool_tgt_OBJECTS) $(veritool_tgt_LDADD) $(LIBS) |
||
| 30 | </pre> |
||
| 31 | to |
||
| 32 | <pre> |
||
| 33 | veritool.tgt$(EXEEXT): $(veritool_tgt_OBJECTS) $(veritool_tgt_DEPENDENCIES) |
||
| 34 | |||
| 35 | @rm -f veritool.tgt$(EXEEXT) |
||
| 36 | |||
| 37 | $(veritool_tgt_LINK) $(veritool_tgt_OBJECTS) $(veritool_tgt_LDFLAGS) $(veritool_tgt_LDADD) $(LIBS) |
||
| 38 | </pre> |
||
| 39 | and from |
||
| 40 | <pre> |
||
| 41 | veritool_tgt_LINK = $(CCLD) $(veritool_tgt_CFLAGS) $(CFLAGS) \ |
||
| 42 | |||
| 43 | $(veritool_tgt_LDFLAGS) $(LDFLAGS) -o $@ |
||
| 44 | </pre> |
||
| 45 | to |
||
| 46 | <pre> |
||
| 47 | veritool_tgt_LINK = $(CCLD) $(veritool_tgt_CFLAGS) $(CFLAGS) \ |
||
| 48 | |||
| 49 | $(LDFLAGS) -o $@ |
||
| 50 | </pre> |
||
| 51 | 18 | Alexander Kamkin | * Compile and install the package: @make all install@. |
| 52 | 19 | Alexander Kamkin | * Add @<VERITOOL-INSTALLATION-DIRECTORY>/bin@ to @PATH@. |
| 53 | 18 | Alexander Kamkin | |
| 54 | 20 | Alexander Kamkin | h1. How to Run VeriTool |
| 55 | 18 | Alexander Kamkin | |
| 56 | 20 | Alexander Kamkin | * Install VeriTool. |
| 57 | 18 | Alexander Kamkin | * Run @veritool --help@. |