# If the bug is related to configure, then the contents of config.l

[Linus Nordberg]

Morten Gulbrandsen <Morten.Gulbrandsen at rwth-Aachen.DE> wrote
Wed, 23 Feb 2005 00:29:49 +0100:

(Please reply to the list too.  Other people might have ideas too.)


|  bash-2.05$ ls -l  /usr/local/bin/*
|  -rwxr-xr-x   1 root     bin       407300 Aug 24  2004 /usr/local/bin/m4

Sigh.  I suggest you add /usr/local/bin to your PATH and rerun
configure.


|  /usr/local/lib/libgmp.
|  libgmp.la        libgmp.so        libgmp.so.3      libgmp.so.3.3.2
<snip>
|  bash-2.05$ g++ -ansi -pedantic -Wall -o main_00.out  main_00.cpp  -L
|  /usr/local/lib/   -L /opt/sfw/gcc-3/lib/ -R /opt/sfw/gcc-3/lib/
|  -lstdc++ -lgmp
|  bash-2.05$ ./main_00.out
|  ld.so.1: ./main_00.out: fatal: libgmp.so.3: open failed: No such file
|  or directory

What does 

  ls -l /usr/local/lib/libgmp*

say?