Create a gist now

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
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
build:
docker build -t atsimg .
run:
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