2017-03-21 16:08:02 +00:00
|
|
|
language: c
|
2018-07-01 02:28:13 +00:00
|
|
|
os:
|
|
|
|
- linux
|
|
|
|
- osx
|
2017-03-21 16:08:02 +00:00
|
|
|
install:
|
|
|
|
- |-
|
2019-02-10 00:30:23 +00:00
|
|
|
( cd
|
2021-04-19 20:31:37 +00:00
|
|
|
if [ "$TRAVIS_OS_NAME" = osx ]; then
|
|
|
|
HOMEBREW_NO_AUTO_UPDATE=1 brew install bison
|
|
|
|
export PATH="/usr/local/opt/bison/bin:$PATH"
|
|
|
|
fi
|
2021-05-09 16:26:28 +00:00
|
|
|
git clone -b v0.5.1 --depth=1 https://github.com/gbdev/rgbds
|
2020-04-08 17:24:33 +00:00
|
|
|
sudo make -C rgbds install
|
2019-02-10 00:30:23 +00:00
|
|
|
rm -rf rgbds
|
|
|
|
)
|
2017-03-21 16:08:02 +00:00
|
|
|
before_script:
|
|
|
|
- |-
|
|
|
|
function check_status() {
|
|
|
|
if ! git diff-index --quiet --ignore-submodules=all HEAD --; then
|
|
|
|
echo 'Uncommitted changes detected:';
|
|
|
|
git diff-index HEAD --;
|
|
|
|
return 1;
|
|
|
|
fi;
|
|
|
|
}
|
|
|
|
script:
|
2020-07-08 01:09:05 +00:00
|
|
|
- make DEBUG=1 -j2 compare
|
2017-12-29 03:23:13 +00:00
|
|
|
- check_status
|
2019-01-01 11:05:34 +00:00
|
|
|
after_success:
|
2019-02-10 00:30:23 +00:00
|
|
|
- |-
|
|
|
|
if [ "$TRAVIS_BRANCH" = master -a "$TRAVIS_PULL_REQUEST" = false -a "$TRAVIS_OS_NAME" = linux ]; then
|
2020-06-21 02:39:45 +00:00
|
|
|
./.travis/webhook.sh
|
|
|
|
if [ -n "$GITHUB_API_KEY" ]; then
|
|
|
|
./.travis/upload_symbols.sh
|
|
|
|
fi
|
2019-02-10 00:30:23 +00:00
|
|
|
fi
|