FreeRTOS-Kernel/verification/verifast/custom_build_scripts_RP2040/build_full.sh
Tobias Reinhard 7d029778bf Added scripts to build kernel and to preprocess tasks.c.
The scripts use the demo configuration for RP2040.
2022-10-14 13:23:37 -04:00

22 lines
429 B
Bash
Executable file

#!/bin/zsh
ps -o comm= -p $$
CURRENT_DIR=`pwd`
DEMO_DIR="../demos/FreeRTOS-SMP-Demos/FreeRTOS/Demo/CORTEX_M0+_RP2040"
LOG_DIR="`pwd`/build_logs"
BUILD_LOG="$LOG_DIR/build_log--`date +'%y_%m_%d--%H_%M'`.txt"
export CC=/usr/bin/clang
export CQQ=/usr/bin/clang++
mkdir $LOG_DIR
cd $DEMO_DIR
rm -rf build
mkdir build
cd build
cmake .. &>$BUILD_LOG
echo "\ncmake finished\n"
make VERBOSE=1 &>>$BUILD_LOG
echo "\nmake finished\n"