dgellow/idris2 repository overview
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:latestdgellow/idris:v1.3.3dgellow/idris:v1.3.2dgellow/idris:v1.1.1dgellow/idris:v1.0dgellow/idris:v0.99.1dgellow/idris:v0.99dgellow/idris:v0.12.3
Idris2:
dgellow/idris2:latestdgellow/idris2:v0.1.0dgellow/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 .
Tag summary
Content type
Image
Digest
Size
56.6 MB
Last updated
over 5 years ago
docker pull dgellow/idris2