diff options
| -rw-r--r-- | mpfr-3.1.2.midipix.patch | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/mpfr-3.1.2.midipix.patch b/mpfr-3.1.2.midipix.patch new file mode 100644 index 0000000..37e609a --- /dev/null +++ b/mpfr-3.1.2.midipix.patch @@ -0,0 +1,40 @@ +diff -ru a/config.sub b/config.sub +--- a/config.sub 2013-03-13 11:38:21.000000000 -0400 ++++ b/config.sub 2015-02-26 02:56:15.425525594 -0500 +@@ -791,6 +791,9 @@ + microblaze) + basic_machine=microblaze-xilinx + ;; ++ midipix) ++ os=-midipix ++ ;; + mingw32) + basic_machine=i386-pc + os=-mingw32 +@@ -1359,7 +1362,7 @@ + | -udi* | -eabi* | -lites* | -ieee* | -go32* | -aux* \ + | -chorusos* | -chorusrdb* | -cegcc* \ + | -cygwin* | -msys* | -pe* | -psos* | -moss* | -proelf* | -rtems* \ +- | -mingw32* | -linux-gnu* | -linux-android* \ ++ | -midipix* | -mingw32* | -linux-gnu* | -linux-android* \ + | -linux-newlib* | -linux-uclibc* \ + | -uxpv* | -beos* | -mpeix* | -udk* \ + | -interix* | -uwin* | -mks* | -rhapsody* | -darwin* | -opened* \ +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 |