commit 7dc7fbc3a87b6f7039f5a905fc65b2449c968454 parent 7eaa142a54ec5894ae1e75aed2e3dea06bc0ab8a Author: Andrew Laack <andrew@laack.co> Date: Wed, 2 Sep 2026 15:58:50 -0500 Another install... Diffstat:
| M | learning/Containerfile | | | 2 | ++ |
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/learning/Containerfile b/learning/Containerfile @@ -4,6 +4,8 @@ COPY . /app WORKDIR /app +RUN sudo apk add gmp-dev + RUN opam install . --deps-only RUN sudo /home/opam/.opam/5.6/bin/dune build