new extensions; make fix

LeventErkok · Sep 16, 2024 · f3ece6f · f3ece6f
1 parent 8ad9219
commit f3ece6f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -47,7 +47,7 @@ quick: tags
 
 install: tags
 	@$(TIME) cabal new-configure --enable-tests --allow-newer --ghc-options=$(CONFIGOPTS)
-	@$(TIME) cabal new-install --lib
+	@$(TIME) cabal new-install --lib --force-reinstalls
 
 docs:
 	cabal new-haddock --haddock-option=--hyperlinked-source --haddock-option=--no-warnings --haddock-option="--optghc=-DHADDOCK" | ghc ./buildUtils/simpHaddock.hs -e main

diff --git a/sbv.cabal b/sbv.cabal
@@ -40,6 +40,7 @@ common common-settings
                      DeriveFunctor
                      DeriveGeneric
                      DeriveTraversable
+                     DerivingStrategies
                      ExistentialQuantification
                      FlexibleContexts
                      FlexibleInstances
@@ -71,6 +72,7 @@ common common-settings
                      TypeApplications
                      TypeFamilies
                      TypeOperators
+                     TypeSynonymInstances
                      UndecidableInstances
                      ViewPatterns