From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wr1-x430.google.com (mail-wr1-x430.google.com [IPv6:2a00:1450:4864:20::430]) by sourceware.org (Postfix) with ESMTPS id 31B9B3858D33 for ; Sat, 7 Jan 2023 13:45:04 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 31B9B3858D33 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-x430.google.com with SMTP id m7so3657747wrn.10 for ; Sat, 07 Jan 2023 05:45:04 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:from:to:cc:subject:date:message-id:reply-to; bh=UPDoql6YMwHb0FthDfAZ5AZuCCXLcKmM5pDKFOqmK54=; b=fUpv5MEoj19Y+tkDdLtNlvq4cEQbFiGyxoF8JOb5FcnPqnnXxzM62+ZTLwdc47Mzjv n0dAVGlAKqxLWhThVVQwup+a8p1S3DzbM5KurALdekeftfwCnPcnEpYaGRZUQ1uTYR09 LgkQJuT2JDGx8Ez7NtI1WpbB2PRMOwbsv4vAxDzw0l75IIaA9riXaZWxVcj/gpYe/27Z fWzjWe1OTdl+dNWauXuyvhg5CvJufGt/wddRPkvrs1MZkD8Zdnh2Gc0Rez7r0NBtl0aU a26H5oJ4HaYqkqXsv1TeRjBUruTuqPy3n/oYJ52pOnEyPq7xnRjXUgXks4dmRt1Z/Tnr aE/A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=UPDoql6YMwHb0FthDfAZ5AZuCCXLcKmM5pDKFOqmK54=; b=x6G9mGDrbe2mAVaf83oNdigmCJSIQs87j8oXZXNSLKnlILC+ooI0eDvkqqhYXfnsQh YicJ1j1QghnYiT30nFpMB9PQqyLDFx4YVSLk7OYIBy8i+U7VFonXbOpV7p+IGtE/yKOy 3Tg5BsgEua2++9Bcteh2WXzrdqOelw4/yx82w6RRzoGHOBlfBm1Ix/rcvpDUR7gDIXeO 62o2+bQIOPQBXIpInYG5gNdqUSxgosnon1RuwViFEBNf/aSp8cZ/yb4wzvpk0dzjSb4g q/WVvah5iP6OvaAR/kF37eW7mHtALnOb3ExPmAstGB82FUogdzQnbrF3MCLlRlwOqZ4f YoWg== X-Gm-Message-State: AFqh2kp2wNlFRD1z8/xg/vyfPcTuNFXmkuPTCQbh7+17oty8xCwx0LNI 0Ro50xmChKSvPygriGFmn+SOfIVNIWPobuir54uS X-Google-Smtp-Source: AMrXdXslE5N+UHDn+a9RraOEU2oIcdi2bqmBghNf5q/wZ81a4pwvdMZ5MqqALBuSBczNGXCXJsBhvA== X-Received: by 2002:a5d:6b04:0:b0:24f:11cc:86b7 with SMTP id v4-20020a5d6b04000000b0024f11cc86b7mr32712439wrw.41.1673099103007; Sat, 07 Jan 2023 05:45:03 -0800 (PST) Received: from takamaka.gnat.com (lfbn-reu-1-488-54.w92-130.abo.wanadoo.fr. [92.130.77.54]) by smtp.gmail.com with ESMTPSA id m5-20020adfdc45000000b002428c4fb16asm3994226wrj.10.2023.01.07.05.45.02 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 07 Jan 2023 05:45:02 -0800 (PST) Received: by takamaka.gnat.com (Postfix, from userid 1000) id 6E5688288F; Sat, 7 Jan 2023 17:45:00 +0400 (+04) Date: Sat, 7 Jan 2023 17:45:00 +0400 From: Joel Brobecker To: "Frank Ch. Eigler" Cc: Overseers mailing list , Joel Brobecker Subject: Re: install mpfr-dev package on sourceware Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-Spam-Status: No, score=-4.2 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: > > I finally took a look at the config.log, and it's about the mpfr.h > > missing. [...] > > Can we have that installed, please? Hopefully that'll restore the > > daily snapshots on sourceware. > > OK, installed. Thank you! That fixed the problem. Let's hope there isn't a next problem lurking :). > These snapshots are sources rather than binaries, > which is good because distributed binaries should not be built on > sourceware at all. Agreed. > OTOH even running configure/make should not > really be necessary: have y'all considered building the tarballs > via "git archive" or such? This is a good question. The current process is really aweful and prone to breaking (all the time, actually). The problem is that this process predates me, and I don't have information on why it is what it is today. One of the reasons might be that it allows pre-generating some files so users of the snapshot don't have to. -- Joel