gmp-version.patch

   1 --- pari-2.5.5/config/gmp_version.c~    2015-05-10 16:26:39.000000000 +0200
   2 +++ pari-2.5.5/config/gmp_version.c     2015-05-10 16:27:07.950401133 +0200
   3 @@ -3,8 +3,5 @@
   4  void f(void) { mpn_gcdext(NULL,NULL, NULL, NULL, 0, NULL, 0); }
   5  main()
   6  {
   7 -  if (sizeof(mp_limb_t) == sizeof(long))
   8      printf("%s", gmp_version);
   9 -  else
  10 -    printf("unsupported");
  11  }