diff options
Diffstat (limited to 'community/xbindkeys/10-guile3_0.patch')
| -rw-r--r-- | community/xbindkeys/10-guile3_0.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/community/xbindkeys/10-guile3_0.patch b/community/xbindkeys/10-guile3_0.patch new file mode 100644 index 00000000000..56b015538da --- /dev/null +++ b/community/xbindkeys/10-guile3_0.patch @@ -0,0 +1,11 @@ +--- original/configure ++++ new/configure +@@ -5395,7 +5395,7 @@ + PKG_CONFIG="" + fi + fi +- _guile_versions_to_search="2.2 2.0 1.8" ++ _guile_versions_to_search="3.0 2.2 2.0 1.8" + if test -n "$GUILE_EFFECTIVE_VERSION"; then + _guile_tmp="" + for v in $_guile_versions_to_search; do |