remove 'suggested' heap size from RTS options in makefile

The suggested heap size also seems to set a maximum. I don't why we have a suggested heap size anyway, so I just removed that, since make failed with agda 2.6.4.1, compiled with ghc 9.8.1.
agda · Dec 4, 2023 · 6ebe52b · 6ebe52b
1 parent bd6f5de
commit 6ebe52b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/GNUmakefile b/GNUmakefile
@@ -2,7 +2,7 @@ AGDA_BIN?=agda
 AGDA_FLAGS?=-W error
 AGDA_EXEC?=$(AGDA_BIN) $(AGDA_FLAGS)
 FIX_WHITESPACE?=fix-whitespace
-RTS_OPTIONS=+RTS -H6G -RTS
+RTS_OPTIONS=                             # +RTS $OPTIONS  -RTS
 AGDA=$(AGDA_EXEC) $(RTS_OPTIONS)
 RUNHASKELL?=runhaskell
 EVERYTHINGS=$(RUNHASKELL) ./Everythings.hs