[PATCH][gdb/build] Add gdb/contrib/makeinfo-dummy.sh
Tom de Vries
Thu Sep 1 09:51:09 GMT 2022
Currently, we cannot build gdb without makeinfo installed.
It would be convenient to work around this by using the configure flag
MAKEINFO=/usr/bin/true or some such, but that doesn't work because top-level
configure requires a makeinfo of at least version 4.7, and that version check
fails for /usr/bin/true, so we end up with MAKEINFO=missing instead.
Work around this by adding a script gdb/contrib/makeinfo-dummy.sh that can be
used instead, like so:
$ ./src/configure MAKEINFO=$src/gdb/contrib/makeinfo-dummy.sh
The script merely prints the version string that satisfies the version check
Tested on x86_64-linux, with makeinfo removed.
[gdb/build] Add gdb/contrib/makeinfo-dummy.sh
gdb/contrib/makeinfo-dummy.sh | 29 +++++++++++++++++++++++++++++
1 file changed, 29 insertions(+)
diff --git a/gdb/contrib/makeinfo-dummy.sh b/gdb/contrib/makeinfo-dummy.sh
new file mode 100755
@@ -0,0 +1,29 @@
+# Copyright (C) 2022 Free Software Foundation, Inc.
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+# You should have received a copy of the GNU General Public License
+# along with this program. If not, see <http://www.gnu.org/licenses/>.
+# This script can be used to build gdb in case makeinfo is not available, like
+# $src/configure MAKEINFO=$src/gdb/contrib/makeinfo-dummy.sh.
+# It currently does not do anything, so no *.info files are generated, but
+# that doesn't seem to break the build.
+if [ "$1" = "--version" ]; then
+ # The version corresponds to the required minimum version as specified in
+ # $src/configure.
+ echo "makeinfo (dummy texinfo) 4.7"
More information about the Gdb-patches