mirror of https://github.com/probonopd/MiniDexed
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
67 lines
1.2 KiB
67 lines
1.2 KiB
#!/bin/bash
|
|
|
|
set -e
|
|
set -x
|
|
|
|
if [ -z "${RPI}" ] ; then
|
|
echo "\$RPI missing, exiting"
|
|
exit 1
|
|
fi
|
|
|
|
if [ "${RPI}" -gt "2" ]; then
|
|
export TOOLCHAIN_PREFIX="aarch64-none-elf-"
|
|
else
|
|
export TOOLCHAIN_PREFIX="arm-none-eabi-"
|
|
fi
|
|
|
|
# Define system options
|
|
OPTIONS="-o USE_PWM_AUDIO_ON_ZERO -o SAVE_VFP_REGS_ON_IRQ -o REALTIME -o SCREEN_DMA_BURST_LENGTH=1"
|
|
if [ "${RPI}" -gt "1" ]; then
|
|
OPTIONS="${OPTIONS} -o ARM_ALLOW_MULTI_CORE"
|
|
fi
|
|
|
|
# For wireless access
|
|
if [ "${RPI}" == "3" ]; then
|
|
OPTIONS="${OPTIONS} -o USE_SDHOST"
|
|
fi
|
|
|
|
# USB Vendor and Device ID for use with USB Gadget Mode
|
|
source USBID.sh
|
|
if [ "${USB_VID}" ] ; then
|
|
OPTIONS="${OPTIONS} -o USB_GADGET_VENDOR_ID=${USB_VID}"
|
|
fi
|
|
if [ "${USB_DID}" ] ; then
|
|
OPTIONS="${OPTIONS} -o USB_GADGET_DEVICE_ID_BASE=${USB_DID}"
|
|
fi
|
|
|
|
# Build circle-stdlib library
|
|
cd circle-stdlib/
|
|
make mrproper || true
|
|
./configure -r ${RPI} --prefix "${TOOLCHAIN_PREFIX}" ${OPTIONS} -o KERNEL_MAX_SIZE=0x400000
|
|
make -j
|
|
|
|
# Build additional libraries
|
|
cd libs/circle/addon/display/
|
|
make clean || true
|
|
make -j
|
|
|
|
cd ../wlan/
|
|
make clean || true
|
|
make -j
|
|
|
|
cd ../sensor/
|
|
make clean || true
|
|
make -j
|
|
cd ../Properties/
|
|
make clean || true
|
|
make -j
|
|
cd ../../../..
|
|
|
|
cd ..
|
|
|
|
# Build MiniDexed
|
|
cd src
|
|
make clean || true
|
|
make -j
|
|
ls *.img
|
|
cd ..
|
|
|