mirror of
https://github.com/seL4/seL4.git
synced 2026-03-27 02:19:55 +00:00
e7bb62d2ce
Compatibility with versions <3.10 is going away. As it happens, we're not using any CMake features that have changed between 3.7 and 3.16, so bump the lowest version to 3.16. Also remove the minimum version statement from the platform config files --- they're all very simple files that are version independent; and the version is checked elsewhere anyway. Also, Fix style issue A commit to fix style to make the PR go through. Signed-off-by: Peter Chubb <Peter.Chubb@unsw.edu.au>
45 lines
1.2 KiB
CMake
45 lines
1.2 KiB
CMake
#
|
|
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
|
|
#
|
|
# SPDX-License-Identifier: GPL-2.0-only
|
|
#
|
|
|
|
cmake_minimum_required(VERSION 3.16.0)
|
|
|
|
set(CMAKE_SYSTEM_NAME Generic)
|
|
# For a generic system this is unused, so define it to something that will be
|
|
# obvious if someone accidentally uses it
|
|
set(CMAKE_SYSTEM_PROCESSOR seL4CPU)
|
|
|
|
set(LLVM_TOOLCHAIN ON)
|
|
|
|
set(CROSS_COMPILER_PREFIX ${TRIPLE}-)
|
|
|
|
set(CMAKE_ASM_COMPILER "clang")
|
|
set(CMAKE_ASM_COMPILER_ID Clang)
|
|
set(CMAKE_ASM_COMPILER_TARGET ${TRIPLE})
|
|
|
|
set(CMAKE_C_COMPILER "clang")
|
|
set(CMAKE_C_COMPILER_ID Clang)
|
|
set(CMAKE_C_COMPILER_TARGET ${TRIPLE})
|
|
|
|
set(CMAKE_CXX_COMPILER "clang++")
|
|
set(CMAKE_CXX_COMPILER_ID Clang)
|
|
set(CMAKE_CXX_COMPILER_TARGET ${TRIPLE})
|
|
|
|
set(CMAKE_FIND_ROOT_PATH_MODE_PROGRAM NEVER)
|
|
set(CMAKE_FIND_ROOT_PATH_MODE_LIBRARY ONLY)
|
|
set(CMAKE_FIND_ROOT_PATH_MODE_INCLUDE ONLY)
|
|
set(CMAKE_FIND_ROOT_PATH_MODE_PACKAGE ONLY)
|
|
|
|
set(CMAKE_TRY_COMPILE_TARGET_TYPE STATIC_LIBRARY)
|
|
|
|
mark_as_advanced(FORCE CMAKE_TOOLCHAIN_FILE)
|
|
|
|
find_program(CCACHE ccache)
|
|
if(NOT ("${CCACHE}" STREQUAL CCACHE-NOTFOUND))
|
|
set_property(GLOBAL PROPERTY RULE_LAUNCH_COMPILE ${CCACHE})
|
|
set_property(GLOBAL PROPERTY RULE_LAUNCH_LINK ${CCACHE})
|
|
endif()
|
|
mark_as_advanced(CCACHE)
|