WxWidgets MSVC build instructions

From MCRL2

To install wxWidgets for use with the Microsoft Visual C++ compiler, the following steps have been reported to work:

• Download the latest Windows installer wxMSW.exe from the wxWidgets Download page. After downloading the file, execute the installer. This will install the source files for wxWidgets into the <wxdir> directory. Now the source files need to be prepared (compiled) such that they can be used with MSVC:
• For a build with GUI tools (Recommended):
  1. Edit the file <wxdir>\lib\vc_lib\mswd\wx\setup.h, and set the following define to 1 instead of 0:

      #define wxUSE_GLCANVAS       1

  2. Run following command from the directory <wxdir>\build\msw:

     nmake -f makefile.vc USE_OPENGL=1

• For a build without GUI tools:
  1. Run following command from the directory <wxdir>\build\msw:

     nmake -f makefile.vc

• Add <wxdir>\include\wx to your INCLUDE path. To add the path permanent to create or edit the INCLUDE environment variable ("Start -> Settings -> Control Panel -> System -> Advanced -> Environment Variables"). This requires a restart of the VC-commandline prompt. To add the path temporally type in the VC-commandline prompt :

   set INCLUDE=%INCLUDE%;<wxdir>\include\wx 

  where <wxdir> should be substituted by the installation directory e.g. C:\wxWidgets-2.8.9.