| # | |
| # 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(SIMULATION ON CACHE BOOL "Try and use simulable features") | |
| set(RELEASE OFF CACHE BOOL "Performance optimized build") | |
| set(PLATFORM "x86_64" CACHE STRING "Platform to use") |