Actions
Work under Microsoft Windows using MinGW¶
- MinGW will be supported in the nearest C++TESK release;
- How to install VeriTool using MinGW is written into its Wiki;
- To make test systems run, some modification of LD_FLAGS in Makefile.simulator_using is needed, say:
-ldut -lcpptesk-toolkit -lveritool -lveriuser -lvpi -lgcov -lpthread
should be changed to-ldut -lcpptesk-toolkit -lctesk -lveritool -lveriuser -lvpi -livl -lgcov -lws2_32
Updated by Alexander Kamkin almost 11 years ago · 2 revisions