#859 Remove file that shouldn't have been committed in the first place.

Docker/Ubuntu/Dockerfile_with_build

-# ================================================================================================================
-# This Dockerfile assumes a local image onto which third party libraries are built properly is available.
-# See https://gitlab.inria.fr/MoReFEM/ThirdPartyCompilationFactory to see how it was generated.
-# ================================================================================================================
-FROM morefem_third_party_ubuntu
-LABEL maintainer Sébastien Gilles "sebastien.gilles@inria.fr"
-
-
-# ================================================================================================================
-# Install required tools
-# ================================================================================================================
-USER root
-RUN apt-get install --no-install-recommends -y ninja-build nano less
-
-# Adapted from https://askubuntu.com/questions/952429/is-there-are-good-ppa-for-cmake-backports
-# We need cmake >= 3.8 and Ubuntu ships 3.5...
-RUN curl -O https://cmake.org/files/v3.12/cmake-3.12.1-Linux-x86_64.sh \
-    && sh cmake-3.12.1-Linux-x86_64.sh --prefix=/usr/local --exclude-subdir \
-    && rm -f cmake-3.12.1-Linux-x86_64.sh
-
-
-# ================================================================================================================
-# Clone the MoReFEM repository.
-# ================================================================================================================
-USER ${USER}
-RUN git clone https://gitlab.inria.fr/MoReFEM/CoreLibrary/MoReFEM
-WORKDIR MoReFEM
-
-
-# ================================================================================================================
-# Build all the targets in the project.
-# Tests should be run to be sure in a container (through ctest in the build directory) but are not here to save
-# space in the generated image.
-# ================================================================================================================
-RUN mkdir build
-WORKDIR build
-RUN cmake -G Ninja -C ../cmake/PreCache/linux_gcc.cmake -DCMAKE_INSTALL_PREFIX=/opt/Library -DCMAKE_BUILD_TYPE=Debug -DLIBRARY_TYPE=SHARED ..
-
-RUN ninja
-    # To save space! The intermediate files aren't actually required; if in a container you actually need them just 
-    # type 'ninja' again! This way, you have less storage used and nonetheless all executables and libraries ready to use.
-    
-
-# The two lines below should be run in a container but are not in the image creation to save space (tests do 
-# generate outputs and installation basically duplicates libraries and executables generated).
-#RUN ninja install
-#RUN ninja test