pass allow-newer to cabal invocations

LeventErkok · Dec 23, 2024 · 4bc0e1f · 4bc0e1f
1 parent abd3db0
commit 4bc0e1f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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: