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

Reordered include directives.

Browse source
This commit is contained in:
Tobias Reinhard 2022-10-21 10:22:52 -04:00
parent e9302f35ac
commit 6000cbd3bd
1 changed files with 45 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

46
verification/verifast/custom_build_scripts_RP2040/preprocess_tasks_c.sh
View file

@ -23,7 +23,51 @@ mkdir $LOG_PP_OUT_DIR
# -P : surpresses line/file pragmas # -P : surpresses line/file pragmas
clang -E -C -DFREE_RTOS_KERNEL_SMP=1 -DLIB_FREERTOS_KERNEL=1 -DLIB_PICO_BIT_OPS=1 -DLIB_PICO_BIT_OPS_PICO=1 -DLIB_PICO_DIVIDER=1 -DLIB_PICO_DIVIDER_HARDWARE=1 -DLIB_PICO_DOUBLE=1 -DLIB_PICO_DOUBLE_PICO=1 -DLIB_PICO_FLOAT=1 -DLIB_PICO_FLOAT_PICO=1 -DLIB_PICO_INT64_OPS=1 -DLIB_PICO_INT64_OPS_PICO=1 -DLIB_PICO_MALLOC=1 -DLIB_PICO_MEM_OPS=1 -DLIB_PICO_MEM_OPS_PICO=1 -DLIB_PICO_MULTICORE=1 -DLIB_PICO_PLATFORM=1 -DLIB_PICO_PRINTF=1 -DLIB_PICO_PRINTF_PICO=1 -DLIB_PICO_RUNTIME=1 -DLIB_PICO_STANDARD_LINK=1 -DLIB_PICO_STDIO=1 -DLIB_PICO_STDIO_UART=1 -DLIB_PICO_STDLIB=1 -DLIB_PICO_SYNC=1 -DLIB_PICO_SYNC_CORE=1 -DLIB_PICO_SYNC_CRITICAL_SECTION=1 -DLIB_PICO_SYNC_MUTEX=1 -DLIB_PICO_SYNC_SEM=1 -DLIB_PICO_TIME=1 -DLIB_PICO_UTIL=1 -DPICO_BOARD=\"pico\" -DPICO_BUILD=1 -DPICO_CMAKE_BUILD_TYPE=\"Release\" -DPICO_COPY_TO_RAM=0 -DPICO_CXX_ENABLE_EXCEPTIONS=0 -DPICO_NO_FLASH=0 -DPICO_NO_HARDWARE=0 -DPICO_ON_DEVICE=1 -DPICO_STACK_SIZE=0x1000 -DPICO_TARGET_NAME=\"on_core_one\" -DPICO_USE_BLOCKED_RAM=0 -DmainRUN_FREE_RTOS_ON_CORE=1 -I/Users/reitobia/repos2/FreeRTOS-Kernel/verification/verifast/demos/FreeRTOS-SMP-Demos/FreeRTOS/Demo/CORTEX_M0+_RP2040/OnEitherCore -I/Users/reitobia/repos2/FreeRTOS-Kernel/verification/verifast/demos/FreeRTOS-SMP-Demos/FreeRTOS/Source/portable/ThirdParty/GCC/RP2040/include -I/Users/reitobia/repos2/FreeRTOS-Kernel/verification/verifast/demos/FreeRTOS-SMP-Demos/FreeRTOS/Source/include -I/Users/reitobia/programs/pico-sdk/src/common/pico_base/include -I/Users/reitobia/repos2/FreeRTOS-Kernel/verification/verifast/demos/FreeRTOS-SMP-Demos/FreeRTOS/Demo/CORTEX_M0+_RP2040/build/generated/pico_base -I/Users/reitobia/programs/pico-sdk/src/boards/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/pico_platform/include -I/Users/reitobia/programs/pico-sdk/src/rp2040/hardware_regs/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_base/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_clocks/include -I/Users/reitobia/programs/pico-sdk/src/rp2040/hardware_structs/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_claim/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_sync/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_gpio/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_irq/include -I/Users/reitobia/programs/pico-sdk/src/common/pico_sync/include -I/Users/reitobia/programs/pico-sdk/src/common/pico_time/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_timer/include -I/Users/reitobia/programs/pico-sdk/src/common/pico_util/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_resets/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_pll/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_vreg/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_watchdog/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_xosc/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_exception/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/pico_multicore/include -I/Users/reitobia/programs/pico-sdk/src/common/pico_stdlib/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_uart/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_divider/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/pico_runtime/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/pico_printf/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/pico_bootrom/include -I/Users/reitobia/programs/pico-sdk/src/common/pico_bit_ops/include -I/Users/reitobia/programs/pico-sdk/src/common/pico_divider/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/pico_double/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/pico_int64_ops/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/pico_float/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/pico_malloc/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/boot_stage2/include -I/Users/reitobia/programs/pico-sdk/src/common/pico_binary_info/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/pico_stdio/include -I/Users/reitobia/programs/pico-sdk/src/rp2_common/pico_stdio_uart/include -c /Users/reitobia/repos2/FreeRTOS-Kernel/verification/verifast/demos/FreeRTOS-SMP-Demos/FreeRTOS/Source/tasks.c &>$LOG_PP_TASK_C clang -E -C -DFREE_RTOS_KERNEL_SMP=1 -DLIB_FREERTOS_KERNEL=1 -DLIB_PICO_BIT_OPS=1 -DLIB_PICO_BIT_OPS_PICO=1 -DLIB_PICO_DIVIDER=1 -DLIB_PICO_DIVIDER_HARDWARE=1 -DLIB_PICO_DOUBLE=1 -DLIB_PICO_DOUBLE_PICO=1 -DLIB_PICO_FLOAT=1 -DLIB_PICO_FLOAT_PICO=1 -DLIB_PICO_INT64_OPS=1 -DLIB_PICO_INT64_OPS_PICO=1 -DLIB_PICO_MALLOC=1 -DLIB_PICO_MEM_OPS=1 -DLIB_PICO_MEM_OPS_PICO=1 -DLIB_PICO_MULTICORE=1 -DLIB_PICO_PLATFORM=1 -DLIB_PICO_PRINTF=1 -DLIB_PICO_PRINTF_PICO=1 -DLIB_PICO_RUNTIME=1 -DLIB_PICO_STANDARD_LINK=1 -DLIB_PICO_STDIO=1 -DLIB_PICO_STDIO_UART=1 -DLIB_PICO_STDLIB=1 -DLIB_PICO_SYNC=1 -DLIB_PICO_SYNC_CORE=1 -DLIB_PICO_SYNC_CRITICAL_SECTION=1 -DLIB_PICO_SYNC_MUTEX=1 -DLIB_PICO_SYNC_SEM=1 -DLIB_PICO_TIME=1 -DLIB_PICO_UTIL=1 -DPICO_BOARD=\"pico\" -DPICO_BUILD=1 -DPICO_CMAKE_BUILD_TYPE=\"Release\" -DPICO_COPY_TO_RAM=0 -DPICO_CXX_ENABLE_EXCEPTIONS=0 -DPICO_NO_FLASH=0 -DPICO_NO_HARDWARE=0 -DPICO_ON_DEVICE=1 -DPICO_STACK_SIZE=0x1000 -DPICO_TARGET_NAME=\"on_core_one\" -DPICO_USE_BLOCKED_RAM=0 -DmainRUN_FREE_RTOS_ON_CORE=1 \
-I/Users/reitobia/repos2/FreeRTOS-Kernel/verification/verifast/demos/FreeRTOS-SMP-Demos/FreeRTOS/Demo/CORTEX_M0+_RP2040/OnEitherCore \
-I/Users/reitobia/repos2/FreeRTOS-Kernel/verification/verifast/demos/FreeRTOS-SMP-Demos/FreeRTOS/Source/portable/ThirdParty/GCC/RP2040/include \
-I/Users/reitobia/repos2/FreeRTOS-Kernel/verification/verifast/demos/FreeRTOS-SMP-Demos/FreeRTOS/Source/include \
-I/Users/reitobia/programs/pico-sdk/src/common/pico_base/include \
-I/Users/reitobia/repos2/FreeRTOS-Kernel/verification/verifast/demos/FreeRTOS-SMP-Demos/FreeRTOS/Demo/CORTEX_M0+_RP2040/build/generated/pico_base \
-I/Users/reitobia/programs/pico-sdk/src/boards/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/pico_platform/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2040/hardware_regs/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_base/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_clocks/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2040/hardware_structs/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_claim/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_sync/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_gpio/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_irq/include \
-I/Users/reitobia/programs/pico-sdk/src/common/pico_sync/include \
-I/Users/reitobia/programs/pico-sdk/src/common/pico_time/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_timer/include \
-I/Users/reitobia/programs/pico-sdk/src/common/pico_util/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_resets/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_pll/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_vreg/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_watchdog/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_xosc/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_exception/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/pico_multicore/include \
-I/Users/reitobia/programs/pico-sdk/src/common/pico_stdlib/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_uart/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/hardware_divider/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/pico_runtime/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/pico_printf/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/pico_bootrom/include \
-I/Users/reitobia/programs/pico-sdk/src/common/pico_bit_ops/include \
-I/Users/reitobia/programs/pico-sdk/src/common/pico_divider/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/pico_double/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/pico_int64_ops/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/pico_float/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/pico_malloc/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/boot_stage2/include \
-I/Users/reitobia/programs/pico-sdk/src/common/pico_binary_info/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/pico_stdio/include \
-I/Users/reitobia/programs/pico-sdk/src/rp2_common/pico_stdio_uart/include \
-c /Users/reitobia/repos2/FreeRTOS-Kernel/verification/verifast/demos/FreeRTOS-SMP-Demos/FreeRTOS/Source/tasks.c \
&>$LOG_PP_TASK_C
echo "\n\nPreprocessed output with pragmas written to:" echo "\n\nPreprocessed output with pragmas written to:"
echo $LOG_PP_TASK_C echo $LOG_PP_TASK_C