mirror of
https://github.com/a-b-street/abstreet.git
synced 2024-12-27 16:36:02 +03:00
38fa22d4b2
about a month ago and noticed in #452
57 lines
1.2 KiB
Bash
Executable File
57 lines
1.2 KiB
Bash
Executable File
#!/bin/bash
|
|
# Called by Github Actions workflow
|
|
|
|
set -e;
|
|
|
|
os=$1;
|
|
case $os in
|
|
ubuntu-latest)
|
|
output="abst_linux";
|
|
suffix="";
|
|
runner="play_abstreet.sh";
|
|
;;
|
|
|
|
macos-latest)
|
|
output="abst_mac";
|
|
suffix="";
|
|
runner="play_abstreet.sh";
|
|
;;
|
|
|
|
windows-latest)
|
|
output="abst_windows";
|
|
suffix=".exe";
|
|
runner="play_abstreet.bat";
|
|
;;
|
|
|
|
*)
|
|
echo "Wat? os = $os";
|
|
exit 1;
|
|
esac
|
|
|
|
mkdir $output
|
|
|
|
cp book/src/howto/README.md $output/INSTRUCTIONS.txt
|
|
cp release/$runner $output
|
|
|
|
# Put most binaries in the root directory, but hide game to encourage people to
|
|
# use the runner script. It will capture output logs. But if somebody runs the
|
|
# game binary directly, it'll still work.
|
|
mkdir $output/game
|
|
cp target/release/game${suffix} $output/game
|
|
|
|
for name in fifteen_min osm_viewer parking_mapper santa importer; do
|
|
cp target/release/${name}${suffix} $output;
|
|
done
|
|
|
|
mkdir $output/data
|
|
cp -Rv data/system $output/data/system
|
|
cp data/MANIFEST.json $output/data
|
|
|
|
# Windows doesn't have zip?!
|
|
if [[ "$output" != "abst_windows" ]]; then
|
|
# TODO Github will double-zip this, but if we just pass the directory, then the
|
|
# chmod +x bits get lost
|
|
zip -r $output $output
|
|
rm -rf release_data.zip $output
|
|
fi
|