From ecf44f5a6312bf0313a508e1c7eeef8e04101674 Mon Sep 17 00:00:00 2001
From: Taylor R Campbell <campbell@mumble.net>
Date: Mon, 2 Jan 2017 15:41:20 +0000
Subject: [PATCH] Allow user to use external toolchain with TOOLCHAIN make
 variable.

---
 src/Makefile.in | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/src/Makefile.in b/src/Makefile.in
index 9a5a41dcf..9efb88bc9 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -103,16 +103,19 @@ TOOL_COMPILER_SETTINGS = \
 	$(COMPILER_SETTINGS_CROSS) \
 	$(COMPILER_SETTINGS_LIARC)
 
+# User can override this to use another toolchain.
+TOOLCHAIN = ./tools
+
 HOST_SCHEME = '$(MIT_SCHEME_EXE)' --batch-mode
 TOOL_COMPILER = $(TOOL_TOOLCHAIN)
-TOOL_SYNTAXER = $(HOST_SCHEME) --band ./tools/syntaxer.com
-TOOL_TOOLCHAIN = $(HOST_SCHEME) --band ./tools/compiler.com \
+TOOL_SYNTAXER = $(HOST_SCHEME) --band $(TOOLCHAIN)/syntaxer.com
+TOOL_TOOLCHAIN = $(HOST_SCHEME) --band $(TOOLCHAIN)/compiler.com \
   --eval '(begin $(TOOL_COMPILER_SETTINGS))'
 
 .PHONY: toolchain
-toolchain: tools/compiler.com
+toolchain: $(TOOLCHAIN)/compiler.com
 
-tools/compiler.com:
+./tools/compiler.com:
 	$(MAKE) -f Makefile.tools clean && $(MAKE) -f Makefile.tools allclean
 
 # This target toolchain crud is a kludge until the whole system can be
-- 
2.25.1