/usr/src/gcc-4.4/debian/patches/ppl-version.diff is in gcc-4.4-source 4.4.7-8ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 | # DP: recognize ppl version 1.0
--- a/src/configure.ac
+++ b/src/configure.ac
@@ -1381,9 +1381,11 @@
CFLAGS="$CFLAGS $pplinc $gmpinc"
AC_MSG_CHECKING([for version $ppl_major_version.$ppl_minor_version of PPL])
AC_TRY_COMPILE([#include "ppl_c.h"],[
- #if PPL_VERSION_MAJOR != $ppl_major_version || PPL_VERSION_MINOR != $ppl_minor_version
- choke me
- #endif
+ #if PPL_VERSION_MAJOR < 1
+ # if PPL_VERSION_MINOR < 11
+ choke me
+ # endif
+ #endif
], [AC_MSG_RESULT([yes])], [AC_MSG_RESULT([no]); ppllibs= ; pplinc= ])
CFLAGS="$saved_CFLAGS"
fi
|