use CHPL_MAKE_PYTHON

Signed-off-by: Jade Abraham <[email protected]>
chapel-lang · Dec 16, 2024 · 1c89788 · 1c89788
1 parent f2c135b
commit 1c89788
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/tools/chplcheck/Makefile b/tools/chplcheck/Makefile
@@ -23,6 +23,9 @@
 ifndef CHPL_MAKE_HOME
 export CHPL_MAKE_HOME=$(realpath $(shell pwd)/../..)
 endif
+ifndef CHPL_MAKE_PYTHON
+export CHPL_MAKE_PYTHON := $(shell $(CHPL_MAKE_HOME)/util/config/find-python.sh)
+endif
 
 include $(CHPL_MAKE_HOME)/make/Makefile.base
 include $(CHPL_MAKE_HOME)/third-party/chpl-venv/Makefile.include
@@ -38,7 +41,7 @@ chplcheck-venv:
 chplcheck: chplcheck-venv
 
 chplcheck-docs:
-	python3 $(CHPL_MAKE_HOME)/doc/util/chplcheck-docs.py \
+	$(CHPL_MAKE_PYTHON) $(CHPL_MAKE_HOME)/doc/util/chplcheck-docs.py \
 		-r $(CHPL_MAKE_HOME)/tools/chplcheck/src/rules.py \
 		-o $(CHPL_MAKE_HOME)/doc/rst/tools/chplcheck/generated \
 		--examples-directory $(CHPL_MAKE_HOME)/tools/chplcheck/examples