Add a Dockerfile for builds

2024-11-08 07:51:43 +03:00 · 2021-09-23 17:08:52 +02:00 · 2021-09-23 17:08:52 +02:00 · f05b8df50f
commit f05b8df50f
parent 0021c2c8e6
1 changed files with 13 additions and 0 deletions
--- a/13
+++ b/13
@ -0,0 +1,13 @@
+FROM ocaml/opam:ubuntu-lts-ocaml-4.12
+
+RUN sudo apt-get update && sudo apt-get install -y \
+    man2html \
+    colordiff \
+    latexmk \
+    python3 \
+    python3-pip \
+    libgmp-dev \
+    npm \
+    nodejs
+
+RUN sudo pip3 install virtualenv