Re: [Axiom-developer] libgmp not found

[Camm Maguire]

Greetings!  If using the debian axiom package, you need to install the
package build-dependencies, easiest via apt-get build-dep axiom.  In
particular, you are missing libgmp-dev, required to compile programs
against gmp, as opposed to running programs previously linked against
gmp. 

Take care,

Raoul <address@hidden> writes:

> Hi,
>
>
> I tried to compile a recent version of Axiom on a Debian sid machine.
> I choose the system configuration "debian". It then fails like:
>
> ======================================
> src BUILDING SRC
> ======================================
> 25 making /scratch/src/Axiom/src/interp
> /scratch/src/Axiom/obj/debian/bin/lisp: error while loading shared libraries: 
> libgmp.so.10: cannot open shared object file: No such file or directory
> Makefile:208: recipe for target 'interpdir' failed
> make[2]: *** [interpdir] Error 127
> make[2]: Leaving directory '/scratch/src/Axiom/src'
> Makefile.debian:149: recipe for target 'srcdir' failed
> make[1]: *** [srcdir] Error 2
> make[1]: Leaving directory '/scratch/src/Axiom'
> Makefile:129: recipe for target 'all' failed
> make: *** [all] Error 2
>
>
> It claims there is no GMP library but I have it installed
> where the Debian package put it:
>
>   /usr/lib/x86_64-linux-gnu/libgmp.so.10
>   /usr/lib/x86_64-linux-gnu/libgmp.so.10.2.0
>
> What is the correct way to tell the make process where to look?
>
> Usually I would do this via "configure" and put some flags there.
> But with Axiom the setup seems to be a bit different.
>
>
> -- Raoul
> _______________________________________________
> Axiom-developer mailing list
> address@hidden
> https://lists.nongnu.org/mailman/listinfo/axiom-developer

-- 
Camm Maguire                                        address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah