diff options
| author | J08nY | 2017-04-21 13:21:34 +0200 |
|---|---|---|
| committer | J08nY | 2017-04-21 13:32:22 +0200 |
| commit | 9dd8c4d727da797eae0d63667531e20c51ac3a7a (patch) | |
| tree | d308fc31e17717a2d4b33a3a0eb844b753d0011c | |
| parent | f958665d760e8a88f7ccb4130953952a8f10d9fb (diff) | |
| download | ecgen-9dd8c4d727da797eae0d63667531e20c51ac3a7a.tar.gz ecgen-9dd8c4d727da797eae0d63667531e20c51ac3a7a.tar.zst ecgen-9dd8c4d727da797eae0d63667531e20c51ac3a7a.zip | |
Add readline to Travis, switch to trusty distro
| -rw-r--r-- | .travis.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 483e3a6..c958667 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,3 +1,4 @@ +dist: trusty sudo: required language: C matrix: @@ -22,7 +23,8 @@ before_install: - wget mirrors.kernel.org/ubuntu/pool/universe/p/pari/libpari-gmp-tls5_2.9.1-1_amd64.deb - wget mirrors.kernel.org/ubuntu/pool/universe/p/pari/libpari-dev_2.9.1-1_amd64.deb - wget mirrors.kernel.org/ubuntu/pool/universe/p/pari/pari-gp_2.9.1-1_amd64.deb - - sudo dpkg --force-all -i libpari-gmp-tls5_2.9.1-1_amd64.deb libpari-dev_2.9.1-1_amd64.deb pari-gp_2.9.1-1_amd64.deb + - wget mirrors.kernel.org/ubuntu/pool/main/r/readline/libreadline7_7.0-0ubuntu2_amd64.deb + - sudo dpkg --force-all -i libreadline7_7.0-0ubuntu2_amd64.deb libpari-gmp-tls5_2.9.1-1_amd64.deb libpari-dev_2.9.1-1_amd64.deb pari-gp_2.9.1-1_amd64.deb script: - make -j2 |