Added Dockerfile

idris-lang · Feb 11, 2016 · 21e0347 · 21e0347
1 parent 769cade
commit 21e0347
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -0,0 +1,6 @@
+FROM haskell:7
+RUN cabal update
+ADD . Idris-dev
+WORKDIR Idris-dev
+RUN make
+WORKDIR ..