Install some more libraries.

parent d574de0e
...@@ -17,7 +17,10 @@ RUN apt-get update && apt-get dist-upgrade --no-install-recommends --yes \ ...@@ -17,7 +17,10 @@ RUN apt-get update && apt-get dist-upgrade --no-install-recommends --yes \
git \ git \
libadolc-dev \ libadolc-dev \
libboost-dev \ libboost-dev \
libboost-program-options-dev \
libboost-serialization-dev \ libboost-serialization-dev \
libboost-system-dev \
libgtest-dev \
libtinyxml2-dev \ libtinyxml2-dev \
libltdl-dev \ libltdl-dev \
libtool \ libtool \
......
...@@ -17,7 +17,10 @@ RUN apt-get update && apt-get dist-upgrade --no-install-recommends --yes \ ...@@ -17,7 +17,10 @@ RUN apt-get update && apt-get dist-upgrade --no-install-recommends --yes \
git \ git \
libadolc-dev \ libadolc-dev \
libboost-dev \ libboost-dev \
libboost-program-options-dev \
libboost-serialization-dev \ libboost-serialization-dev \
libboost-system-dev \
libgtest-dev \
libtinyxml2-dev \ libtinyxml2-dev \
libltdl-dev \ libltdl-dev \
libtool \ libtool \
......
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