aboutsummaryrefslogtreecommitdiffhomepage
path: root/Dockerfile
diff options
context:
space:
mode:
Diffstat (limited to 'Dockerfile')
-rw-r--r--Dockerfile13
1 files changed, 8 insertions, 5 deletions
diff --git a/Dockerfile b/Dockerfile
index affa943..44d44a4 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -2,16 +2,23 @@ FROM node:9
2 2
3MAINTAINER Risto Stevcev 3MAINTAINER Risto Stevcev
4ENV PURESCRIPT_DOWNLOAD_SHA1 08d4839f2800a6fdb398ec45b7182eada112ea89 4ENV PURESCRIPT_DOWNLOAD_SHA1 08d4839f2800a6fdb398ec45b7182eada112ea89
5ENV PSC_PACKAGE_DOWNLOAD_SHA1 bdf25acc5b4397bd03fd1da024896c5f33af85ce
5 6
6RUN yarn global add bower pulp@12.3.0 7RUN yarn global add pulp@12.3.0
7 8
8RUN cd /opt \ 9RUN cd /opt \
9 && wget https://github.com/purescript/purescript/releases/download/v0.12.0/linux64.tar.gz \ 10 && 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 && echo "$PURESCRIPT_DOWNLOAD_SHA1 linux64.tar.gz" | sha1sum -c - \
11 && tar -xvf linux64.tar.gz \ 12 && tar -xvf linux64.tar.gz \
12 && rm /opt/linux64.tar.gz 13 && rm /opt/linux64.tar.gz
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
13 19
14ENV PATH /opt/purescript:$PATH 20ENV PATH /opt/purescript:$PATH
21ENV PATH /opt/psc-package:$PATH
15 22
16RUN userdel node 23RUN userdel node
17RUN useradd -m -s /bin/bash pureuser 24RUN useradd -m -s /bin/bash pureuser
@@ -19,7 +26,3 @@ RUN useradd -m -s /bin/bash pureuser
19WORKDIR /home/pureuser 26WORKDIR /home/pureuser
20 27
21USER pureuser 28USER pureuser
22
23RUN mkdir tmp && cd tmp && pulp init
24
25CMD cd tmp && pulp psci