diff options
| author | Přemysl Janouch <p.janouch@gmail.com> | 2015-05-07 23:37:20 +0200 |
|---|---|---|
| committer | Přemysl Janouch <p.janouch@gmail.com> | 2015-05-07 23:37:20 +0200 |
| commit | b3b89b029e775911e959a076b1ee2a2d723019dc (patch) | |
| tree | e066304594fcb51c948d3cc4a064e19ee880d620 | |
| parent | 7636ebb1490676685217d3191cdf0671a6789032 (diff) | |
| download | xK-b3b89b029e775911e959a076b1ee2a2d723019dc.tar.gz xK-b3b89b029e775911e959a076b1ee2a2d723019dc.tar.xz xK-b3b89b029e775911e959a076b1ee2a2d723019dc.zip | |
Travis CI: also try building w/ libedit
| -rw-r--r-- | .travis.yml | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index 8665a49..ce77a94 100644 --- a/.travis.yml +++ b/.travis.yml @@ -7,6 +7,9 @@ notifications: env: global: - secure: "NB5gz8zMejijB1I4agUjAzYnc4lmxTk6ZGy6tc20zPhyCYXtnHFNvS0TYbpD6k1lF8mvDs0V9U+XPEFOxZf+4UOwZJfNsz/AuDAvP48cfeidNvFcZzOQ6rG60MJJ4oyy1KuemKTzZYI5r46+KBjrCa6Ne9HeAKFd4ze2f4H1nyU=" + matrix: + - readline=ON libedit=OFF + - readline=OFF libedit=ON addons: coverity_scan: project: @@ -20,13 +23,16 @@ compiler: - clang - gcc 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 install: - - sudo apt-get install -y help2man + - sudo apt-get install -y help2man libedit-dev before_script: - mkdir build - cd build script: - - cmake .. -DCMAKE_INSTALL_PREFIX=/usr + - cmake .. -DCMAKE_INSTALL_PREFIX=/usr \ + -DWANT_READLINE=$readline -DWANT_LIBEDIT=$libedit - make - cpack -G DEB |