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