[Bug build/28500] Failure to find libgmp

["tromey at sourceware dot org" <sourceware-bugzilla@sourceware.org>]

https://sourceware.org/bugzilla/show_bug.cgi?id=28500

Tom Tromey <tromey at sourceware dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW

--- Comment #7 from Tom Tromey <tromey at sourceware dot org> ---
Ok, I think there was a thread about this on gdb-patches
last year.  For some reason there are two different sets
of GMP flags to configure, and gdb doesn't respect the
top-level ones:

prentzel. ./configure --help|grep gmp
  --with-gmp-dir=PATH     this option has been REMOVED
  --with-gmp=PATH         specify prefix directory for the installed GMP
                          --with-gmp-include=PATH/include plus
                          --with-gmp-lib=PATH/lib
  --with-gmp-include=PATH specify directory for installed GMP include files
  --with-gmp-lib=PATH     specify directory for the installed GMP library
prentzel. ./gdb/configure --help|grep gmp
  --with-libgmp-prefix[=DIR]  search for libgmp in DIR/include and DIR/lib
  --without-libgmp-prefix     don't search for libgmp in includedir and libdir
  --with-libgmp-type=TYPE     type of library to search for
(auto/static/shared)


So, I suggest trying the ones that gdb/configure reports.
Top-level configure will pass these down despite the fact
that it doesn't know about them.

-- 
You are receiving this mail because:
You are on the CC list for the bug.