* path. This is important to use the static gmp in preference on Mac OS.
* The used option is specific to the Darwin linker.
*/
* path. This is important to use the static gmp in preference on Mac OS.
* The used option is specific to the Darwin linker.
*/