comment-out "apt-get install graphviz", it takes too much time because it depends on LaTeX. Maybe it's better to move this operation on OS X side where homebrew can build graphviz without LaTeX.
[skip ci]
- move "Trigger Bitbucket" and "Trigger OSX build" to the
after_script section so that their failures do not generate build
failures (which will occur at lean-leo build)
- move "install doxygen & graphviz" to the after_script to avoid a
build failure due to the timeout of those package installations.
- trigger both of OSX & Windows build+tests.
On Linux:
- push to the repo on bitbucket, to trigger email-diff
- push to the lean-osx repo on github, to trigger osx build & test
- run test coverage and upload to dropbox
- run doxygen and upload to dropbox
- upload compiled binaries to dropbox
- secure passwords by putting "-q" option to git operations
On OSX:
- build & test
- upload compiled binaries to dropbox
- roll back to HPC g++-4.9.0 + gmp & mpfr (homebrew)
- patch the problem in <cstddef>, saved in dropbox
- 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.
