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
21 lines
702 B
YAML
21 lines
702 B
YAML
image:
|
|
file: .gitpod.Dockerfile
|
|
|
|
tasks:
|
|
- init: echo "hello"
|
|
command: |
|
|
mkdir -p $HOME/adalib
|
|
# No bintray binaries any more
|
|
# curl -L https://bintray.com/reznikmm/libadalang/download_file\?file_path=libadalang-Linux-stable-static.tar.gz \
|
|
# | tar xzf - -C $HOME/adalib
|
|
git -C subprojects clone https://github.com/AdaCore/VSS.git
|
|
git -C subprojects clone https://github.com/AdaCore/spawn.git
|
|
git -C subprojects clone https://github.com/AdaCore/libadalang-tools.git
|
|
code doc/gitpod.md
|
|
echo make LIBRARY_TYPE=static
|
|
|
|
vscode:
|
|
extensions:
|
|
- adacore.ada@22.0.5:b56gZDvQ5KBm6u34IBzm1g==
|
|
- webfreak.debug@0.25.0:F9uLpAOde6r0l7rgMC8LTQ==
|