aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorClement Delafargue <clement.delafargue@fretlink.com>2018-11-13 16:29:38 +0100
committerPaul B <paul@bonaud.fr>2018-11-14 11:18:48 +0100
commitf4a2164df3da781888a3e589e9bd4a2652d1f954 (patch)
treeab5c22a7daf88b4f37932ae982b8ed1a67e52530
parent4ba1d66bdf775b74b12eadc0c2e2ca777e8cd53f (diff)
downloadpurescript-docker-0.12.0-psc-package.tar.gz
purescript-docker-0.12.0-psc-package.tar.zst
purescript-docker-0.12.0-psc-package.zip
Add psc-package 0.4.20.12.0-psc-package
-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