]> git.immae.eu Git - github/fretlink/purescript-docker.git/blame - Dockerfile
Add psc-package 0.4.2
[github/fretlink/purescript-docker.git] / Dockerfile
CommitLineData
3d62f625 1FROM node:9
105cd287
DG
2
3MAINTAINER Risto Stevcev
3d62f625 4ENV PURESCRIPT_DOWNLOAD_SHA1 f01eb69aa71f5f97c6980f8c68d107480c68ee64
2dc9e8b6 5ENV PSC_PACKAGE_DOWNLOAD_SHA1 bdf25acc5b4397bd03fd1da024896c5f33af85ce
105cd287 6
2dc9e8b6 7RUN yarn global add pulp@11.0.0
105cd287
DG
8
9RUN cd /opt \
3d62f625 10 && wget https://github.com/purescript/purescript/releases/download/v0.11.7/linux64.tar.gz \
105cd287
DG
11 && echo "$PURESCRIPT_DOWNLOAD_SHA1 linux64.tar.gz" | sha1sum -c - \
12 && tar -xvf linux64.tar.gz \
13 && rm /opt/linux64.tar.gz
2dc9e8b6
CD
14RUN cd /opt \
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
105cd287
DG
19
20ENV PATH /opt/purescript:$PATH
2dc9e8b6 21ENV PATH /opt/psc-package:$PATH
105cd287
DG
22
23RUN userdel node
24RUN useradd -m -s /bin/bash pureuser
25
26WORKDIR /home/pureuser
27
28USER pureuser