Add Idris

Add docker image for executing Idris
2019-07-21 18:59:52 -04:00 · 2019-07-21 18:59:52 -04:00 · abbce96d0a
parent 3b9d4caf2b 1610e2c15d
commit abbce96d0a
2 changed files with 9 additions and 0 deletions
--- a/languages/idris/Dockerfile
+++ b/languages/idris/Dockerfile
@ -0,0 +1,7 @@
+FROM alpine:latest
+
+RUN echo "@testing http://nl.alpinelinux.org/alpine/edge/testing" >> /etc/apk/repositories && \
+    apk update && \
+    apk add idris@testing
+
+COPY run.sh /var/run/
--- a/languages/idris/run.sh
+++ b/languages/idris/run.sh
@ -0,0 +1,2 @@
+printf %s "$1" > Main.idr
+idris --execute ./Main.idr || true