Make release_gap get packages if there are none present

ChrisJefferson · Jan 17, 2024 · 52512f8 · 52512f8
1 parent 1e63371
commit 52512f8
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/release_gap.sh b/release_gap.sh
@@ -78,6 +78,12 @@ echo "::group::make"
 tools/subcyg "${ENV_BUILD_DIR}" "cd ${GAP_ROOT} && make -j2"
 echo "::endgroup::"
 
+# get GAP packages (if not already present)
+echo "::group::Get Packages"
+tools/subcyg "${ENV_BUILD_DIR}" "cd ${GAP_ROOT} && make bootstrap-pkg-full"
+tools/subcyg "${ENV_BUILD_DIR}" "cd ${GAP_ROOT} && rm -f packages.tar.gz"
+echo "::endgroup::"
+
 # build GAP packages
 echo "::group::Build Packages"
 tools/subcyg "${ENV_BUILD_DIR}" "cd ${GAP_ROOT}/pkg && (../bin/BuildPackages.sh --parallel || true)"