From: colepoirier <colepoirier@gmail.com>
Date: Mon, 18 May 2020 20:14:10 +0000 (-0700)
Subject: Added missing dependency 'libmpfr-dev' to 'install-apt-reqs'
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7aa836a8b75fbf07a9990134702e351ebd83fc2a;p=dev-env-setup.git

Added missing dependency 'libmpfr-dev' to 'install-apt-reqs'
---

diff --git a/install-apt-reqs b/install-apt-reqs
index e2bfeab..3a98791 100755
--- a/install-apt-reqs
+++ b/install-apt-reqs
@@ -24,6 +24,7 @@ apt-get install -y autoconf \
     libffi-dev \
     libftdi-dev \
     libgmp-dev \
+    libmpfr-dev \
     libpng++-dev \
     libreadline-dev \
     libreadline7 \