Add GitLabCI Linux pipeline

This pipeline doesn't come with Mono out-of-the-box like the GH-Actions
one, so then we need to install mono ourselves (and there are 3
different ways to do it).
This commit is contained in:
Andres G. Aragoneses 2020-04-04 19:15:03 +08:00
parent 913a5befe5
commit f27d0257f7
2 changed files with 64 additions and 0 deletions

View file

@ -0,0 +1,15 @@
#!/usr/bin/env bash
set -euxo pipefail
# required by apt-key
apt install -y gnupg2
# required by apt-update when pulling from mono-project.com
apt install -y ca-certificates
# taken from http://www.mono-project.com/download/stable/#download-lin
apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
# bionic(=18.04) below works even for 18.10, 19.04 and 19.10
echo "deb https://download.mono-project.com/repo/ubuntu stable-bionic main" | tee /etc/apt/sources.list.d/mono-official-stable.list
apt update
apt install -y mono-devel
mono --version