From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wr1-x429.google.com (mail-wr1-x429.google.com [IPv6:2a00:1450:4864:20::429]) by sourceware.org (Postfix) with ESMTPS id 3C0ED3858C3A for ; Sat, 7 Jan 2023 12:47:47 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 3C0ED3858C3A Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com Received: by mail-wr1-x429.google.com with SMTP id bs20so3589483wrb.3 for ; Sat, 07 Jan 2023 04:47:47 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; h=content-disposition:mime-version:message-id:subject:to:from:date :from:to:cc:subject:date:message-id:reply-to; bh=IGSIjIagbADo8cDiU17jps2h+VQhZOr9bz4RAlGh1Jo=; b=lnS2abteuU2D8jh/yB+IhjZUG85lNfSWxbivGaffjtlVW7ludn34N5MspbZbzEjAnX GAM4D8WPT9tGUxuvy3AFSbHZJLbPzdcburS8PKdYFyxtYEjEwjqJle+UG8/V6XYHTSQW jy4vkBO6rnNYDXBbkLt2hAYEaq1W4HCO7lJ5ywEkXKKcrgC2j5g5VdXRECVlqNGJhDB1 /l5K/F/C1NtGEMX5TFVr+8S4MN5xihhRnxgek8H/m0+NxmSt3yIHY44gZHlY5V2waLup IO49cycqfueEl8n0MuHwGo9u6a8SfzhNy5iYl4cLpFNXz6CgDMfhyTO/MwlnOOHSjCw0 RXRg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-disposition:mime-version:message-id:subject:to:from:date :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=IGSIjIagbADo8cDiU17jps2h+VQhZOr9bz4RAlGh1Jo=; b=kEldSUr6qo90iNAPUhVGuMP1o9XnSO9syWMUagvPQ2Mvm89Ts5RBlVU5okvy900CpE 7PV9Gsuc3Q7yVVSjEhZjErHLwaqGn4UWzVsttx8GQ/ps1VHvi/ANCB5nUIvpNGK/iina 95N9FTS+J8vOKiRsMvLdtJk22wypJj5ITJoQXYkGshLimJs6B+LsAHcWLQovTkuiy3Dv ++rLO/S1SQf2KDQ7LrnYhsFr8Sy7TM0h6CGgUw42C6kja0mug8/GwUg+UKvgJDAXniKc ln5M5eSMvwf+XSLQ56XNhqmvNXPiAX9W8THIF+9WdCVMj4H8MXDGAllLbC7YVuV3obAi h1GQ== X-Gm-Message-State: AFqh2kpRUPIi0vRoDSI1Cxpwh/ZPa7/ETVg+9JVmz8QUsJS0T2aJr6Ld vHNZ1SbVIFRd0iBjnjZdHMN/3/FoM5L7r0jNy+Zm X-Google-Smtp-Source: AMrXdXvRzRSoAQ5Dfxfqif8NuFmnsG+PKpQ5N7jt9tQ0pfDjraBZ2PIWwyTWX0fWWibNW7GprUt0qQ== X-Received: by 2002:adf:ec90:0:b0:2bb:5d8c:9575 with SMTP id z16-20020adfec90000000b002bb5d8c9575mr1652850wrn.12.1673095665107; Sat, 07 Jan 2023 04:47:45 -0800 (PST) Received: from takamaka.gnat.com ([2a01:cb22:1d5:1100:ca82:1b83:d813:c72b]) by smtp.gmail.com with ESMTPSA id w4-20020a5d4b44000000b002366dd0e030sm3776951wrs.68.2023.01.07.04.47.44 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 07 Jan 2023 04:47:44 -0800 (PST) Received: by takamaka.gnat.com (Postfix, from userid 1000) id 7E9708288F; Sat, 7 Jan 2023 16:47:42 +0400 (+04) Date: Sat, 7 Jan 2023 16:47:42 +0400 From: Joel Brobecker To: overseers@sourceware.org Subject: install mpfr-dev package on sourceware Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline X-Spam-Status: No, score=-4.6 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: Hello, The GDB daily snapshot has been broken since we changed the toplevel configure script to produce an error if we can't find a minimal version of GMP and MPFR: commit 991180627851801f1999d1ebbc0e569a17e47c74 Subject: Use toplevel configure for GMP and MPFR for gdb I finally took a look at the config.log, and it's about the mpfr.h missing. I looked further into what's installed on sourceware.org, and I think the mpfr library is already installed and the version is sufficiently recent to pass the version test. So I think the only thing we're missing are the includes. Usually, that comes as part of a "dev" package. Can we have that installed, please? Hopefully that'll restore the daily snapshots on sourceware. Thank you, -- Joel