You are right, __GMP_MP_RELEASE was subsequently renamed to __GNU_MP_RELEASE and thats what it is in the current GMP.
gap-4.5.5 only checks __GMP_MP_RELEASE if __GNU_MP_RELEASE is not defined %-) -- You received this message because you are subscribed to the Google Groups "mpir-devel" group. To view this discussion on the web visit https://groups.google.com/d/msg/mpir-devel/-/aPT1owIBHFYJ. To post to this group, send email to mpir-devel@googlegroups.com. To unsubscribe from this group, send email to mpir-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/mpir-devel?hl=en.
