add docker file

just-max · Jul 6, 2023 · 91209aa · 91209aa
1 parent acc8497
commit 91209aa
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 0 deletions.
diff --git a/.dockerignore b/.dockerignore
@@ -0,0 +1 @@
+.gitignore
diff --git a/Dockerfile 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
@@ -2,6 +2,7 @@
 (maintainers "Max Lang ([email protected])")
 (authors "Benjamin Bott" "Max Lang" "Nico Petzendorfer")
 (source (github just-max/less-power))
+(name less-power)
 
 (package
  (name less-power)