We build static + shared by default since perhaps 20 years, and furthermore gmp.h is not in any way dependent on this. -- Torbjörn Please encrypt, key id 0xC8601622