diff options
Diffstat (limited to 'arm-unknown-riscos/recipes/patches/gcc4/ppl-version.p')
| -rw-r--r-- | arm-unknown-riscos/recipes/patches/gcc4/ppl-version.p | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/arm-unknown-riscos/recipes/patches/gcc4/ppl-version.p b/arm-unknown-riscos/recipes/patches/gcc4/ppl-version.p new file mode 100644 index 0000000..0860b9a --- /dev/null +++ b/arm-unknown-riscos/recipes/patches/gcc4/ppl-version.p @@ -0,0 +1,11 @@ +--- gcc4/Makefile.orig 2017-09-16 12:22:23.882150566 +0100 ++++ gcc4/Makefile 2017-09-16 12:23:14.300351285 +0100 +@@ -42,7 +42,7 @@ + MPFR_VERSION=3.0.1 + MPC_VERSION=0.8.2 + GCC_USE_PPL_CLOOG=yes +-PPL_VERSION=0.11.2 ++PPL_VERSION=0.12.1 + CLOOG_VERSION=0.15.11 + GCC_USE_LTO=yes + |