Re: [Axiom-developer] libgmp not found

2014-07-06 Thread Raoul
Dear Tim, > > With latest Debian and Axiom versions this seems to be fixed now. > > Well that's good to know. I couldn't reproduce your failure. Ok. Thanks anyway for looking into the problem. -- Raoul signature.asc Description: PGP signature ___

Re: [Axiom-developer] libgmp not found

2014-07-06 Thread daly
> With latest Debian and Axiom versions this seems to be fixed now. Well that's good to know. I couldn't reproduce your failure. Tim ___ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] libgmp not found

2014-07-06 Thread Raoul
Hi, With latest Debian and Axiom versions this seems to be fixed now. -- Raoul signature.asc Description: PGP signature ___ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] libgmp not found

2014-06-30 Thread Raoul
Dear Tim, > lists the packages Axiom expects to be installed for Debian as: > > gcc build-essential debhelper gettext gs-gpl html2text > intltool-debian libgmp3-dev libice-dev libxau-dev libxaw7-dev > po-debconf x-dev x11proto-input-dev x11proto-kb-dev > libreadline5-dev gawk texlive-pstricks gi

Re: [Axiom-developer] libgmp not found

2014-06-30 Thread 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.2

Re: [Axiom-developer] libgmp not found

2014-06-29 Thread daly
Raoul, http://axiom-developer.org/axiom-website/download.html lists the packages Axiom expects to be installed for Debian as: gcc build-essential debhelper gettext gs-gpl html2text intltool-debian libgmp3-dev libice-dev libxau-dev libxaw7-dev po-debconf x-dev x11proto-input-dev x11proto-kb-dev l

Re: [Axiom-developer] libgmp not found

2014-06-29 Thread 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, R

[Axiom-developer] libgmp not found

2014-06-29 Thread Raoul
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/

[Axiom-developer] libgmp not found

2014-06-29 Thread Raoul
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/