3 MAINTAINER Risto Stevcev
4 ENV PURESCRIPT_DOWNLOAD_SHA1 08d4839f2800a6fdb398ec45b7182eada112ea89
6 RUN yarn global add bower pulp@12.3.0
9 && wget https://github.com/purescript/purescript/releases/download/v0.12.0/linux64.tar.gz \
10 && echo "$PURESCRIPT_DOWNLOAD_SHA1 linux64.tar.gz" | sha1sum -c - \
11 && tar -xvf linux64.tar.gz \
12 && rm /opt/linux64.tar.gz
14 ENV PATH /opt/purescript:$PATH
17 RUN useradd -m -s /bin/bash pureuser
19 WORKDIR /home/pureuser
23 RUN mkdir tmp && cd tmp && pulp init
25 CMD cd tmp && pulp psci