From deee4a41416c4e9a5da18ee3b2c88e7c3929ede9 Mon Sep 17 00:00:00 2001 From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com> Date: Fri, 9 Dec 2022 15:18:52 -0500 Subject: [PATCH] Sorted include paths to make them easier readable. --- .../preprocess_file.sh | 49 ++++++++++--------- 1 file changed, 25 insertions(+), 24 deletions(-) diff --git a/Test/VeriFast/tasks/vTaskSwitchContext/custom_build_scripts_RP2040/preprocess_file.sh b/Test/VeriFast/tasks/vTaskSwitchContext/custom_build_scripts_RP2040/preprocess_file.sh index e449107ae..e2ee1c98d 100755 --- a/Test/VeriFast/tasks/vTaskSwitchContext/custom_build_scripts_RP2040/preprocess_file.sh +++ b/Test/VeriFast/tasks/vTaskSwitchContext/custom_build_scripts_RP2040/preprocess_file.sh @@ -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" \ No newline at end of file