From 8d776dcd39bda4bcfa192f639e85cdc4a0cb9db4 Mon Sep 17 00:00:00 2001
From: stertooy <5571903+stertooy@users.noreply.github.com>
Date: Fri, 5 Jun 2026 23:41:47 +0200
Subject: [PATCH] Try `PackageInfo.g` as fallback if `package-info.json` is
 missing

---
 install-pkg-functions.sh | 43 ++++++++++++++++++++++++++++++----------
 1 file changed, 32 insertions(+), 11 deletions(-)

diff --git a/install-pkg-functions.sh b/install-pkg-functions.sh
index db90cd7..e0e1f7a 100644
--- a/install-pkg-functions.sh
+++ b/install-pkg-functions.sh
@@ -77,6 +77,9 @@ get_archive_url() {
     rm "${TMPDIR}/releases.json"
   fi
 
+  local tag_name
+  tag_name=$(jq -r '.tag_name' "${TMPDIR}/release.json")
+  
   local asset_url
   asset_url=$(jq -r '
     .assets[]
@@ -85,24 +88,42 @@ get_archive_url() {
   ' "${TMPDIR}/release.json")
   rm "${TMPDIR}/release.json"
 
-  if [[ -z "${asset_url}" ]] || [[ "${asset_url}" = "null" ]]; then
-    echo "::error::Release has no package-info.json asset"
-    exit 1
-  fi
-
   local info
-  info="${TMPDIR}/package-info.json"
-  wget -qO "${info}" "${asset_url}"
-
   local archive_base
   local formats
-  archive_base=$(jq -r '.ArchiveURL' "${info}")
-  formats=$(jq -r '.ArchiveFormats' "${info}")
+  if [[ -z "${asset_url}" ]] || [[ "${asset_url}" = "null" ]]; then
+    echo "Using PackageInfo.g file"
+    asset_url="https://raw.githubusercontent.com/${repo}/refs/tags/${tag_name}/PackageInfo.g"
+    info="${TMPDIR}/PackageInfo.g"
+    wget -qO "${info}" "${asset_url}"
+    ${GAP} --bare -q <<GAPInput
+      Read("${info}");;
+      info := GAPInfo.PackageInfoCurrent;;
+      PrintTo( "${TMPDIR}/formats.txt", info.ArchiveFormats );;
+      PrintTo( "${TMPDIR}/archive_base.txt", info.ArchiveURL );;
+      PrintTo( "${TMPDIR}/version.txt", info.Version );;
+      QUIT;
+GAPInput
+      formats=$(tr -d '\\\n' < "${TMPDIR}"/formats.txt)
+      rm "${TMPDIR}"/formats.txt
+      archive_base=$(tr -d '\\\n' < "${TMPDIR}"/archive_base.txt)
+      rm "${TMPDIR}"/archive_base.txt
+      version=$(tr -d '\\\n' < "${TMPDIR}"/version.txt)
+      rm "${TMPDIR}"/version.txt
+  else
+    echo "Using package-info.json asset"
+    info="${TMPDIR}/package-info.json"
+    wget -qO "${info}" "${asset_url}"
+    archive_base=$(jq -r '.ArchiveURL' "${info}")
+    formats=$(jq -r '.ArchiveFormats' "${info}")
+    version=$(jq -r '.Version' "${info}")
+  fi
+
   formats=$(echo "${formats}" | tr ' ' '\n')
 
-  version=$(jq -r '.Version' "${info}")
   echo "Selected version ${version} from ${repo} releases"
   combine_url "${archive_base}" "${formats}"
+      
   rm "${info}"
 }