From daf58d9bca700d25f5d70724af818ee24da2aa62 Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Fri, 9 Dec 2022 11:23:54 +0100 Subject: [PATCH] more stack please --- Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index c3fd886..7c01f0e 100644 --- a/Makefile +++ b/Makefile @@ -1,7 +1,9 @@ +MMCFLAGS := -s asm_fast.par.gc.stseg + all: aoc aoc: $(wildcard *.m) - nix shell nixpkgs#mercury -c mmc --make aoc + nix shell nixpkgs#mercury -c mmc $(MMCFLAGS) --make aoc clean: rm -rf Mercury