fix the extension checker

doyougnu · Jun 18, 2023 · b7b1d85 · b7b1d85
1 parent bb495bc
commit b7b1d85
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -131,7 +131,7 @@ release:
 	$(TIME) make fullRelease
 
 checkExtensions:
-	@ag LANGUAGE | awk '{print $$3}' | sort | uniq | grep -v ignore | grep -v note | grep -v "^\""| grep -v "<-" > ./required_extensions
+	@ag LANGUAGE | awk '{print $$3}' | sort | uniq | grep -v LANGUAGE | grep -v ignore | grep -v note | grep -v "^\""| grep -v "<-" > ./required_extensions
 	@ghc -package base -package process ./buildUtils/checkExtensions.hs -e main
 	@/bin/rm -f required_extensions
 

diff --git a/sbv.cabal b/sbv.cabal
@@ -51,7 +51,6 @@ common common-settings
                      ImplicitParams
                      InstanceSigs
                      KindSignatures
-                     LANGUAGE
                      LambdaCase
                      MultiParamTypeClasses
                      NamedFieldPuns