mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-12-22 08:17:01 +00:00
meson: wildmidi detection fixes
Need at least 0.4.2 apparently. ext/wildmidi/meson.build:11:2: ERROR: String '' cannot be converted to int
This commit is contained in:
parent
d49bc71f00
commit
a26cce1833
1 changed files with 8 additions and 4 deletions
|
@ -8,6 +8,7 @@ wildmidi_dep = dependency('WildMIDI', version: '>= 0.4.2', required: false)
|
|||
if not wildmidi_dep.found() and cc.has_header ('wildmidi_lib.h')
|
||||
wildmidi_ver_maj = cc.get_define('LIBWILDMIDI_VER_MAJOR', prefix: '#include <wildmidi_lib.h>')
|
||||
wildmidi_ver_min = cc.get_define('LIBWILDMIDI_VER_MINOR', prefix: '#include <wildmidi_lib.h>')
|
||||
if wildmidi_ver_maj != '' and wildmidi_ver_min != ''
|
||||
wildmidi_ver_maj = ''.join(wildmidi_ver_maj.split('L')).to_int() # '0L' -> 0
|
||||
wildmidi_ver_min = ''.join(wildmidi_ver_min.split('L')).to_int() # '4L' -> 4
|
||||
if wildmidi_ver_maj == 0 and wildmidi_ver_min >= 4
|
||||
|
@ -15,6 +16,9 @@ if not wildmidi_dep.found() and cc.has_header ('wildmidi_lib.h')
|
|||
else
|
||||
message('WildMidi version too old, need >= 0.4.x')
|
||||
endif
|
||||
else
|
||||
message('WildMidi version too old, need >= 0.4.x')
|
||||
endif
|
||||
endif
|
||||
|
||||
if wildmidi_dep.found()
|
||||
|
|
Loading…
Reference in a new issue