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 | |
WORKDIR /root | |
RUN wget -O ats.tgz http://sourceforge.net/projects/ats2-lang/files/latest/download?source=files | |
RUN tar -xvf ats.tgz | |
RUN mv ATS2* ats2 | |
RUN rm ats.tgz | |
WORKDIR /root/ats2 | |
RUN ./configure | |
RUN make | |
WORKDIR /root | |
RUN echo "export PATSHOME=/root/ats2" > env.sh | |
RUN echo "export PATH=$PATH:/root/ats2/bin" >> env.sh | |
ENV PATSHOME /root/ats2 | |
ENV PATH $PATH:/root/ats2/bin |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment