`make` is available on Windows

This commit is contained in:
narimiran 2024-11-13 09:04:35 +01:00
parent 1a56faafcc
commit a7afcebc3d
No known key found for this signature in database
GPG Key ID: 858F5E6FB71FD8F5
1 changed files with 1 additions and 11 deletions

View File

@ -124,20 +124,10 @@ jobs:
- name: Pick a correct `make`
run: |
MAKE_CMD="make"
if [[ "${{ matrix.target.os }}" == "windows" ]]; then
MAKE_CMD="mingw32-make"
fi
echo "MAKE_CMD=${MAKE_CMD}" >> $GITHUB_ENV
- name: Build Nim and Nimble - name: Build Nim and Nimble
run: | run: |
curl -O -L -s -S https://raw.githubusercontent.com/status-im/nimbus-build-system/master/scripts/build_nim.sh curl -O -L -s -S https://raw.githubusercontent.com/status-im/nimbus-build-system/master/scripts/build_nim.sh
env MAKE="${MAKE_CMD} -j4" ARCH_OVERRIDE=${{ matrix.target.platform }} NIM_COMMIT=${{ matrix.branch }} \ env MAKE="make -j4" ARCH_OVERRIDE=${{ matrix.target.platform }} NIM_COMMIT=${{ matrix.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 \
bash build_nim.sh nim csources dist/nimble NimBinaries bash build_nim.sh nim csources dist/nimble NimBinaries
echo '${{ github.workspace }}/nim/bin' >> $GITHUB_PATH echo '${{ github.workspace }}/nim/bin' >> $GITHUB_PATH