Add --auto-inline and -Werror to Makefile and CI script.

agda · Aug 24, 2021 · 46b79f8 · 46b79f8
1 parent 4ae3b6d
commit 46b79f8
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml
@@ -51,7 +51,7 @@ env:
   GHC_VERSION: 8.6.5
   CABAL_VERSION: 3.2.0.0
   CABAL_INSTALL: cabal install --overwrite-policy=always --ghc-options='-O1 +RTS -M6G -RTS'
-  AGDA: agda -Werror +RTS -M3.5G -H3.5G -A128M -RTS -i. -i src/
+  AGDA: agda --auto-inline -Werror +RTS -M3.5G -H3.5G -A128M -RTS -i. -i src/
 
 jobs:
   test-categories:

diff --git a/Makefile b/Makefile
@@ -1,8 +1,8 @@
 .PHONY: test Everything.agda clean
 
-OTHEROPTS=
+OTHEROPTS = --auto-inline -Werror
 
-RTSARGS = +RTS -M6G -A128M ${OTHEROPTS} -RTS
+RTSARGS = +RTS -M6G -A128M -RTS ${OTHEROPTS}
 
 test: Everything.agda
 	agda ${RTSARGS} -i. Everything.agda