Project

General

Profile

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