20878: Parameterize URL for RPM package builds

[arvados.git] / build / run-library.sh

diff --git a/build/run-library.sh b/build/run-library.sh
index 0766b736425450a55e5bcdf473cda19dff2f6044..57fa49cf74e580d752702ed37660b7c12a2efb94 100755 (executable)
--- a/build/run-library.sh
+++ b/build/run-library.sh
@@ -454,7 +454,16 @@ test_package_presence() {
         return 0
       fi
     else
-      centos_repo="http://rpm.arvados.org/CentOS/7/dev/x86_64/"
+      local rpm_root
+      case "TARGET" in
+        centos7) rpm_root="CentOS/7/dev" ;;
+        rocky8) rpm_root="CentOS/8/dev" ;;
+        *)
+          echo "FIXME: Don't know RPM URL path for $TARGET, building"
+          return 0
+          ;;
+      esac
+      local centos_repo="http://rpm.arvados.org/$rpm_root/$arch/"
 
       repo_pkg_list=$(curl -s -o - ${centos_repo})
       echo ${repo_pkg_list} |grep -q ${full_pkgname}