Change choice of arbitrary-precision library in configure to use the --with-numlib=xxx option, instead of --enable-gmp.
Change choice of arbitrary-precision library in configure to use the
--with-numlib=xxx option, instead of --enable-gmp.

qwert2003/yacas,MateuszSnamina/yacas,tomaszkrysiuk/yacas,qwert2003/yacas,martanoga/yacas,martanoga/yacas,grzegorzmazur/yacas,grzegorzmazur/yacas,tomaszkrysiuk/yacas,MateuszSnamina/yacas,qwert2003/yacas,qwert2003/yacas,martanoga/yacas,martanoga/yacas,MateuszSnamina/yacas,grzegorzmazur/yacas,tomaszkrysiuk/yacas,tomaszkrysiuk/yacas,martanoga/yacas,grzegorzmazur/yacas,qwert2003/yacas,grzegorzmazur/yacas,martanoga/yacas,grzegorzmazur/yacas,MateuszSnamina/yacas,tomaszkrysiuk/yacas,MateuszSnamina/yacas,tomaszkrysiuk/yacas,qwert2003/yacas,MateuszSnamina/yacas,martanoga/yacas,tomaszkrysiuk/yacas,MateuszSnamina/yacas,grzegorzmazur/yacas,qwert2003/yacas