Commit graph

16 commits

Author SHA1 Message Date
Soonho Kong
5a38480cf7 Remove "continue_on_violation(true);" from tests 2013-08-14 13:24:18 -07:00
Soonho Kong
012b6ec60b Remove OSX Trigger from .travis.yml. It will be done by other way around. 2013-08-13 00:50:22 -07:00
Soonho Kong
e2a29ee809 Fix OSX trigger in .travis.yml 2013-08-13 00:42:03 -07:00
Soonho Kong
74457c10cf Add .travis.osx.yml and update .travis.yml to trigger OSX build 2013-08-13 00:35:14 -07:00
Soonho Kong
4d933c5e15 Attempt to fix travis.yml 2013-08-08 14:02:09 -07:00
Soonho Kong
dd71a3c770 Update travis.yml to retry package installations when they fail 2013-08-08 13:56:55 -07:00
Soonho Kong
a6f825caa5 Add MPFR & restructure cmake directory 2013-08-05 17:58:54 -07:00
Soonho Kong
faf3f20480 Disable doxygen generation on travis-ci since it causes time-out. 2013-08-02 10:11:33 -07:00
Soonho Kong
5aeacfee60 Add bison++ & flex to .travis.yml 2013-08-02 10:08:47 -07:00
Soonho Kong
3cef072cca Update .travis.yml to fix email a notification setting.
- It seems that googlegroups doesn't accept emails from travis-ci
 directly. I set up an email-forwarding on my account to pass emails
 from travis to the mailing list.
2013-08-01 20:07:20 -07:00
Soonho Kong
3c1a65235c Update .travis.yml to send build logs only to leansmt-dev list. 2013-08-01 16:08:58 -07:00
Soonho Kong
ee133e9e1e Update .travis.yml to send an email to the mailing list (leansmt-dev@googlegroups.com) 2013-08-01 13:48:15 -07:00
Soonho Kong
17834d531c Add update_doxygen.sh script and use it in .travis.yml 2013-07-24 06:33:01 -07:00
Soonho Kong
913b107449 Update .travis.yml to generate doxygen 2013-07-24 06:08:47 -07:00
Soonho Kong
03740ca77a Update .travis.yml to extend build matrix with/without tcmalloc 2013-07-23 10:43:41 -07:00
Soonho Kong
bffe36a37f Add .travis.yml 2013-07-22 06:40:25 -07:00