FROM konne/cosette

####### Install Dependencies #######################
RUN apt-get -y update
RUN apt-get -y install build-essential curl zlib1g-dev libgmp3-dev libedit2 python libpangocairo-1.0-0 libjpeg62

############## install haskell #####################
RUN curl -O https://downloads.haskell.org/~ghc/8.0.2/ghc-8.0.2-x86_64-deb7-linux.tar.xz
RUN tar xvfJ ghc-8.0.2-x86_64-deb7-linux.tar.xz
RUN cd ghc-8.0.2 && ./configure
RUN cd ghc-8.0.2 && make install

############# install cabal ########################
RUN curl -O http://hackage.haskell.org/package/cabal-install-1.24.0.2/cabal-install-1.24.0.2.tar.gz
RUN tar xvfz cabal-install-1.24.0.2.tar.gz
RUN cd cabal-install-1.24.0.2 && sh ./bootstrap.sh

############# install racket #######################
RUN wget https://mirror.racket-lang.org/installers/6.8/racket-6.8-x86_64-linux.sh
RUN echo -ne "\n\n" | sh racket-6.8-x86_64-linux.sh

############# add to the path ######################
ENV PATH /usr/racket/bin:/root/.cabal/bin/:$PATH
ENV LANG C.UTF-8

############# install rosette ######################
RUN raco pkg install --batch --auto rosette;

############# pull cosette #########################
RUN git clone https://github.com/uwdb/Cosette.git

############# haskel runtime  ######################
RUN cd /Cosette/dsl && cabal sandbox init
RUN cabal update
RUN cd /Cosette/dsl && cabal install Parsec
RUN cd /Cosette/dsl && cabal install HUnit
RUN cd /Cosette/dsl && cabal build

# ADD hott /hott
# RUN make -C /hott