pursuit-docker/Dockerfile

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

RUN apt-get update
RUN apt-get install -y wget libgmp-dev locales
RUN sed -i 's/^# *\(en_US.UTF-8\)/\1/' /etc/locale.gen \
    && locale-gen \
    && 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 git clone https://github.com/purescript/pursuit.git
RUN git clone https://github.com/purescript/pursuit-backups.git

VOLUME pursuit/data
RUN mkdir -p pursuit/data/verified
RUN mv pursuit-backups/* pursuit/data/verified
RUN rm -r pursuit-backups

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

WORKDIR pursuit
COPY stack.yaml .
RUN --mount=type=cache,target=/root/.stack \
    --mount=type=cache,target=/pursuit/.stack-work \
    stack --no-terminal build --flag pursuit:-dev \
    && cp .stack-work/dist/x86_64-linux-tinfo6/Cabal-3.6.3.0/build/pursuit/pursuit /usr/bin

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