From ce461314b73304d10d31021d99c83844a125b51c Mon Sep 17 00:00:00 2001
From: Tobias Reiher <reiher@adacore.com>
Date: Fri, 23 Feb 2024 17:26:43 +0100
Subject: [PATCH] Add creation of platform wheels

Ref. eng/recordflux/RecordFlux#1376
---
 .github/workflows/publishing.yml | 91 ++++++++++++++++++++++++++++++++
 Makefile                         |  7 ++-
 2 files changed, 97 insertions(+), 1 deletion(-)
 create mode 100644 .github/workflows/publishing.yml

diff --git a/.github/workflows/publishing.yml b/.github/workflows/publishing.yml
new file mode 100644
index 000000000..467a4082b
--- /dev/null
+++ b/.github/workflows/publishing.yml
@@ -0,0 +1,91 @@
+name: publishing
+
+on: push
+
+env:
+  ALIRE_VERSION: "1.2.2"
+  PYTHON_VERSIONS: |
+    3.8
+    3.9
+    3.10
+    3.11
+
+jobs:
+  build:
+    name: Build distribution
+    runs-on: ubuntu-20.04
+
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+      - name: Set up Python
+        uses: actions/setup-python@v5
+        with:
+          python-version: ${{ env.PYTHON_VERSIONS }}
+      - name: Install Alire
+        uses: alire-project/setup-alire@v2
+        with:
+          version: ${{ env.ALIRE_VERSION }}
+          toolchain: "--disable-assistant"
+      - name: Install GNAT
+        run: |
+          make install_gnat
+      - name: Build distribution
+        run: |
+          eval `make printenv_gnat`
+          gnat --version
+          make pypi_dist
+      - name: Store distribution packages
+        uses: actions/upload-artifact@v4
+        with:
+          name: python-package-distributions
+          path: dist/
+
+  publish-to-pypi:
+    name: Publish Python distribution to PyPI
+    if: startsWith(github.ref, 'refs/tags/')
+    needs:
+      - build
+    runs-on: ubuntu-20.04
+
+    environment:
+      name: pypi
+      url: https://pypi.org/p/RecordFlux
+
+    permissions:
+      id-token: write
+
+    steps:
+      - name: Download dists
+        uses: actions/download-artifact@v4
+        with:
+          name: python-package-distributions
+          path: dist/
+      - name: Publish distribution to PyPI
+        uses: pypa/gh-action-pypi-publish@release/v1
+
+  publish-to-testpypi:
+    name: Publish Python distribution to TestPyPI
+    if: github.ref == 'refs/heads/main'
+    needs:
+      - build
+    runs-on: ubuntu-20.04
+
+    environment:
+      name: testpypi
+      url: https://test.pypi.org/p/RecordFlux
+
+    permissions:
+      id-token: write
+
+    steps:
+      - name: Download dists
+        uses: actions/download-artifact@v4
+        with:
+          name: python-package-distributions
+          path: dist/
+      - name: Publish distribution to TestPyPI
+        uses: pypa/gh-action-pypi-publish@release/v1
+        with:
+          repository-url: https://test.pypi.org/legacy/
diff --git a/Makefile b/Makefile
index 22f09463a..dee2d2aeb 100644
--- a/Makefile
+++ b/Makefile
@@ -10,6 +10,7 @@ GNATCOLL_ORIGIN ?= https://github.com/AdaCore
 LANGKIT_ORIGIN ?= https://github.com/AdaCore
 ADASAT_ORIGIN ?= https://github.com/AdaCore
 VERSION ?= $(shell test -f pyproject.toml && test -f $(POETRY) && $(POETRY) version -s)
+PYTHON_VERSIONS ?= 3.8 3.9 3.10 3.11
 NO_GIT_CHECKOUT ?=
 
 # --- Dependencies ---
@@ -458,7 +459,11 @@ build_pdf_doc_user_guide: $(RFLX)
 dist: $(SDIST)
 
 $(SDIST): $(BUILD_DEPS) $(PARSER) $(VSIX) pyproject.toml $(wildcard rflx/*)
-	$(POETRY) build -vv --no-cache -f sdist
+	$(POETRY) build -vv --no-cache
+
+pypi_dist: $(PROJECT_MANAGEMENT)
+	# Build distributions without local version identifier
+	$(foreach version,$(PYTHON_VERSIONS),$(POETRY) env use $(version) && $(MAKE) dist POETRY_DYNAMIC_VERSIONING_BYPASS=$$(echo $(VERSION) | sed 's/+.*//') || exit;)
 
 anod_dist: $(BUILD_DEPS) $(PARSER) pyproject.toml $(wildcard rflx/*)
 	$(POETRY) build -vv --no-cache