Sort list of packages to install.

parent 0c46ffe6
......@@ -22,8 +22,8 @@ RUN apt-get update && apt-get dist-upgrade --no-install-recommends --yes \
libboost-serialization-dev \
libboost-system-dev \
libgtest-dev \
libtinyxml2-dev \
libltdl-dev \
libtinyxml2-dev \
libtool \
mpi-default-bin \
mpi-default-dev \
......
......@@ -22,14 +22,14 @@ RUN apt-get update && apt-get dist-upgrade --no-install-recommends --yes \
libboost-serialization-dev \
libboost-system-dev \
libgtest-dev \
libtinyxml2-dev \
libltdl-dev \
libtinyxml2-dev \
libtool \
mpi-default-bin \
mpi-default-dev \
openssh-client \
python-dev \
pkg-config \
python-dev \
&& apt-get clean && rm -rf /var/lib/apt/lists/*
RUN adduser --disabled-password --home /duneci duneci
USER duneci
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment