Fix GNATprove caching for SPDM responder example

Ref. None
AdaCore · Jul 19, 2024 · 63d3a47 · 63d3a47
1 parent b4dcd38
commit 63d3a47
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/examples/apps/spdm_responder/Makefile b/examples/apps/spdm_responder/Makefile
@@ -1,6 +1,4 @@
-SHELL := /bin/bash
-
-BUILD_DIR = build
+include ../../../Makefile.common
 
 GENERATED = generated/rflx-spdm.ads
 
@@ -73,7 +71,7 @@ libriscv64: $(BUILD_DIR)/riscv64/lib/libspdm.a
 
 .PHONY: prove
 
-prove: $(GENERATED)
+prove: $(GNATPROVE_CACHE_DIR) $(GENERATED)
 	gnatprove -P build_lib.gpr -j0 -XTARGET=riscv64 -u responder
 	gnatprove -P build.gpr -j0 -XTARGET=riscv64 -u main