CMake: create cpio archive in folder

Do not pollute the root folder. Signed-off-by: Axel Heider <[email protected]>
seL4 · Jan 12, 2023 · 4d7cee5 · 4d7cee5
1 parent e3cf3ea
commit 4d7cee5
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/camkes_vm_helpers.cmake b/camkes_vm_helpers.cmake
@@ -175,10 +175,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}")