From 1c89788d070dfc7d3423c1ab683cab2d9322ba1d Mon Sep 17 00:00:00 2001 From: Jade Abraham Date: Mon, 4 Nov 2024 16:08:08 -0800 Subject: [PATCH] use CHPL_MAKE_PYTHON Signed-off-by: Jade Abraham --- tools/chplcheck/Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/tools/chplcheck/Makefile b/tools/chplcheck/Makefile index 005fed4a6e29..0fd8c447d018 100644 --- 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