fix: leave Nimble commit to the user

This commit is contained in:
Roman 2023-12-14 12:23:16 +01:00
parent 0334ac91ff
commit a895d3b88a
No known key found for this signature in database
GPG Key ID: B8FE070B54E11B75
2 changed files with 3 additions and 3 deletions

View File

@ -127,5 +127,5 @@ runs:
rm -rf nim
cp ./scripts/build_nim.sh .
env MAKE="${MAKE_CMD} -j${ncpu}" ARCH_OVERRIDE=${PLATFORM} NIM_COMMIT=${{ inputs.nim_branch }} \
QUICK_AND_DIRTY_COMPILER=1 QUICK_AND_DIRTY_NIMBLE=1 CC=gcc \
QUICK_AND_DIRTY_COMPILER=1 QUICK_AND_DIRTY_NIMBLE=1 CC=gcc NIMBLE_COMMIT=3575fd54a890d910ace56678aa74b4237d604175 \
bash build_nim.sh nim csources dist/nimble NimBinaries

View File

@ -18,8 +18,8 @@ set -e
# After this Nim commit, use csources v2
: ${CSOURCES_V2_START_COMMIT:=f7c203fb6c89b5cef83c4f326aeb23ef8c4a2c40}
# Set Nimble commit in environment to have different one.
: ${NIMBLE_COMMIT:=3575fd54a890d910ace56678aa74b4237d604175} # 0.14.2
# Set Nimble commit in environment to have non default one.
# e.g. NIMBLE_COMMIT=3575fd54a890d910ace56678aa74b4237d604175 # 0.14.2
# NIM_COMMIT could be a (partial) commit hash, a tag, a branch name, etc. Empty by default.
NIM_COMMIT_HASH="" # full hash for NIM_COMMIT, retrieved in "nim_needs_rebuilding()"