ports/opt (3.0): import efitbootmgr and gnu-efi from contrib
commit 32197789b94ee7f2336a8d7adb1c81d46967e571 Author: Thomas Penteker <tek@serverop.de> Date: Thu Feb 13 14:48:23 2014 +0100 import efitbootmgr and gnu-efi from contrib diff --git a/efibootmgr/.footprint b/efibootmgr/.footprint new file mode 100644 index 0000000..82280d9 --- /dev/null +++ b/efibootmgr/.footprint @@ -0,0 +1,6 @@ +drwxr-xr-x root/root usr/ +drwxr-xr-x root/root usr/man/ +drwxr-xr-x root/root usr/man/man8/ +-rwxr-xr-x root/root usr/man/man8/efibootmgr.8.gz +drwxr-xr-x root/root usr/sbin/ +-rwxr-xr-x root/root usr/sbin/efibootmgr diff --git a/efibootmgr/.md5sum b/efibootmgr/.md5sum new file mode 100644 index 0000000..c118ed4 --- /dev/null +++ b/efibootmgr/.md5sum @@ -0,0 +1 @@ +1adcda5218f79444b3aadb7598f01bed efibootmgr-0.6.0.tar.gz diff --git a/efibootmgr/Pkgfile b/efibootmgr/Pkgfile new file mode 100644 index 0000000..213def4 --- /dev/null +++ b/efibootmgr/Pkgfile @@ -0,0 +1,15 @@ +# Description: manipulate efi boot managers +# URL: http://linux.dell.com/efibootmgr/ +# Maintainer: Thomas Penteker, tek at serverop dot de + +name=efibootmgr +version=0.6.0 +release=1 +source=(http://linux.dell.com/efibootmgr/$name-$version/$name-$version.tar.gz) + +build() { + cd $name-$version + make + install -D src/efibootmgr/efibootmgr $PKG/usr/sbin/efibootmgr + install -D src/man/man8/efibootmgr.8 $PKG/usr/man/man8/efibootmgr.8 +} diff --git a/gnu-efi/.footprint b/gnu-efi/.footprint new file mode 100644 index 0000000..d599d81 --- /dev/null +++ b/gnu-efi/.footprint @@ -0,0 +1,49 @@ +drwxr-xr-x root/root usr/ +drwxr-xr-x root/root usr/include/ +drwxr-xr-x root/root usr/include/efi/ +-rw-r--r-- root/root usr/include/efi/efi.h +-rw-r--r-- root/root usr/include/efi/efi_nii.h +-rw-r--r-- root/root usr/include/efi/efi_pxe.h +-rw-r--r-- root/root usr/include/efi/efiapi.h +-rw-r--r-- root/root usr/include/efi/eficon.h +-rw-r--r-- root/root usr/include/efi/efidebug.h +-rw-r--r-- root/root usr/include/efi/efidef.h +-rw-r--r-- root/root usr/include/efi/efidevp.h +-rw-r--r-- root/root usr/include/efi/efierr.h +-rw-r--r-- root/root usr/include/efi/efifs.h +-rw-r--r-- root/root usr/include/efi/efigpt.h +-rw-r--r-- root/root usr/include/efi/efiip.h +-rw-r--r-- root/root usr/include/efi/efilib.h +-rw-r--r-- root/root usr/include/efi/efilink.h +-rw-r--r-- root/root usr/include/efi/efinet.h +-rw-r--r-- root/root usr/include/efi/efipart.h +-rw-r--r-- root/root usr/include/efi/efipciio.h +-rw-r--r-- root/root usr/include/efi/efiprot.h +-rw-r--r-- root/root usr/include/efi/efipxebc.h +-rw-r--r-- root/root usr/include/efi/efirtlib.h +-rw-r--r-- root/root usr/include/efi/efiser.h +-rw-r--r-- root/root usr/include/efi/efistdarg.h +-rw-r--r-- root/root usr/include/efi/efitcp.h +-rw-r--r-- root/root usr/include/efi/efiudp.h +-rw-r--r-- root/root usr/include/efi/efiui.h +-rw-r--r-- root/root usr/include/efi/libsmbios.h +-rw-r--r-- root/root usr/include/efi/pci22.h +drwxr-xr-x root/root usr/include/efi/protocol/ +-rw-r--r-- root/root usr/include/efi/protocol/adapterdebug.h +-rw-r--r-- root/root usr/include/efi/protocol/eficonsplit.h +-rw-r--r-- root/root usr/include/efi/protocol/efidbg.h +-rw-r--r-- root/root usr/include/efi/protocol/efivar.h +-rw-r--r-- root/root usr/include/efi/protocol/intload.h +-rw-r--r-- root/root usr/include/efi/protocol/legacyboot.h +-rw-r--r-- root/root usr/include/efi/protocol/piflash64.h +-rw-r--r-- root/root usr/include/efi/protocol/vgaclass.h +-rw-r--r-- root/root usr/include/efi/romload.h +drwxr-xr-x root/root usr/include/efi/x86_64/ +-rw-r--r-- root/root usr/include/efi/x86_64/efibind.h +-rw-r--r-- root/root usr/include/efi/x86_64/efilibplat.h +-rw-r--r-- root/root usr/include/efi/x86_64/pe.h +drwxr-xr-x root/root usr/lib/ +-rw-r--r-- root/root usr/lib/crt0-efi-x86_64.o +-rw-r--r-- root/root usr/lib/elf_x86_64_efi.lds +-rw-r--r-- root/root usr/lib/libefi.a +-rw-r--r-- root/root usr/lib/libgnuefi.a diff --git a/gnu-efi/.md5sum b/gnu-efi/.md5sum new file mode 100644 index 0000000..59e01e7 --- /dev/null +++ b/gnu-efi/.md5sum @@ -0,0 +1 @@ +d15d3c700e79a1e2938544d73edc572d gnu-efi_3.0u.orig.tar.gz diff --git a/gnu-efi/Pkgfile b/gnu-efi/Pkgfile new file mode 100644 index 0000000..cc11c3e --- /dev/null +++ b/gnu-efi/Pkgfile @@ -0,0 +1,15 @@ +# Description: GNU EFI library +# URL: http://gnu-efi.sf.net/ +# Maintainer: Thomas Penteker, tek at serverop dot de + +name=gnu-efi +version=3.0u.orig +release=1 +source=(http://download.sourceforge.net/${name}/${name}_${version}.tar.gz) + +build() { + cd $name-3.0 + sed -i "s|/usr/local|$PKG/usr|g" Make.defaults + make + make install +}
participants (1)
-
crux@crux.nu