pkgs/development/libraries/cloog-ppl/fix-ppl-version.patch

   1 diff -rupN src/configure.in cloog-ppl-0.15.11/configure.in
   2 --- src/configure.in    2014-04-13 13:33:43.349392305 +0200
   3 +++ cloog-ppl-0.15.11/configure.in      2014-04-13 13:34:12.695379888 +0200
   4 @@ -337,11 +337,7 @@ if test "x$with_ppl" != "x" -a "x$with_p
   5                         [AC_MSG_ERROR(Can't find PPL headers.)])
   6
   7         AC_MSG_CHECKING([for version 0.10 (or later revision) of PPL])
   8 -       AC_TRY_COMPILE([#include "ppl_c.h"],[
   9 -       #if PPL_VERSION_MAJOR != 0 || PPL_VERSION_MINOR < 10
  10 -       choke me
  11 -       #endif
  12 -       ], [AC_MSG_RESULT([yes])], [AC_MSG_ERROR(Can't find correct version of PPL.) ])
  13 +       AC_MSG_RESULT([yes])
  14
  15         LIBS="$LIBS -lppl_c -lppl -lgmpxx"
  16         AC_DEFINE([CLOOG_PPL_BACKEND], 1, [Use the PPL backend])