Docker artifact

hipsleek · May 27, 2024 · c920936 · c920936
1 parent c1b19dc
commit c920936
Show file tree

Hide file tree

Showing 4 changed files with 30 additions and 0 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -0,0 +1,18 @@
+
+FROM ocaml/opam:ubuntu-23.04-ocaml-5.1
+
+RUN opam update
+
+RUN git clone https://github.com/songyahui/AlgebraicEffect.git
+
+WORKDIR AlgebraicEffect
+
+RUN sudo apt-get update -y && sudo apt-get install -y libgmp-dev pkg-config python3
+
+RUN opam install dune menhir ppx_deriving ppx_expect unionFind visitors z3
+
+RUN sudo apt-get install -y libcairo2-dev libexpat1-dev libgtk-3-dev libgtksourceview-3.0-dev
+RUN opam install why3-ide
+
+RUN eval $(opam env) && dune build @install
+ENV PATH $PWD:$PATH
diff --git a/README.md b/README.md
@@ -53,4 +53,5 @@ dune exec parsing/hip.exe src/demo/8_schduler.ml
 - [Development](docs/development.md)
 - [Why3](docs/why3.md)
 - [How the web build works](docs/web.md)
+- [Docker packaging](docs/docker.md)
 
diff --git a/docs/docker.md b/docs/docker.md
@@ -0,0 +1,7 @@
+
+# Docker packaging
+
+```sh
+docker build -t heifer-icfp24 -f Dockerfile . --progress=plain
+docker run -it heifer-icfp24 bash
+```
diff --git a/heifer b/heifer
@@ -0,0 +1,4 @@
+#!/bin/sh
+
+set -x
+dune exec parsing/hip.exe "$@"