portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

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
Show stats 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(