From 0a78320129969348ba617ef6bde822bf84580c3d Mon Sep 17 00:00:00 2001
From: Matthias Koeppe <mkoeppe@math.ucdavis.edu>
Date: Sat, 18 May 2024 15:05:48 -0700
Subject: [PATCH] .github/workflows/dist.yml: New

---
 .github/workflows/dist.yml | 51 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 51 insertions(+)
 create mode 100644 .github/workflows/dist.yml

diff --git a/.github/workflows/dist.yml b/.github/workflows/dist.yml
new file mode 100644
index 00000000..a18bd11f
--- /dev/null
+++ b/.github/workflows/dist.yml
@@ -0,0 +1,51 @@
+name: Release
+
+on:
+  push:
+    tags:
+      - 'v[0-9]*'
+
+  workflow_dispatch:
+    # Allow to run manually
+
+env:
+  # Ubuntu packages to install so that the projects' "make dist" can succeed
+  DIST_PREREQ:      libgmp-dev
+  # Name of this project in the Sage distribution
+  SPKG:             givaro
+
+jobs:
+  release_dist:
+    runs-on: ubuntu-24.04
+    env:
+      PREFIX: /tmp/build
+    steps:
+      - name: Check out ${{ env.SPKG }}
+        uses: actions/checkout@v4
+        with:
+          path: build/pkgs/${{ env.SPKG }}/src
+      - name: Install prerequisites
+        run: |
+          sudo DEBIAN_FRONTEND=noninteractive apt-get update
+          sudo DEBIAN_FRONTEND=noninteractive apt-get install $DIST_PREREQ
+          wget https://ftpmirror.gnu.org/libtool/libtool-2.4.7.tar.gz
+          tar xfz libtool-2.4.7.tar.gz
+          cd libtool-2.4.7
+          ./configure --prefix=${{ env.PREFIX }}
+          make install
+      - name: Run make dist, prepare upstream artifact
+        run: |
+          export PATH="${{ env.PREFIX }}/bin:$PATH" \
+          && (cd build/pkgs/givaro/src && autoreconf -fi && ./configure --prefix=${{ env.PREFIX }} && make -j5 distcheck) \
+          && mkdir -p upstream && cp build/pkgs/${{ env.SPKG }}/src/*.tar.gz upstream/ \
+          && ls -l upstream/
+      - uses: actions/upload-artifact@v4
+        with:
+          path: upstream
+          name: upstream
+      - uses: softprops/action-gh-release@v2
+        with:
+          generate_release_notes: true
+          files: |
+            upstream/*
+        if: startsWith(github.ref, 'refs/tags/')