Title: [264165] trunk/Tools
- Revision
- 264165
- Author
- [email protected]
- Date
- 2020-07-09 04:43:35 -0700 (Thu, 09 Jul 2020)
Log Message
[Flatpak SDK] Unable to build without Internet connection
https://bugs.webkit.org/show_bug.cgi?id=213920
Patch by Philippe Normand <[email protected]> on 2020-07-09
Reviewed by Sergio Villar Senin.
Set the flathub ostree repo url explicitely in order to avoid retrieving it from the
flatpakrepo remote file. This is unlikely to change.
* flatpak/flatpakutils.py:
(WebkitFlatpak._get_packages):
Modified Paths
Diff
Modified: trunk/Tools/ChangeLog (264164 => 264165)
--- trunk/Tools/ChangeLog 2020-07-09 11:20:08 UTC (rev 264164)
+++ trunk/Tools/ChangeLog 2020-07-09 11:43:35 UTC (rev 264165)
@@ -1,3 +1,16 @@
+2020-07-09 Philippe Normand <[email protected]>
+
+ [Flatpak SDK] Unable to build without Internet connection
+ https://bugs.webkit.org/show_bug.cgi?id=213920
+
+ Reviewed by Sergio Villar Senin.
+
+ Set the flathub ostree repo url explicitely in order to avoid retrieving it from the
+ flatpakrepo remote file. This is unlikely to change.
+
+ * flatpak/flatpakutils.py:
+ (WebkitFlatpak._get_packages):
+
2020-07-09 Xabier Rodriguez Calvar <[email protected]>
[WTF] Implement new BoxPtr alias
Modified: trunk/Tools/flatpak/flatpakutils.py (264164 => 264165)
--- trunk/Tools/flatpak/flatpakutils.py 2020-07-09 11:20:08 UTC (rev 264164)
+++ trunk/Tools/flatpak/flatpakutils.py 2020-07-09 11:43:35 UTC (rev 264165)
@@ -976,9 +976,8 @@
# FIXME: For unknown reasons, the GL extension needs to be explicitely
# installed for Flatpak 1.2.x to be able to make use of it. Seems like
# it's not correctly inheriting it from the SDK.
- self.flathub_repo = self.repos.add(
- FlatpakRepo("flathub", repo_file="https://dl.flathub.org/repo/flathub.flatpakrepo")
- )
+ self.flathub_repo = self.repos.add(FlatpakRepo("flathub", url=""
+ repo_file="https://dl.flathub.org/repo/flathub.flatpakrepo"))
packages.append(FlatpakPackage("org.freedesktop.Platform.GL.default", "19.08",
self.flathub_repo, arch))
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
