From 4bc0e1fd34038b979dd2ea8c788d0c9cf54203db Mon Sep 17 00:00:00 2001
From: Levent Erkok <erkokl@gmail.com>
Date: Mon, 23 Dec 2024 08:57:36 -0800
Subject: [PATCH] pass allow-newer to cabal invocations

---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 266cfb1c..3766c306 100644
--- a/Makefile
+++ b/Makefile
@@ -50,7 +50,7 @@ DOCTESTTIMEOUT = 300
 all: quick
 
 quick: tags
-	@$(TIME) cabal new-install --lib --force-reinstalls
+	@$(TIME) cabal new-install --lib --allow-newer --force-reinstalls
 	
 install: tags
 	@$(TIME) cabal new-configure --enable-tests --allow-newer --ghc-options=$(CONFIGOPTS)
@@ -137,10 +137,10 @@ ifdef TGT
 ifdef FAST
 	cabal-docspec --timeout ${DOCTESTTIMEOUT} --module $(basename $(subst /,.,${TGT}))
 else
-	cabal new-run SBVDocTest -- --timeout ${DOCTESTTIMEOUT} --module $(basename $(subst /,.,${TGT}))
+	cabal new-run SBVDocTest --allow-newer -- --timeout ${DOCTESTTIMEOUT} --module $(basename $(subst /,.,${TGT}))
 endif
 else
-	@$(TIME) cabal new-run SBVDocTest -- --timeout ${DOCTESTTIMEOUT}
+	@$(TIME) cabal new-run SBVDocTest --allow-newer -- --timeout ${DOCTESTTIMEOUT}
 endif
 
 test: