From 63d3a475b7f0f6f3dda4d28f9c2492aaea06b238 Mon Sep 17 00:00:00 2001
From: Tobias Reiher <reiher@adacore.com>
Date: Wed, 17 Jul 2024 18:04:34 +0200
Subject: [PATCH] Fix GNATprove caching for SPDM responder example

Ref. None
---
 examples/apps/spdm_responder/Makefile | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/examples/apps/spdm_responder/Makefile b/examples/apps/spdm_responder/Makefile
index 6c0cbe827..5f671a870 100644
--- 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