2019-05-17 21:04:23 +02:00
|
|
|
# Download base image ubuntu 18.04
|
|
|
|
FROM ubuntu:18.04
|
|
|
|
|
|
|
|
ENV DEBIAN_FRONTEND=noninteractive
|
|
|
|
|
2019-05-17 21:14:19 +02:00
|
|
|
# Update Software repository
|
|
|
|
RUN apt-get -qq update
|
|
|
|
|
2019-05-17 21:04:23 +02:00
|
|
|
# Install required packets from ubuntu repository
|
2019-05-17 21:25:08 +02:00
|
|
|
RUN apt-get install -y apt-transport-https curl wget vim nano git binutils autoconf automake make cmake qemu-kvm qemu-system-x86 nasm gcc g++ build-essential libtool bsdmainutils
|
2019-05-17 21:04:23 +02:00
|
|
|
|
|
|
|
# add path to hermitcore packets
|
|
|
|
RUN echo "deb [trusted=yes] https://dl.bintray.com/hermitcore/ubuntu bionic main" | tee -a /etc/apt/sources.list
|
|
|
|
|
|
|
|
# Update Software repository
|
|
|
|
RUN apt-get -qq update
|
|
|
|
|
|
|
|
# Install required packets from ubuntu repository
|
|
|
|
RUN apt-get install -y --allow-unauthenticated binutils-hermit newlib-hermit pte-hermit gcc-hermit libhermit libomp-hermit
|
|
|
|
|
|
|
|
ENV PATH="/opt/hermit/bin:${PATH}"
|
|
|
|
ENV EDITOR=vim
|