From 85017d51e15d67d1722287c5ed3f6f74d0a43808 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Tue, 19 Sep 2023 15:53:48 -0700
Subject: [PATCH] fix 'make clean'

This fixes the 'clean' target in the Makefile, and extends it to clean the
CBMC dependency.
---
 src/Makefile | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/src/Makefile b/src/Makefile
index 79d823d85..cfb4d4118 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -7,8 +7,7 @@ export EBMC_DIR
 
 all: hw-cbmc.dir ebmc.dir
 
-.PHONY: clean
-
+.PHONY: $(patsubst %, %.dir, $(DIRS))
 $(patsubst %, %.dir, $(DIRS)):
 	## Entering $(basename $@)
 	$(MAKE) $(MAKEARGS) -C $(basename $@)
@@ -29,10 +28,15 @@ cprover.dir:
 	$(MAKE) $(MAKEARGS) -C $(CPROVER_DIR) \
   CP_EXTRA_CXXFLAGS='-D"LOCAL_IREP_IDS=<$(EBMC_DIR)/hw_cbmc_irep_ids.h>"'
 
-clean: $(patsubst %, %_clean, $(SUBDIRS))
+.PHONY: clean
+clean: $(patsubst %, %_clean, $(DIRS)) cprover_clean
 
-$(patsubst %, %_clean, $(SUBDIRS)):
+.PHONY: $(patsubst %, %_clean, $(DIRS))
+$(patsubst %, %_clean, $(DIRS)):
 	if [ -e $(patsubst %_clean, %, $@)/. ] ; then \
 	        $(MAKE) $(MAKEARGS) -C $(patsubst %_clean, %, $@) clean ; \
 	fi
 
+.PHONY: cprover_clean
+cprover_clean:
+	$(MAKE) $(MAKEARGS) -C $(CPROVER_DIR) clean