]>
Commit | Line | Data |
---|---|---|
3d62f625 | 1 | FROM node:9 |
105cd287 DG |
2 | |
3 | MAINTAINER Risto Stevcev | |
4ba1d66b | 4 | ENV PURESCRIPT_DOWNLOAD_SHA1 08d4839f2800a6fdb398ec45b7182eada112ea89 |
105cd287 | 5 | |
4ba1d66b | 6 | RUN yarn global add bower pulp@12.3.0 |
105cd287 DG |
7 | |
8 | RUN cd /opt \ | |
4ba1d66b | 9 | && wget https://github.com/purescript/purescript/releases/download/v0.12.0/linux64.tar.gz \ |
105cd287 DG |
10 | && echo "$PURESCRIPT_DOWNLOAD_SHA1 linux64.tar.gz" | sha1sum -c - \ |
11 | && tar -xvf linux64.tar.gz \ | |
12 | && rm /opt/linux64.tar.gz | |
13 | ||
14 | ENV PATH /opt/purescript:$PATH | |
15 | ||
16 | RUN userdel node | |
17 | RUN useradd -m -s /bin/bash pureuser | |
18 | ||
19 | WORKDIR /home/pureuser | |
20 | ||
21 | USER pureuser | |
22 | ||
23 | RUN mkdir tmp && cd tmp && pulp init | |
24 | ||
25 | CMD cd tmp && pulp psci |