Skip to content

Merge branch 'topic/144' into 'master' #1089

Merge branch 'topic/144' into 'master'

Merge branch 'topic/144' into 'master' #1089

Workflow file for this run

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'