File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -14,9 +14,18 @@ RUN echo "deb https://dl.bintray.com/rwth-os/hermitcore vivid main" | tee -a /et
1414RUN apt-get -qq update
1515
1616# Install required packets from ubuntu repository
17- RUN apt-get install -y curl wget vim nano git binutils autoconf automake make cmake qemu-system-x86 nasm gcc
17+ RUN apt-get install -y curl cmake bsdmainutils wget vim nano git binutils autoconf automake make cmake qemu-system-x86 nasm gcc
1818RUN apt-get install -y --allow-unauthenticated binutils-hermit libhermit newlib-hermit pthread-embedded-hermit gcc-hermit
1919
20+ RUN wget https://cmake.org/files/v3.7/cmake-3.7.2.tar.gz
21+ RUN tar xzvf https://cmake.org/files/v3.7/cmake-3.7.2.tar.gz
22+ RUN cd cmake-3.7.2
23+ RUN ./bootstrap
24+ RUN make
25+ RUN make install
26+ RUN cd ..
27+ RUN rm -rf cmake*
28+
2029ENV PATH="/opt/hermit/bin:${PATH}"
2130ENV EDITOR=vim
2231
You can’t perform that action at this time.
0 commit comments