@@ -18,7 +18,11 @@ Install cygwin from https://www.cygwin.com. Accept all defaults and select View
* curl
* unzip
Type "path" in the Windows search box and choose "Edit the system environment variables". Go to "Advanced" and select "Environment variables". If the `PATH` variable does not exist (note the ALL CAPS!), create it and set it to `C:\cygwin64\usr\local\bin\;C:\cygwin64\usr\local\lib;C:\cygwin64\usr\local\petsc\complex_mumps_seq\lib;C:\cygwin64\usr\x86_64-w64-mingw32\sys-root\mingw\bin`. If `PATH` already exists, append the value (don't forget the semicolon!).
Type "path" in the Windows search box and choose "Edit the system environment variables". Go to "Advanced" and select "Environment variables". If the `PATH` variable does not exist (note the ALL CAPS!), create it and set it to