Merge branch 'topic/fix_kp_s814_034' into 'master' #1191
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: | |
| branches: | |
| - master | |
| pull_request: | |
| branches: | |
| - master | |
| name: Linux CI | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| name: Linux build & test | |
| env: | |
| PROCESSORS: 0 | |
| PREFIX: /tmp/ADALIB_DIR | |
| GPR_PROJECT_PATH: /tmp/ADALIB_DIR/share/gpr | |
| steps: | |
| - name: Get lkql | |
| uses: actions/checkout@v2 | |
| - name: Setup Python 3.8 | |
| uses: actions/setup-python@v2 | |
| with: | |
| python-version: '3.8' | |
| - name: Get langkit | |
| uses: actions/checkout@v2 | |
| with: | |
| repository: AdaCore/langkit | |
| path: langkit | |
| fetch-depth: 0 # all branches | |
| - name: Install Python dependencies | |
| run: | | |
| pip install -r requirements.txt | |
| pip install e3-testsuite | |
| - uses: actions/cache@v2 | |
| with: | |
| path: ./cached_gnat | |
| key: ${{ runner.os }}-gnat-ce-2020 | |
| - name: Get GNAT Community 2020 toolchain | |
| uses: ada-actions/toolchain@52618bd1ec9fcc3072de8793b40958c4bd49f9d4 | |
| with: | |
| distrib: community | |
| install_dir: ./cached_gnat | |
| - name: Clean up GNAT | |
| # TODO: For unknown reasons, even with all caches disabled, there are | |
| # sometimes spurious installs of dependencies (gnatcoll-iconv, -gmp and | |
| # langkit_support) in cached_gnat's install. Try to uninstall them to | |
| # workaround this issue. We need to uninstall gpr and gnatcoll anyway, | |
| # as we want their latest versions. | |
| run: | | |
| sh langkit/.github/helpers/clean_up_gnat.sh | |
| - name: Fetch & install dependencies | |
| 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: | | |
| FILE=libadalang-Linux-master.tar.gz | |
| aws s3 cp s3://adacore-gha-tray-eu-west-1/libadalang/$FILE . --sse=AES256 | |
| mkdir -p $PREFIX | |
| tar xzf $FILE -C $PREFIX | |
| rm -f -v $FILE | |
| - name: Build Langkit | |
| run: | | |
| langkit/manage.py make --no-langkit-support | |
| - name: Build LKQL | |
| run: | | |
| eval `lkql/manage.py setenv` | |
| GPR_ARGS=-XLIBRARY_TYPE=relocatable make | |
| - name: Test LKQL | |
| run: | | |
| eval `lkql/manage.py setenv` | |
| make test | |
| - name: Deploy | |
| if: ${{github.repository != 'AdaCore/langkit-query-language'}} | |
| uses: peaceiris/actions-gh-pages@v3 | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| publish_dir: ./user_manual/build/html | |
| user_name: 'github-actions[bot]' | |
| user_email: 'github-actions[bot]@users.noreply.github.com' | |