FROM ubuntu:16.04
RUN apt-get update
RUN apt-get install -y gcc qemu perl make bash
ENV PATH=/home/user/pintos-progos/utils:$PATH
RUN /bin/bash