library instead of using the MPI library included in the package, you can
give the --with-gmp[=DIR] option to the `configure'. The DIR is the upper
path in your system which contains lib/ and include/ for GMP library.
library instead of using the MPI library included in the package, you can
give the --with-gmp[=DIR] option to the `configure'. The DIR is the upper
path in your system which contains lib/ and include/ for GMP library.