Commit graph

4 commits

Author SHA1 Message Date
Soonho Kong
4a4f7eb9e2 Update .travis.yml and .travis.osx.yml
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
2013-08-20 02:01:46 -07:00
Soonho Kong
f9cbdb5456 Update .travis.osx.yml to use precompiled gcc/mpfr/gmp, and copy precompiled lean binaries to dropbox 2013-08-19 16:51:21 -07:00
Soonho Kong
dc551c80dc Update .travis.osx.yml and add scripts to run doxygen and testcov on travis-ci(OSX) 2013-08-18 14:06:01 -07:00
Soonho Kong
17834d531c Add update_doxygen.sh script and use it in .travis.yml 2013-07-24 06:33:01 -07:00