# HG changeset patch
# User Chris Cannam
# Date 1530614832 -3600
# Node ID 3513d7ff5ad9aa3a9a2e0b520c25350689a36621
# Parent  55241126e0e49f03004899ffa920609794c51ed0
Avoid portaudio

diff -r 55241126e0e4 -r 3513d7ff5ad9 deploy/linux/docker/Dockerfile_appimage_tip
--- 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 \