libhermit/Dockerfile

23 lines
797 B
Docker

# Download base image ubuntu 18.04
FROM ubuntu:18.04
ENV DEBIAN_FRONTEND=noninteractive
# Update Software repository
RUN apt-get -qq update
# Install required packets from ubuntu repository
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
# 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