From 592216029087fb8431729b6e8010196be2f7fee1 Mon Sep 17 00:00:00 2001 From: vzwGrey Date: Mon, 22 Jul 2019 00:53:23 +0200 Subject: [PATCH 1/3] Add docker image for executing Idris --- languages/idris/Dockerfile | 7 +++++++ languages/idris/run.sh | 2 ++ 2 files changed, 9 insertions(+) create mode 100644 languages/idris/Dockerfile create mode 100644 languages/idris/run.sh diff --git a/languages/idris/Dockerfile b/languages/idris/Dockerfile new file mode 100644 index 0000000..3ce5f99 --- /dev/null +++ b/languages/idris/Dockerfile @@ -0,0 +1,7 @@ +FROM alpine:edge + +RUN echo "@testing http://nl.alpinelinux.org/alpine/edge/testing" >> /etc/apk/repositories && \ + apk update && \ + apk add idris@testing + +COPY run.sh /var/run/ diff --git a/languages/idris/run.sh b/languages/idris/run.sh new file mode 100644 index 0000000..d9410d5 --- /dev/null +++ b/languages/idris/run.sh @@ -0,0 +1,2 @@ +printf %s "$1" > Main.idr +idris --execute ./Main.idr || true From 806963cf2209145238ad974f65e9ead92dffc067 Mon Sep 17 00:00:00 2001 From: vzwGrey Date: Mon, 22 Jul 2019 00:55:38 +0200 Subject: [PATCH 2/3] Use alpine stable --- languages/idris/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/languages/idris/Dockerfile b/languages/idris/Dockerfile index 3ce5f99..10dcfd3 100644 --- a/languages/idris/Dockerfile +++ b/languages/idris/Dockerfile @@ -1,4 +1,4 @@ -FROM alpine:edge +FROM alpine:stable RUN echo "@testing http://nl.alpinelinux.org/alpine/edge/testing" >> /etc/apk/repositories && \ apk update && \ From 1610e2c15d2e6892fc5bb0cbe12a733ea74a2bfb Mon Sep 17 00:00:00 2001 From: vzwGrey Date: Mon, 22 Jul 2019 00:56:47 +0200 Subject: [PATCH 3/3] Alpine latest not stable --- languages/idris/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/languages/idris/Dockerfile b/languages/idris/Dockerfile index 10dcfd3..04b8d8f 100644 --- a/languages/idris/Dockerfile +++ b/languages/idris/Dockerfile @@ -1,4 +1,4 @@ -FROM alpine:stable +FROM alpine:latest RUN echo "@testing http://nl.alpinelinux.org/alpine/edge/testing" >> /etc/apk/repositories && \ apk update && \