2016-01-04 23:26:52 -06:00
|
|
|
os:
|
|
|
|
- linux
|
|
|
|
- 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-01-04 23:29:05 -06:00
|
|
|
- test Z$TRAVIS_OS_NAME = Zlinux && sudo apt-get update
|
|
|
|
- test Z$TRAVIS_OS_NAME = Zlinux && { sudo apt-get install libgtk-3-dev -y || sudo apt-cache search libgtk3; }
|
2015-12-31 18:43:38 -06:00
|
|
|
- make -f GNUmakefile
|
2016-01-01 16:19:14 -06:00
|
|
|
- make -f GNUmakefile examples
|
|
|
|
- make -f GNUmakefile test
|