gnu-efi/Pkgfile



    1 # Description: GNU EFI library
    2 # URL: https://sourceforge.net/projects/gnu-efi/
    3 # Maintainer: CRUX System Team, core-ports at crux dot nu
    4 
    5 name=gnu-efi
    6 version=3.0.13
    7 release=1
    8 source=(https://download.sourceforge.net/$name/$name-$version.tar.bz2)
    9 
   10 build() {
   11 	cd $name-$version
   12 	make
   13 	make INSTALLROOT=$PKG PREFIX=/usr install
   14 }