Merge branch 'topic/changelog' into 'master' #1476
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| on: | |
| push: | |
| tags: | |
| - 2*.*.* | |
| workflow_dispatch: | |
| name: Build binaries | |
| env: | |
| DEFAULT_TAG: 24.0.999 | |
| jobs: | |
| build: | |
| name: Build and deploy | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| os: [macos-12, macos-14, ubuntu-20.04, windows-latest] | |
| runs-on: ${{ matrix.os }} | |
| steps: | |
| - name: Setup Python | |
| uses: actions/setup-python@v4 | |
| with: | |
| python-version: '3.10' | |
| - name: Initialize TAG and git autocrlf | |
| shell: bash | |
| run: | | |
| git config --global core.autocrlf input | |
| if [[ ${GITHUB_REF##*/} = 2*.[0-9]*.[0-9]* ]]; then | |
| echo "TAG=${GITHUB_REF##*/}" >> $GITHUB_ENV | |
| else | |
| echo "TAG=$DEFAULT_TAG" >> $GITHUB_ENV | |
| fi | |
| - name: Force Alire use preinstalled MSYS2 | |
| shell: bash | |
| if: ${{ runner.os == 'Windows' }} | |
| run: | | |
| mkdir -p ~/.config/alire | |
| echo '[msys2]' >> ~/.config/alire/config.toml | |
| echo 'install_dir = "C:\\msys64"' >> ~/.config/alire/config.toml | |
| - name: Get als | |
| uses: actions/checkout@v3 | |
| with: | |
| fetch-depth: 0 | |
| - name: Get GNAT toolchain with alire | |
| shell: bash | |
| run: | | |
| # alire-project/setup-alire doesn't work for ARM64 Mac OS X for now. | |
| # https://github.com/alire-project/setup-alire/pull/74 | |
| # Also it depends on `engineerd/[email protected]` not approved by IT. | |
| # https://github.com/alire-project/setup-alire/issues/75 | |
| # So we fetch Alire with curl then toolchain with Alire. | |
| if [[ "$RUNNER_ARCH" == ARM64 ]] ; then | |
| ZIP=nightly/alr-nightly-bin-aarch64-macos.zip | |
| else | |
| ZIP=v2.0.1/alr-2.0.1-bin-x86_64-${RUNNER_OS}.zip | |
| fi | |
| curl -L -O https://github.com/alire-project/alire/releases/download/$ZIP | |
| unzip $(basename $ZIP) | |
| bin/alr index --reset-community | |
| bin/alr toolchain --select gnat_native^14 gprbuild | |
| echo $PWD/bin >> $GITHUB_PATH | |
| - name: Get cross GNAT toolchain (Linux) | |
| if: ${{ runner.os == 'Linux' }} | |
| env: | |
| AWS_ACCESS_KEY_ID: ${{secrets.GHA_CACHE_ACCESS_KEY_ID}} | |
| AWS_SECRET_ACCESS_KEY: ${{secrets.GHA_CACHE_SECRET}} | |
| AWS_DEFAULT_REGION: eu-west-1 | |
| run: | | |
| sudo apt install -y libc6-dev-arm64-cross linux-libc-dev-arm64-cross binutils-aarch64-linux-gnu | |
| aws s3 cp s3://adacore-gha-tray-eu-west-1/toolchain/aarch64-Linux-gcc-14.2.tar.bz2 . --sse=AES256 | |
| aws s3 cp s3://adacore-gha-tray-eu-west-1/toolchain/aarch64-Linux-gmp-6.2.1.tar.bz2 . --sse=AES256 | |
| sudo tar xjf aarch64-Linux-gcc-14.2.tar.bz2 -C / | |
| sudo tar xjf aarch64-Linux-gmp-6.2.1.tar.bz2 -C / | |
| - name: Build | |
| shell: bash | |
| run: | | |
| alr settings --global --set dependencies.shared false | |
| pip3 install e3-testsuite | |
| scripts/build_als.sh all "$TAG" | |
| - name: Build ALS with cross (Linux) | |
| if: ${{ runner.os == 'Linux' }} | |
| run: | | |
| if alr exec -- gprconfig --show-targets | grep aarch64-linux; then | |
| export GPRBUILD_EXTRA=--target=aarch64-linux | |
| export NODE_ARCH_PLATFORM=arm64/linux | |
| find . -name '*.ali' -delete | |
| find . -name '*.[ao]' -delete | |
| scripts/build_als.sh build_als "$TAG" arm64/linux | |
| scripts/build_als.sh strip_debug "$TAG" arm64/linux | |
| else | |
| echo "No AArch64 cross compiler found:" | |
| alr exec -- gprconfig --show-targets || true | |
| fi | |
| - name: Archive ALS binary | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: als-${{ matrix.os }} | |
| # We know that only one of the following entries will match on a given | |
| # run, so we use globs here to try to avoid warnings on unmatched | |
| # entries | |
| path: | | |
| integration/vscode/ada/arm* | |
| integration/vscode/ada/x64* | |
| commits.txt | |
| - name: Upload release | |
| shell: bash | |
| if: ${{ env.TAG != env.DEFAULT_TAG }} | |
| run: | | |
| .github/workflows/release.sh "${{ secrets.GITHUB_TOKEN }}" $TAG "" | |
| if [ -f integration/vscode/ada/arm64/linux/ada_language_server ] ; then | |
| .github/workflows/release.sh "${{ secrets.GITHUB_TOKEN }}" $TAG arm64/linux | |
| fi | |
| - name: Package | |
| shell: bash | |
| run: | | |
| .github/workflows/pack-binaries.sh "$TAG" | |
| - name: Archive VSIX binary | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: vsix-${{ matrix.os }} | |
| path: "*.vsix" | |
| - name: Upload result to AWS | |
| shell: bash | |
| if: ${{ github.repository == 'AdaCore/ada_language_server' && startsWith(matrix.os, 'macos-') }} | |
| env: | |
| AWS_ACCESS_KEY_ID: ${{secrets.GHA_PUBLISH_ACCESS_KEY_ID}} | |
| AWS_SECRET_ACCESS_KEY: ${{secrets.GHA_PUBLISH_SECRET}} | |
| AWS_DEFAULT_REGION: eu-west-1 | |
| run: | | |
| for FILE in *.vsix ; do | |
| aws s3 cp ${FILE} s3://als-publish-adacore-eu-west-1/vscode-extension/${TAG}/ --sse=AES256 | |
| done | |
| aws s3 ls s3://als-publish-adacore-eu-west-1/vscode-extension/${TAG}/ |