From a0085a892cd18edf97de79ee203523d1520dca1d Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 15 Nov 2023 07:01:43 -0800 Subject: [PATCH] Update Makefile.standalone: don't overwrite SELF As per https://github.com/coq/coq/pull/18191#issuecomment-1811982115 --- Makefile.standalone | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile.standalone b/Makefile.standalone index 2175966a59..d95ef8ebff 100644 --- a/Makefile.standalone +++ b/Makefile.standalone @@ -2,7 +2,7 @@ # files on .v files, so that we can compile them by invoking this # makefile directly even when Coq is not available -SELF := $(lastword $(MAKEFILE_LIST)) +SELF_MAKEFILE_STANDALONE := $(lastword $(MAKEFILE_LIST)) include Makefile.config @@ -110,7 +110,7 @@ package-standalone-ocaml package-standalone-haskell : package-standalone-% : $(SHOW)'PACKAGE STANDALONE $*' $(HIDE)rm -f "$(PACKAGE)" +$(HIDE)standalonedir="$$(TMPDIR="$$(pwd)" $(MKTEMP_D))"; \ - $(MAKE) -f $(SELF) install-standalone-$* BINDIR="$$standalonedir" && \ + $(MAKE) -f $(SELF_MAKEFILE_STANDALONE) install-standalone-$* BINDIR="$$standalonedir" && \ cd "$$standalonedir" && \ $(call PACKAGE_CMD_FUNC,../$(PACKAGE),./*) && \ cd ../ && \