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

Sorted include paths to make them easier readable.

Browse source
This commit is contained in:
Tobias Reinhard 2022-12-09 15:18:52 -05:00
parent 4f71cead4a
commit deee4a4141
1 changed files with 25 additions and 24 deletions
Download patch file Download diff file Expand all files Collapse all files

49
Test/VeriFast/tasks/vTaskSwitchContext/custom_build_scripts_RP2040/preprocess_file.sh
View file

@ -59,43 +59,44 @@ clang -E -C -DFREE_RTOS_KERNEL_SMP=1 -DLIB_FREERTOS_KERNEL=1 -DLIB_PICO_BIT_OPS
-I"$REPO_BASE_DIR/portable/ThirdParty/GCC/RP2040" \
-I"$REPO_BASE_DIR/include" \
\
-I"$PICO_SDK_DIR/src/common/pico_base/include" \
-I"$PICO_SDK_DIR/src/boards/include" \
-I"$PICO_SDK_DIR/src/rp2_common/pico_platform/include" \
-I"$PICO_SDK_DIR/src/rp2040/hardware_regs/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_base/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_clocks/include" \
-I"$PICO_SDK_DIR/src/rp2040/hardware_structs/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_claim/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_sync/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_gpio/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_irq/include" \
-I"$PICO_SDK_DIR/src/common/pico_base/include" \
-I"$PICO_SDK_DIR/src/common/pico_binary_info/include" \
-I"$PICO_SDK_DIR/src/common/pico_bit_ops/include" \
-I"$PICO_SDK_DIR/src/common/pico_divider/include" \
-I"$PICO_SDK_DIR/src/common/pico_stdlib/include" \
-I"$PICO_SDK_DIR/src/common/pico_sync/include" \
-I"$PICO_SDK_DIR/src/common/pico_time/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_timer/include" \
-I"$PICO_SDK_DIR/src/common/pico_util/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_resets/include" \
-I"$PICO_SDK_DIR/src/rp2040/hardware_regs/include" \
-I"$PICO_SDK_DIR/src/rp2040/hardware_structs/include" \
-I"$PICO_SDK_DIR/src/rp2_common/boot_stage2/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_base/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_claim/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_clocks/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_divider/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_exception/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_gpio/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_irq/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_pll/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_resets/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_sync/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_timer/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_uart/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_vreg/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_watchdog/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_xosc/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_exception/include" \
-I"$PICO_SDK_DIR/src/rp2_common/pico_multicore/include" \
-I"$PICO_SDK_DIR/src/common/pico_stdlib/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_uart/include" \
-I"$PICO_SDK_DIR/src/rp2_common/hardware_divider/include" \
-I"$PICO_SDK_DIR/src/rp2_common/pico_runtime/include" \
-I"$PICO_SDK_DIR/src/rp2_common/pico_printf/include" \
-I"$PICO_SDK_DIR/src/rp2_common/pico_bootrom/include" \
-I"$PICO_SDK_DIR/src/common/pico_bit_ops/include" \
-I"$PICO_SDK_DIR/src/common/pico_divider/include" \
-I"$PICO_SDK_DIR/src/rp2_common/pico_double/include" \
-I"$PICO_SDK_DIR/src/rp2_common/pico_int64_ops/include" \
-I"$PICO_SDK_DIR/src/rp2_common/pico_float/include" \
-I"$PICO_SDK_DIR/src/rp2_common/pico_int64_ops/include" \
-I"$PICO_SDK_DIR/src/rp2_common/pico_malloc/include" \
-I"$PICO_SDK_DIR/src/rp2_common/boot_stage2/include" \
-I"$PICO_SDK_DIR/src/common/pico_binary_info/include" \
-I"$PICO_SDK_DIR/src/rp2_common/pico_multicore/include" \
-I"$PICO_SDK_DIR/src/rp2_common/pico_platform/include" \
-I"$PICO_SDK_DIR/src/rp2_common/pico_printf/include" \
-I"$PICO_SDK_DIR/src/rp2_common/pico_runtime/include" \
-I"$PICO_SDK_DIR/src/rp2_common/pico_stdio/include" \
-I"$PICO_SDK_DIR/src/rp2_common/pico_stdio_uart/include" \
\
-c "$SRC_FILE" \
1>"$OUT_FILE" 2>"$ERR_FILE"