From 83cc7e4a97cda4acab550d2e916aad3e165b1bad Mon Sep 17 00:00:00 2001
From: Carl Wachter <carl.wachter@rwth-aachen.de>
Date: Wed, 5 Jun 2024 11:47:07 +0200
Subject: [PATCH] fix(cmake): install bootstrap

---
 cmake/HermitCore-librs.cmake | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/cmake/HermitCore-librs.cmake b/cmake/HermitCore-librs.cmake
index 5b1f684d..4cf87f8a 100644
--- a/cmake/HermitCore-librs.cmake
+++ b/cmake/HermitCore-librs.cmake
@@ -34,13 +34,13 @@ add_custom_target(hermit_rs-install
 		hermit_rs
 	COMMAND
 		${CMAKE_COMMAND}
-			-DCMAKE_INSTALL_COMPONENT=hermit_rs
+			-DCMAKE_INSTALL_COMPONENT=bootstrap
 			-DCMAKE_INSTALL_PREFIX=${CMAKE_INSTALL_PREFIX}
 			-P cmake_install.cmake
 )
 
 # Install libhermit.a and headers
-install(FILES ${HERMIT_RS}
+install(FILES ${CMAKE_BINARY_DIR}/hermit_rs/${HERMIT_ARCH}/release/libhermit.a
 		DESTINATION ${HERMIT_ARCH}-hermit/lib
 		COMPONENT bootstrap)