aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorClement Delafargue <clement.delafargue@fretlink.com>2018-11-14 11:40:35 +0100
committerClement Delafargue <clement.delafargue@fretlink.com>2018-11-14 11:40:35 +0100
commit2dc9e8b655e5eb48008d38e7389f22cccc3a9791 (patch)
tree611c3680043dffb7c1b21da1227fc5dda3c781a3
parent1d2074c7c1446d513c4757f260e85d943983ceca (diff)
downloadpurescript-docker-0.11.7-psc-package.tar.gz
purescript-docker-0.11.7-psc-package.tar.zst
purescript-docker-0.11.7-psc-package.zip
Add psc-package 0.4.20.11.7-psc-package
-rw-r--r--Dockerfile13
1 files changed, 8 insertions, 5 deletions
diff --git a/Dockerfile b/Dockerfile
index bf4c674..70b6884 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -2,16 +2,23 @@ FROM node:9
2 2
3MAINTAINER Risto Stevcev 3MAINTAINER Risto Stevcev
4ENV PURESCRIPT_DOWNLOAD_SHA1 f01eb69aa71f5f97c6980f8c68d107480c68ee64 4ENV PURESCRIPT_DOWNLOAD_SHA1 f01eb69aa71f5f97c6980f8c68d107480c68ee64
5ENV PSC_PACKAGE_DOWNLOAD_SHA1 bdf25acc5b4397bd03fd1da024896c5f33af85ce
5 6
6RUN yarn global add bower pulp@11.0.0 7RUN yarn global add pulp@11.0.0
7 8
8RUN cd /opt \ 9RUN cd /opt \
9 && wget https://github.com/purescript/purescript/releases/download/v0.11.7/linux64.tar.gz \ 10 && wget https://github.com/purescript/purescript/releases/download/v0.11.7/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