Testing Gitlab CI

.gitlab-ci.yml

+image: registry.rev.ng:443/fcremo/revng-orchestra:latest
+
+stages:
+  - build
+
+create-binaries:
+  stage: build
+  script:
+    - /install-dependencies.sh
+    - echo -e "machine rev.ng\nlogin gitlab-ci-token\npassword ${CI_JOB_TOKEN}" > ~/.netrc
+    - git clone https://gitlab-ci-token:${CI_JOB_TOKEN}@rev.ng/gitlab/${CI_PROJECT_NAMESPACE}/orchestra-v3.git /orchestra
+    - cd /orchestra
+    - python3 setup.py bdist_wheel
+    - pip install dist/orchestra*.whl
+    - cd "${CI_PROJECT_DIR}"
+    - git checkout -B "$CI_COMMIT_REF_NAME" "$CI_COMMIT_SHA"
+    - |
+      git remote add internal https://gitlab-ci-token:${CI_JOB_TOKEN}@rev.ng/gitlab/revng-internal/revng-orchestra.git || \
+        git remote set-url internal https://gitlab-ci-token:${CI_JOB_TOKEN}@rev.ng/gitlab/revng-internal/revng-orchestra.git || \
+        true
+    - |
+      git remote add private https://gitlab-ci-token:${CI_JOB_TOKEN}@rev.ng/gitlab/revng-private/orchestra-v3.git || \
+        git remote set-url private https://gitlab-ci-token:${CI_JOB_TOKEN}@rev.ng/gitlab/revng-private/orchestra-v3.git || \
+        true
+    - orchestra -b install --create-binary-archives ui/cold-revng

.orchestra/ci/Dockerfile

+FROM ubuntu:18.04
+
+COPY install-dependencies.sh /install-dependencies.sh
+
+RUN /install-dependencies.sh \
+    && apt-get autoremove --yes --no-install-recommends \
+    && apt-get clean \
+    && rm -rf /var/lib/apt/lists/*

.orchestra/ci/install-dependencies.sh

+#!/bin/bash
+
+set -e
+
+export DEBIAN_FRONTEND=noninteractive
+
+apt-get update
+
+apt-get install --no-install-recommends --yes \
+  aufs-tools \
+  autoconf \
+  automake \
+  bison \
+  build-essential \
+  ca-certificates \
+  cmake \
+  curl \
+  doxygen \
+  flex \
+  g++-multilib \
+  gawk \
+  git \
+  libc-dev \
+  libexpat1-dev \
+  libglib2.0-dev \
+  liblzma-dev \
+  libncurses5-dev \
+  libreadline-dev \
+  libtool \
+  m4 \
+  ninja-build \
+  pkg-config \
+  python \
+  python-pyelftools \
+  python3 \
+  python3-pip \
+  python3-dev \
+  python3-cffi \
+  python3-pyelftools \
+  python3-pygraphviz \
+  python3-setuptools \
+  sed \
+  texinfo \
+  valgrind \
+  wget \
+  zlib1g-dev
+
+# Dependencies for Qt
+apt install --no-install-recommends --yes \
+  libfontconfig1-dev \
+  libfreetype6-dev \
+  libgl-dev \
+  libgl1-mesa-dev \
+  libgles2-mesa-dev \
+  libinput-dev \
+  libssl-dev \
+  libx11-dev \
+  libx11-xcb-dev \
+  libxcb-glx0-dev \
+  libxcb1-dev \
+  libxext-dev \
+  libxfixes-dev \
+  libxi-dev \
+  libxkbcommon-dev \
+  libxkbcommon-x11-dev \
+  libxrender-dev
+
+if ! which git-lfs >& /dev/null; then
+  curl -s https://packagecloud.io/install/repositories/github/git-lfs/script.deb.sh | bash
+  apt-get install --no-install-recommends --yes git-lfs
+fi