FROM ubuntu:26.04

SHELL ["/bin/bash", "-c"]

RUN apt-get update \
 && apt-get install -y --no-install-recommends \
    ca-certificates \
    chezscheme \
    git \
    build-essential \
    libgmp-dev \
    wget \
    rlwrap

# Create a new user and give them sudo rights
ARG USER=vscode
RUN useradd -d /home/$USER -s /bin/bash -m $USER
RUN echo "$USER ALL=NOPASSWD: ALL" >> /etc/sudoers
USER $USER
ENV HOME=/home/$USER
WORKDIR $HOME
RUN mkdir -p $HOME/bin

RUN wget https://github.com/idris-lang/Idris2/archive/refs/tags/v0.8.0.tar.gz
RUN tar -xvzf v0.8.0.tar.gz

WORKDIR $HOME/Idris2-0.8.0

RUN make bootstrap SCHEME=scheme
RUN make install

WORKDIR $HOME

RUN echo 'export PATH="$HOME/.idris2/bin:$PATH"' >> $HOME/.bashrc
RUN echo 'export LD_LIBRARY_PATH="$HOME/.idris2/lib:$LD_LIBRARY_PATH"' >> $HOME/.bashrc