From c690478e36144998f152bfd42c21f57af178b17f Mon Sep 17 00:00:00 2001
From: Fredrik Wieczerkowski <fredrik.wieczerkowski@stu.uni-kiel.de>
Date: Wed, 2 Mar 2022 16:20:54 +0100
Subject: [PATCH] Make stack path configurable in Makefile

---
 Makefile | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index 61de8c82..795fcead 100644
--- a/Makefile
+++ b/Makefile
@@ -8,21 +8,23 @@ export ROOT=$(CURDIR)
 export BINDIR=$(ROOT)/bin
 # The frontend binary
 export CYMAKE = $(BINDIR)/curry-frontend
+# The stack binary
+STACK = stack
 
 # install front end (if sources are present):
 .PHONY: frontend
 frontend:
-	stack install --local-bin-path $(BINDIR)
+	$(STACK) install --local-bin-path $(BINDIR)
 
 .PHONY: clean
 clean:
-	stack clean
+	$(STACK) clean
 
 .PHONY: cleanall
 cleanall:
-	stack clean --full
+	$(STACK) clean --full
 	rm -f $(CYMAKE) && rm -rf bin
 
 .PHONY: runtests
 runtests:
-	stack test
+	$(STACK) test
-- 
GitLab