blob: 73338c1bac1de319c2b6c3dc0eddda27bd6733aa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
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)
|
