gmp-version.patch

   1 --- pari-2.13.1/config/gmp_version.c.orig       2021-06-24 16:59:33.222993655 +0200
   2 +++ pari-2.13.1/config/gmp_version.c    2021-06-24 17:08:35.866720568 +0200
   3 @@ -3,9 +3,5 @@
   4  void f(void) { mpn_gcdext(NULL,NULL, NULL, NULL, 0, NULL, 0); }
   5  int main()
   6  {
   7 -  if (sizeof(mp_limb_t) == sizeof(long *))
   8      printf("%s\n", gmp_version);
   9 -  else
  10 -    printf("unsupported\n");
  11 -  return 0;
  12  }