| ... | ... | @@ -18,6 +18,9 @@ Install cygwin from https://www.cygwin.com. Accept all defaults and select View |
|
|
|
* wget
|
|
|
|
* unzip
|
|
|
|
|
|
|
|
Also useful for debugging
|
|
|
|
* gdb
|
|
|
|
|
|
|
|
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
|
| ... | ... | |
