CMake: create cpio archive in folder

Do not pollute the root folder. Signed-off-by: Axel Heider <[email protected]>
seL4 · Jul 7, 2022 · 064a3f3 · 064a3f3
1 parent a22694a
commit 064a3f3
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/camkes_vm_helpers.cmake b/camkes_vm_helpers.cmake
@@ -169,10 +169,8 @@ function(DefineCAmkESVMFileServer)
         list(APPEND CPIO_FILES "${CPIO_FILE}")
     endforeach()
 
-    # Build CPIO archive. Unfortunately MakeCPIO() expect a plain file name an
-    # can't take a path, so we can create the archive in BIN_DIR to keep the
-    # root folder clean.
-    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}")