From ff60c42604f76ce0f6deccfb8e00e737a001fe8d Mon Sep 17 00:00:00 2001
From: "Matthias P. Braendli" <matthias.braendli@mpb.li>
Date: Mon, 20 Apr 2020 08:58:00 +0200
Subject: INSTALL.md: mention --with-boost-libdir

---
 INSTALL.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/INSTALL.md b/INSTALL.md
index 8cd1c76..daaad91 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -54,6 +54,10 @@ that did not yet make its way into a release, you can clone the
 
        % ./configure
 
+* On a Raspberry Pi and other ARM systems you might need
+
+       % ./configure --with-boost-libdir=/usr/lib/arm-linux-gnueabihf
+
 * Build ODR-DabMux
 
        % make
-- 
cgit v1.2.3