tjh.dev / nixpkgs
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
fork atom
nixpkgs / pkgs / development / libraries / cloog-ppl / fix-ppl-version.patch
at netboot-syslinux-multiplatform 16 lines 686 B view raw
1diff -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])