From 0dbba9b6ffe0507011337c27c2709f6c4cebe1c0 Mon Sep 17 00:00:00 2001 From: Martin Robinson Date: Wed, 3 Jan 2024 14:06:08 +0100 Subject: [PATCH] Download Windows GStreamer dependencies from GitHub (#30973) This works around issues where the server is rejecting our requests and should be more reliable. --- python/servo/platform/windows.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/python/servo/platform/windows.py b/python/servo/platform/windows.py index 7751f7e572f..904e5a73067 100644 --- a/python/servo/platform/windows.py +++ b/python/servo/platform/windows.py @@ -22,7 +22,7 @@ DEPENDENCIES = { "moztools": "4.0", } -URL_BASE = "https://gstreamer.freedesktop.org/data/pkg/windows/1.16.0/" +URL_BASE = "https://github.com/servo/servo-build-deps/releases/download/msvc-deps/" GSTREAMER_URL = f"{URL_BASE}/gstreamer-1.0-msvc-x86_64-1.16.0.msi" GSTREAMER_DEVEL_URL = f"{URL_BASE}/gstreamer-1.0-devel-msvc-x86_64-1.16.0.msi" DEPENDENCIES_DIR = os.path.join(util.get_target_dir(), "dependencies")