2020-01-12 01:07:19 +03:00
|
|
|
#!/bin/bash
|
|
|
|
|
# Called by Github Actions workflow
|
|
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
output=$1;
|
|
|
|
|
runner=$2;
|
2020-05-17 19:25:44 +03:00
|
|
|
game_binary=$3;
|
|
|
|
|
importer_binary=$4;
|
2020-01-12 01:07:19 +03:00
|
|
|
|
2020-05-02 23:19:24 +03:00
|
|
|
cargo run --bin updater
|
2020-02-09 00:25:48 +03:00
|
|
|
|
2020-01-12 01:07:19 +03:00
|
|
|
mkdir $output
|
|
|
|
|
|
|
|
|
|
cp docs/INSTRUCTIONS.md $output
|
|
|
|
|
cp release/$runner $output
|
|
|
|
|
mkdir $output/game
|
2020-05-17 19:25:44 +03:00
|
|
|
cp $game_binary $output/game
|
|
|
|
|
mkdir $output/importer
|
|
|
|
|
cp $importer_binary $output/importer
|
2020-05-09 07:36:39 +03:00
|
|
|
mkdir $output/data
|
2020-05-04 21:43:19 +03:00
|
|
|
cp -Rv data/system $output/data/system
|
2020-01-12 01:07:19 +03:00
|
|
|
|
2020-01-22 21:44:46 +03:00
|
|
|
# TODO Github will double-zip this, but if we just pass the directory, then the
|
|
|
|
|
# chmod +x bits get lost
|
|
|
|
|
zip -r $output $output
|
2020-01-22 22:47:06 +03:00
|
|
|
rm -rf release_data.zip $output
|
