Update toolchain in CI

This commit is contained in:
Alexander Senier 2020-04-25 20:16:22 +02:00
parent 9c0d0e1de7
commit 10b70ada8f
1 changed files with 1 additions and 6 deletions

View File

@ -5,10 +5,6 @@ language: c
services:
- docker
env:
- TEST_SUITE=gnat-6.3
- TEST_SUITE=gnat-community-2018
git:
submodules: false
@ -16,5 +12,4 @@ before_install:
- git submodule update --init --recursive --depth=1
script:
- if [ "$TEST_SUITE" = "gnat-6.3" ]; then docker run -v $PWD:/app -w /app debian:stretch /bin/sh -c "apt-get update && apt-get install -y --no-install-recommends gcc gnat gprbuild make libaunit3.7.2-dev && make test"; fi
- if [ "$TEST_SUITE" = "gnat-community-2018" ]; then docker run -v $PWD:/app -w /app jklmnn/gnat:gpl.2018.slim /bin/sh -c "make test"; fi
- docker run -v $PWD:/app -w /app componolit/ci:gnat-community-2019 /bin/sh -c "make"