mirror of https://github.com/seL4/camkes.git
25 lines
743 B
CMake
25 lines
743 B
CMake
#
|
|
# Copyright 2019, Data61, CSIRO (ABN 41 687 119 230)
|
|
#
|
|
# SPDX-License-Identifier: BSD-2-Clause
|
|
#
|
|
|
|
# Define our top level settings. Whilst they have doc strings for readability
|
|
# here, they are hidden in the cmake-gui as they cannot be reliably changed
|
|
# after the initial configuration. Enterprising users can still change them if
|
|
# they know what they are doing through advanced mode.
|
|
#
|
|
# Users should initialize a build directory by doing something like:
|
|
#
|
|
# mkdir build_sabre
|
|
# cd build_sabre
|
|
#
|
|
# Then
|
|
#
|
|
# ../griddle --PLATFORM=sabre --SIMULATION
|
|
# ninja
|
|
#
|
|
set(CAMKES_APP "adder" CACHE STRING "CAmkES application to build")
|
|
set(RELEASE OFF CACHE BOOL "Performance optimized build")
|
|
set(PLATFORM "x86_64" CACHE STRING "Platform to use")
|