Looks OK.  Note that GMP test is not perfect: we absolutely need
_shared_ GMP, but AFAIU the test will pass if only static GMP
is installed.

Only slightly related to the gmp test...

In Ubuntu there is now the following dependency:

http://packages.ubuntu.com/maverick/gcc
http://packages.ubuntu.com/maverick/cpp
http://packages.ubuntu.com/maverick/cpp-4.4
http://packages.ubuntu.com/maverick/libgmp3c2

If I temporarily remove all /usr/libgmp* files, then configure says:

checking build system type... i686-pc-linux
checking host system type... i686-pc-linux
checking target system type... i686-pc-linux
checking for make... make
checking for gcc... gcc
checking whether the C compiler works... no
configure: error: in `/home/hemmecke/scratch/build/fricas':
configure: error: C compiler cannot create executables
See `config.log' for more details

And the log says...

configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "FriCAS"
| #define PACKAGE_TARNAME "fricas"
| #define PACKAGE_VERSION "2010-09-22"
| #define PACKAGE_STRING "FriCAS 2010-09-22"
| #define PACKAGE_BUGREPORT "[email protected]"
| #define PACKAGE_URL ""
| /* end confdefs.h.  */
|
| int
| main ()
| {
|
|   ;
|   return 0;
| }

So on Maverick the -lgmp test is actually somewhat superfluous.
Same for Debian Squeeze.

Ralf

PS: I'll try to find a machine where libgmp.a is installed and libgmp.so isn't.

--
You received this message because you are subscribed to the Google Groups "FriCAS - 
computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/fricas-devel?hl=en.

Reply via email to