- specify build host for gmp, don't rely on autodetection of host cpu

diff --git a/xen-gmp-abi.patch b/xen-gmp-abi.patch
new file mode 100644 (file)
index 0000000..0929909
--- /dev/null
+++ b/xen-gmp-abi.patch
@@ -0,0 +1,12 @@
+diff -ur xen-4.4.1.orig/stubdom/Makefile xen-4.4.1/stubdom/Makefile
+--- xen-4.4.1.orig/stubdom/Makefile    2014-09-02 06:20:19.000000000 +0000
++++ xen-4.4.1/stubdom/Makefile 2014-10-13 06:57:49.075000000 +0000
+@@ -165,7 +165,7 @@
+       rm $@ -rf || :
+       mv gmp-$(GMP_VERSION) $@
+       #patch -d $@ -p0 < gmp.patch
+-      cd $@; CPPFLAGS="-isystem $(CROSS_PREFIX)/$(GNU_TARGET_ARCH)-xen-elf/include $(TARGET_CPPFLAGS)" CFLAGS="$(TARGET_CFLAGS)" CC=$(CC) $(GMPEXT) ./configure --disable-shared --enable-static --disable-fft --without-readline --prefix=$(CROSS_PREFIX)/$(GNU_TARGET_ARCH)-xen-elf
++      cd $@; CPPFLAGS="-isystem $(CROSS_PREFIX)/$(GNU_TARGET_ARCH)-xen-elf/include $(TARGET_CPPFLAGS)" CFLAGS="$(TARGET_CFLAGS)" CC=$(CC) $(GMPEXT) ./configure --disable-shared --enable-static --disable-fft --without-readline --prefix=$(CROSS_PREFIX)/$(GNU_TARGET_ARCH)-xen-elf --build=$(GNU_TARGET_ARCH)
+       sed -i 's/#define HAVE_OBSTACK_VPRINTF 1/\/\/#define HAVE_OBSTACK_VPRINTF 1/' $@/config.h
+       touch $@
+