History log of /seL4-refos-master/seL4_tools/cmake-tool/polly_toolchains/FindPolly.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.


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

style: style cmake files consistently


# 698f676d 26-Jun-2018 Kent McLeod <Kent.Mcleod@data61.csiro.au>

CMake: Add custom polly toolchain and helpers

FindCustomPollyToolchain can be used to load a custom toolchain,
typically to be used as an argument to an ExternalProject_add call