From 161fcf0adb1d206224d32a2227be4138555806ea Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@cs.indiana.edu>
Date: Wed, 6 Dec 2017 09:36:10 -0500
Subject: [PATCH] Support `make base CPUS=n`. (#1905)

---
 Makefile | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 3604fc4d29..1731e8aa85 100644
--- a/Makefile
+++ b/Makefile
@@ -64,7 +64,7 @@ INSTALL_PKGS_ARGS = $(JOB_OPTIONS) --no-setup --pkgs \
 ALL_PLT_SETUP_OPTIONS = $(JOB_OPTIONS) $(PLT_SETUP_OPTIONS)
 
 plain-in-place:
-	$(MAKE) base
+	$(MAKE) plain-base
 	$(MAKE) pkgs-catalog
 	$(RUN_RACO) pkg update $(UPDATE_PKGS_ARGS)
 	$(RUN_RACO) pkg install $(INSTALL_PKGS_ARGS)
@@ -151,6 +151,14 @@ CONFIGURE_ARGS_qq =
 SELF_FLAGS_qq = SELF_RACKET_FLAGS="-G `cd ../../../build/config; pwd`"
 
 base:
+	if [ "$(CPUS)" = "" ] ; \
+         then $(MAKE) plain-base ; \
+         else $(MAKE) cpus-base CPUS="$(CPUS)" ; fi
+
+cpus-base:
+	$(MAKE) -j $(CPUS) plain-base JOB_OPTIONS="-j $(CPUS)"
+
+plain-base:
 	mkdir -p build/config
 	echo '#hash((links-search-files . ()))' > build/config/config.rktd
 	mkdir -p racket/src/build