set(THREADX_COMMON_SMP_DIR ${CMAKE_CURRENT_SOURCE_DIR}/../../third-party/threadx/common_smp)
if(NOT EXISTS "${THREADX_COMMON_SMP_DIR}")
    message(FATAL_ERROR "could not find ThreadX SMP sources, is the submodule checked out?")
endif()

set(THREADX_SMP_CUSTOM_INC ${CMAKE_CURRENT_SOURCE_DIR}/inc ${CMAKE_CURRENT_SOURCE_DIR}/../moonlight)
set(THREADX_SMP_CUSTOM_SRC
    src/tx_thread_smp_core_preempt.c
    src/tx_initialize_low_level.S
)

file(GLOB THREADX_SMP_SOURCES ${THREADX_COMMON_SMP_DIR}/src/*.c)
add_library(threadx_smp STATIC)
target_sources(threadx_smp PRIVATE
    ${THREADX_SMP_SOURCES}
    ${THREADX_SMP_CUSTOM_SRC}
)
target_include_directories(threadx_smp PUBLIC
    ${THREADX_COMMON_SMP_DIR}/inc
    ${THREADX_SMP_CUSTOM_INC}
)
target_compile_definitions(threadx_smp PRIVATE -DTX_QUEUE_MESSAGE_MAX_SIZE=16) #This is addressed in PR #503


#Definition smp_demo
project(smp_demo LANGUAGES C ASM)
cmake_minimum_required(VERSION 3.24)
add_executable(smp_demo)
target_include_directories(smp_demo PRIVATE
    ${CMAKE_CURRENT_SOURCE_DIR}/../moonlight
)
target_link_libraries(smp_demo PRIVATE threadx_smp)

target_sources(smp_demo PRIVATE ${CMAKE_CURRENT_SOURCE_DIR}/../../src/thread_demo/main.c)

#cmake -S . -B build -DCMAKE_TOOLCHAIN_FILE=$PWD/../../cmake/rv32gc_gnu.cmake -DCMAKE_EXPORT_COMPILE_COMMANDS=YES