From 23e671e9bd92f69bc416c42b99fcf0fd1aa1f623 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lennard=20G=C3=A4her?= Date: Fri, 12 Jul 2024 12:25:35 +0200 Subject: [PATCH] fix build script MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Lennard Gäher --- security-monitor/Makefile | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/security-monitor/Makefile b/security-monitor/Makefile index acabe84..88d12cd 100644 --- a/security-monitor/Makefile +++ b/security-monitor/Makefile @@ -35,8 +35,11 @@ build: opensbi_bindings fmt cp $(SM_WORK_DIR)/$(CHAIN)/release/$(EXEC_NAME) $(SM_WORK_DIR)/ ; \ rm -rf $(OPENSBI_WORK_DIR)/ -refinedrust: - RUSTFLAGS='$(RUSTFLAGS)' CARGO_TARGET_DIR=$(SM_WORK_DIR) INSTALL_DIR=$(ACE_DIR) $(CARGO) refinedrust $(RELEASE) $(TARGET) --features verbose +refinedrust: opensbi_bindings + echo "Generating OpenSBI bindings" ;\ + mkdir -p $(SM_WORK_DIR) ; \ + RUSTFLAGS='$(RUSTFLAGS)' CARGO_TARGET_DIR=$(SM_WORK_DIR) INSTALL_DIR=$(ACE_DIR) $(CARGO) refinedrust $(RELEASE) $(TARGET) --features verbose ; \ + rm -rf $(OPENSBI_WORK_DIR)/ debug: opensbi_bindings echo "Compiling the security monitor in DEBUG mode" ;\