git.iko.soy/Idris-dev
on master help sign in
Added Dockerfile
21e0347Aaron Craelius
Dockerfilenew file+6
compare with master
unifiedsplit
@@ -0,0 +1,6 @@
1+FROM haskell:7
2+RUN cabal update
3+ADD . Idris-dev
4+WORKDIR Idris-dev
5+RUN make
6+WORKDIR ..