2015-04-09 11:41:12 +00:00
|
|
|
language: c
|
|
|
|
|
install:
|
2017-03-20 19:37:02 +00:00
|
|
|
- |-
|
|
|
|
|
path="$(pwd)"; cd;
|
|
|
|
|
wget https://github.com/rednex/rgbds/archive/v0.2.5.tar.gz -O rgbds.tar.gz &&
|
|
|
|
|
tar xf rgbds.tar.gz &&
|
|
|
|
|
cd rgbds-0.2.5 &&
|
|
|
|
|
sudo make install &&
|
|
|
|
|
cd - &&
|
|
|
|
|
rm -rf rgbds &&
|
|
|
|
|
cd "$path"
|
2015-04-09 11:41:12 +00:00
|
|
|
before_script:
|
|
|
|
|
- |-
|
|
|
|
|
function check_status() {
|
2017-03-20 19:37:02 +00:00
|
|
|
if ! git diff-index --quiet --ignore-submodules=all HEAD --; then
|
|
|
|
|
echo 'Uncommitted changes detected:';
|
|
|
|
|
git diff-index HEAD --;
|
2015-04-09 11:41:12 +00:00
|
|
|
return 1;
|
|
|
|
|
fi;
|
|
|
|
|
}
|
|
|
|
|
script:
|
|
|
|
|
- make
|
2017-03-20 19:37:02 +00:00
|
|
|
- make compare
|
2015-04-09 11:41:12 +00:00
|
|
|
- check_status
|
