RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

proof: Do not check for KernelState_C.thy in CSPEC_DIR path

Browse Source
This commit is contained in:
Adrian Danis
2017-09-20 14:25:49 +10:00
parent eac4f6bfa2
commit 1138d6ab34
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
config.cmake
View File

@@ -18,7 +18,7 @@ set(configure_string "")
config_set(KernelIsMaster KERNEL_MASTER ON)
# Proof based configuration variables
find_path(CSPEC_DIR KernelState_C.thy CMAKE_FIND_ROOT_PATH_BOTH)
set(CSPEC_DIR "." CACHE PATH "")
set(SKIP_MODIFIES ON CACHE INTERNAL "")
set(TOPLEVELTYPES "cte_C;tcb_C;endpoint_C;notification_C;asid_pool_C;pte_C;pde_C;user_data_C;user_data_device_C" CACHE INTERNAL "")
set(SORRY_BITFIELD_PROOFS OFF CACHE INTERNAL "")