Travis CI: also try building w/ libedit

This commit is contained in:
Přemysl Eric Janouch 2015-05-07 23:37:20 +02:00
parent 7636ebb149
commit b3b89b029e
1 changed files with 8 additions and 2 deletions

View File

@ -7,6 +7,9 @@ notifications:
env: env:
global: global:
- secure: "NB5gz8zMejijB1I4agUjAzYnc4lmxTk6ZGy6tc20zPhyCYXtnHFNvS0TYbpD6k1lF8mvDs0V9U+XPEFOxZf+4UOwZJfNsz/AuDAvP48cfeidNvFcZzOQ6rG60MJJ4oyy1KuemKTzZYI5r46+KBjrCa6Ne9HeAKFd4ze2f4H1nyU=" - secure: "NB5gz8zMejijB1I4agUjAzYnc4lmxTk6ZGy6tc20zPhyCYXtnHFNvS0TYbpD6k1lF8mvDs0V9U+XPEFOxZf+4UOwZJfNsz/AuDAvP48cfeidNvFcZzOQ6rG60MJJ4oyy1KuemKTzZYI5r46+KBjrCa6Ne9HeAKFd4ze2f4H1nyU="
matrix:
- readline=ON libedit=OFF
- readline=OFF libedit=ON
addons: addons:
coverity_scan: coverity_scan:
project: project:
@ -20,13 +23,16 @@ compiler:
- clang - clang
- gcc - gcc
before_install: before_install:
# We need this PPA for a recent version of libedit
- sudo add-apt-repository ppa:ondrej/php -y
- sudo apt-get update -qq - sudo apt-get update -qq
install: install:
- sudo apt-get install -y help2man - sudo apt-get install -y help2man libedit-dev
before_script: before_script:
- mkdir build - mkdir build
- cd build - cd build
script: script:
- cmake .. -DCMAKE_INSTALL_PREFIX=/usr - cmake .. -DCMAKE_INSTALL_PREFIX=/usr \
-DWANT_READLINE=$readline -DWANT_LIBEDIT=$libedit
- make - make
- cpack -G DEB - cpack -G DEB