#
# Copyright 2017, Data61
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
# ABN 41 687 119 230.
#
# This software may be distributed and modified according to the terms of
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
# See "LICENSE_BSD2.txt" for details.
#
# @TAG(DATA61_BSD)
#
cmake_minimum_required(VERSION 3.7.2)

# Include stuff needed to build Idris apps and seL4 Idris FFI
include(projects/libsel4-idris-ffi/cmake/seL4.cmake)
include(projects/libsel4-idris-ffi/cmake/Idris.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()
