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
|
2016-06-05 12:40:32 -05:00
|
|
|
- mkdir build
|
|
|
|
- cd build
|
|
|
|
- cmake .. -G "Unix Makefiles"
|
2016-06-05 12:43:18 -05:00
|
|
|
- make tester examples
|
2016-06-05 12:40:32 -05:00
|
|
|
- rm -rf *
|
|
|
|
- cmake .. -G "Unix Makefiles" -DBUILD_SHARED_LIBS=OFF
|
2016-06-05 12:43:18 -05:00
|
|
|
- make tester examples
|