diff options
Diffstat (limited to 'mpfr-3.1.2.local.patch')
-rw-r--r-- | mpfr-3.1.2.local.patch | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/mpfr-3.1.2.local.patch b/mpfr-3.1.2.local.patch new file mode 100644 index 00000000..0642a9d0 --- /dev/null +++ b/mpfr-3.1.2.local.patch @@ -0,0 +1,18 @@ +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 |