From 820be1bcb38273c0c7adc44b4a474c08273cdf61 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lucio=20Andr=C3=A9s=20Illanes=20Albornoz=20=28arab=2C=20vx?= =?UTF-8?q?p=29?= Date: Sat, 9 Jul 2016 14:36:05 +0000 Subject: General cleanup; user-visible changes: -a nt{32,64}, -b {debug,release}. --- mpfr-3.1.2.local.patch | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 mpfr-3.1.2.local.patch (limited to 'mpfr-3.1.2.local.patch') 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 -- cgit v1.2.3