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
13959f60ac
Also * use Alire 2.0.2 * fix `pip install` error on istalling libadalang dependencies. Refs * https://github.com/AdaCore/ada_language_server/issues/1212 * https://github.com/AdaCore/ada_language_server/issues/1213 Fixes ada_language_server#1471
65 lines
1.9 KiB
Bash
Executable File
65 lines
1.9 KiB
Bash
Executable File
#!/bin/bash
|
|
set -x -e
|
|
GITHUB_ACCESS_TOKEN=$1
|
|
TAG=$2 # Release name/tag
|
|
NODE_ARCH_PLATFORM=$3 # One of:
|
|
# arm64/darwin
|
|
# arm64/linux
|
|
# x64/darwin
|
|
# x64/linux
|
|
# x64/win32
|
|
|
|
if [[ -z "$NODE_ARCH_PLATFORM" ]]; then
|
|
# Get architecture and platform information from node.
|
|
NODE_PLATFORM=$(node -e "console.log(process.platform)")
|
|
NODE_ARCH=$(node -e "console.log(process.arch)")
|
|
NODE_ARCH_PLATFORM=$NODE_ARCH/$NODE_PLATFORM
|
|
NAME=als-$TAG-$NODE_PLATFORM-$NODE_ARCH
|
|
else
|
|
NAME=als-$TAG-${NODE_ARCH_PLATFORM#*/}-${NODE_ARCH_PLATFORM%/*}
|
|
fi
|
|
|
|
function release_notes() {
|
|
echo "# Release notes"
|
|
|
|
# Select the content of the first section of CHANGELOG.md
|
|
sed -n -e '/^## \\<next>/,/^##/p' CHANGELOG.md | sed -e '1d;$d'
|
|
}
|
|
|
|
release_notes >release_notes.md
|
|
|
|
# Try to create a release
|
|
jq --null-input --arg tag "$TAG" \
|
|
--rawfile body release_notes.md \
|
|
'{"tag_name": $tag, "name": $tag, "body": $body}' |
|
|
curl -v \
|
|
-X POST \
|
|
-H "Accept: application/vnd.github+json" \
|
|
-H "Authorization: token $GITHUB_ACCESS_TOKEN" \
|
|
-H 'Content-Type: application/json' \
|
|
"https://api.github.com/repos/$GITHUB_REPOSITORY/releases" \
|
|
-d "@-"
|
|
|
|
rm -f release_notes.md
|
|
|
|
# Get asset upload url, drop "quotes" around it and {parameters} at the end
|
|
upload_url=$(curl \
|
|
-H "Accept: application/vnd.github+json" \
|
|
-H "Authorization: token $GITHUB_ACCESS_TOKEN" \
|
|
"https://api.github.com/repos/$GITHUB_REPOSITORY/releases/tags/$TAG" |
|
|
jq -r '.upload_url | rtrimstr("{?name,label}")')
|
|
|
|
echo "upload_url=$upload_url"
|
|
|
|
FILE=$NAME.tar.gz
|
|
tar czvf "$FILE" "integration/vscode/ada/$NODE_ARCH_PLATFORM"
|
|
|
|
# Upload $FILE as an asset to the release
|
|
curl \
|
|
-X POST \
|
|
-H "Accept: application/vnd.github+json" \
|
|
-H "Authorization: token $GITHUB_ACCESS_TOKEN" \
|
|
-H 'Content-Type: application/tar+gzip' \
|
|
--data-binary "@$FILE" \
|
|
"$upload_url?name=$FILE"
|