2019-09-10 07:29:07 +00:00
|
|
|
gtk_dep = dependency('gtk+-3.0', required: false)
|
2016-08-26 16:02:24 +00:00
|
|
|
x11_dep = dependency('x11', required: false)
|
|
|
|
|
|
2019-09-10 07:29:07 +00:00
|
|
|
if gtk_dep.found()
|
|
|
|
|
gnome = import('gnome')
|
2016-08-26 16:02:24 +00:00
|
|
|
|
2019-09-10 07:29:07 +00:00
|
|
|
gtk_play_resources = gnome.compile_resources('gtk-play-resources', 'resources/gresources.xml',
|
|
|
|
|
source_dir : './resources',
|
|
|
|
|
c_name : 'gtk_play')
|
2016-08-26 16:02:24 +00:00
|
|
|
|
2019-09-10 07:29:07 +00:00
|
|
|
executable('gtk-play',
|
|
|
|
|
sources: ['gtk-play.c',
|
|
|
|
|
gtk_play_resources,
|
|
|
|
|
'gtk-video-renderer.h',
|
|
|
|
|
'gtk-video-renderer.c'],
|
|
|
|
|
dependencies : [glib_dep, gobject_dep, gmodule_dep, gst_dep, gsttag_dep, gstplayer_dep, gtk_dep, x11_dep])
|
|
|
|
|
endif
|
