GPI2-nosse.patch

   1 --- GPI2-1.2.0/src/GPI2_Utility.h.orig  2015-05-13 17:42:36.000000000 +0200
   2 +++ GPI2-1.2.0/src/GPI2_Utility.h       2015-06-16 21:56:09.572397490 +0200
   3 @@ -25,7 +25,6 @@
   4  #include <stdlib.h>
   5  #include <stdio.h>
   6  #include <time.h>
   7 -#include <xmmintrin.h>
   8
   9  #ifdef DEBUG
  10  #include "GPI2.h"
  11 @@ -56,7 +55,12 @@
  12  #ifdef MIC
  13  #define gaspi_delay() _mm_delay_32(32)
  14  #else
  15 -#define gaspi_delay() _mm_pause()
  16 +#if defined(__i386__) || defined(__x86_64__)
  17 +#define gaspi_delay()   __builtin_ia32_pause()
  18 +#else
  19 +#include <unistd.h>
  20 +#define gaspi_delay()   usleep(0)
  21 +#endif
  22  #endif
  23
  24