From 7c283df9c4ecb9b14fae680aaa87d7cdcbbcb9d5 Mon Sep 17 00:00:00 2001 From: Andrej Karpathy Date: Wed, 26 Jun 2024 16:06:54 +0000 Subject: [PATCH] use ?= for OPENMPI_DIR so it can be overriden --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index a79a6e3..168da4c 100644 --- a/Makefile +++ b/Makefile @@ -208,7 +208,7 @@ else endif # Attempt to find and include OpenMPI on the system -OPENMPI_DIR = /usr/lib/x86_64-linux-gnu/openmpi +OPENMPI_DIR ?= /usr/lib/x86_64-linux-gnu/openmpi OPENMPI_LIB_PATH = $(OPENMPI_DIR)/lib/ OPENMPI_INCLUDE_PATH = $(OPENMPI_DIR)/include/ ifeq ($(NO_USE_MPI), 1)