This should be easy, and it's a potential source of library conflicts, as gmp is often installed...

note that GMP is pulled in via ./configure --with-mp=gmp
(as well as by specifying SAGE_MP_LIBRARY?)

Configure:
http://users.ox.ac.uk/~coml0531/sage/configure-316.tar.gz

CC: @embray

Component: packages: optional

Author: Erik Bray, Dima Pasechnik

Branch: e735b4b

Reviewer: Dima Pasechnik

Issue created by migration from https://trac.sagemath.org/ticket/27212