On Sun, 20 Mar 2016, Torbjörn Granlund wrote: > Marc Glisse <marc.glisse at inria.fr> writes: > > I currently think I'll go with just config.h (no CFLAGS). > > sgtm https://gmplib.org/repo/gmp/rev/a70e6b446199 I tested it some and it seemed to work... -- Marc Glisse