From 86a16a78cf269c1d3e99bae8dcaa2875385372fc Mon Sep 17 00:00:00 2001
From: Mark Cave-Ayland <mark.cave-ayland@ilande.co.uk>
Date: Mon, 17 Oct 2022 22:24:08 +0100
Subject: [PATCH] Dockerfile: add git package to the image

This enables code to be checked out from within the running container as is
typically used by CI runners.
---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index ffe7550605..21dc725f77 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -7,7 +7,7 @@ RUN apt-get update && \
     DEBIAN_FRONTEND=noninteractive apt-get install -y \
         cmake libgmp-dev libmpfr-dev libmpc-dev \
         libboost-all-dev bison texinfo \
-        ruby flex curl g++
+        ruby flex curl g++ git
 
 # Build image
 FROM base AS build