Merge pull request #2 from benjaoming/docker

Add a Dockerfile w/ usage example
phreppo · Feb 17, 2024 · be072d8 · be072d8
2 parents 93d219e + 11b480b
commit be072d8
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 0 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -0,0 +1,13 @@
+FROM ocaml/opam:alpine-3.18-ocaml-4.14 as build
+
+
+WORKDIR /home/opam
+
+
+COPY --chown=opam:opam . .
+
+RUN make deps
+RUN make
+RUN make install
+
+CMD rat
diff --git a/README.md b/README.md
@@ -41,6 +41,16 @@ dune exec rat -- <args>
 Run with `--help` to print the help message.
 If there are no arguments, the command runs the interactive interpreter.
 
+To run `rat` inside Docker:
+
+``` bash
+# Build (you just need to do this once
+docker build . -t rat:latest
+
+# Example of running rat with arguments
+docker run rat:latest rat --regex '(a|a)*b'
+```
+
 ## Example Analysis
 
 Assume we have `rat` installed on the machine.