diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-03-19 22:34:59 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-03-19 22:34:59 +0100 |
| commit | 5acb9d528794b49a6d803aed9fdd17eedc8acb33 (patch) | |
| tree | 1a165f07d3dd7d3a7bacfb56f6f57d60d659b733 /debian/patches/0001-webkit.patch | |
| parent | c7033e7427a1452c135121c43d03fdf7489f934f (diff) | |
debian/control: Remove not longer used libwebkitgtk-1.0-0; remove unused patches
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) |