#!/bin/bash set -e set -x echo "Clean: ${CLEAN}" if [ -z "${RPI}" ] ; then echo "\$RPI missing, exting" 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 # Build circle-stdlib library cd circle-stdlib/ if [ ! -z "${CLEAN}" ] ; then make mrproper || true fi ./configure -r ${RPI} --prefix "${TOOLCHAIN_PREFIX}" ${OPTIONS} -o KERNEL_MAX_SIZE=0x400000 make -j # Build additional libraries cd libs/circle/addon/display/ if [ ! -z "${CLEAN}" ] ; then make clean || true fi make -j cd ../sensor/ if [ ! -z "${CLEAN}" ] ; then make clean || true fi make -j cd ../Properties/ if [ ! -z "${CLEAN}" ] ; then make clean || true fi make -j cd ../../../.. cd .. # Build MiniDexed echo "Build MiniDexed" cd src if [ ! -z "${CLEAN}" ] ; then make clean || true fi make -j ls *.img cd ..