37 lines
785 B
Bash
Executable File
37 lines
785 B
Bash
Executable File
#!/usr/bin/env bash
|
|
# Builds the release and creates an archive and optionally deploys to GitHub.
|
|
set -ex
|
|
|
|
if [[ -z "$GITHUB_REF" ]]
|
|
then
|
|
echo "GITHUB_REF must be set"
|
|
exit 1
|
|
fi
|
|
# Strip mdbook-refs/tags/ from the start of the ref.
|
|
TAG=${GITHUB_REF#*/tags/}
|
|
|
|
host=$(rustc -Vv | grep ^host: | sed -e "s/host: //g")
|
|
cargo rustc --bin mdbook --release -- -C lto
|
|
cd target/release
|
|
case $1 in
|
|
ubuntu* | macos*)
|
|
asset="mdbook-$TAG-$host.tar.gz"
|
|
tar czf ../../$asset mdbook
|
|
;;
|
|
windows*)
|
|
asset="mdbook-$TAG-$host.zip"
|
|
7z a ../../$asset mdbook.exe
|
|
;;
|
|
*)
|
|
echo "OS should be first parameter, was: $1"
|
|
;;
|
|
esac
|
|
cd ../..
|
|
|
|
if [[ -z "$GITHUB_TOKEN" ]]
|
|
then
|
|
echo "$GITHUB_TOKEN not set, skipping deploy."
|
|
else
|
|
hub release edit -m "" --attach $asset $TAG
|
|
fi
|