3 # Verify that gnu-efi is installed in the object directory for our
4 # firmware. If it isn't, build it.
8 Usage: $0: <arch> <objdir>
10 Check for gnu-efi libraries and header files in <objdir> and, if none
11 exist, build and install them.
13 <arch> - A gnu-efi \$ARCH argument, i.e. ia32, x86_64
14 <objdir> - The Syslinux object directory
23 if [ ! \
( -f "$objdir/include/efi/$ARCH/efibind.h" -a -f "$objdir/lib/libefi.a" -a -f "$objdir/lib/libgnuefi.a" \
) ]; then
24 # Build the external project with a clean make environment, as
25 # Syslinux disables built-in implicit rules.
28 ..
/..
/efi
/build-gnu-efi.sh
$ARCH "$objdir" > /dev
/null
2>&1
30 printf "Failed to build gnu-efi. "
31 printf "Execute the following command for full details: \n\n"
32 printf "build-gnu-efi.sh $ARCH $objdir\n\n"
37 printf "skip gnu-efi build/install\n"