aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPřemysl Janouch <p.janouch@gmail.com>2015-05-07 23:37:20 +0200
committerPřemysl Janouch <p.janouch@gmail.com>2015-05-07 23:37:20 +0200
commitb3b89b029e775911e959a076b1ee2a2d723019dc (patch)
treee066304594fcb51c948d3cc4a064e19ee880d620
parent7636ebb1490676685217d3191cdf0671a6789032 (diff)
downloadxK-b3b89b029e775911e959a076b1ee2a2d723019dc.tar.gz
xK-b3b89b029e775911e959a076b1ee2a2d723019dc.tar.xz
xK-b3b89b029e775911e959a076b1ee2a2d723019dc.zip
Travis CI: also try building w/ libedit
-rw-r--r--.travis.yml10
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