[pulseaudio-commits] [Git][pulseaudio/pulseaudio][master] gitlab: Add support for GitLab CI
Arun Raghavan
gitlab at gitlab.freedesktop.org
Mon Aug 27 10:59:16 UTC 2018
Arun Raghavan pushed to branch master at PulseAudio / pulseaudio
Commits:
abfd5242 by Arun Raghavan at 2018-08-27T10:35:04Z
gitlab: Add support for GitLab CI
This adds a Dockerfile to generate a Docker image with the required
dependencies on top of the standard Ubuntu 18.04 image. The Gitlab CI
then runs the PulseAudio build within this image.
- - - - -
2 changed files:
- + .gitlab-ci.yml
- + scripts/Dockerfile
Changes:
=====================================
.gitlab-ci.yml
=====================================
@@ -0,0 +1,18 @@
+image: registry.freedesktop.org/pulseaudio/pulseaudio/ubuntu:18.04
+
+build:
+ stage: build
+ script:
+ - export MAKEFLAGS="-j$(nproc)"
+ - NOCONFIGURE=1 ./bootstrap.sh
+ - mkdir build
+ - cd build
+ - ../configure --localstatedir=/var
+ - make
+ - make check
+ - make check-daemon
+ - ulimit -c 0 # don't dump core files on tests that are supposed to assert
+ - make distcheck
+ artifacts:
+ paths:
+ - build/
=====================================
scripts/Dockerfile
=====================================
@@ -0,0 +1,54 @@
+# Start with current Ubuntu LTS
+FROM ubuntu:18.04
+
+# Add a PulseAudio's dependencies
+RUN apt-get update && apt-get install -y \
+ autoconf \
+ automake \
+ autopoint \
+ bash-completion \
+ check \
+ dbus-x11 \
+ g++ \
+ gcc \
+ gettext \
+ git-core \
+ libasound2-dev \
+ libasyncns-dev \
+ libavahi-client-dev \
+ libbluetooth-dev \
+ libcap-dev \
+ libfftw3-dev \
+ libglib2.0-dev \
+ libgtk-3-dev \
+ libice-dev \
+ libjack-dev \
+ liblircclient-dev \
+ libltdl-dev \
+ liborc-0.4-dev \
+ libsbc-dev \
+ libsndfile1-dev \
+ libsoxr-dev \
+ libspeexdsp-dev \
+ libssl-dev \
+ libsystemd-dev \
+ libtdb-dev \
+ libudev-dev \
+ libwebrtc-audio-processing-dev \
+ libwrap0-dev \
+ libx11-xcb-dev \
+ libxcb1-dev \
+ libxml-parser-perl \
+ libxtst-dev \
+ make \
+ systemd
+
+# Add a user and set as default for the build. This is safer, in general, and
+# allows us to avoid having to explicitly allow running as root in the
+# check-daemon stage.
+RUN groupadd -g 1000 a_group && \
+ useradd a_user -u 1000 -g a_group -m
+USER a_user:a_group
+
+# And make sure subsequent commands are run in the user's home directory
+WORKDIR /home/a_user
View it on GitLab: https://gitlab.freedesktop.org/pulseaudio/pulseaudio/commit/abfd5242e88ea9ce76e709265e5b73d4ca13677e
--
View it on GitLab: https://gitlab.freedesktop.org/pulseaudio/pulseaudio/commit/abfd5242e88ea9ce76e709265e5b73d4ca13677e
You're receiving this email because of your account on gitlab.freedesktop.org.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.freedesktop.org/archives/pulseaudio-commits/attachments/20180827/b3555e5c/attachment-0001.html>
More information about the pulseaudio-commits
mailing list