diff --git a/docker/Dockerfile b/docker/Dockerfile index 2023fd3..02308a2 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -27,22 +27,11 @@ MAINTAINER Ricardo Martins ENV DEBIAN_FRONTEND noninteractive # Update distro. -RUN echo "deb http://ftp.us.debian.org/debian testing non-free contrib" >> /etc/apt/sources.list -RUN echo "deb http://mirrors.fe.up.pt/ubuntu xenial main restricted universe multiverse" >> /etc/apt/sources.list -RUN echo "deb http://mirrors.fe.up.pt/ubuntu xenial-updates main restricted universe multiverse" >> /etc/apt/sources.list -RUN echo "deb http://mirrors.fe.up.pt/ubuntu xenial-backports main restricted universe multiverse" >> /etc/apt/sources.list -RUN apt-key adv --recv-keys --keyserver keyserver.ubuntu.com 3B4FE6ACC0B21F32 RUN apt-get update -y RUN apt-get dist-upgrade -y -RUN apt-get install -y g++-5 -RUN apt-get install -y gcc-5 RUN apt-get install -y wget RUN apt-get install -y bzip2 RUN apt-get install -y git RUN apt-get install -y g++-multilib +RUN apt-get install -y cmake RUN apt-get install -y file -RUN apt-get install -y vim -RUN apt-get install -y nasm -RUN apt-get install -y build-essential -RUN apt-get install -y make -RUN update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-5 60 --slave /usr/bin/g++ g++ /usr/bin/g++-5