From 481bb1b60866527bbdfec0a14126a0d836e70cac Mon Sep 17 00:00:00 2001
From: Levent Erkok <erkokl@gmail.com>
Date: Mon, 23 Sep 2024 05:12:34 -0700
Subject: [PATCH] allow configuring #of qc tests to run

---
 Makefile | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 5c2a07e26..a7969d338 100644
--- a/Makefile
+++ b/Makefile
@@ -35,6 +35,13 @@ else
     TESTHIDE   = --hide-successes
 endif
 
+# how many quick-check tests to run (default of 100 might be too slow)
+ifdef QC
+    QCCOUNT = ${QC}
+else
+    QCCOUNT = 100
+endif
+
 # How long to wait for each doctest to run (in seconds)
 DOCTESTTIMEOUT = 300
 
@@ -137,7 +144,7 @@ else
 endif
 
 test:
-	@$(TIME) cabal new-run SBVTest -- -j $(NO_OF_CORES) ${TESTTARGET} ${TESTACCEPT} ${TESTHIDE} --quickcheck-tests 100
+	@$(TIME) cabal new-run SBVTest -- -j $(NO_OF_CORES) ${TESTTARGET} ${TESTACCEPT} ${TESTHIDE} --quickcheck-tests ${QCCOUNT}
 
 checkLinks:
 	@brok --no-cache --only-failures $(ALLSOURCES) COPYRIGHT INSTALL LICENSE $(wildcard *.md)