Forked from
Core Modules / dune-common
5269 commits behind the upstream repository.
Christoph Grüninger
authored
Complete overwork of GMP test. Changed variable GMP_PATH to GMP_PREFIX. Tested without GMP and with GMP 5.0.5, both installed in /usr and using a user-specified prefix path. [[Imported from SVN: r7059]]