diff options
| author | Dominick Gendill <dgendill@gmail.com> | 2017-01-20 15:20:07 -0700 |
|---|---|---|
| committer | Dominick Gendill <dgendill@gmail.com> | 2017-01-20 15:20:07 -0700 |
| commit | 105cd287d23b233b048da3b1bb12fc915216fc43 (patch) | |
| tree | b40456b3acf174c844d21cc139b21ddadf1a9e6b /Dockerfile | |
| parent | f0f74b6cd1dc8f1345cc7679010a227de26268b2 (diff) | |
| download | purescript-docker-105cd287d23b233b048da3b1bb12fc915216fc43.tar.gz purescript-docker-105cd287d23b233b048da3b1bb12fc915216fc43.tar.zst purescript-docker-105cd287d23b233b048da3b1bb12fc915216fc43.zip | |
Added Dockerfile. Upgraded to purescript 0.10.5.
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 0000000..88b1b8c --- /dev/null +++ b/Dockerfile | |||
| @@ -0,0 +1,26 @@ | |||
| 1 | FROM node:4 | ||
| 2 | |||
| 3 | MAINTAINER Risto Stevcev | ||
| 4 | |||
| 5 | ENV PURESCRIPT_DOWNLOAD_SHA1 8355acb4419fcd136d7f8d19d398ae8ebf457bcd | ||
| 6 | |||
| 7 | RUN npm install -g bower pulp@10.0.0 | ||
| 8 | |||
| 9 | RUN cd /opt \ | ||
| 10 | && wget https://github.com/purescript/purescript/releases/download/v0.10.5/linux64.tar.gz \ | ||
| 11 | && echo "$PURESCRIPT_DOWNLOAD_SHA1 linux64.tar.gz" | sha1sum -c - \ | ||
| 12 | && tar -xvf linux64.tar.gz \ | ||
| 13 | && rm /opt/linux64.tar.gz | ||
| 14 | |||
| 15 | ENV PATH /opt/purescript:$PATH | ||
| 16 | |||
| 17 | RUN userdel node | ||
| 18 | RUN useradd -m -s /bin/bash pureuser | ||
| 19 | |||
| 20 | WORKDIR /home/pureuser | ||
| 21 | |||
| 22 | USER pureuser | ||
| 23 | |||
| 24 | RUN mkdir tmp && cd tmp && pulp init | ||
| 25 | |||
| 26 | CMD cd tmp && pulp psci | ||