summaryrefslogtreecommitdiffhomepage
path: root/mpfr-3.1.2.local.patch
diff options
context:
space:
mode:
authorLucio Andrés Illanes Albornoz (arab, vxp) <l.illanes@gmx.de>2016-07-09 14:36:05 +0000
committerLucio Andrés Illanes Albornoz (arab, vxp) <l.illanes@gmx.de>2016-07-10 00:20:56 +0000
commit820be1bcb38273c0c7adc44b4a474c08273cdf61 (patch)
tree67e51517dce50e2877dc6c2c97969e8252dcfb3e /mpfr-3.1.2.local.patch
parent4a634b84e63be8b31852c58b25017a61a4f523c7 (diff)
downloadmidipix_build-820be1bcb38273c0c7adc44b4a474c08273cdf61.tar.bz2
midipix_build-820be1bcb38273c0c7adc44b4a474c08273cdf61.tar.xz
General cleanup; user-visible changes: -a nt{32,64}, -b {debug,release}.
Diffstat (limited to 'mpfr-3.1.2.local.patch')
-rw-r--r--mpfr-3.1.2.local.patch18
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