diff options
author | Clement Delafargue <clement.delafargue@fretlink.com> | 2018-11-13 16:29:38 +0100 |
---|---|---|
committer | Paul B <paul@bonaud.fr> | 2018-11-14 11:18:48 +0100 |
commit | f4a2164df3da781888a3e589e9bd4a2652d1f954 (patch) | |
tree | ab5c22a7daf88b4f37932ae982b8ed1a67e52530 /Dockerfile | |
parent | 4ba1d66bdf775b74b12eadc0c2e2ca777e8cd53f (diff) | |
download | purescript-docker-f4a2164df3da781888a3e589e9bd4a2652d1f954.tar.gz purescript-docker-f4a2164df3da781888a3e589e9bd4a2652d1f954.tar.zst purescript-docker-f4a2164df3da781888a3e589e9bd4a2652d1f954.zip |
Add psc-package 0.4.20.12.0-psc-package
Diffstat (limited to 'Dockerfile')
-rw-r--r-- | Dockerfile | 13 |
1 files changed, 8 insertions, 5 deletions
@@ -2,16 +2,23 @@ FROM node:9 | |||
2 | 2 | ||
3 | MAINTAINER Risto Stevcev | 3 | MAINTAINER Risto Stevcev |
4 | ENV PURESCRIPT_DOWNLOAD_SHA1 08d4839f2800a6fdb398ec45b7182eada112ea89 | 4 | ENV PURESCRIPT_DOWNLOAD_SHA1 08d4839f2800a6fdb398ec45b7182eada112ea89 |
5 | ENV PSC_PACKAGE_DOWNLOAD_SHA1 bdf25acc5b4397bd03fd1da024896c5f33af85ce | ||
5 | 6 | ||
6 | RUN yarn global add bower pulp@12.3.0 | 7 | RUN yarn global add pulp@12.3.0 |
7 | 8 | ||
8 | RUN cd /opt \ | 9 | RUN 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 |
14 | RUN 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 | ||
14 | ENV PATH /opt/purescript:$PATH | 20 | ENV PATH /opt/purescript:$PATH |
21 | ENV PATH /opt/psc-package:$PATH | ||
15 | 22 | ||
16 | RUN userdel node | 23 | RUN userdel node |
17 | RUN useradd -m -s /bin/bash pureuser | 24 | RUN useradd -m -s /bin/bash pureuser |
@@ -19,7 +26,3 @@ RUN useradd -m -s /bin/bash pureuser | |||
19 | WORKDIR /home/pureuser | 26 | WORKDIR /home/pureuser |
20 | 27 | ||
21 | USER pureuser | 28 | USER pureuser |
22 | |||
23 | RUN mkdir tmp && cd tmp && pulp init | ||
24 | |||
25 | CMD cd tmp && pulp psci | ||