> I have been trying to get webkit 2.3.2 for the the gnome3 PPA, however
> the PPA builders struggle with webkit, with the amd64 builds mostly
> timeout.
I use the attached patch to get WebKit (2.2.3 though) to build in my
PPA; hope that helps!
Best regards,
Michael
diff -Nru webkitgtk-2.2.3/debian/rules webkitgtk-2.2.3/debian/rules
--- webkitgtk-2.2.3/debian/rules 2013-12-05 19:55:53.000000000 +0100
+++ webkitgtk-2.2.3/debian/rules 2013-12-05 19:58:10.000000000 +0100
@@ -15,6 +15,7 @@
CFLAGS = $(shell dpkg-buildflags --get CFLAGS)
CFLAGS += -Wall -Wl,--as-needed
LDFLAGS = $(shell dpkg-buildflags --get LDFLAGS)
+LDFLAGS += -Wl,--no-keep-memory
CPPFLAGS = $(shell dpkg-buildflags --get CPPFLAGS)
COMMON_CONFIGURE_ARGUMENTS = \
@@ -37,12 +38,6 @@
EXTRA_DH_ARGUMENTS = -Nlibwebkit2gtk-3.0-25 -Nlibwebkit2gtk-3.0-dev -Ngir1.2-webkit2-3.0
endif
-# Sacrifice speed in order to make it more likely resource limits
-# won't be hit.
-ifeq ($(DEB_HOST_ARCH_BITS),32)
- LDFLAGS += -Wl,--no-keep-memory
-endif
-
ifeq ($(DEB_BUILD_ARCH),alpha)
LDFLAGS += -Wl,--no-relax
endif
--
Ubuntu-GNOME mailing list
[email protected]
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/ubuntu-gnome
