2014-03-06 03:36:10 +04:00
|
|
|
language: c
|
|
|
|
|
|
|
|
|
|
compiler:
|
2014-03-07 22:56:16 +04:00
|
|
|
- gcc
|
2014-03-06 03:36:10 +04:00
|
|
|
- clang
|
|
|
|
|
|
|
|
|
|
before_install:
|
|
|
|
|
- sudo apt-get update -qq
|
|
|
|
|
- sudo apt-get install -qq libgmp3-dev libsigsegv-dev openssl libssl-dev libncurses5-dev git make exuberant-ctags
|
|
|
|
|
|
|
|
|
|
before_script:
|
|
|
|
|
- echo "export URBIT_HOME=`pwd`/urb" >>~/.bash_profile
|
|
|
|
|
- make
|
|
|
|
|
|
2014-03-06 03:43:11 +04:00
|
|
|
script: "make"
|
2014-03-06 03:36:10 +04:00
|
|
|
|
2014-03-07 22:40:59 +04:00
|
|
|
notifications:
|
2014-03-06 03:36:10 +04:00
|
|
|
on_success: change
|
|
|
|
|
on_failure: always
|
