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