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