From 73159ec931ede4ad1bf59c3e23308c70834e801b Mon Sep 17 00:00:00 2001 From: Fredrik Holmqvist Date: Wed, 27 Dec 2017 16:30:58 +0100 Subject: [PATCH] Make UEFI boot-platform build again gnuefi package was replaced by gnu_efi_kernel, but build was not updated. This is guesswork, as I couldn't track down what changed. It finds headers, headers_arch and lib and works so should be ok. --- build/jam/BuildFeatures | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/build/jam/BuildFeatures b/build/jam/BuildFeatures index 4a076dfe96..8573fd0413 100644 --- a/build/jam/BuildFeatures +++ b/build/jam/BuildFeatures @@ -694,18 +694,18 @@ if [ IsPackageAvailable expat_devel ] { # gnu-efi if $(TARGET_PACKAGING_ARCH) = x86_64 { - if [ IsPackageAvailable gnuefi ] { + if [ IsPackageAvailable gnu_efi_kernel ] { ExtractBuildFeatureArchives gnuefi : - file: base gnuefi - headers: $(developHeadersDir)/gnuefi - headersProtocol: $(developHeadersDir)/gnuefi/protocol - headersArch: $(developHeadersDir)/gnuefi/$(TARGET_ARCH) - libdir: $(libDir)/gnuefi + file: base gnu_efi_kernel + headers: develop/headers/gnuefi + headersProtocol: develop/headers/gnuefi/protocol + headersArch: develop/headers/gnuefi/$(TARGET_ARCH) + libdir: develop/lib/gnuefi ; EnableBuildFeatures gnuefi ; } else { - Echo "gnuefi support not available on $(TARGET_PACKAGING_ARCH)" ; + Echo "gnu_efi_kernel support not available on $(TARGET_PACKAGING_ARCH)" ; } }