Ticket #26339: configure.diff

File configure.diff, 303 bytes (added by daniel.willmann@…, 13 years ago)

Fix for wrong GMP

  • configure

     
    19181918#include "confdefs.h"
    19191919#include <gmp.h>
    19201920                                    int main() {
    1921                                     #if __GNU_MP_VERSION == 4
     1921                                    #if __GNU_MP_VERSION >= 4
    19221922                                        return 0;
    19231923                                    #else
    19241924                                        return -1;