Skip to content

Commit

Permalink
fix build script
Browse files Browse the repository at this point in the history
Signed-off-by: Lennard Gäher <l.gaeher@posteo.de>
  • Loading branch information
lgaeher committed Jul 12, 2024
1 parent c8af232 commit 23e671e
Showing 1 changed file with 5 additions and 2 deletions.
7 changes: 5 additions & 2 deletions security-monitor/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -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" ;\
Expand Down

0 comments on commit 23e671e

Please sign in to comment.