New Ticket     Wiki     Browse Source     Timeline     Roadmap     Ticket Reports     Search

Ticket #26339: configure.diff

File configure.diff, 303 bytes (added by daniel.willmann@…, 17 months 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;