Project

General

Profile

Work under Microsoft Windows using MinGW » History » Version 1

Mikhail Chupilko, 10/17/2013 06:42 PM

1 1 Mikhail Chupilko
h1. Work under Microsoft Windows using MinGW
2
3
* MinGW will be supported in the nearest C++TESK release;
4
* How to install VeriTool using MinGW is written into its Wiki;
5
* To make test systems run, some modification of LD_FLAGS in *Makefile.simulator_using* is needed, say:
6
@-ldut -lcpptesk-toolkit -lveritool -lveriuser -lvpi -lgcov -lpthread@ should be changed to
7
@-ldut -lcpptesk-toolkit -lctesk -lveritool -lveriuser -lvpi -livl -lgcov -lws2_32@