You've already forked ada_language_server
mirror of
https://github.com/AdaCore/ada_language_server.git
synced 2026-02-12 12:45:50 -08:00
41 lines
1.6 KiB
Docker
41 lines
1.6 KiB
Docker
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/
|