Obsolete patch files removed.
This commit is contained in:
parent
32421251e1
commit
06d265c707
@ -1,15 +0,0 @@
|
||||
--- ppl-0.10/src/Float.defs.hh 2008-10-03 15:23:03.000000000 +0200
|
||||
+++ ppl-0.10-patched/src/Float.defs.hh 2009-02-04 07:59:06.000000000 +0100
|
||||
@@ -65,6 +65,12 @@
|
||||
void build(bool negative, mpz_t mantissa, int exponent);
|
||||
};
|
||||
|
||||
+#ifdef WORDS_BIGENDIAN
|
||||
+#ifndef PPL_WORDS_BIGENDIAN
|
||||
+#define PPL_WORDS_BIGENDIAN
|
||||
+#endif
|
||||
+#endif
|
||||
+
|
||||
#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
|
||||
/*! \ingroup PPL_CXX_interface */
|
||||
#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
|
@ -1,26 +0,0 @@
|
||||
diff -ur ppl-0.10/Watchdog/doc/Makefile.in ppl-0.10-patched/Watchdog/doc/Makefile.in
|
||||
--- ppl-0.10/Watchdog/doc/Makefile.in 2008-11-04 10:36:59.000000000 +0100
|
||||
+++ ppl-0.10-patched/Watchdog/doc/Makefile.in 2009-02-18 23:15:28.000000000 +0100
|
||||
@@ -163,7 +163,7 @@
|
||||
debug_flag = @debug_flag@
|
||||
|
||||
# All the documentation in docdir.
|
||||
-docdir = @docdir@
|
||||
+docdir = @docdir@/pwl
|
||||
dvidir = @dvidir@
|
||||
exec_prefix = @exec_prefix@
|
||||
host = @host@
|
||||
diff -ur ppl-0.10/configure ppl-0.10-patched/configure
|
||||
--- ppl-0.10/configure 2008-11-04 10:37:00.000000000 +0100
|
||||
+++ ppl-0.10-patched/configure 2009-02-18 22:36:56.000000000 +0100
|
||||
@@ -2923,10 +2923,6 @@
|
||||
PPL_CONFIGURE_OPTIONS="\"$ac_configure_args\""
|
||||
|
||||
|
||||
-# Installation directories.
|
||||
-docdir='${datadir}/doc/ppl'
|
||||
-
|
||||
-
|
||||
# Generate a configuration header file.
|
||||
ac_config_headers="$ac_config_headers config.h"
|
||||
|
Loading…
Reference in New Issue
Block a user