Skip to content

Enhance 'make dist', add GitHub release workflow #4

Enhance 'make dist', add GitHub release workflow

Enhance 'make dist', add GitHub release workflow #4

Workflow file for this run

# This workflow takes care of creating release archives for the
# Flint distribution. It is run for all PR and branch pushes as usual,
# but also on tags whose name starts with `vX.Y` with X, Y numbers
# (the idea is to use v1.2.3 or v1.2.3-dev)
#
# For builds triggered by a tag, the tag is turned into a GitHub release and
# the produced archives are attached to that.
name: "Wrap releases"
on:
workflow_dispatch:
pull_request:
push:
tags: v[1-9]+.[0-9]+.*
branches:
- trunk
- main
- master
- flint-*
schedule:
# Every day at 3:33 AM UTC
- cron: '33 3 * * *'
concurrency:
# group by workflow and ref; the last slightly strange component ensures that for pull
# requests, we limit to 1 concurrent job, but for the trunk branch we don't
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.ref != 'refs/heads/trunk' || github.run_number }}
# Cancel intermediate builds, but only if it is a pull request build.
cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
jobs:
source_archive:
runs-on: ubuntu-latest
outputs:
get-version: ${{ steps.get-version.outputs.name }}
steps:
- uses: actions/checkout@v3
- name: "Setup"
run: |
sudo apt install -y libgmp-dev
sudo apt install -y libmpfr-dev
sudo apt install -y autoconf
sudo apt install -y libtool-bin
gcc --version
gcov --version
make --version
autoconf --version
libtool --version
- name: "Configure"
run: |
./bootstrap.sh
./configure
- name: "Record FLINT version"
id: get-version
run: |
FLINT_VERSION=$(make get_version)
echo "steps.get-version.outputs.name = ${FLINT_VERSION}"
echo "version=${FLINT_VERSION}" >> $GITHUB_OUTPUT
- name: "Create source archive"
run: make dist
- name: "Upload source archive as artifact"
uses: actions/upload-artifact@v3
with:
if-no-files-found: error
name: flint
path: ../flint-${{ steps.get-version.outputs.name }}.tar.gz
retention-days: 1
# TODO: a separate step can now download the source archive and test it.
# TODO: if desired, we can then also upload it to a GitHub release, copy
# it via scp to a server, or something else