diff options
Diffstat (limited to 'debian/patches/0001-webkit.patch')
| -rw-r--r-- | debian/patches/0001-webkit.patch | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/debian/patches/0001-webkit.patch b/debian/patches/0001-webkit.patch deleted file mode 100644 index 73338c1..0000000 --- a/debian/patches/0001-webkit.patch +++ /dev/null @@ -1,19 +0,0 @@ -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) |