mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-11-26 11:41:09 +00:00
meson: docs is not an option of gst-docs
Simply error out if hotdoc's version isn't recent enough parent project can then decide whether gst-docs was required. Part-of: <https://gitlab.freedesktop.org/gstreamer/gst-docs/-/merge_requests/98>
This commit is contained in:
parent
059f092ca4
commit
09d81b517e
1 changed files with 2 additions and 7 deletions
|
@ -11,12 +11,7 @@ endif
|
||||||
hotdoc_req = '>= 0.12.2'
|
hotdoc_req = '>= 0.12.2'
|
||||||
hotdoc_version = run_command(hotdoc_p, '--version').stdout()
|
hotdoc_version = run_command(hotdoc_p, '--version').stdout()
|
||||||
if not hotdoc_version.version_compare(hotdoc_req)
|
if not hotdoc_version.version_compare(hotdoc_req)
|
||||||
if get_option('doc').enabled()
|
|
||||||
error('Hotdoc version @0@ not found, got @1@'.format(hotdoc_req, hotdoc_version))
|
error('Hotdoc version @0@ not found, got @1@'.format(hotdoc_req, hotdoc_version))
|
||||||
else
|
|
||||||
message('Hotdoc version @0@ not found, got @1@'.format(hotdoc_req, hotdoc_version))
|
|
||||||
subdir_done()
|
|
||||||
endif
|
|
||||||
endif
|
endif
|
||||||
|
|
||||||
hotdoc = import('hotdoc')
|
hotdoc = import('hotdoc')
|
||||||
|
|
Loading…
Reference in a new issue