all: grub.xen

grub.xen:
	/usr/bin/grub-mkstandalone --grub-mkimage=./grub-mkimage -o grub.xen -O x86_64-xen \
			  -d /usr/lib/grub/x86_64-xen  -c boot/grub-internal/grub-internal.cfg \
			  boot/grub-internal/grub-internal.cfg

install: grub.xen
	mkdir -p $(DESTDIR)/usr/lib/grub/
	cp grub.xen $(DESTDIR)/usr/lib/grub/

clean:
	rm -f grub.xen

.PHONY: all install clean