Project

General

Profile

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