Dockerfile

Tue, 10 Jul 2018 11:09:56 +0100

author
Matthew Wild <mwild1@gmail.com>
date
Tue, 10 Jul 2018 11:09:56 +0100
changeset 94
1b3e848b4394
child 140
2758cfb4e26d
permissions
-rw-r--r--

Add Dockerfile

94
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
1 FROM ubuntu:xenial
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
2
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
3 MAINTAINER Matthew Wild <mwild1@gmail.com>
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
4
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
5 RUN apt-get update \
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
6 && DEBIAN_FRONTEND=noninteractive apt-get install -y --no-install-recommends \
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
7 lua5.2 \
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
8 lua-cjson \
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
9 lua-expat \
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
10 lua-sec \
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
11 lua-socket \
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
12 make \
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
13 && rm -rf /var/lib/apt/lists/*
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
14
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
15 RUN ln -s /usr/bin/lua5.2 /usr/local/bin/lua
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
16
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
17 RUN mkdir -p /tmp/build
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
18
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
19 ADD . /tmp/build
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
20
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
21 WORKDIR /tmp/build
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
22
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
23 RUN ./configure && make && install build/scansion /usr/local/bin/scansion && rm -rf /tmp/build
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
24
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
25 ADD verse.lua /usr/local/share/lua/5.2/verse.lua
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
26
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
27 ADD misc/docker-entrypoint.sh /entrypoint.sh
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
28
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
29 RUN chmod a=rx /entrypoint.sh
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
30
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
31 ENTRYPOINT ["/entrypoint.sh"]
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
32
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
33 USER nobody
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
34
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
35 ADD scripts /scripts
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
36
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
37 VOLUME ["/scripts"]
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
38
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
39 WORKDIR /scripts
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
40
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
41 CMD ["basic.scs"]
1b3e848b4394 Add Dockerfile
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
42

mercurial