Re: [Axiom-developer] libgmp not found

[Raoul]

Hi,


> Greetings!  If using the debian axiom package, you need to install the
> package build-dependencies, easiest via apt-get build-dep axiom.

This is currently in a bit a troublesome state:

 The following packages have unmet dependencies:
  gcl : Depends: binutils (< 2.24.51.20140605) but 2.24.51.20140617-1 is to be 
installed
 E: Build-dependencies for axiom could not be satisfied.

The binutils package is installed, but gcl is not.
However I have sbcl. (Which works well for Fricas.)

Might this be an issue?

> In particular, you are missing libgmp-dev, required to compile programs
> against gmp, as opposed to running programs previously linked against
> gmp. 

I'm sure I have gmp because I needed it for another
project some time ago. The dpkg tells me there is:

  libgmp-dev:amd64
  libgmp10:amd64
  libgmp3-dev

Afaik libgmp3-dev is just a dummy for libgmp-dev. To me it seems
the library and the headers are all present.


BTW: Sorry for the double post.


-- Raoul

signature.asc
Description: PGP signature