mingw/mingw-packages/mingw-w64-gnatcoll/gmp.gpr

library project GMP is
   type BUILD_KIND is ("static", "static-pic", "relocatable");
   BUILD : BUILD_KIND := external("LIBRARY_TYPE", "static");
   for Source_Dirs use ();
   for Library_Kind use BUILD;
   for Library_Dir use "../../lib/";
   for Library_Name use "gmp";
   for Externally_Built use "True";
end GMP;