35 lines
1.2 KiB
Docker
35 lines
1.2 KiB
Docker
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"]
|