| FROM ubuntu:trusty |
| |
| RUN apt-get update |
| |
| RUN apt-get install -y bison |
| RUN apt-get install -y build-essential |
| RUN apt-get install -y curl |
| RUN apt-get install -y flex |
| RUN apt-get install -y git |
| RUN apt-get install -y make |
| RUN apt-get install -y pbzip2 |
| RUN apt-get install -y python |
| RUN apt-get install -y python-pip |
| RUN apt-get install -y texinfo |
| RUN apt-get install -y uuid-runtime |
| RUN apt-get install -y zip |
| |
| RUN pip install setuptools |
| |
| RUN curl -o /usr/bin/repo \ |
| https://commondatastorage.googleapis.com/git-repo-downloads/repo |
| RUN chmod a+x /usr/bin/repo |
| |
| CMD ["/usr/bin/env bash"] |
