diff options
| author | James McCoy <jamessan@jamessan.com> | 2022-05-01 18:47:43 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-01 18:47:43 -0400 |
| commit | c04b979331dcbf80c35d4d4027a2ba3e05224968 (patch) | |
| tree | 38c7d252cef54431bd558a06e5f57bf85b98faf9 /scripts/gen_vimdoc.py | |
| parent | 069da468d5d2af01279a121473aef09c87b163aa (diff) | |
| parent | 5fc251daebe2eda9e2bf032db877e4183065753f (diff) | |
| download | rneovim-c04b979331dcbf80c35d4d4027a2ba3e05224968.tar.gz rneovim-c04b979331dcbf80c35d4d4027a2ba3e05224968.tar.bz2 rneovim-c04b979331dcbf80c35d4d4027a2ba3e05224968.zip | |
Merge pull request #18348 from dundargoc/build/abort-if-old-doxygen
build(gen_vimdoc): abort if doxygen version is too old
Diffstat (limited to 'scripts/gen_vimdoc.py')
| -rwxr-xr-x | scripts/gen_vimdoc.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/scripts/gen_vimdoc.py b/scripts/gen_vimdoc.py index f37198e96a..8d38382405 100755 --- a/scripts/gen_vimdoc.py +++ b/scripts/gen_vimdoc.py @@ -53,11 +53,19 @@ import logging from xml.dom import minidom MIN_PYTHON_VERSION = (3, 6) +MIN_DOXYGEN_VERSION = (1, 9, 0) if sys.version_info < MIN_PYTHON_VERSION: print("requires Python {}.{}+".format(*MIN_PYTHON_VERSION)) sys.exit(1) +doxygen_version = tuple([int(i) for i in subprocess.check_output(["doxygen", "-v"], + universal_newlines=True).split('.')]) + +if doxygen_version < MIN_DOXYGEN_VERSION: + print("requires Doxygen {}.{}.{}+".format(*MIN_DOXYGEN_VERSION)) + sys.exit(1) + # DEBUG = ('DEBUG' in os.environ) INCLUDE_C_DECL = ('INCLUDE_C_DECL' in os.environ) INCLUDE_DEPRECATED = ('INCLUDE_DEPRECATED' in os.environ) |