aboutsummaryrefslogtreecommitdiff
path: root/day04/Dockerfile
diff options
context:
space:
mode:
authorNat Lasseter <user@4574.co.uk>2019-12-04 11:26:26 +0000
committerNat Lasseter <user@4574.co.uk>2019-12-04 11:26:26 +0000
commit5e8b0fe13c85e66fa5a1f90ee13e9ddfadae5c09 (patch)
tree0d2e83f9b3440affe639f78d57a5b595a8282a51 /day04/Dockerfile
parent4099b94b8094ca753df43e946b8804b2bf71b080 (diff)
Day 04, in minizinc of course.
Diffstat (limited to 'day04/Dockerfile')
-rw-r--r--day04/Dockerfile7
1 files changed, 7 insertions, 0 deletions
diff --git a/day04/Dockerfile b/day04/Dockerfile
new file mode 100644
index 0000000..363f0e6
--- /dev/null
+++ b/day04/Dockerfile
@@ -0,0 +1,7 @@
+FROM minizinc/minizinc:latest
+
+WORKDIR /opt
+
+COPY . .
+
+ENTRYPOINT ["./entrypoint"]