From 91209aa9e40a6248dd80da4df7cf62afaade9c17 Mon Sep 17 00:00:00 2001
From: Max Lang <17551908+just-max@users.noreply.github.com>
Date: Thu, 6 Jul 2023 04:35:35 +0200
Subject: [PATCH] add docker file

---
 .dockerignore | 1 +
 Dockerfile    | 9 +++++++++
 dune-project  | 1 +
 3 files changed, 11 insertions(+)
 create mode 120000 .dockerignore
 create mode 100644 Dockerfile

diff --git a/.dockerignore b/.dockerignore
new file mode 120000
index 0000000..3e4e48b
--- /dev/null
+++ b/.dockerignore
@@ -0,0 +1 @@
+.gitignore
\ No newline at end of file
diff --git a/Dockerfile b/Dockerfile
new file mode 100644
index 0000000..d8b180b
--- /dev/null
+++ b/Dockerfile
@@ -0,0 +1,9 @@
+FROM ocaml/opam:ubuntu-lts-ocaml-5.0
+
+WORKDIR /home/opam/less-power/
+
+COPY --chown=opam less-power.opam .
+RUN opam install . --deps-only
+
+COPY --chown=opam . .
+RUN opam install .
diff --git a/dune-project b/dune-project
index 99502ab..25a809c 100644
--- a/dune-project
+++ b/dune-project
@@ -2,6 +2,7 @@
 (maintainers "Max Lang (max.lang@tum.de)")
 (authors "Benjamin Bott" "Max Lang" "Nico Petzendorfer")
 (source (github just-max/less-power))
+(name less-power)
 
 (package
  (name less-power)