From 6508c49eebed536db221c24b2ed771f169f6c715 Mon Sep 17 00:00:00 2001
From: Alex Ozdemir <aozdemir@hmc.edu>
Date: Mon, 28 Sep 2020 16:29:12 -0700
Subject: [PATCH] Add pkg-config as a dependency for Ubuntu

This may seem obvious, but it was missing from my fresh 14.04 server install when I tried to build pequin.
---
 install_debian_ubuntu.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install_debian_ubuntu.sh b/install_debian_ubuntu.sh
index 9dfd0b2..5298b00 100755
--- a/install_debian_ubuntu.sh
+++ b/install_debian_ubuntu.sh
@@ -5,7 +5,7 @@ set -e
 PACKAGES="python2.7 libpython2.7 libpython2.7-dev golang \
           build-essential gcc g++ gcc-multilib g++-multilib ant \
           ant-optional make time libboost-all-dev libgmp10 libgmp-dev \
-          zlib1g zlib1g-dev libssl-dev cmake"
+          zlib1g zlib1g-dev libssl-dev cmake pkg-config"
 
 if [[ $(apt-cache search openjdk-8-jdk) ]]; then
     PACKAGES+=" openjdk-8-jdk"