mirror of
https://develop.openfoam.com/Development/openfoam.git
synced 2025-11-28 03:28:01 +00:00
- these directories are sometimes used for a central, non-thirdparty, non-system installation - leave gmp and mpfr as is, since it is not clear how these would interact with system versions