[Ecls-list] gmp source directory - could configure script ignore it

[David Kirkby]

In Sage we have GMP so do not need to use the gmp sources which come
with ecl. They just take up unnecessary disk space.

It would be good if the sources code be removed, without causing any
problems when the system gmp is specified. Would it be possible for
you to change the configure script so that it does not try to use the
included gmp sources, when --with-gmp-prefix is specified?

Dave