diff options
Diffstat (limited to 'grub')
| -rw-r--r-- | grub/makefile | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/grub/makefile b/grub/makefile new file mode 100644 index 0000000..014b061 --- /dev/null +++ b/grub/makefile @@ -0,0 +1,26 @@ +CURL := curl -OL +GPG := gpg + +F := grub-2.04.tar.xz +srcdir := $(F:%.tar.xz=%) +dstdir := $(F:%.tar.xz=%-tools) + +default: + @echo $(SRCDIR) + +$(F): + $(CURL) https://ftp.gnu.org/gnu/grub/$(F) + +$(F).sig: + $(CURL) https://ftp.gnu.org/gnu/grub/$(F).sig + +verify: $(F) $(F).sig + $(GPG) --verify $(F).sig + +build: $(F) + tar -xf $(F) + cd $(srcdir) && CC=clang BUILD_CC=clang TARGET_CC=clang ./configure --disable-werror --prefix=/ + make -C $(srcdir) -j6 DESTDIR=$(CURDIR)/$(dstdir) install + +clean: + rm $(F) $(F).sig |