[ fix ] Only set IDRIS2_PREFIX
if it is unset (fixes Issue 3022)
#3024
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
Discovered by scarf005 in #3022, if the
IDRIS2_PREFIX
envvar is set, bootstrapping fails. This happens regardless ofPREFIX
being set or not, and only happens ifIDRIS2_PREFIX
is set.Changing the syntax in the
Makefile
to use?=
(assign-if-unset) instead of:=
(assign) seems to fix the issue.I also updated the
envvars.rst
docs, because they were outdated and didn't mentionPREFIX
being a thing (something which could've avoided the issue, but also would've left it buried for someone else to unearth). There were several changes, e.g. #2649, which weren't included.Should this change go in the CHANGELOG?
implementation, I have updated
CHANGELOG.md
(and potentially alsoCONTRIBUTORS.md
).