Project

General

Profile

Wiki » History » Version 24

Alexander Kamkin, 10/01/2020 10:36 AM

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