I cannot answer the question about the files required. You should be able to find that out by reading Makefile and any other files of the module.

*sigh* To make the question explicit asked earlier, do the installed gmp files exist in the paths that are searched during the make/compile process?

Also to explicitly note, if answer to above is no for any of the files, then you would need to specify the actual gmp file paths, via command line/environment variables and/or by editing Makefile.