diff options
| -rw-r--r-- | Dockerfile_for_circleci_image | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Dockerfile_for_circleci_image b/Dockerfile_for_circleci_image index c9342bf4..ff4e6018 100644 --- a/Dockerfile_for_circleci_image +++ b/Dockerfile_for_circleci_image @@ -25,6 +25,7 @@ ENV LC_ALL en_US.UTF-8 # Required for Gudhi compilation RUN apt-get install -y make \ + git \ g++ \ cmake \ graphviz \ |