blob: 33f78b9f1a3dce18cab7edf6cb6a1561b99dbbce (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
name: Release
on:
push:
tags:
- '*'
jobs:
release:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v3
with:
submodules: true
- name: Setup gcc
run: |
sudo apt-get update
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.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+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
run: |
make
strip ecgen
- name: Release
uses: softprops/action-gh-release@v1
with:
files: ecgen
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
