CMake: create cpio archive in folder

Do not pollute the root folder. Signed-off-by: Axel Heider <[email protected]>
seL4 · Mar 23, 2023 · 5f33b79 · 5f33b79
1 parent 5decf7f
commit 5f33b79
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/camkes_vm_helpers.cmake b/camkes_vm_helpers.cmake
@@ -181,10 +181,8 @@ function(DefineCAmkESVMFileServer)
         list(APPEND CPIO_FILES "${CPIO_FILE}")
     endforeach()
 
-    # Build CPIO archive. Unfortunately MakeCPIO() support plain file names only
-    # and does not support paths. Archive will be created in the built output
-    # root folder, where using BIN_DIR would be a bit cleaner actually.
-    set(CPIO_ARCHIVE "${PARAM_INSTANCE}_cpio_archive.o")
+    # Build CPIO archive.
+    set(CPIO_ARCHIVE "${INST_BIN_DIR}/cpio_archive.o")
     include(cpio)
     MakeCPIO(${CPIO_ARCHIVE} "${CPIO_FILES}" DEPENDS "${deps}")