# Generated by makepkg 6.1.0
# Sun Apr 26 15:23:08 UTC 2026
pkgbase = gnu-efi
	pkgdesc = Building EFI Applications Using the GNU Toolchain
	pkgver = 4.0.4
	pkgrel = 1
	url = https://github.com/ncroxon/gnu-efi
	arch = i686
	arch = x86_64
	license = BSD
	makedepends = gcc
	makedepends = make
	source = gnu-efi-4.0.4.tar.gz::https://github.com/ncroxon/gnu-efi/archive/refs/tags/4.0.4.tar.gz
	source = 0001-Support-building-under-cygwin.patch
	sha256sums = 40b61e842a4efcbf80f3e53b2f220c044e8cfe46eb4dd6396c83b751240b1c0d
	sha256sums = 2fb86ca36149da9fe6d1c94ae0a6b311e122f5cc051c9b8b076f75e8abdd0f2a

pkgname = gnu-efi

pkgname = gnu-efi-devel
	pkgdesc = GNU EFI development headers and libraries
