secc
/
seL4-camkes
mirror of https://github.com/seL4/camkes.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

easy-settings: leave SIMULATION unchanged 

Do not provide SIMULATION ON by default. This avoids
surprising compilation failures on platforms that do not support
simulation settings.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2025-07-02 14:07:40 +10:00 committed by Indan Zupancic
parent 41af8afbd4
commit 62c37db3f9
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
easy-settings.cmake
View File

@ -20,6 +20,5 @@
# 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")