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)