diff options
| author | Max Kellermann <max@musicpd.org> | 2020-06-10 20:58:31 +0200 |
|---|---|---|
| committer | Max Kellermann <max@musicpd.org> | 2020-06-10 21:33:29 +0200 |
| commit | 7583cfe9b7628a912b3b19c88ff518bb75f700ad (patch) | |
| tree | e8a9176ad6c84578283ecca4cee4cac3aaf7feeb /python/build/libs.py | |
| parent | aafc9ce75bbbb8b3195298eba6c457af01f16ee0 (diff) | |
{android,win32}/build.py: enable the GME decoder plugin
Closes https://github.com/MusicPlayerDaemon/MPD/issues/891
Diffstat (limited to 'python/build/libs.py')
| -rw-r--r-- | python/build/libs.py | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/python/build/libs.py b/python/build/libs.py index c7b2250cd..e211a0107 100644 --- a/python/build/libs.py +++ b/python/build/libs.py @@ -135,6 +135,18 @@ wildmidi = CmakeProject( version='0.4.3', ) +gme = CmakeProject( + 'https://bitbucket.org/mpyne/game-music-emu/downloads/game-music-emu-0.6.3.tar.xz', + 'aba34e53ef0ec6a34b58b84e28bf8cfbccee6585cebca25333604c35db3e051d', + 'lib/libgme.a', + [ + '-DBUILD_SHARED_LIBS=OFF', + '-DENABLE_UBSAN=OFF', + '-DZLIB_INCLUDE_DIR=OFF', + '-DSDL2_DIR=OFF', + ], +) + ffmpeg = FfmpegProject( 'http://ffmpeg.org/releases/ffmpeg-4.2.3.tar.xz', '9df6c90aed1337634c1fb026fb01c154c29c82a64ea71291ff2da9aacb9aad31', |