removed docker

logsem · Oct 8, 2020 · 1d6f47b · 1d6f47b
1 parent 5ca4ee5
commit 1d6f47b
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 28 deletions.
diff --git a/Dockerfile b/Dockerfile
diff --git a/README.md b/README.md
@@ -56,18 +56,6 @@ remove `~/.opam` (if you just installed opam and do not plan on using it
 further).
 
 
-## [Option 2] Using Docker
-
-Run a docker image using the provided Dockerfile (note that you might need to increase allocated memory).
-You can build the project with the following command:
-
-```
-    docker build --tag iris-caps --build-arg NJOBS=N
-```
-
-Where N is the number of cores on your machine
-
-
 # Documentation
 
 After building the development, documentation generated using Coqdoc can be