Makefile: pass on parallelism to build.sh, run configure when require…

…d. (#884)
mighty-gerbils · Sep 20, 2023 · 792c1f1 · 792c1f1
1 parent 8e4f54c
commit 792c1f1
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -1,7 +1,10 @@
-default: build
+# Parse -j from MAKEFLAGS for parallelism.
+GERBIL_BUILD_CORES := $(or $(patsubst -j%,%,$(filter -j%,$(MAKEFLAGS))),1) 
+
+all: build
 
 build:
-	./build.sh
+	GERBIL_BUILD_CORES=$(GERBIL_BUILD_CORES) ./build.sh
 
 install:
 	./install.sh
@@ -10,3 +13,5 @@ clean:
 	rm -rf build
 	rm -rf bootstrap
 	cd src/gambit && make clean
+
+.PHONY: all install clean