Skip to content

Instantly share code, notes, and snippets.

What would you like to do?
A docker image for ATS development.
FROM stackbrew/ubuntu:13.10
RUN apt-get update
RUN apt-get install -y libgmp3-dev
RUN apt-get install -y make
RUN apt-get install -y gcc
RUN apt-get install -y build-essential
RUN apt-get install -y wget
RUN apt-get install -y bash
RUN wget -O ats.tgz
RUN tar -xvf ats.tgz
RUN mv ATS2* ats2
RUN rm ats.tgz
WORKDIR /root/ats2
RUN ./configure
RUN make
RUN echo "export PATSHOME=/root/ats2" >
RUN echo "export PATH=$PATH:/root/ats2/bin" >>
ENV PATSHOME /root/ats2
ENV PATH $PATH:/root/ats2/bin
docker build -t atsimg .
docker run -t -i -v $(shell pwd):/root/workspace -w /root/workspace atsimg bash
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.