$(error need to specify $$PLATFORM!)
endif
+CPPFLAGS+= -Iinclude -I../../include -I${RROBJ}/include -nostdinc
+CFLAGS+= ${BUILDRUMP_TOOL_CFLAGS}
+
TARGETS= rumpkernlibs
# compiler_rt is strictly speaking necessary only in KERNONLY=true,
# but building it always makes testing kernonly easier
default: all
-CPPFLAGS= -Iinclude -I../../include -I${RROBJ}/include -nostdinc
-CFLAGS+= ${BUILDRUMP_TOOL_CFLAGS}
-
# Check if we're building for a supported target.
supported= false
# assume we're doing "make clean"
.PHONY: default
default: prepare links mini-os ${MAINOBJ} ${TARGETS}
-CPPFLAGS+= -isystem xen/include -I. -I../../include
+CPPFLAGS+= -isystem xen/include
CPPFLAGS+= -no-integrated-cpp -nostdinc
-CFLAGS += -fno-builtin ${BUILDRUMP_TOOL_CFLAGS}
+CFLAGS += -fno-builtin
# This is semi-duplicated from xen/arch/x86/arch.mk, can we avoid that?
# XXX Which parts of the rumprun source *must* be compiled with these flags?