This repository has been archived on 2024-03-23. You can view files and clone it, but cannot push or open issues or pull requests.
2017-10-06 19:58:48 +00:00
|
|
|
#!/bin/bash -ex
|
|
|
|
|
|
|
|
|
|
# Copy documentation
|
|
|
|
|
cp license.txt "$REV_NAME"
|
|
|
|
|
cp README.md "$REV_NAME"
|
|
|
|
|
|
2018-09-11 20:00:12 +00:00
|
|
|
# Copy cross-platform scripting support
|
|
|
|
|
cp -r dist/scripting "$REV_NAME"
|
|
|
|
|
|
2017-10-06 19:58:48 +00:00
|
|
|
tar $COMPRESSION_FLAGS "$ARCHIVE_NAME" "$REV_NAME"
|
|
|
|
|
|
|
|
|
|
# Find out what release we are building
|
2023-04-06 12:34:35 +00:00
|
|
|
if [[ "$GITHUB_REF_NAME" =~ ^canary- ]] || [[ "$GITHUB_REF_NAME" =~ ^nightly- ]]; then
|
|
|
|
|
RELEASE_NAME=$(echo $GITHUB_REF_NAME | cut -d- -f1)
|
2020-11-12 23:57:20 +00:00
|
|
|
if [ "$NAME" = "linux-mingw" ]; then
|
2018-05-15 04:30:40 +00:00
|
|
|
RELEASE_NAME="${RELEASE_NAME}-mingw"
|
|
|
|
|
fi
|
2023-04-06 12:34:35 +00:00
|
|
|
else
|
|
|
|
|
RELEASE_NAME=head
|
2017-10-06 19:58:48 +00:00
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
mv "$REV_NAME" $RELEASE_NAME
|
|
|
|
|
|
|
|
|
|
7z a "$REV_NAME.7z" $RELEASE_NAME
|
|
|
|
|
|
|
|
|
|
# move the compiled archive into the artifacts directory to be uploaded by travis releases
|
|
|
|
|
mv "$ARCHIVE_NAME" artifacts/
|
|
|
|
|
mv "$REV_NAME.7z" artifacts/
|
