Use ./configure --with-gmp ... https://github.com/fricas/fricas/blob/master/configure.ac#L321
See also the installation guide https://fricas.github.io/install.html#gmp-optional https://fricas.github.io/install.html#using-gmp-with-sbcl-or-clozure-cl Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/a8526be6-3444-2cf1-6f87-6629234d7801%40hemmecke.org.
