History log of /seL4-refos-master/seL4_tools/cmake-tool/projects.cmake
Revision Date Author Comments
# 9f904ed2 06-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

convert license headers to SPDX

Includes license review of 3rd-party files, adding missing upstream
headers, and moving the UNSW OZPLB license into its own file rather
than replicating it in the header.


# 40d42cb5 30-Apr-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

CMake: Refactor helpers to be included on demand

As more helper files get added it becomes more expensive to include them
all in common.cmake. We instead add them to the CMAKE_MODULE_PATH and
allow them to be imported as CMake modules. Adding global include guards
allows them to be imported multiple times without processing every time.


# a8950605 20-Mar-2019 Anna Lyons <Anna.Lyons@data61.csiro.au>

style: style cmake files consistently


# 791ef12f 01-Jun-2018 Kent McLeod <Kent.Mcleod@data61.csiro.au>

cmake-tool: Move default riscv-pk search to tools


# ea487123 05-Apr-2018 Kent McLeod <Kent.Mcleod@data61.csiro.au>

RISC-V: Add CMake support


# 24e47a4e 30-Oct-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

cmake: Sort projects for deterministic builds


# 70eb394a 29-Mar-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

Add a common CMake based build tool/system

For details read the added cmake-tool/README.md