From 5aae9d0f9bf884669b825019849018bebcc2b55f Mon Sep 17 00:00:00 2001 From: Thomas Spriggs Date: Thu, 20 Jan 2022 12:29:31 +0000 Subject: [PATCH] Fix Makefile `clean` target of `src/crangler` This target was previously not cleaning up the generated source file for the lexer or the build binary. This issue was seen on Ubuntu and resulted in cmake errors when using `make clean` as part of switching from using the make build to using the cmake build. --- src/crangler/Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/crangler/Makefile b/src/crangler/Makefile index 8583aa9039b..6456e2214ba 100644 --- a/src/crangler/Makefile +++ b/src/crangler/Makefile @@ -17,7 +17,9 @@ INCLUDES= -I .. include ../config.inc include ../../$(CPROVER_DIR)/src/common -CLEANFILES = crangler$(LIBEXT) +CLEANFILES = crangler$(LIBEXT) \ + c_lex.yy.cpp \ + crangler$(EXEEXT) all: crangler$(EXEEXT)