2018-08-28 07:24:07 +00:00
|
|
|
androidmedia_sources = [
|
|
|
|
'gstahcsrc.c',
|
|
|
|
'gstahssrc.c',
|
|
|
|
'gstamcaudiodec.c',
|
|
|
|
'gstamc.c',
|
|
|
|
'gstamcsurface.c',
|
|
|
|
'gstamcsurfacetexture.c',
|
|
|
|
'gstamcvideodec.c',
|
|
|
|
'gstamcvideoenc.c',
|
|
|
|
'gst-android-graphics-imageformat.c',
|
|
|
|
'gst-android-hardware-camera.c',
|
|
|
|
'gst-android-hardware-sensor.c',
|
|
|
|
'gstjniutils.c'
|
|
|
|
]
|
|
|
|
|
|
|
|
if host_system != 'android' or get_option('androidmedia').disabled()
|
|
|
|
subdir_done()
|
|
|
|
endif
|
|
|
|
|
|
|
|
if not gstgl_dep.found()
|
|
|
|
if get_option('androidmedia').enabled()
|
|
|
|
error('androidmedia plugin enabled but GL support was not detected')
|
|
|
|
endif
|
|
|
|
subdir_done()
|
|
|
|
endif
|
|
|
|
|
|
|
|
have_jni_h = cc.has_header('jni.h', required : false)
|
|
|
|
if not have_jni_h and get_option('androidmedia').enabled()
|
|
|
|
error('androidmedia plugin enabled but jni.h not found')
|
|
|
|
endif
|
|
|
|
|
|
|
|
if have_jni_h
|
|
|
|
gstandroidmedia = library('gstandroidmedia',
|
|
|
|
androidmedia_sources,
|
|
|
|
c_args : gst_plugins_bad_args,
|
|
|
|
include_directories : [configinc],
|
2018-08-30 14:37:17 +00:00
|
|
|
dependencies : [gstgl_dep, gstpbutils_dep, gstaudio_dep, gstvideo_dep, gstphotography_dep, gmodule_dep, orc_dep],
|
2018-08-28 07:24:07 +00:00
|
|
|
install : true,
|
|
|
|
install_dir : plugins_install_dir)
|
|
|
|
pkgconfig.generate(gstandroidmedia, install_dir : plugins_pkgconfig_install_dir)
|
|
|
|
endif
|