Below is the file 'packages/gmp/gmp-4.2.2/configure.patch' from this revision. You can also download the file.