blob: 343b03a8a0cfbab85b700a1e5a5b8b15326ec43b [file] [log] [blame]
#
# 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()