changeset 1921:3513d7ff5ad9

Avoid portaudio
author Chris Cannam
date Tue, 03 Jul 2018 11:47:12 +0100 (2018-07-03)
parents 55241126e0e4
children b676ebebe74f
files deploy/linux/docker/Dockerfile_appimage_tip
diffstat 1 files changed, 6 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/deploy/linux/docker/Dockerfile_appimage_tip	Tue Jul 03 11:47:06 2018 +0100
+++ b/deploy/linux/docker/Dockerfile_appimage_tip	Tue Jul 03 11:47:12 2018 +0100
@@ -22,7 +22,6 @@
     libsord-dev \
     libxml2-utils \
     libgl1-mesa-dev \
-    portaudio19-dev \
     raptor-utils \
     librubberband-dev \
     git \
@@ -30,6 +29,12 @@
     curl wget \
     mlton \
     autoconf automake libtool lintian
+
+# NB we do not install portaudio because it comes with a dependency on
+# the JACK library which we don't want to bundle and can't assume
+# people will have. Instead we rely on Pulse and (dynamically-loaded)
+# JACK support
+
 RUN apt-add-repository -y ppa:beineri/opt-qt-5.10.1-trusty
 RUN apt-get update && \
     apt-get install -y \