From 6d439a46469f6c859100b4e76c18998c84dd7c16 Mon Sep 17 00:00:00 2001
From: Nick Spinale <nick@nickspinale.com>
Date: Tue, 28 Feb 2023 00:57:42 +0000
Subject: [PATCH] cmake: install gen_config.json files

To enable access by external tools outside of CMake.

Signed-off-by: Nick Spinale <nick@nickspinale.com>
---
 CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index b77132c44..222e847f9 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -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(