diff options
author | Chris Johns <chrisj@rtems.org> | 2023-12-08 11:37:08 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2023-12-13 14:06:30 +1100 |
commit | 25df680df738b3f24a83aee7a32fc2913b86a4e7 (patch) | |
tree | 66e28e5216707368935fc3dc9468cf92c17c1cb2 /bare/config | |
parent | sb: Set the uid and gid on POSIX systems (diff) | |
download | rtems-source-builder-25df680df738b3f24a83aee7a32fc2913b86a4e7.tar.bz2 |
print/texinfo: Check the version and build if too old
Packages like binutils need newer versions than available by
default on MacOS.
Diffstat (limited to 'bare/config')
-rw-r--r-- | bare/config/print/texinfo.cfg | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/bare/config/print/texinfo.cfg b/bare/config/print/texinfo.cfg index 5fa0cba..63df197 100644 --- a/bare/config/print/texinfo.cfg +++ b/bare/config/print/texinfo.cfg @@ -1,8 +1,16 @@ # # GNU makeinfo has a version option, check for it. -# If not found build it. +# If not found or not recent build it. # +%define makeinfo_version 7.0.3 %define has_makeinfo %(makeinfo --version > /dev/null 2>&1; echo $?) +%if %{has_makeinfo} == 0 + %define makeinfo_version_resident \ + %(makeinfo --version | grep -e "^makeinfo (GNU texinfo)" -e "^texi2any (GNU texinfo)" | rev | sed -r 's/ .*//' | rev) + %if %{makeinfo_version_resident} < %{makeinfo_version} + %define has_makeinfo 1 + %endif +%endif %if %{has_makeinfo} != 0 %include %{_configdir}/print/texinfo-7.0.3.cfg %endif |