#
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
#
# SPDX-License-Identifier: BSD-2-Clause
#
cmake_minimum_required(VERSION 3.7.2)
project(sel4-application NONE)

include(settings.cmake)

# This is a default file that can be copied/symlinked into the top level of a project
# if you have the expected directory layout and you want no customizations beyond
# the defaults provided in the all.cmake

# Try a bunch of different default locations for the script. The different locations
# come about from different project layouts depending on how far through the transition
# from the old build system they are
include(tools/seL4/cmake-tool/all.cmake OPTIONAL RESULT_VARIABLE found_all_cmake)
if(NOT found_all_cmake)
    include(tools/cmake-tool/all.cmake OPTIONAL RESULT_VARIABLE found_all_cmake)
    if(NOT found_all_cmake)
        message(FATAL_ERROR "No path for including cmake-tool/all.cmake was successful")
    endif()
endif()