dgellow/idris-docker-image

Dockerfile and images for idris and idris2

Docker images for Idris lang and Idris2

Images

• dgellow/idris: Published at https://hub.docker.com/r/dgellow/idris/. Latest idris installed and compiled via Cabal. Based on the official haskell image.
• dgellow/idris2: Published at https://hub.docker.com/r/dgellow/idris2/. Build from source of idris2.

Tags

Idris:

• dgellow/idris:latest
• dgellow/idris:v1.3.3
• dgellow/idris:v1.3.2
• dgellow/idris:v1.1.1
• dgellow/idris:v1.0
• dgellow/idris:v0.99.1
• dgellow/idris:v0.99
• dgellow/idris:v0.12.3

Idris2:

• dgellow/idris2:latest
• dgellow/idris2:v0.1.0
• dgellow/idris2:v0.3.0

Usage

From the cli:

$ docker run -it dgellow/idris --help

From a Dockerfile:

FROM dgellow/idris

ADD . /app
WORKDIR /app

RUN idris main.idr -o hello.o
CMD ["/app/hello.o"]

Build the image

Note: building idris can easily take more than 30 minutes depending on your machine and how much CPU/RAM is dedicated to docker

$ docker build -t dgellow/idris:v1.3.2 .

To build idris2 (also quite a long process)

$ docker build -t dgellow/idris2:v0.1.0 -f Dockerfile_idris2 .

idris-docker-image's Issues

The Idris REPL opens then exits when I run ‘docker run dgellow/idris idris’

My OS is Antergos (Arch) Linux if that makes any difference, though I have yet to test it out elsewhere.
After adding the help flag, I cant see anything else that should open it and keep it that way. The ide-mode option repeated the same error over and over again (can’t remember at the moment, I am on mobile).

I guess Idris2 image needs Chez Scheme

FROM dgellow/idris2

RUN \
  apt-get update -y && \
  apt-get install -y chezscheme

RUN echo 'export PATH=/root/.idris2/bin/:$PATH' >>~/.bashrc
RUN echo 'alias idris=idris2' >>~/.bashrc

It's not a big deal - I can add it myself. But it would be nice if it comes built in. Idris2 can't build without scheme

I guess Idris 2 image needs Chez scheme to be installed

FROM dgellow/idris2

RUN \
  apt-get update -y && \
  apt-get install -y chezscheme

RUN echo 'export PATH=/root/.idris2/bin/:$PATH' >>~/.bashrc
RUN echo 'alias idris=idris2' >>~/.bashrc

It's not a big deal - I can add it myself. But it would be nice if it comes built in. Idris2 can't build without scheme

PS I'm using it here https://github.com/stereobooster/idris-vscode-remote-development-template