Skip to content

Instantly share code, notes, and snippets.

@LeifW

LeifW/Dockerfile

Created July 9, 2015 21:24
Show Gist options
  • Save LeifW/ef4cb84e526d06242e88 to your computer and use it in GitHub Desktop.
Save LeifW/ef4cb84e526d06242e88 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Dockerfile
FROM nfnty/arch-mini
RUN pacman -Sy --noconfirm --needed git cabal-install ghc libffi pkg-config make sed grep
RUN cabal update
RUN git clone https://github.com/idris-lang/Idris-dev.git
RUN cd Idris-dev && cabal -fFFI -fGMP install
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment