History log of /seL4-test-master/tools/seL4/cmake-tool/helpers/buildScript.sml.in
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.


# 187736c2 14-Aug-2019 Johannes Åman Pohjola <johannes.amanpohjola@data61.csiro.au>

Update CakeML code generation to accomodate CakeML changes

Removes Holmake cruft that doesn't make sense now that CakeML
doesn't construct intermediate heaps for subdirectories anymore.


# e7bbcd12 10-May-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

CMake: Construct CakeML build files from templates

The behavior of DeclareCakeMLLib is unchanged, but it should be easier
to maintain the build files without them being inlined in a CMake file.