A docker image for ATS development.

Dockerfile

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

Makefile

build:
	docker build -t atsimg .

run:
	docker run -t -i -v $(shell pwd):/root/workspace -w /root/workspace atsimg bash