mirror of
https://github.com/xen-project/xen.git
synced 2026-10-29 02:30:03 +01:00
Andrew Cooper
0eae016b6e
firmware should always have been -ffreestanding, as it doesn't execute in the host environment. -ffreestanding implies -fno-builtin, so replace the option. inttypes.h isn't a freestanding header, but the 32bitbios_support.c only wants the stdint.h types so switch to the more appropriate include. This removes the build time dependency on a 32bit libc just to compile the hvmloader and friends. Update README and the TravisCI configuration. Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com> Reviewed-by: Jan Beulich <jbeulich@suse.com> Reviewed-by: Ian Jackson <iwj@xenproject.org> Release-Acked-by: Ian Jackson <iwj@xenproject.org>
20 lines
402 B
Makefile
20 lines
402 B
Makefile
# Firmware is a 32-bit target
|
|
override XEN_TARGET_ARCH = x86_32
|
|
|
|
# User-supplied CFLAGS are not useful here.
|
|
CFLAGS =
|
|
EXTRA_CFLAGS_XEN_TOOLS =
|
|
|
|
include $(XEN_ROOT)/tools/Rules.mk
|
|
|
|
ifneq ($(debug),y)
|
|
CFLAGS += -DNDEBUG
|
|
endif
|
|
|
|
CFLAGS += -Werror
|
|
|
|
$(call cc-options-add,CFLAGS,CC,$(EMBEDDED_EXTRA_CFLAGS))
|
|
|
|
# Extra CFLAGS suitable for an embedded type of environment.
|
|
CFLAGS += -ffreestanding -msoft-float
|