From c6fef0a46a9334d157782f329ef06c535b274ded Mon Sep 17 00:00:00 2001
From: James Crook <james.k.crook@gmail.com>
Date: Sun, 23 Jul 2017 14:19:42 +0100
Subject: [PATCH] Use local libraries by default on linux

Necessitated by MIDI support, as many people's local portaudio libs will not be patched.
This also solves some issues with building with lv2 and ffmpeg on some Ubuntu systems.
---
 INSTALL | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/INSTALL b/INSTALL
index 9bc00b7f5..2ae94fb84 100644
--- a/INSTALL
+++ b/INSTALL
@@ -40,7 +40,7 @@ The root command is often sudo on GNU/Linux, for example 'sudo make install'.
 
 Then to compile and install Audacity: 
 
-   ./configure CXXFLAGS="-std=gnu++11"
+   ./configure CXXFLAGS="-std=gnu++11" -with-lib-preferences="local system"
    make
    make install  # as root