28 lines
829 B
Bash
28 lines
829 B
Bash
#!/bin/bash
|
|
|
|
SCRIPT_DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
|
|
|
|
# This script will always run on its own basepath, no matter where you call it from.
|
|
pushd ${SCRIPT_DIR}
|
|
|
|
if [ "$(uname -m)" = "x86_64" ]; then
|
|
export ARCH=X64
|
|
fi
|
|
|
|
# Download the UEFI tool and library sources:
|
|
if [ -e edk2 ]; then
|
|
make -C edk2/BaseTools/Source/C/Common clean
|
|
make -C edk2/BaseTools/Source/C/GenFw clean
|
|
else
|
|
git clone --depth=1 https://github.com/tianocore/edk2 || exit
|
|
fi
|
|
# Build common sources required by the GenFw tool:
|
|
make -C edk2/BaseTools/Source/C/Common || exit
|
|
# Build the GenFw tool that is used to generate UEFI binaries:
|
|
make -C edk2/BaseTools/Source/C/GenFw || exit
|
|
# Create a makefile that indicates to the Contiki build system that UEFI support
|
|
# should be built:
|
|
echo "EN_UEFI = 1" > Makefile.uefi
|
|
|
|
popd
|