.gitpod.Dockerfile

FROM gitpod/workspace-base:latest
ENV PATH=$HOME/gnat/bin:$PATH\
    GPR_PROJECT_PATH=/home/gitpod/adalib/share/gpr:\
/workspace/ada_language_server/subprojects/VSS/gnat:\
/workspace/ada_language_server/subprojects/libadalang-tools/src:\
/workspace/ada_language_server/subprojects/spawn/gnat:\
/workspace/ada_language_server/subprojects/stubs\
    LIBRARY_TYPE=static

COPY scripts/gnat_install.qs /tmp/

RUN sudo apt-get update \
 && sudo apt-get install -y \
    libx11-xcb1 \
    python3 python3-pip \
 && curl -SL https://community.download.adacore.com/v1/a639696a9fd3bdf0be21376cc2dc3129323cbe42?filename=gnat-2020-20200818-x86_64-linux-bin \
  --output /tmp/gnat-2020-20200818-x86_64-linux-bin \
 && chmod +x /tmp/gnat-2020-20200818-x86_64-linux-bin \
 && /tmp/gnat-2020-20200818-x86_64-linux-bin \
   --platform minimal --script /tmp/gnat_install.qs InstallPrefix=$HOME/gnat \
 && gprinstall --uninstall gpr \
 && gprinstall --uninstall aunit \
 && gprinstall --uninstall aws \
 && gprinstall --uninstall gnatcoll \
 && sh -c "rm -rvf /opt/gnat/maintenancetool*" \
 && rm -rf $HOME/gnat/share/doc \
 && rm -rf $HOME/gnat/share/examples \
 && rm -rf $HOME/gnat/share/gps \
 && rm -rf $HOME/gnat/share/man \
 && find $HOME/gnat/ -type d -empty -delete \
 && rm -rf /tmp/gnat-2020-20200818-x86_64-linux-bin \
 && sudo apt-get purge -y --auto-remove libx11-xcb1 \
 && sudo apt-get clean \
 && sudo rm -rf /var/lib/apt/lists/* \
 && sudo /usr/bin/pip3 install e3-testsuite
# Install custom tools, runtimes, etc.
# For example "bastet", a command-line tetris clone:
# RUN brew install bastet
#
# More information: https://www.gitpod.io/docs/config-docker/