From c31b2b551943b782ea64fc5c5cfe2f640c0c4b77 Mon Sep 17 00:00:00 2001
From: Ohad Lutzky <ohad@lutzky.net>
Date: Tue, 6 Jul 2021 21:35:40 +0100
Subject: [PATCH] Add `libpq-dev` to instructions

Fixes #238
---
 CONTRIBUTING.md | 4 ++++
 README.md       | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index b1f7b32c..81c04940 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -99,6 +99,8 @@ documentation section: [Translation](https://docs.djangoproject.com/en/3.0/topic
 - Python 3.6+, pip, pipenv
 - NodeJS 14.x and NPM 7.x
 - Gulp
+- Possibly `libpq-dev`
+  - This is necessary if `psycopg2` can't find an appropriate prebuild binary.
 
 ### Installation
 
@@ -108,6 +110,8 @@ documentation section: [Translation](https://docs.djangoproject.com/en/3.0/topic
 
        pipenv install --three
 
+   - If this fails, install `libpq-dev` (e.g. `sudo apt install libpq-dev`) and try again.
+
 1. Install Gulp CLI
 
        sudo npm install -g gulp-cli
diff --git a/README.md b/README.md
index e90981e9..448bf6b6 100644
--- a/README.md
+++ b/README.md
@@ -161,7 +161,7 @@ Python 3.6+, nginx, uwsgi and sqlite and should be sufficient for a few users
 
 1. Install system packages
 
-        sudo apt-get install python3 python3-pip nginx uwsgi uwsgi-plugin-python3 git libopenjp2-7-dev
+        sudo apt-get install python3 python3-pip nginx uwsgi uwsgi-plugin-python3 git libopenjp2-7-dev libpq-dev
 
 1. Default python3 to python for this session