diff options
Diffstat (limited to 'Dockerfile_for_circleci_image')
-rw-r--r-- | Dockerfile_for_circleci_image | 69 |
1 files changed, 0 insertions, 69 deletions
diff --git a/Dockerfile_for_circleci_image b/Dockerfile_for_circleci_image deleted file mode 100644 index 60c98f66..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.2/CGAL-5.2.tar.xz" \ - && tar xf CGAL-5.2.tar.xz \ - && mkdir build \ - && cd build \ - && cmake -DCMAKE_BUILD_TYPE=Release ../CGAL-5.2/ \ - && make install \ - && cd .. \ - && rm -rf build CGAL-5.2 - -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-get autoremove && rm -rf /var/lib/apt/lists/* |