We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 72e8b50 commit 56df291Copy full SHA for 56df291
.gitpod.yml
@@ -5,8 +5,9 @@ tasks:
5
- init: echo "hello"
6
command: |
7
mkdir -p $HOME/adalib
8
- curl -L https://bintray.com/reznikmm/libadalang/download_file\?file_path=libadalang-Linux-stable-static.tar.gz \
9
- | tar xzf - -C $HOME/adalib
+ # No bintray binaries any more
+ # curl -L https://bintray.com/reznikmm/libadalang/download_file\?file_path=libadalang-Linux-stable-static.tar.gz \
10
+ # | tar xzf - -C $HOME/adalib
11
git -C subprojects clone https://github.com/AdaCore/VSS.git
12
git -C subprojects clone https://github.com/AdaCore/spawn.git
13
git -C subprojects clone https://github.com/AdaCore/libadalang-tools.git
0 commit comments