From 2f1f67c5c32d593ead5aa7e03c89d677495b0ac7 Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Fri, 7 Jan 2022 15:51:18 +0200
Subject: [PATCH] Add pkg-config system dependency (PR #499)

json-data-encoding indirectly depends on it and the Docker builds have been failing ever since.
---
 Dockerfile | 2 +-
 README.md  | 2 +-
 make.sh    | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index ff1a3fe6f8..3d494d8b18 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -8,7 +8,7 @@ COPY --chown=opam Makefile make.sh goblint.opam goblint.opam.locked /home/opam/a
 WORKDIR /home/opam/analyzer/
 # TODO: use opam depext
 RUN sudo apt-get update \
-    && sudo apt-get install -y libgmp-dev libmpfr-dev
+    && sudo apt-get install -y libgmp-dev libmpfr-dev pkg-config
 # update local opam repository because base image may be outdated
 RUN cd /home/opam/opam-repository \
     && git pull origin master \
diff --git a/README.md b/README.md
index fccfeedb3a..ee97411091 100644
--- a/README.md
+++ b/README.md
@@ -12,7 +12,7 @@ Both for using an up-to-date version of Goblint or developing it, the best way i
 
 ### Linux
 1. Install [opam](https://opam.ocaml.org/doc/Install.html).
-2. Make sure the following are installed: `git patch m4 autoconf libgmp-dev libmpfr-dev`.
+2. Make sure the following are installed: `git patch m4 autoconf libgmp-dev libmpfr-dev pkg-config`.
 3. Run `make setup` to install OCaml and dependencies via opam.
 4. Run `make` to build Goblint itself.
 5. Run `make install` to install Goblint into the opam switch for usage via switch's `PATH`.
diff --git a/make.sh b/make.sh
index b279fbc022..632ec8b2a2 100755
--- a/make.sh
+++ b/make.sh
@@ -72,7 +72,7 @@ rule() {
         opam upgrade -y $(opam list --pinned -s)
       }
     ;; setup)
-      echo "Make sure you have the following installed: opam >= 2.0.0, git, patch, m4, autoconf, libgmp-dev, libmpfr-dev"
+      echo "Make sure you have the following installed: opam >= 2.0.0, git, patch, m4, autoconf, libgmp-dev, libmpfr-dev, pkg-config"
       echo "For the --html output you also need: javac, ant, dot (graphviz)"
       echo "For running the regression tests you also need: ruby, gem, curl"
       echo "For reference see ./Dockerfile or ./scripts/travis-ci.sh"