diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-10-19 14:45:42 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-19 14:45:42 -0700 |
commit | ce8c429281fd1f7e4ac4d2b7133152c1d370df0c (patch) | |
tree | 407400e728621cc9a5262e7112a93bd6acd0835a /.travis.yml | |
parent | 7de0540252b62080ee9f98617f5718cb1ae08579 (diff) |
Remove autotools build system. (#2639)
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 31 |
1 files changed, 2 insertions, 29 deletions
diff --git a/.travis.yml b/.travis.yml index d8b1fc993..a5d629215 100644 --- a/.travis.yml +++ b/.travis.yml @@ -27,8 +27,6 @@ addons: - cxxtest - junit4 - libantlr3c-dev - - libboost-dev # Remove with autotools build - - libboost-thread-dev # Remove with autotools build - libcln-dev - libgmp-dev - libhamcrest-java @@ -66,15 +64,6 @@ script: echo; exit 1; } - makeAutotools() { - ./autogen.sh - ./configure debug --with-lfsc --disable-debug-symbols - make -j2 check REGRESSION_LEVEL=0 CVC4_REGRESSION_ARGS='--no-early-exit' || error "AUTOTOOLS BUILD/UNIT/SYSTEM/REGRESSION TEST FAILED" - } - # makeDistcheck() { - # make V=1 -j2 distcheck REGRESSION_LEVEL=0 CVC4_REGRESSION_ARGS='--no-early-exit' || - # error "DISTCHECK (WITH NEWTHEORY TESTS) FAILED"; - # } makeCheck() { cd build make -j2 check ARGS='-LE regress[1-4]' CVC4_REGRESSION_ARGS='--no-early-exit' || error "BUILD/UNIT/SYSTEM/REGRESSION TEST FAILED" @@ -83,12 +72,6 @@ script: cd build make -j2 examples || error "COULD NOT BUILD EXAMPLES${normal}"; } - # addNewTheoryTest() { - # contrib/new-theory test_newtheory || error "NEWTHEORY FAILED"; - # grep -q '^THEORIES *=.* test_newtheory' src/Makefile.theories || error "NEWTHEORY FAILED"; - # contrib/new-theory --alternate test_newtheory test_newalttheory || error "NEWTHEORY-ALTERNATE FAILED"; - # grep -q '^THEORIES *=.* test_newalttheory' src/Makefile.theories || error "NEWTHEORY-ALTERNATE FAILED"; - # } run() { echo "travis_fold:start:$1" echo "Running $1" @@ -96,11 +79,8 @@ script: echo "travis_fold:end:$1" } [ -n "$TRAVIS_CVC4" ] && [ -n "$TRAVIS_WITH_LFSC" ] && run contrib/get-lfsc-checker - [ -n "$TRAVIS_AUTOTOOLS" ] && run makeAutotools - # [ -n "$TRAVIS_CVC4" ] && [ -n "$TRAVIS_CVC4_DISTCHECK" ] && run addNewTheoryTest - [ -n "$TRAVIS_CVC4" ] && [ -z "$TRAVIS_AUTOTOOLS" ] && run configureCVC4 - # [ -n "$TRAVIS_CVC4" ] && [ -n "$TRAVIS_CVC4_DISTCHECK" ] && run makeDistcheck - [ -n "$TRAVIS_CVC4" ] && [ -z "$TRAVIS_CVC4_DISTCHECK" ] && [ -z "$TRAVIS_AUTOTOOLS" ] && run makeCheck && run makeExamples + [ -n "$TRAVIS_CVC4" ] && run configureCVC4 + [ -n "$TRAVIS_CVC4" ] && run makeCheck && run makeExamples [ -z "$TRAVIS_CVC4" ] && error "Unknown Travis-CI configuration" echo "travis_fold:end:load_script" - echo; echo "${green}EVERYTHING SEEMED TO PASS!${normal}" @@ -116,18 +96,11 @@ matrix: env: - TRAVIS_CVC4=yes TRAVIS_WITH_LFSC=yes TRAVIS_CVC4_CONFIG='debug --lfsc --no-debug-symbols' - # Add autotools build until cmake is the default - - compiler: gcc - env: - - TRAVIS_CVC4=yes TRAVIS_WITH_LFSC=yes TRAVIS_AUTOTOOLS=yes # # Test with Clang - compiler: clang env: - TRAVIS_CVC4=yes TRAVIS_WITH_LFSC=yes TRAVIS_CVC4_CONFIG='debug --cln --gpl --no-debug-symbols --no-proofs' - - compiler: clang - env: - - TRAVIS_CVC4=yes TRAVIS_CVC4_DISTCHECK=yes TRAVIS_CVC4_CONFIG='--proofs' notifications: email: on_success: change |