From 773810e6583142d7d15263e6481c42aebed6d7f1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Frings-F=C3=BCrst?= Date: Mon, 19 Mar 2018 19:53:57 +0100 Subject: some unneedet work --- debian/patches/0001-webkit.patch | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 debian/patches/0001-webkit.patch (limited to 'debian/patches/0001-webkit.patch') diff --git a/debian/patches/0001-webkit.patch b/debian/patches/0001-webkit.patch new file mode 100644 index 0000000..73338c1 --- /dev/null +++ b/debian/patches/0001-webkit.patch @@ -0,0 +1,19 @@ +Description: Change webkitgtk from 1 to 3.0.0 +Author: Jörg Frings-Fürst +Bug-Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=790221 +Last-Update: 2017-07-01 +--- +This patch header follows DEP-3: http://dep.debian.net/deps/dep3/ +Index: trunk/CMakeLists.txt +=================================================================== +--- trunk.orig/CMakeLists.txt ++++ trunk/CMakeLists.txt +@@ -65,7 +65,7 @@ ENDIF(WIN32 AND NOT XTRKCAD_USE_GTK) + IF(XTRKCAD_USE_GTK) + INCLUDE(FindPkgConfig) + PKG_CHECK_MODULES(GTK REQUIRED "gtk+-2.0") +- PKG_CHECK_MODULES(GTK_WEBKIT REQUIRED "webkit-1.0") ++ PKG_CHECK_MODULES(GTK_WEBKIT REQUIRED "webkitgtk-3.0") + ENDIF(XTRKCAD_USE_GTK) + + IF(XTRKCAD_USE_PACKAGEMAKER) -- cgit v1.2.3