len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-12-13 07:05:10 -05:00
Code Issues Projects Releases Packages Wiki Activity

Fixed proof setup include path

Browse source 
The include path contained some directories within the SMP demos FreeRTOS source tree (which is the official unaltered FreeRTOS repo). Updated the include path such that it points to our forked version of the FreeRTOS kernel repo.
This commit is contained in:
Tobias Reinhard 2022-10-13 09:48:11 -04:00
parent c71025fda0
commit 21f9a95a10
1 changed files with 5 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

7
verification/verifast/start-vfide.sh
View file

@ -18,6 +18,8 @@ TASKS_C="$SOURCE_DIR/tasks.c"
PROOF_SETUP_DIR="proof_setup"
GENERATED_HEADERS_DIR="$PROOF_SETUP_DIR/generated"
RP2040_CONFIG_DIR="$SOURCE_DIR/portable/ThirdParty/GCC/RP2040/include"
FREERTOS_SMP_DEMO_DIR="demos/FreeRTOS-SMP-Demos"
PICO_SDK_DIR="sdks/pico-sdk"
@ -28,11 +30,12 @@ PICO_SDK_DIR="sdks/pico-sdk"
# ->
# `$GENERATED_HEADERS_DIR/pico_base`
"$VFIDE" -I "$HEADER_DIR" \
-I $PROOF_SETUP_DIR -D VERIFAST "$TASKS_C" \
-I $FREERTOS_SMP_DEMO_DIR/FreeRTOS/Source/portable/ThirdParty/GCC/RP2040/include \
-I $RP2040_CONFIG_DIR \
-I $PICO_SDK_DIR/src/common/pico_base/include \
-I $FREERTOS_SMP_DEMO_DIR/FreeRTOS/Source/include \
-I $GENERATED_HEADERS_DIR/pico_base \
-I $PICO_SDK_DIR/src/boards/include \
-I $PICO_SDK_DIR/src/rp2_common/cmsis/include \