diff options
Diffstat (limited to 'extras/mini-os/Makefile')
-rw-r--r-- | extras/mini-os/Makefile | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/extras/mini-os/Makefile b/extras/mini-os/Makefile index 60e598207d..65a43def94 100644 --- a/extras/mini-os/Makefile +++ b/extras/mini-os/Makefile @@ -31,16 +31,18 @@ TARGET := mini-os OBJS := $(TARGET_ARCH).o OBJS += $(patsubst %.c,%.o,$(wildcard *.c)) OBJS += $(patsubst %.c,%.o,$(wildcard lib/*.c)) - +OBJS += $(patsubst %.c,%.o,$(wildcard xenbus/*.c)) + HDRS := $(wildcard include/*.h) HDRS += $(wildcard include/xen/*.h) default: $(TARGET) -xen-public: +links: [ -e include/xen ] || ln -sf ../../../xen/include/public include/xen - -$(TARGET): xen-public $(OBJS) + [ -e xenbus/xenstored.h ] || ln -sf ../../../tools/xenstore/xenstored.h xenbus/xenstored.h + +$(TARGET): links $(OBJS) $(LD) -N -T minios-$(TARGET_ARCH).lds $(OBJS) -o $@.elf gzip -f -9 -c $@.elf >$@.gz @@ -55,3 +57,4 @@ clean: %.o: %.S $(HDRS) Makefile $(CC) $(CFLAGS) -D__ASSEMBLY__ -c $< -o $@ + |