michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
995 commits 3 branches 0 tags 28 MiB
Commit graph

62 commits

Author SHA1 Message Date
Leonardo de Moura
36fe8e5c5f feat(lua): install Lua at travis VM 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2013-11-02 11:21:30 -07:00
Soonho Kong
a46b313c1c chore(travis): use demangle_cpptype.py to print out test/valgrind output 
[skip ci]
 2013-09-29 16:30:02 -07:00
Soonho Kong
80c282d0a3 chore(travis): do not use c++filt on Linux builds 
There is a bug in c++filt on Linux. For instance,

    c++filt -t 355687428096000

causes a segmentation fault.
 2013-09-29 13:27:32 -07:00
Soonho Kong
58e2ec331c chore(travis): use c++filt to handle demangled c++ names 2013-09-28 23:38:22 -07:00
Soonho Kong
d48ec2ddfa chore(travis): fix git-commit-msg extraction 
[skip-ci]
 2013-09-28 13:33:13 -07:00
Soonho Kong
db6e0ce319 chore(travis): set stack size as unlimited before run valgrind 2013-09-27 19:05:23 -07:00
Soonho Kong
f1407d501a chore(travis): fix testcov problem 2013-09-27 17:56:33 -07:00
Soonho Kong
0ce089b942 chore(travis): push all linux builds to cdash 2013-09-27 17:56:33 -07:00
Soonho Kong
3527babfee chore(travis): use consistent build name 
- have build name is in the form of
       "<BRANCH>_<CXX_COMPILER>_<BUILD_TYPE>(_TC)?"
   to have consistency over time.
 - have "Generator" field in cdash XMLs which is in the form of
        "<GIT_COMMIT>###<GIT_SUBJECT>"
   it will be displayed as a small mouseover-text.
 2013-09-27 12:22:44 -07:00
Soonho Kong
a05b6b476e fix(testcov): install lcov and include testcov only when it's on 2013-09-26 22:24:24 -07:00
Soonho Kong
5e5087b0a3 chore(testcov): add compile target "cov" to run code-coverage locally 
- need to run cmake with "-DTESTCOV=ON" and "-DCMAKE_BUILD_TYPE=Debug"
 - type "make/ninja cov"
 - open "coverage/index.html" to check the code coverage
 2013-09-26 20:28:52 -07:00
Soonho Kong
875fda80de Update .travis.yml 
- make TCMALLOC explicit
 2013-09-20 13:45:10 -07:00
Soonho Kong
49efbad8df Update .travis.yml 
[skip ci]
 2013-09-20 11:34:36 -07:00
Soonho Kong
85a92e8888 Fix typo in .travis.yml 2013-09-16 18:51:59 -07:00
Soonho Kong
a2182b59e3 Fix memcheck.supp problem 2013-09-16 18:14:55 -07:00
Soonho Kong
9b792d938d Update .travis.yml 
fix typo [skip ci]
 2013-09-15 22:07:55 -07:00
Soonho Kong
e6d9aa7527 Use GNU parallel to upload doxygen files to dropbox 
[skip ci]
 2013-09-15 20:31:15 -07:00
Soonho Kong
b1310bd679 Update .travis.yml 
- force to use precompiled cmake
- do not delete old doxygen files (will fix later)
[skip ci]
 2013-09-15 13:51:02 -07:00
Soonho Kong
5edf78559d Fix typo in .travis.yml 2013-09-15 12:27:42 -07:00
Soonho Kong
2d8febb7f1 Fix .travis.yml 
- Use precompiled cmake
- clang + ninja + release build still has a bug. Use make instead.
 2013-09-15 12:23:10 -07:00
Soonho Kong
dfd4b3b57f Use latest version of cmake in travis-ci 2013-09-15 11:53:33 -07:00
Soonho Kong
e1b4a45f92 Update .travis.yml 
- clang++-3.3 has a bug on travis when it uses ninja for a release-build.
- let's use ninja for memcheck builds and GNU make for the rest of builds.
 2013-09-15 04:03:26 -07:00
Soonho Kong
c9affe489f Update travis.yml, disable parallel build on travis-ci 2013-09-15 03:40:28 -07:00
Soonho Kong
7834fe045f Update .travis.yml to build ninja from scratch 2013-09-15 03:20:34 -07:00
Soonho Kong
993f720ce1 Update .travis.yml to use ninja instead of GNU make 
There is a bug in cmake. With GNU Make, it ignores the memcheck suppressions
file (src/memcheck.supp), while it works well with ninja.
 2013-09-15 02:19:29 -07:00
Soonho Kong
09945add63 Fix typo in .travis.yml 2013-09-15 01:50:23 -07:00
Soonho Kong
15861ef6ea Update binary uploading process 
- fix commit name for OSX & Windows
- fix NOW to use specific time zone, PST
- upload compressed binary for archiving
 2013-09-15 01:17:05 -07:00
Soonho Kong
d51af953ca Update doxygen process, only update changed files 2013-09-15 01:17:05 -07:00
Soonho Kong
0c450b5c23 Add StyleCheck.cmake 2013-09-13 19:21:02 -07:00
Soonho Kong
c500da08de Update .travis.yml 
- clean up builds
 - remove flex/bison
 - have separate memcheck build, doxygen build, and testcov build
 2013-09-13 14:55:10 -07:00
Soonho Kong
e4ab64299c Update .travis.yml 
trigger only if the repo is blessed one
[skip ci]
 2013-09-13 10:09:20 -07:00
Soonho Kong
e992ded245 Update .travis.yml 
move triggers from 1st conf. to 4th conf to balance loads
[skip ci]
 2013-09-12 20:21:22 -07:00
Soonho Kong
9b0f12931c Update .travis files 
- move triggers (BB/Win/OSX) to before_script section
 - update DROPBOX_KEY for windows
 - copy archive binaries to dropbox
 - do not use custom lcov. just use ctest -ExperimentalCoverage
 2013-09-10 17:05:14 -07:00
Soonho Kong
ecc43e51ed Add "-VV" option to MemCheck to avoid travis time-outs 2013-09-10 16:10:58 -07:00
Soonho Kong
48b5625f41 Update .travis files to continue memcheck if it generates exceptions 2013-09-10 13:09:10 -07:00
Soonho Kong
d9bca66585 Update .travis files to have consistent site/build names 2013-09-05 20:20:37 -07:00
Soonho Kong
aa20105fc3 Put LEANREPO variable in .travis.yml to check the blessed repository inside of travis-ci. 
It prevents other users from running heavy tasks on travis and submitting results to cdash server.
 2013-09-04 16:02:15 -07:00
Soonho Kong
7d6f87cb8a Put MemCheck and Submit to "after_script" section to ignore possible failures 2013-09-04 15:35:07 -07:00
Soonho Kong
354daf2f16 Add MEMCHECK to linux-clang-3.3 build 2013-09-04 08:09:52 -04:00
Soonho Kong
6edf7f5b94 Supress gcc warnings on OS X 2013-09-04 04:46:38 -07:00
Soonho Kong
9522048390 Use my.cdash.org to store results of unittests, coverage, and valgrind 2013-09-04 02:49:14 -07:00
Soonho Kong
bbbd584b45 Use my.cdash.org to store results of unittests, coverage, and valgrind 2013-09-04 00:51:20 -07:00
Soonho Kong
2549c9a916 Update .travis.yml 
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]
 2013-08-22 17:11:52 -07:00
Soonho Kong
daf7cd093d Add .travis.windows.yml 2013-08-22 16:48:05 -07:00
Soonho Kong
73a79b4e9e Update .travis.yml 
- 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.
 2013-08-22 12:27:04 -07:00
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
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