add dockerfile and update gitlab ci

.gitlab-ci.yml

@@ -11,6 +11,13 @@ build-sots:
     - web
     - triggers
   script:
+    - 'which ssh-agent || ( apt-get update -y && apt-get install openssh-client -y )'
+
+    ##
+    ## Run ssh-agent (inside the build environment)
+    ##
+    - eval $(ssh-agent -s)
+
     - echo "Building Pokémon SotS"
     - apt-get install -qq -y binutils-arm-none-eabi
     - make -j4 all

Dockerfile

@@ -0,0 +1,9 @@
+FROM debian:stretch
+
+RUN apt-get update \
+    && DEBIAN_FRONTEND=noninteractive apt-get -y install apt-transport-https dirmngr build-essential git binutils-arm-none-eabi \
+    && apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF \
+    && echo "deb https://download.mono-project.com/repo/debian stable-stretch main" > /etc/apt/sources.list.d/mono-official-stable.list \
+    && apt-get update \
+    && apt-get install -y mono-devel \
+    && rm -rf /var/lib/apt/lists/* \