| # | |
| # Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) | |
| # | |
| # SPDX-License-Identifier: BSD-2-Clause | |
| # | |
| cmake_minimum_required(VERSION 3.8.2) | |
| include(settings.cmake) | |
| project(camkes C CXX ASM) | |
| find_package(camkes-tool REQUIRED) | |
| find_package(global-components REQUIRED) | |
| find_package(sel4_projects_libs REQUIRED) | |
| # Set some options we know we need here. Applications can override them | |
| set(CapDLLoaderMaxObjects 20000 CACHE STRING "") | |
| set(KernelRootCNodeSizeBits 17 CACHE STRING "") | |
| if(KernelArchARM) | |
| ApplyData61ElfLoaderSettings(${KernelPlatform} ${KernelSel4Arch}) | |
| endif() | |
| camkes_tool_setup_camkes_build_environment() | |
| sel4_projects_libs_import_libraries() | |
| function(includeGlobalComponents) | |
| global_components_import_project() | |
| endfunction() | |
| enable_testing() | |
| macro(add_simulate_test test_script) | |
| set(TEST_SCRIPT ${test_script}) | |
| configure_file(${CMAKE_SOURCE_DIR}/tests/test_script.tcl.in ${CMAKE_BINARY_DIR}/test.tcl @ONLY) | |
| add_test(${CMAKE_PROJECT_NAME} expect -f ${CMAKE_BINARY_DIR}/test.tcl) | |
| endmacro() | |
| # We only support one application being built at a time | |
| include(apps/${CAMKES_APP}/CMakeLists.txt) | |
| # Should be done adding targets, can now generate the root server and the global configuration | |
| GenerateCAmkESRootserver() | |
| include(simulation) | |
| if(SIMULATION) | |
| GenerateSimulateScript() | |
| endif() |