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

cmake: install gen_config.json files

Browse Source 
To enable access by external tools outside of CMake.

Signed-off-by: Nick Spinale <nick@nickspinale.com>
This commit is contained in:
Nick Spinale
2023-02-28 00:57:42 +00:00
committed by Gerwin Klein
parent c642a398ba
commit 6d439a4646
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
CMakeLists.txt
View File

@@ -742,6 +742,7 @@ if("${CMAKE_SOURCE_DIR}" STREQUAL "${CMAKE_CURRENT_SOURCE_DIR}")
PATTERN "api/syscall.xml"
PATTERN "api/syscall.xsd"
PATTERN "interfaces/sel4.xml"
PATTERN "gen_config.json"
)
# Manually resolve conflict between the two files name sel4arch.xml
install(