diff options
Diffstat (limited to 'mpfr-3.1.2.local.patch')
| -rw-r--r-- | mpfr-3.1.2.local.patch | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/mpfr-3.1.2.local.patch b/mpfr-3.1.2.local.patch deleted file mode 100644 index 0642a9d0..00000000 --- a/mpfr-3.1.2.local.patch +++ /dev/null @@ -1,18 +0,0 @@ -diff -ru a/configure b/configure ---- a/configure 2013-03-13 11:38:20.000000000 -0400 -+++ b/configure 2015-03-10 18:30:23.476099628 -0400 -@@ -17225,4 +17225,14 @@ - $as_echo "$as_me: WARNING: unrecognized options: $ac_unrecognized_opts" >&2;} - fi - -+# a transitional workaround... -+case $host_os in -+ midipix*) -+ cp $ac_confdir/libtool.midipix libtool || exit 2 - -+ sed -i -e 's/@cbb_host_os@/'$host'/g' \ -+ -e 's/@cbb_build_alias@/'$build_alias'/g' \ -+ -e 's/@cbb_build_os@/'$build_os'/g' \ -+ -e 's/@cbb_build@/'$build'/g' libtool || exit 2 -+ ;; -+esac |