Allow RTS flags

Author: omelkonian

agda2hs.cabal

@@ -86,4 +86,4 @@ executable agda2hs
                        ViewPatterns
                        NamedFieldPuns
                        PatternSynonyms
-  ghc-options:         -Werror
+  ghc-options:         -Werror -rtsopts

cabal.project

@@ -1,2 +1,3 @@
 packages: ./agda2hs.cabal
 constraints: Agda +debug
+

test/Makefile

@@ -1,5 +1,6 @@
 
 .PHONY : default clean golden alltests cubicaltests fail print-fail compare force-recompile
+AGDA2HS=./agda2hs +RTS -M2G -RTS
 
 ROOT=$(shell cd ..; pwd)/
 
@@ -10,13 +11,13 @@ clean :
 
 alltests :
 	@echo == Compiling tests ==
-	./agda2hs AllTests.agda -o build
+	$(AGDA2HS) AllTests.agda -o build
 	@echo == Running ghc ==
 	@(cd build; ghc -fno-code AllTests.hs)
 
 cubicaltests :
 	@echo == Compiling tests using cubical ==
-	./agda2hs CubicalTests.agda -o build
+	$(AGDA2HS) CubicalTests.agda -o build
 	@echo == Running ghc ==
 	@(cd build; ghc -fno-code CubicalTests.hs)
 
@@ -31,7 +32,7 @@ print-fail :
 
 build/%.err : Fail/%.agda force-recompile alltests
 	@echo Compiling $<
-	@(./agda2hs $< -o build -v0 && echo "UNEXPECTED SUCCESS" || true) | sed -e 's:'$(ROOT)'::g' > $@
+	@($(AGDA2HS) $< -o build -v0 && echo "UNEXPECTED SUCCESS" || true) | sed -e 's:'$(ROOT)'::g' > $@
 
 force-recompile :