[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] libgmp not found
From: |
Raoul |
Subject: |
Re: [Axiom-developer] libgmp not found |
Date: |
Tue, 1 Jul 2014 00:03:49 +0200 |
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