diff options
| author | J08nY | 2018-11-27 15:44:49 +0100 |
|---|---|---|
| committer | J08nY | 2018-11-27 16:34:21 +0100 |
| commit | 5576887f6bf807ef9e92dcf83d6e95383c4e618d (patch) | |
| tree | 65a56444cad006b0240fa478631df3d4d9bc6802 | |
| parent | 891e3a97bc2015b5cc8116e637366f56942f8a82 (diff) | |
| download | ecgen-5576887f6bf807ef9e92dcf83d6e95383c4e618d.tar.gz ecgen-5576887f6bf807ef9e92dcf83d6e95383c4e618d.tar.zst ecgen-5576887f6bf807ef9e92dcf83d6e95383c4e618d.zip | |
| -rw-r--r-- | .travis.yml | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/.travis.yml b/.travis.yml index fb63893..6fe298a 100644 --- a/.travis.yml +++ b/.travis.yml @@ -22,13 +22,13 @@ matrix: before_install: - sudo apt-get update - sudo apt-get install -y dpkg apt - - wget https://mirrors.edge.kernel.org/ubuntu/pool/universe/p/pari/libpari-gmp-tls5_2.9.5-1_amd64.deb - - wget https://mirrors.edge.kernel.org/ubuntu/pool/universe/p/pari/libpari-dev_2.9.5-1_amd64.deb - - wget https://mirrors.edge.kernel.org/ubuntu/pool/universe/p/pari/pari-gp_2.9.5-1_amd64.deb - - wget https://mirrors.edge.kernel.org/ubuntu/pool/main/r/readline/libreadline7_7.0-0ubuntu2_amd64.deb - - wget https://mirrors.edge.kernel.org/ubuntu/pool/main/n/ncurses/libtinfo5_6.0%2B20160625-1ubuntu1_amd64.deb + - wget https://mirrors.edge.kernel.org/ubuntu/pool/universe/p/pari/libpari-gmp-tls6_2.11.0-1_amd64.deb + - wget https://mirrors.edge.kernel.org/ubuntu/pool/universe/p/pari/libpari-dev_2.11.0-1_amd64.deb + - wget https://mirrors.edge.kernel.org/ubuntu/pool/universe/p/pari/pari-gp_2.11.0-1_amd64.deb + - wget https://mirrors.edge.kernel.org/ubuntu/pool/main/r/readline/libreadline7_7.0-5_amd64.deb + - wget https://mirrors.edge.kernel.org/ubuntu/pool/main/n/ncurses/libtinfo6_6.1%2B20180210-4ubuntu1_amd64.deb - wget https://pari.math.u-bordeaux.fr/pub/pari/packages/seadata.tgz - - sudo dpkg --force-all -i libtinfo5_6.0+20160625-1ubuntu1_amd64.deb libreadline7_7.0-0ubuntu2_amd64.deb libpari-gmp-tls5_2.9.5-1_amd64.deb libpari-dev_2.9.5-1_amd64.deb pari-gp_2.9.5-1_amd64.deb + - sudo dpkg --force-all -i libtinfo6_6.1+20180210-4ubuntu1_amd64.deb libreadline7_7.0-5_amd64.deb libpari-gmp-tls6_2.11.0-1_amd64.deb libpari-dev_2.11.0-1_amd64.deb pari-gp_2.11.0-1_amd64.deb - DATADIR=$(echo "default(datadir)" | gp -q | cut -d\" -f2) - sudo tar --strip-components=1 -C ${DATADIR} -xzvf seadata.tgz data/ |