diff options
Diffstat (limited to 'libraries/gtksourceview/force-gtk2.patch')
| -rw-r--r-- | libraries/gtksourceview/force-gtk2.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/libraries/gtksourceview/force-gtk2.patch b/libraries/gtksourceview/force-gtk2.patch new file mode 100644 index 0000000000..69fdc85687 --- /dev/null +++ b/libraries/gtksourceview/force-gtk2.patch @@ -0,0 +1,13 @@ +--- configure.orig 2012-09-11 03:34:25.354997735 +0300 ++++ configure 2012-09-11 03:35:50.618000004 +0300 +@@ -10935,8 +10935,8 @@ + + fi + if test -n "$PKG_CONFIG" && \ +- { { $as_echo "$as_me:${as_lineno-$LINENO}: \$PKG_CONFIG --exists --print-errors \"gtk+-3.0 >= 2.90\""; } >&5 +- ($PKG_CONFIG --exists --print-errors "gtk+-3.0 >= 2.90") 2>&5 ++ { { $as_echo "$as_me:${as_lineno-$LINENO}: \$PKG_CONFIG --exists --print-errors \"gtk+-3.0 >= 3.5\""; } >&5 ++ ($PKG_CONFIG --exists --print-errors "gtk+-3.0 >= 3.5") 2>&5 + ac_status=$? + $as_echo "$as_me:${as_lineno-$LINENO}: \$? = $ac_status" >&5 + test $ac_status = 0; }; then |