diff options
Diffstat (limited to 'debian/patches/0001-webkit.patch')
| -rw-r--r-- | debian/patches/0001-webkit.patch | 19 |
1 files changed, 19 insertions, 0 deletions
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 <debian@jff-webhosting.net> +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) |