2016-01-04 23:26:52 -06:00
|
|
|
os:
|
|
|
|
- linux
|
2016-05-23 22:18:41 -05:00
|
|
|
- osx
|
2015-12-31 18:43:38 -06:00
|
|
|
|
2015-12-31 18:48:13 -06:00
|
|
|
# This makes us use Ubuntu 14 instead of 12
|
2015-12-31 18:43:38 -06:00
|
|
|
dist: trusty
|
|
|
|
|
2016-01-04 23:26:52 -06:00
|
|
|
language: c
|
2015-12-31 18:43:38 -06:00
|
|
|
script:
|
2016-05-23 22:18:41 -05:00
|
|
|
- if [ "$TRAVIS_OS_NAME" == "linux" ]; then sudo apt-get update; fi
|
|
|
|
- if [ "$TRAVIS_OS_NAME" == "linux" ]; then sudo apt-get install libgtk-3-dev -y || sudo apt-cache search libgtk3; fi
|
2015-12-31 18:43:38 -06:00
|
|
|
- make -f GNUmakefile
|
2016-01-06 18:38:27 -06:00
|
|
|
- make -f GNUmakefile test
|
|
|
|
- make -f GNUmakefile examples
|