From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id C96323858024; Sun, 6 Mar 2022 16:09:06 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org C96323858024 From: "tromey at sourceware dot org" To: gdb-prs@sourceware.org Subject: [Bug build/28625] Can't find libgmp during Configure Date: Sun, 06 Mar 2022 16:09:06 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gdb X-Bugzilla-Component: build X-Bugzilla-Version: 11.1 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: tromey at sourceware dot org X-Bugzilla-Status: RESOLVED X-Bugzilla-Resolution: DUPLICATE X-Bugzilla-Priority: P2 X-Bugzilla-Assigned-To: unassigned at sourceware dot org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: resolution bug_status Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://sourceware.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: gdb-prs@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gdb-prs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 06 Mar 2022 16:09:06 -0000 https://sourceware.org/bugzilla/show_bug.cgi?id=3D28625 Tom Tromey changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|--- |DUPLICATE Status|WAITING |RESOLVED --- Comment #2 from Tom Tromey --- > --with-gmp=3D/path/to/gmp/directory Ok, I think this is the top-level option, but gdb has its own flavor unfortunately. Using the gdb variant ought to work. I'm arbitrarily picking one bug as the canonical one here and marking this one as a dup. *** This bug has been marked as a duplicate of bug 28500 *** --=20 You are receiving this mail because: You are on the CC list for the bug.=