From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp-out1.suse.de (smtp-out1.suse.de [IPv6:2001:67c:2178:6::1c]) by sourceware.org (Postfix) with ESMTPS id 692CC3858C00 for ; Thu, 1 Sep 2022 09:51:12 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 692CC3858C00 Received: from imap2.suse-dmz.suse.de (imap2.suse-dmz.suse.de [192.168.254.74]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (P-521) server-digest SHA512) (No client certificate requested) by smtp-out1.suse.de (Postfix) with ESMTPS id 802BC218F3 for ; Thu, 1 Sep 2022 09:51:11 +0000 (UTC) Received: from imap2.suse-dmz.suse.de (imap2.suse-dmz.suse.de [192.168.254.74]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (P-521) server-digest SHA512) (No client certificate requested) by imap2.suse-dmz.suse.de (Postfix) with ESMTPS id 5FA3413A89 for ; Thu, 1 Sep 2022 09:51:11 +0000 (UTC) Received: from dovecot-director2.suse.de ([192.168.254.65]) by imap2.suse-dmz.suse.de with ESMTPSA id vFIrFo+AEGNbWgAAMHmgww (envelope-from ) for ; Thu, 01 Sep 2022 09:51:11 +0000 Date: Thu, 1 Sep 2022 11:51:09 +0200 From: Tom de Vries To: gdb-patches@sourceware.org Subject: [PATCH][gdb/build] Add gdb/contrib/makeinfo-dummy.sh Message-ID: <20220901095108.GA29248@delia> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.10.1 (2018-07-13) X-Spam-Status: No, score=-12.8 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, KAM_SHORT, SPF_HELO_NONE, SPF_PASS, TXREP, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gdb-patches@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gdb-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 01 Sep 2022 09:51:13 -0000 Hi, 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 in $src/configure. Tested on x86_64-linux, with makeinfo removed. Any comments? Thanks, - Tom [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 index 00000000000..9fed87ed6c6 --- /dev/null +++ b/gdb/contrib/makeinfo-dummy.sh @@ -0,0 +1,29 @@ +#!/bin/sh + +# 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 . + +# This script can be used to build gdb in case makeinfo is not available, like +# this: +# +# $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" +fi