diff options
Diffstat (limited to 'media-sound/pitchtune/files/pitchtune-0.0.4-lm.patch')
| -rw-r--r-- | media-sound/pitchtune/files/pitchtune-0.0.4-lm.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/media-sound/pitchtune/files/pitchtune-0.0.4-lm.patch b/media-sound/pitchtune/files/pitchtune-0.0.4-lm.patch new file mode 100644 index 000000000000..b5598846636f --- /dev/null +++ b/media-sound/pitchtune/files/pitchtune-0.0.4-lm.patch @@ -0,0 +1,10 @@ +--- a/configure.in ++++ b/configure.in +@@ -17,6 +17,7 @@ + PKG_CHECK_MODULES(GTK, [$pkg_modules]) + AC_SUBST(GTK_CFLAGS) + AC_SUBST(GTK_LIBS) ++AC_SEARCH_LIBS(ceil, m) + + + dnl From glade-2 generated configure.in |