From b6cfa66d4bc589b1470b69d3a14efd33bcc4a0fe Mon Sep 17 00:00:00 2001
From: Levent Erkok <erkokl@gmail.com>
Date: Wed, 29 Nov 2023 12:19:06 -0800
Subject: [PATCH] Build bench as part of release too

---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 1378a2722..e625c0d93 100644
--- a/Makefile
+++ b/Makefile
@@ -98,6 +98,9 @@ endif
 testInterfaces:
 	@$(TIME) cabal new-test SBVConnections
 
+benchBuild:
+	@$(TIME) cabal new-build SBVBench
+
 # If you specify TGT, it'll just run on that target. Give the full path to the haskell file with .hs extension
 # If you also specify FAST, it won't compile first; good when you change the "comment" but not the code
 docTest:
@@ -124,7 +127,7 @@ mkDistro:
 releaseNoBuild: testsuite testInterfaces mkDistro checkLinks
 	@echo "*** SBV is ready for release! -- no SBV build was done."
 
-fullRelease: veryclean checkExtensions install docs testsuite testInterfaces mkDistro checkLinks
+fullRelease: veryclean checkExtensions install docs testsuite testInterfaces benchBuild mkDistro checkLinks
 	@echo "*** SBV is ready for release!"
 
 release: