mailing-list for TeXmacs Users

[Karl Hegbloom <address@hidden>]

https://answers.launchpad.net/gcc-arm-embedded/+question/205168

On Tue, Oct 11, 2016, 13:35 Adrian S. <address@hidden> wrote:

I am trying to compile texmacs in a tablet Bq Aquaris m10, ubuntu edition.

I get stuck in the process in configure where it says:
"checking for __gmpf__init in -lgmp...no
 configure: error: compulsory library gmp not found"

But I have installed libgmp-dev, and it still cannot find it.

Has anybody suceeded in compiling TeXmacs in this device?
In any Arm device?
Are there binaries for Arm computers?

Any suggestions are welcome.

-A.