diff options
| author | Benno Fünfstück <benno.fuenfstueck@gmail.com> | 2014-04-13 13:46:23 +0200 |
|---|---|---|
| committer | Vladimír Čunát <vcunat@gmail.com> | 2014-05-11 14:34:32 +0200 |
| commit | 4b87687a84766271089b26323ca467986e3f5ea5 (patch) | |
| tree | 3a361758d4e3e24d79ebf59d7060b280655436e7 /pkgs/development/libraries/cloog-ppl/fix-ppl-version.patch | |
| parent | ce02e8c1db0abc14383cac02a41ff9b954e099ca (diff) | |
| download | nixpkgs-4b87687a84766271089b26323ca467986e3f5ea5.tar nixpkgs-4b87687a84766271089b26323ca467986e3f5ea5.tar.gz nixpkgs-4b87687a84766271089b26323ca467986e3f5ea5.tar.bz2 nixpkgs-4b87687a84766271089b26323ca467986e3f5ea5.tar.lz nixpkgs-4b87687a84766271089b26323ca467986e3f5ea5.tar.xz nixpkgs-4b87687a84766271089b26323ca467986e3f5ea5.tar.zst nixpkgs-4b87687a84766271089b26323ca467986e3f5ea5.zip | |
cloogppl: patch to use ppl version 1.0 (close #2236)
Diffstat (limited to 'pkgs/development/libraries/cloog-ppl/fix-ppl-version.patch')
| -rw-r--r-- | pkgs/development/libraries/cloog-ppl/fix-ppl-version.patch | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/pkgs/development/libraries/cloog-ppl/fix-ppl-version.patch b/pkgs/development/libraries/cloog-ppl/fix-ppl-version.patch new file mode 100644 index 00000000000..8440d839411 --- /dev/null +++ b/pkgs/development/libraries/cloog-ppl/fix-ppl-version.patch @@ -0,0 +1,16 @@ +diff -rupN src/configure.in cloog-ppl-0.15.11/configure.in +--- src/configure.in 2014-04-13 13:33:43.349392305 +0200 ++++ cloog-ppl-0.15.11/configure.in 2014-04-13 13:34:12.695379888 +0200 +@@ -337,11 +337,7 @@ if test "x$with_ppl" != "x" -a "x$with_p + [AC_MSG_ERROR(Can't find PPL headers.)]) + + AC_MSG_CHECKING([for version 0.10 (or later revision) of PPL]) +- AC_TRY_COMPILE([#include "ppl_c.h"],[ +- #if PPL_VERSION_MAJOR != 0 || PPL_VERSION_MINOR < 10 +- choke me +- #endif +- ], [AC_MSG_RESULT([yes])], [AC_MSG_ERROR(Can't find correct version of PPL.) ]) ++ AC_MSG_RESULT([yes]) + + LIBS="$LIBS -lppl_c -lppl -lgmpxx" + AC_DEFINE([CLOOG_PPL_BACKEND], 1, [Use the PPL backend]) |