diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-03-19 19:53:57 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-03-19 19:53:57 +0100 |
| commit | 773810e6583142d7d15263e6481c42aebed6d7f1 (patch) | |
| tree | 6ddf3be7c17aeb6c7d89c4eb10fe5511cbe1db9c /debian/patches/0001-webkit.patch | |
| parent | 214e18790d72c3246bf662ed74c8f22e09d0e9ca (diff) | |
some unneedet work
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) |