.github/workflows/ci-sage.yml: Update for arb

This commit is contained in:
Matthias Koeppe 2020-07-05 11:36:50 -07:00
parent 2d9124021c
commit f201915412

View file

@ -45,21 +45,21 @@ on:
env:
# Ubuntu packages to install so that the project's "make dist" can succeed
DIST_PREREQ: libgmp-dev autoconf automake libtool libmpfr-dev
DIST_PREREQ:
# Name of this project in the Sage distribution
SPKG: fplll
SPKG: arb
# Sage distribution packages to build
TARGETS_PRE: build/make/Makefile
TARGETS: SAGE_CHECK=yes fplll
TARGETS: SAGE_CHECK=yes arb e_antic symengine
TARGETS_OPTIONAL: build/make/Makefile
# Standard setting: Test the current beta release of Sage:
SAGE_REPO: sagemath/sage
SAGE_REF: develop
# Temporarily test on the branch from sage ticket 29091
# Merge the branch from sage ticket adding symengine; no-op when merged already
SAGE_TRAC_GIT: git://trac.sagemath.org/sage.git
SAGE_TRAC_COMMAND: try
SAGE_TICKET: 29091
REMOVE_PATCHES: "*"
SAGE_TICKET: 29497
REMOVE_PATCHES:
jobs:
@ -74,9 +74,10 @@ jobs:
run: |
sudo DEBIAN_FRONTEND=noninteractive apt-get update
sudo DEBIAN_FRONTEND=noninteractive apt-get install $DIST_PREREQ
if: env.DIST_PREREQ != ''
- name: Run make dist, prepare upstream artifact
run: |
(cd build/pkgs/${{ env.SPKG }}/src && autoreconf -fi && ./configure && make dist) \
(cd build/pkgs/${{ env.SPKG }}/src && (cd .. && tar czf - src) > arb-git.tar.gz) \
&& mkdir -p upstream && cp build/pkgs/${{ env.SPKG }}/src/*.tar.gz upstream/${{ env.SPKG }}-git.tar.gz \
&& echo "sage-package create ${{ env.SPKG }} --version git --tarball ${{ env.SPKG }}-git.tar.gz --type=optional" > upstream/update-pkgs.sh \
&& ls -l upstream/