diff --git a/Makefile b/Makefile index 61de8c82222633e78e824c0c64193884e1a3d990..795fcead199c26d197cdd4204d7229993ea08e63 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