Skip to content

Instantly share code, notes, and snippets.

@Munksgaard

Munksgaard/Dockerfile

Created April 7, 2022 09:48
Show Gist options
  • Save Munksgaard/c1baee43c35409922d83bfd2ce80f816 to your computer and use it in GitHub Desktop.
Save Munksgaard/c1baee43c35409922d83bfd2ce80f816 to your computer and use it in GitHub Desktop.
Download ZIP
docker with futhark
Raw
Dockerfile
FROM nvidia/cuda@sha256:01d41694d0b0be8b7d1ea8146c7d318474a0f4a90bfea17d3ac1af0328a0830b
RUN apt-get update
RUN apt-get upgrade -y
RUN apt-get install -y libz3-4 libz3-dev haskell-stack libtinfo-dev libgmp-dev zlib1g-dev
RUN git clone https://github.com/diku-dk/futhark
WORKDIR "futhark"
RUN stack upgrade
RUN stack setup
RUN stack build
RUN stack install
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment