1# 2# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3# 4# SPDX-License-Identifier: BSD-2-Clause 5# 6cmake_minimum_required(VERSION 3.7.2) 7project(sel4-application NONE) 8 9include(settings.cmake) 10 11# This is a default file that can be copied/symlinked into the top level of a project 12# if you have the expected directory layout and you want no customizations beyond 13# the defaults provided in the all.cmake 14 15# Try a bunch of different default locations for the script. The different locations 16# come about from different project layouts depending on how far through the transition 17# from the old build system they are 18include(tools/seL4/cmake-tool/all.cmake OPTIONAL RESULT_VARIABLE found_all_cmake) 19if(NOT found_all_cmake) 20 include(tools/cmake-tool/all.cmake OPTIONAL RESULT_VARIABLE found_all_cmake) 21 if(NOT found_all_cmake) 22 message(FATAL_ERROR "No path for including cmake-tool/all.cmake was successful") 23 endif() 24endif() 25