myriad/languages/idris/Dockerfile

FROM alpine:latest

RUN echo "@testing http://nl.alpinelinux.org/alpine/edge/testing" >> /etc/apk/repositories && \
    apk update && \
    apk add idris@testing && \
    rm -rf /var/cache/apk/*

COPY run.sh /var/run/
Alpine latest not stable 2019-07-22 00:56:47 +02:00			`FROM alpine:latest`
Add docker image for executing Idris 2019-07-22 00:53:23 +02:00
			`RUN echo "@testing http://nl.alpinelinux.org/alpine/edge/testing" >> /etc/apk/repositories && \`
			`apk update && \`
Update images and reduce their size (#13) * Allow container to be run with custom command * Reduce language image sizes * Update OpenJDK to latest version * Use swc for TypeScript and don't print by default * Update Haskell image and use stable Debian slim * Fix formatting and revert TS changes 2021-05-31 06:20:21 +02:00			`apk add idris@testing && \`
			`rm -rf /var/cache/apk/*`
Add docker image for executing Idris 2019-07-22 00:53:23 +02:00
			`COPY run.sh /var/run/`