Use gudhi-deploy external submodules and removes former files

1 files changed, 0 insertions, 69 deletions

diff --git a/Dockerfile_for_circleci_image b/Dockerfile_for_circleci_image
deleted file mode 100644
index ec1b8ff8..00000000
--- a/Dockerfile_for_circleci_image
+++ /dev/null
@@ -1,69 +0,0 @@
-FROM ubuntu:20.04
-
-# Update and upgrade distribution
-RUN apt-get update && \
-    apt-get upgrade -y
-
-# Tools necessary for installing and configuring Ubuntu
-RUN apt-get install -y \
-    apt-utils \
-    locales \
-    tzdata
-
-# Timezone
-RUN echo "Europe/Paris" | tee /etc/timezone && \
-    ln -fs /usr/share/zoneinfo/Europe/Paris /etc/localtime && \
-    dpkg-reconfigure -f noninteractive tzdata
-
-# Locale with UTF-8 support
-RUN echo en_US.UTF-8 UTF-8 >> /etc/locale.gen && \
-    locale-gen && \
-    update-locale LC_ALL=en_US.UTF-8 LANG=en_US.UTF-8
-ENV LANG en_US.UTF-8
-ENV LANGUAGE en_US:en
-ENV LC_ALL en_US.UTF-8
-
-# Update again
-RUN apt-get update
-
-# Required for Gudhi compilation
-RUN apt-get install -y make \
-    git \
-    g++ \
-    cmake \
-    graphviz \
-    perl \
-    texlive-full \
-    biber \
-    doxygen \
-    libboost-all-dev \
-    libeigen3-dev \
-    libgmp3-dev \
-    libmpfr-dev \
-    libtbb-dev \
-    locales \
-    python3 \
-    python3-pip \
-    python3-tk \
-    python3-grpcio \
-    libfreetype6-dev \
-    pkg-config \
-    curl
-
-RUN curl -LO "https://github.com/CGAL/cgal/releases/download/v5.1/CGAL-5.1.tar.xz" \
-    && tar xf CGAL-5.1.tar.xz \
-    && mkdir build \
-    && cd build \
-    && cmake -DCMAKE_BUILD_TYPE=Release ../CGAL-5.1/ \
-    && make install \
-    && cd .. \
-    && rm -rf build CGAL-5.1
-
-ADD .github/build-requirements.txt /
-ADD .github/test-requirements.txt /
-
-RUN pip3 install -r build-requirements.txt
-RUN pip3 --no-cache-dir install -r test-requirements.txt
-
-# apt clean up
-RUN apt autoremove && rm -rf /var/lib/apt/lists/*