3 MAINTAINER Risto Stevcev
4 ENV PURESCRIPT_DOWNLOAD_SHA1 f01eb69aa71f5f97c6980f8c68d107480c68ee64
5 ENV PSC_PACKAGE_DOWNLOAD_SHA1 bdf25acc5b4397bd03fd1da024896c5f33af85ce
7 RUN yarn global add pulp@11.0.0
10 && wget https://github.com/purescript/purescript/releases/download/v0.11.7/linux64.tar.gz \
11 && echo "$PURESCRIPT_DOWNLOAD_SHA1 linux64.tar.gz" | sha1sum -c - \
12 && tar -xvf linux64.tar.gz \
13 && rm /opt/linux64.tar.gz
15 && wget https://github.com/purescript/psc-package/releases/download/v0.4.2/linux64.tar.gz \
16 && echo "$PSC_PACKAGE_DOWNLOAD_SHA1 linux64.tar.gz" | sha1sum -c - \
17 && tar -xvf linux64.tar.gz \
18 && rm /opt/linux64.tar.gz
20 ENV PATH /opt/purescript:$PATH
21 ENV PATH /opt/psc-package:$PATH
24 RUN useradd -m -s /bin/bash pureuser
26 WORKDIR /home/pureuser