1 --- xen-4.6.1/extras/mini-os/Makefile~ 2016-04-07 22:37:10.000000000 +0900
2 +++ xen-4.6.1/extras/mini-os/Makefile 2016-04-07 22:41:43.295354712 +0900
7 -ifeq ($(MINIOS_CONFIG),)
11 +ifneq ($(MINIOS_CONFIG),)
12 EXTRA_DEPS += $(MINIOS_CONFIG)
13 include $(MINIOS_CONFIG)
15 --- xen-4.6.1/stubdom/Makefile.orig 2016-04-07 23:04:54.871970996 +0900
16 +++ xen-4.6.1/stubdom/Makefile 2016-04-07 23:06:06.096784272 +0900
19 mv gmp-$(GMP_VERSION) $@
20 #patch -d $@ -p0 < gmp.patch
21 + sed -i.bak 's/\(\s*\)\(fprintf (f,\)\(.*\)/\1\2\3\n\1clearerr(f);/' $@/configure
22 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)
23 sed -i 's/#define HAVE_OBSTACK_VPRINTF 1/\/\/#define HAVE_OBSTACK_VPRINTF 1/' $@/config.h