pursuit-docker/Dockerfile

FROM git.orionkindel.com/tpl/asdf:bookworm

RUN git clone https://github.com/purescript/pursuit.git
RUN git clone https://github.com/purescript/pursuit-backups.git --depth 1

WORKDIR pursuit
RUN mkdir -p data/verified
RUN cp -R ../pursuit-backups/* data/verified

RUN apt-get update && apt-get install -y locales && sed -i 's/^# *\(en_US.UTF-8\)/\1/' /etc/locale.gen && locale-gen
RUN echo 'LANG="en_US.UTF-8"' > /etc/default/locale \
    && echo "export LC_ALL=en_US.UTF-8" >> ~/.bashrc \
    && echo "export LANG=en_US.UTF-8" >> ~/.bashrc \
    && echo "export LANGUAGE=en_US.UTF-8" >> ~/.bashrc
RUN locale
RUN apt-get install -y wget libgmp-dev
RUN curl --silent \
         --show-error \
         --output /tmp/stack.tar.gz \
         --location 'https://github.com/commercialhaskell/stack/releases/download/v2.5.1/stack-2.5.1-linux-x86_64.tar.gz' \
    && tar -xzf /tmp/stack.tar.gz \
    && cp stack-2.5.1-linux-x86_64/stack /usr/bin 
COPY stack.yaml .
RUN stack --no-terminal build --flag pursuit:-dev

CMD ["/bin/bash", "-lc", "stack exec pursuit"]