diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/release.yml | 12 | ||||
| -rw-r--r-- | .github/workflows/test.yml | 12 |
2 files changed, 12 insertions, 12 deletions
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 225dd58..33f78b9 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -18,13 +18,13 @@ jobs: sudo apt-get install -y gcc dpkg apt - name: Setup pari run: | - wget -q https://mirrors.edge.kernel.org/ubuntu/pool/universe/p/pari/libpari-gmp-tls8_2.15.2-1_amd64.deb - wget -q https://mirrors.edge.kernel.org/ubuntu/pool/universe/p/pari/libpari-dev_2.15.2-1_amd64.deb - wget -q https://mirrors.edge.kernel.org/ubuntu/pool/universe/p/pari/pari-gp_2.15.2-1_amd64.deb - wget -q https://mirrors.edge.kernel.org/ubuntu/pool/main/r/readline/libreadline8_8.2-1_amd64.deb - wget -q https://mirrors.edge.kernel.org/ubuntu/pool/main/n/ncurses/libtinfo6_6.4-4_amd64.deb + wget -q https://mirrors.edge.kernel.org/ubuntu/pool/universe/p/pari/libpari-gmp-tls8_2.15.4-2_amd64.deb + wget -q https://mirrors.edge.kernel.org/ubuntu/pool/universe/p/pari/libpari-dev_2.15.4-2_amd64.deb + wget -q https://mirrors.edge.kernel.org/ubuntu/pool/universe/p/pari/pari-gp_2.15.4-2_amd64.deb + wget -q https://mirrors.edge.kernel.org/ubuntu/pool/main/r/readline/libreadline8_8.2-1.3_amd64.deb + wget -q https://mirrors.edge.kernel.org/ubuntu/pool/main/n/ncurses/libtinfo6_6.4+20230625-2_amd64.deb wget -q https://pari.math.u-bordeaux.fr/pub/pari/packages/seadata.tgz - sudo dpkg --force-all -i libtinfo6_6.4-4_amd64.deb libreadline8_8.2-1_amd64.deb libpari-gmp-tls8_2.15.2-1_amd64.deb libpari-dev_2.15.2-1_amd64.deb pari-gp_2.15.2-1_amd64.deb + sudo dpkg --force-all -i libtinfo6_6.4+20230625-2_amd64.deb libreadline8_8.2-1.3_amd64.deb libpari-gmp-tls8_2.15.4-2_amd64.deb libpari-dev_2.15.4-2_amd64.deb pari-gp_2.15.4-2_amd64.deb DATADIR=$(echo "default(datadir)" | gp -q | cut -d\" -f2) sudo tar --strip-components=1 -C ${DATADIR} -xzf seadata.tgz data/ - name: Build diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 06043a3..b2ea448 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -20,13 +20,13 @@ jobs: sudo apt-get install -y $CC dpkg apt - name: Setup pari run: | - wget -q https://mirrors.edge.kernel.org/ubuntu/pool/universe/p/pari/libpari-gmp-tls8_2.15.2-1_amd64.deb - wget -q https://mirrors.edge.kernel.org/ubuntu/pool/universe/p/pari/libpari-dev_2.15.2-1_amd64.deb - wget -q https://mirrors.edge.kernel.org/ubuntu/pool/universe/p/pari/pari-gp_2.15.2-1_amd64.deb - wget -q https://mirrors.edge.kernel.org/ubuntu/pool/main/r/readline/libreadline8_8.2-1_amd64.deb - wget -q https://mirrors.edge.kernel.org/ubuntu/pool/main/n/ncurses/libtinfo6_6.4-4_amd64.deb + wget -q https://mirrors.edge.kernel.org/ubuntu/pool/universe/p/pari/libpari-gmp-tls8_2.15.4-2_amd64.deb + wget -q https://mirrors.edge.kernel.org/ubuntu/pool/universe/p/pari/libpari-dev_2.15.4-2_amd64.deb + wget -q https://mirrors.edge.kernel.org/ubuntu/pool/universe/p/pari/pari-gp_2.15.4-2_amd64.deb + wget -q https://mirrors.edge.kernel.org/ubuntu/pool/main/r/readline/libreadline8_8.2-1.3_amd64.deb + wget -q https://mirrors.edge.kernel.org/ubuntu/pool/main/n/ncurses/libtinfo6_6.4+20230625-2_amd64.deb wget -q https://pari.math.u-bordeaux.fr/pub/pari/packages/seadata.tgz - sudo dpkg --force-all -i libtinfo6_6.4-4_amd64.deb libreadline8_8.2-1_amd64.deb libpari-gmp-tls8_2.15.2-1_amd64.deb libpari-dev_2.15.2-1_amd64.deb pari-gp_2.15.2-1_amd64.deb + sudo dpkg --force-all -i libtinfo6_6.4+20230625-2_amd64.deb libreadline8_8.2-1.3_amd64.deb libpari-gmp-tls8_2.15.4-2_amd64.deb libpari-dev_2.15.4-2_amd64.deb pari-gp_2.15.4-2_amd64.deb DATADIR=$(echo "default(datadir)" | gp -q | cut -d\" -f2) sudo tar --strip-components=1 -C ${DATADIR} -xzf seadata.tgz data/ - name: Test |