From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <brobecker@adacore.com>
Received: from rock.gnat.com (rock.gnat.com
 [IPv6:2620:20:4000:0:a9e:1ff:fe9b:1d1])
 by sourceware.org (Postfix) with ESMTP id 74D403858012
 for <overseers@sourceware.org>; Thu, 19 Nov 2020 03:51:17 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 74D403858012
Received: from localhost (localhost.localdomain [127.0.0.1])
 by filtered-rock.gnat.com (Postfix) with ESMTP id 28C6056152
 for <overseers@sourceware.org>; Wed, 18 Nov 2020 22:51:17 -0500 (EST)
X-Virus-Scanned: Debian amavisd-new at gnat.com
Received: from rock.gnat.com ([127.0.0.1])
 by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024)
 with LMTP id xeEybceJcKGm for <overseers@sourceware.org>;
 Wed, 18 Nov 2020 22:51:17 -0500 (EST)
Received: from float.home (localhost.localdomain [127.0.0.1])
 (using TLSv1.2 with cipher ADH-AES256-GCM-SHA384 (256/256 bits))
 (No client certificate requested)
 by rock.gnat.com (Postfix) with ESMTPS id C96B25614A
 for <overseers@sourceware.org>; Wed, 18 Nov 2020 22:51:16 -0500 (EST)
Received: by float.home (Postfix, from userid 1000)
 id 60B17A18CF; Thu, 19 Nov 2020 07:51:11 +0400 (+04)
Date: Thu, 19 Nov 2020 07:51:11 +0400
From: Joel Brobecker <brobecker@adacore.com>
To: overseers@sourceware.org
Subject: install gmp and gmp-devel on sourceware?
Message-ID: <20201119035111.GA104351@adacore.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
X-Spam-Status: No, score=-3.3 required=5.0 tests=BAYES_00, JMQ_SPF_NEUTRAL,
 KAM_DMARC_STATUS, SPF_HELO_NONE, SPF_PASS,
 TXREP autolearn=no autolearn_force=no version=3.4.2
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on
 server2.sourceware.org
X-BeenThere: overseers@sourceware.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Overseers mailing list <overseers.sourceware.org>
List-Unsubscribe: <https://sourceware.org/mailman/options/overseers>,
 <mailto:overseers-request@sourceware.org?subject=unsubscribe>
List-Archive: <https://sourceware.org/pipermail/overseers/>
List-Post: <mailto:overseers@sourceware.org>
List-Help: <mailto:overseers-request@sourceware.org?subject=help>
List-Subscribe: <https://sourceware.org/mailman/listinfo/overseers>,
 <mailto:overseers-request@sourceware.org?subject=subscribe>
X-List-Received-Date: Thu, 19 Nov 2020 03:51:18 -0000

Hello Overseers,

GDB now requires GMP to build, and this actually also affected
the nightly source packaging, which involves configuring GDB
before creating the source archive. As a result, source packaging
is currently broken.

Would it be possible to install gmp and the corresponding "devel"
package to support the source package?

If not, that's no problem, as this is a small library, and I can
build it locally and then modify the source packaging scripts
to use my local build instead.

Thank you!
-- 
Joel