42-archive/kernel-rs/mk/grub.mk
2018-04-12 14:49:52 +02:00

9 lines
282 B
Makefile

grub-iso := $(kernel).iso
grub-cfg := src/arch/$(ARCH)/grub.cfg
isodir := build/isofiles
$(grub-iso): $(kernel) $(grub-cfg) Makefile
@mkdir -p $(isodir)/boot/grub
@cp $(grub-cfg) $(isodir)/boot/grub
@cp $(kernel) $(isodir)/boot/$(OS)
grub-mkrescue -o $@ $(isodir) 2>/dev/null